runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012091434/p2cudf-user-1.10/randc10393.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//randc10393.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/randc10393.cudf.difficult.result -changed,-removed,-unmet_recommends,-new 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.20 1.16 1.07 5/39 703
/proc/meminfo: memFree=351792/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) R 701 702 25521 34816 25544 4202496 359 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2572 CPUtime=0
/proc/703/stat : 703 (p2cudf-user-1.1) R 702 702 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 40 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/703/statm: 643 40 0 194 0 29 0

[startup+0.156463 s]
/proc/loadavg: 1.20 1.16 1.07 5/39 703
/proc/meminfo: memFree=351792/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.206473 s]
/proc/loadavg: 1.20 1.16 1.07 5/39 703
/proc/meminfo: memFree=351792/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.306489 s]
/proc/loadavg: 1.20 1.16 1.07 5/39 703
/proc/meminfo: memFree=351792/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.706554 s]
/proc/loadavg: 1.20 1.16 1.07 5/39 703
/proc/meminfo: memFree=351792/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+1.5067 s]
/proc/loadavg: 1.20 1.16 1.07 5/50 725
/proc/meminfo: memFree=313024/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=874780 CPUtime=1.48
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 19415 0 1 0 134 14 0 0 25 0 10 0 900580983 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 218695 16714 1732 10 0 215785 0
[pid=716/tid=717] ppid=703 vsize=874780 CPUtime=0.79
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4202560 11121 0 1 0 71 8 0 0 25 0 10 0 900580984 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4095269199 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=874780 CPUtime=0
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 17 0 10 0 900580986 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=874780 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900580986 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=874780 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900580986 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=874780 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900580989 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=874780 CPUtime=0.39
/proc/716/task/722/stat : 722 (java) R 703 702 25521 34816 25544 4202560 6166 0 0 0 35 4 0 0 23 0 10 0 900580989 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4150079464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=874780 CPUtime=0.27
/proc/716/task/723/stat : 723 (java) R 703 702 25521 34816 25544 4202560 1012 0 0 0 27 0 0 0 25 0 10 0 900580989 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4151680126 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=874780 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900580989 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=874780 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900580989 895774720 16714 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 879928

[startup+3.10461 s]
/proc/loadavg: 1.20 1.16 1.07 4/50 725
/proc/meminfo: memFree=243196/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=897048 CPUtime=3
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 48664 0 1 0 278 22 0 0 25 0 10 0 900580983 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224262 41635 1732 10 0 221352 0
[pid=716/tid=717] ppid=703 vsize=897048 CPUtime=1.32
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4202560 30186 0 1 0 118 14 0 0 25 0 10 0 900580984 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4095916479 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=897048 CPUtime=0
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 900580986 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=897048 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900580986 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=897048 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900580986 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=897048 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900580989 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=897048 CPUtime=0.91
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 11703 0 0 0 86 5 0 0 23 0 10 0 900580989 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=897048 CPUtime=0.75
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5659 0 0 0 74 1 0 0 25 0 10 0 900580989 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=897048 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900580989 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=897048 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900580989 918577152 41635 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 902196

[startup+6.30888 s]
/proc/loadavg: 1.18 1.15 1.07 2/51 726
/proc/meminfo: memFree=40368/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=897568 CPUtime=6.2
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 85235 0 1 0 588 32 0 0 25 0 11 0 900580983 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224392 76217 1792 10 0 221482 0
[pid=716/tid=717] ppid=703 vsize=897568 CPUtime=2.71
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4202560 50469 0 1 0 250 21 0 0 25 0 11 0 900580984 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4096471660 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=897568 CPUtime=0.33
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 13966 0 0 0 30 3 0 0 16 0 11 0 900580986 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=897568 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900580986 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=897568 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900580986 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=897568 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=897568 CPUtime=2.19
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 14006 0 0 0 214 5 0 0 15 0 11 0 900580989 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=897568 CPUtime=0.95
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5677 0 0 0 94 1 0 0 17 0 11 0 900580989 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=897568 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=897568 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900580989 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=726] ppid=703 vsize=897568 CPUtime=0
/proc/716/task/726/stat : 726 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900581536 919109632 76217 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 902716

[startup+12.7109 s]
/proc/loadavg: 1.16 1.15 1.07 2/51 726
/proc/meminfo: memFree=6036/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=896740 CPUtime=12.6
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 94263 0 1 0 1223 37 0 0 25 0 11 0 900580983 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224185 85070 1792 10 0 221275 0
[pid=716/tid=717] ppid=703 vsize=896740 CPUtime=8.54
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4202560 50470 0 1 0 833 21 0 0 25 0 11 0 900580984 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4095233243 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=896740 CPUtime=0.71
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 22975 0 0 0 63 8 0 0 15 0 11 0 900580986 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=896740 CPUtime=2.38
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 14024 0 0 0 233 5 0 0 15 0 11 0 900580989 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=896740 CPUtime=0.95
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5677 0 0 0 94 1 0 0 17 0 11 0 900580989 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900580989 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=726] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/726/stat : 726 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900581536 918261760 85070 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 901888

[startup+25.5145 s]
/proc/loadavg: 1.13 1.14 1.07 2/51 726
/proc/meminfo: memFree=5168/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=896740 CPUtime=25.4
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 94487 0 1 0 2503 37 0 0 25 0 11 0 900580983 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224185 85294 1793 10 0 221275 0
[pid=716/tid=717] ppid=703 vsize=896740 CPUtime=20.83
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4202560 50470 0 1 0 2062 21 0 0 25 0 11 0 900580984 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4096450538 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=896740 CPUtime=0.98
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 23124 0 0 0 90 8 0 0 15 0 11 0 900580986 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=896740 CPUtime=2.62
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 14099 0 0 0 257 5 0 0 16 0 11 0 900580989 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=896740 CPUtime=0.95
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5677 0 0 0 94 1 0 0 17 0 11 0 900580989 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900580989 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=726] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/726/stat : 726 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900581536 918261760 85294 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 901888

Solver just ended. Dumping a history of the last processes samples

[startup+28.5152 s]
/proc/loadavg: 1.12 1.14 1.07 2/51 726
/proc/meminfo: memFree=5440/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=896740 CPUtime=28.39
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 94728 0 1 0 2802 37 0 0 25 0 11 0 900580983 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224185 85535 1793 10 0 221275 0
[pid=716/tid=717] ppid=703 vsize=896740 CPUtime=23.54
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4202560 50471 0 1 0 2333 21 0 0 25 0 11 0 900580984 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4096341122 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=896740 CPUtime=1.25
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 23364 0 0 0 117 8 0 0 15 0 11 0 900580986 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=896740 CPUtime=2.63
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 14099 0 0 0 258 5 0 0 15 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=896740 CPUtime=0.95
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5677 0 0 0 94 1 0 0 17 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=726] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/726/stat : 726 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900581536 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.41
Current children cumulated vsize (KiB) 901888

[startup+29.3155 s]
/proc/loadavg: 1.12 1.14 1.07 2/51 726
/proc/meminfo: memFree=5440/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=896740 CPUtime=29.19
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 94728 0 1 0 2882 37 0 0 25 0 11 0 900580983 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224185 85535 1793 10 0 221275 0
[pid=716/tid=717] ppid=703 vsize=896740 CPUtime=24.34
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4202560 50471 0 1 0 2413 21 0 0 25 0 11 0 900580984 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4096404875 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=896740 CPUtime=1.25
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 23364 0 0 0 117 8 0 0 15 0 11 0 900580986 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900580986 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=896740 CPUtime=2.63
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 14099 0 0 0 258 5 0 0 15 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=896740 CPUtime=0.95
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5677 0 0 0 94 1 0 0 17 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900580989 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=726] ppid=703 vsize=896740 CPUtime=0
/proc/716/task/726/stat : 726 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900581536 918261760 85535 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.21
Current children cumulated vsize (KiB) 901888

[startup+30.1063 s]
/proc/loadavg: 1.12 1.14 1.07 2/51 726
/proc/meminfo: memFree=5440/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=897064 CPUtime=29.67
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 94739 0 1 0 2930 37 0 0 25 0 12 0 900580983 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224266 85546 1793 10 0 221356 0
[pid=716/tid=717] ppid=703 vsize=897064 CPUtime=24.79
/proc/716/task/717/stat : 717 (java) S 703 702 25521 34816 25544 4202560 50478 0 1 0 2458 21 0 0 25 0 12 0 900580984 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=897064 CPUtime=1.25
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 23364 0 0 0 117 8 0 0 15 0 12 0 900580986 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900580986 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900580986 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=897064 CPUtime=2.66
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 14099 0 0 0 261 5 0 0 15 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=897064 CPUtime=0.95
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5677 0 0 0 94 1 0 0 17 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=726] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/726/stat : 726 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900581536 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (KiB) 902212

[startup+30.3064 s]
/proc/loadavg: 1.12 1.14 1.07 2/51 726
/proc/meminfo: memFree=5440/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=897064 CPUtime=29.67
/proc/716/stat : 716 (java) S 703 702 25521 34816 25544 4202496 94739 0 1 0 2930 37 0 0 25 0 12 0 900580983 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 224266 85546 1793 10 0 221356 0
[pid=716/tid=717] ppid=703 vsize=897064 CPUtime=24.79
/proc/716/task/717/stat : 717 (java) S 703 702 25521 34816 25544 4202560 50478 0 1 0 2458 21 0 0 25 0 12 0 900580984 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=718] ppid=703 vsize=897064 CPUtime=1.25
/proc/716/task/718/stat : 718 (java) S 703 702 25521 34816 25544 4202560 23364 0 0 0 117 8 0 0 15 0 12 0 900580986 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=719] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/719/stat : 719 (java) S 703 702 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900580986 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=720] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/720/stat : 720 (java) S 703 702 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900580986 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=721] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/721/stat : 721 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=722] ppid=703 vsize=897064 CPUtime=2.66
/proc/716/task/722/stat : 722 (java) S 703 702 25521 34816 25544 4202560 14099 0 0 0 261 5 0 0 15 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=723] ppid=703 vsize=897064 CPUtime=0.95
/proc/716/task/723/stat : 723 (java) S 703 702 25521 34816 25544 4202560 5677 0 0 0 94 1 0 0 17 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=724] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/724/stat : 724 (java) S 703 702 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=725] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/725/stat : 725 (java) S 703 702 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900580989 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=716/tid=726] ppid=703 vsize=897064 CPUtime=0
/proc/716/task/726/stat : 726 (java) S 703 702 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900581536 918593536 85546 1283457024 134512640 134550932 4286570672 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (KiB) 902212

[startup+30.4127 s]
/proc/loadavg: 1.12 1.14 1.07 2/51 726
/proc/meminfo: memFree=5440/1048576 swapFree=2095372/2097144
[pid=702] ppid=701 vsize=2572 CPUtime=0
/proc/702/stat : 702 (p2cudf-user-1.1) S 701 702 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900580980 2633728 273 1283457024 134512640 135304128 4294713776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/702/statm: 643 273 233 194 0 29 0
[pid=703] ppid=702 vsize=2576 CPUtime=0.02
/proc/703/stat : 703 (p2cudf) S 702 702 25521 34816 25544 4202496 395 2994 0 1 0 0 2 0 25 0 1 0 900580980 2637824 283 1283457024 134512640 135304128 4289508592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/703/statm: 644 283 241 194 0 30 0
[pid=716] ppid=703 vsize=0 CPUtime=29.74
/proc/716/stat : 716 (java) Z 703 702 25521 34816 25544 4203532 94744 0 1 0 2932 42 0 0 18 0 2 0 900580983 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/716/statm: 0 0 0 0 0 0 0
[pid=716/tid=717] ppid=703 vsize=0 CPUtime=24.82
/proc/716/task/717/stat : 717 (java) R 703 702 25521 34816 25544 4203588 50479 0 1 0 2458 24 0 0 20 0 2 0 900580984 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.76
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 30.4171
CPU time (s): 29.7779
CPU user time (s): 29.3498
CPU system time (s): 0.428026
CPU usage (%): 97.8983
Max. virtual memory (cumulated for all children) (KiB): 906832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.3498
system time used= 0.428026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98529
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1269
involuntary context switches= 1559

runsolver used 0 second user time and 0 second system time

The end