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/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian-dudf.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: 0.84 0.97 0.99 5/40 30771
/proc/meminfo: memFree=421592/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2568 CPUtime=0
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 355 0 0 0 0 0 0 0 25 0 1 0 900392382 2629632 274 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/30770/statm: 642 274 234 194 0 28 0
[pid=30771] ppid=30770 vsize=2568 CPUtime=0
/proc/30771/stat : 30771 (p2cudf) R 30770 30769 25521 34816 25544 4202560 92 0 0 0 0 0 0 0 25 0 1 0 900392382 2629632 116 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/30771/statm: 642 116 75 194 0 28 0
[pid=30772] ppid=30771 vsize=2568 CPUtime=0
/proc/30772/stat : 30772 (p2cudf) R 30771 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900392383 2629632 41 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/30772/statm: 642 41 0 194 0 28 0

[startup+0.184209 s]
/proc/loadavg: 0.84 0.97 0.99 5/40 30771
/proc/meminfo: memFree=421592/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.204213 s]
/proc/loadavg: 0.84 0.97 0.99 5/40 30771
/proc/meminfo: memFree=421592/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.304255 s]
/proc/loadavg: 0.84 0.97 0.99 5/40 30771
/proc/meminfo: memFree=421592/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.704354 s]
/proc/loadavg: 0.84 0.97 0.99 5/40 30771
/proc/meminfo: memFree=421592/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.5046 s]
/proc/loadavg: 0.84 0.97 0.99 5/50 30792
/proc/meminfo: memFree=375476/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=884280 CPUtime=1.46
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 21068 0 1 0 134 12 0 0 25 0 10 0 900392386 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 221070 17865 1729 10 0 218160 0
[pid=30783/tid=30784] ppid=30770 vsize=884280 CPUtime=0.8
/proc/30783/task/30784/stat : 30784 (java) R 30770 30769 25521 34816 25544 4202560 10509 0 1 0 74 6 0 0 25 0 10 0 900392386 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4095757193 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=884280 CPUtime=0
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900392388 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=884280 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900392388 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=884280 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900392388 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=884280 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900392391 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=884280 CPUtime=0.38
/proc/30783/task/30789/stat : 30789 (java) R 30770 30769 25521 34816 25544 4202560 6566 0 0 0 36 2 0 0 23 0 10 0 900392391 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4149479802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=884280 CPUtime=0.27
/proc/30783/task/30790/stat : 30790 (java) R 30770 30769 25521 34816 25544 4202560 2880 0 0 0 24 3 0 0 25 0 10 0 900392391 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4152870953 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=884280 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 10 0 900392391 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=884280 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900392391 905502720 17865 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 889420

[startup+3.10491 s]
/proc/loadavg: 0.84 0.97 0.99 4/50 30792
/proc/meminfo: memFree=320080/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=918952 CPUtime=3.06
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 41707 0 1 0 284 22 0 0 25 0 10 0 900392386 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 229738 31285 1732 10 0 226828 0
[pid=30783/tid=30784] ppid=30770 vsize=918952 CPUtime=1.01
/proc/30783/task/30784/stat : 30784 (java) R 30770 30769 25521 34816 25544 4202560 14932 0 1 0 94 7 0 0 25 0 10 0 900392386 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=918952 CPUtime=0
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900392388 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=918952 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900392388 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=918952 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900392388 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=918952 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900392391 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=918952 CPUtime=1.05
/proc/30783/task/30789/stat : 30789 (java) R 30770 30769 25521 34816 25544 4202560 14814 0 0 0 97 8 0 0 25 0 10 0 900392391 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4148512492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=918952 CPUtime=0.98
/proc/30783/task/30790/stat : 30790 (java) R 30770 30769 25521 34816 25544 4202560 10848 0 0 0 92 6 0 0 25 0 10 0 900392391 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4150538423 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=918952 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 10 0 900392391 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=918952 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900392391 941006848 31285 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 924092

[startup+6.30709 s]
/proc/loadavg: 0.85 0.97 0.99 2/50 30792
/proc/meminfo: memFree=87324/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=915496 CPUtime=6.1
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 90617 0 1 0 566 44 0 0 25 0 10 0 900392386 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 228874 79936 1766 10 0 225964 0
[pid=30783/tid=30784] ppid=30770 vsize=915496 CPUtime=2.43
/proc/30783/task/30784/stat : 30784 (java) R 30770 30769 25521 34816 25544 4202560 50404 0 1 0 219 24 0 0 25 0 10 0 900392386 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=915496 CPUtime=0.28
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 13135 0 0 0 24 4 0 0 16 0 10 0 900392388 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=915496 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 10 0 900392388 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=915496 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 10 0 900392388 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=915496 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900392391 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=915496 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 10 0 900392391 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=915496 CPUtime=2.25
/proc/30783/task/30790/stat : 30790 (java) R 30770 30769 25521 34816 25544 4202560 11075 0 0 0 218 7 0 0 16 0 10 0 900392391 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4152333292 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=915496 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 10 0 900392391 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=915496 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900392391 937467904 79936 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 920636

[startup+12.709 s]
/proc/loadavg: 0.95 0.98 0.99 2/51 30793
/proc/meminfo: memFree=7964/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=915820 CPUtime=12.51
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 110349 0 1 0 1199 52 0 0 25 0 11 0 900392386 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 228955 99668 1792 10 0 226045 0
[pid=30783/tid=30784] ppid=30770 vsize=915820 CPUtime=6.85
/proc/30783/task/30784/stat : 30784 (java) R 30770 30769 25521 34816 25544 4202560 50469 0 1 0 661 24 0 0 25 0 11 0 900392386 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4097246220 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=915820 CPUtime=0.87
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 32621 0 0 0 76 11 0 0 15 0 11 0 900392388 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=915820 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 11 0 900392391 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=915820 CPUtime=3.62
/proc/30783/task/30790/stat : 30790 (java) S 30770 30769 25521 34816 25544 4202560 11252 0 0 0 355 7 0 0 15 0 11 0 900392391 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) R 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900392391 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30793] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30793/stat : 30793 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900393244 937799680 99668 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 920960

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

[startup+15.91 s]
/proc/loadavg: 0.95 0.98 0.99 2/51 30793
/proc/meminfo: memFree=7964/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=915820 CPUtime=15.72
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 110358 0 1 0 1520 52 0 0 25 0 11 0 900392386 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 228955 99677 1792 10 0 226045 0
[pid=30783/tid=30784] ppid=30770 vsize=915820 CPUtime=9.97
/proc/30783/task/30784/stat : 30784 (java) R 30770 30769 25521 34816 25544 4202560 50469 0 1 0 973 24 0 0 25 0 11 0 900392386 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4096228369 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=915820 CPUtime=0.87
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 32621 0 0 0 76 11 0 0 16 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=915820 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=915820 CPUtime=3.71
/proc/30783/task/30790/stat : 30790 (java) S 30770 30769 25521 34816 25544 4202560 11261 0 0 0 364 7 0 0 15 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30793] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30793/stat : 30793 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900393244 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.75
Current children cumulated vsize (KiB) 920960

[startup+19.1107 s]
/proc/loadavg: 0.95 0.98 0.99 2/51 30793
/proc/meminfo: memFree=7964/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=915820 CPUtime=18.92
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 110358 0 1 0 1840 52 0 0 25 0 11 0 900392386 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 228955 99677 1792 10 0 226045 0
[pid=30783/tid=30784] ppid=30770 vsize=915820 CPUtime=13.17
/proc/30783/task/30784/stat : 30784 (java) R 30770 30769 25521 34816 25544 4202560 50469 0 1 0 1293 24 0 0 25 0 11 0 900392386 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4097281830 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=915820 CPUtime=0.87
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 32621 0 0 0 76 11 0 0 15 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=915820 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=915820 CPUtime=3.71
/proc/30783/task/30790/stat : 30790 (java) S 30770 30769 25521 34816 25544 4202560 11261 0 0 0 364 7 0 0 15 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30793] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30793/stat : 30793 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900393244 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.95
Current children cumulated vsize (KiB) 920960

[startup+20.7111 s]
/proc/loadavg: 0.95 0.98 0.99 2/51 30793
/proc/meminfo: memFree=7964/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=915820 CPUtime=20.52
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 110358 0 1 0 2000 52 0 0 25 0 11 0 900392386 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 228955 99677 1792 10 0 226045 0
[pid=30783/tid=30784] ppid=30770 vsize=915820 CPUtime=14.77
/proc/30783/task/30784/stat : 30784 (java) R 30770 30769 25521 34816 25544 4202560 50469 0 1 0 1453 24 0 0 25 0 11 0 900392386 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4097246322 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=915820 CPUtime=0.87
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 32621 0 0 0 76 11 0 0 15 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900392388 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=915820 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=915820 CPUtime=3.71
/proc/30783/task/30790/stat : 30790 (java) S 30770 30769 25521 34816 25544 4202560 11261 0 0 0 364 7 0 0 15 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900392391 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30793] ppid=30770 vsize=915820 CPUtime=0
/proc/30783/task/30793/stat : 30793 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900393244 937799680 99677 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.55
Current children cumulated vsize (KiB) 920960

[startup+21.1055 s]
/proc/loadavg: 0.95 0.98 0.99 1/52 30794
/proc/meminfo: memFree=7956/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=916144 CPUtime=20.56
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 110372 0 1 0 2004 52 0 0 25 0 12 0 900392386 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 229036 99691 1792 10 0 226126 0
[pid=30783/tid=30784] ppid=30770 vsize=916144 CPUtime=14.79
/proc/30783/task/30784/stat : 30784 (java) S 30770 30769 25521 34816 25544 4202560 50476 0 1 0 1455 24 0 0 25 0 12 0 900392386 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=916144 CPUtime=0.87
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 32621 0 0 0 76 11 0 0 15 0 12 0 900392388 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900392388 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900392388 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900392391 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=916144 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 12 0 900392391 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=916144 CPUtime=3.73
/proc/30783/task/30790/stat : 30790 (java) S 30770 30769 25521 34816 25544 4202560 11264 0 0 0 366 7 0 0 15 0 12 0 900392391 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 12 0 900392391 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900392391 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30793] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30793/stat : 30793 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900393244 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30794] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30794/stat : 30794 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900394458 938131456 99691 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.59
Current children cumulated vsize (KiB) 921284

[startup+21.3055 s]
/proc/loadavg: 0.95 0.98 0.99 1/52 30794
/proc/meminfo: memFree=7956/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=916144 CPUtime=20.59
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 110373 0 1 0 2006 53 0 0 25 0 12 0 900392386 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 229036 99692 1792 10 0 226126 0
[pid=30783/tid=30784] ppid=30770 vsize=916144 CPUtime=14.79
/proc/30783/task/30784/stat : 30784 (java) S 30770 30769 25521 34816 25544 4202560 50476 0 1 0 1455 24 0 0 25 0 12 0 900392386 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=916144 CPUtime=0.87
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 32621 0 0 0 76 11 0 0 15 0 12 0 900392388 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900392388 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900392388 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900392391 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=916144 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 12 0 900392391 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=916144 CPUtime=3.73
/proc/30783/task/30790/stat : 30790 (java) S 30770 30769 25521 34816 25544 4202560 11264 0 0 0 366 7 0 0 15 0 12 0 900392391 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 12 0 900392391 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900392391 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30793] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30793/stat : 30793 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900393244 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30794] ppid=30770 vsize=916144 CPUtime=0.03
/proc/30783/task/30794/stat : 30794 (java) R 30770 30769 25521 34816 25544 4202560 5 0 0 0 2 1 0 0 20 0 12 0 900394458 938131456 99692 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.62
Current children cumulated vsize (KiB) 921284

[startup+21.4055 s]
/proc/loadavg: 0.95 0.98 0.99 1/52 30794
/proc/meminfo: memFree=7956/1048576 swapFree=2095372/2097144
[pid=30769] ppid=30768 vsize=2568 CPUtime=0
/proc/30769/stat : 30769 (p2cudf-user-1.1) S 30768 30769 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 18 0 1 0 900392382 2629632 273 1283457024 134512640 135304128 4287527584 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30769/statm: 642 273 233 194 0 28 0
[pid=30770] ppid=30769 vsize=2572 CPUtime=0.03
/proc/30770/stat : 30770 (p2cudf) S 30769 30769 25521 34816 25544 4202496 392 2996 0 1 0 0 3 0 25 0 1 0 900392382 2633728 282 1283457024 134512640 135304128 4287847200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30770/statm: 643 282 241 194 0 29 0
[pid=30783] ppid=30770 vsize=916144 CPUtime=20.69
/proc/30783/stat : 30783 (java) S 30770 30769 25521 34816 25544 4202496 110374 0 1 0 2014 55 0 0 25 0 12 0 900392386 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30783/statm: 229036 99693 1792 10 0 226126 0
[pid=30783/tid=30784] ppid=30770 vsize=916144 CPUtime=14.79
/proc/30783/task/30784/stat : 30784 (java) S 30770 30769 25521 34816 25544 4202560 50476 0 1 0 1455 24 0 0 25 0 12 0 900392386 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30785] ppid=30770 vsize=916144 CPUtime=0.87
/proc/30783/task/30785/stat : 30785 (java) S 30770 30769 25521 34816 25544 4202560 32621 0 0 0 76 11 0 0 15 0 12 0 900392388 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 0 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30786] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30786/stat : 30786 (java) S 30770 30769 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900392388 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30787] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30787/stat : 30787 (java) S 30770 30769 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900392388 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30788] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30788/stat : 30788 (java) S 30770 30769 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900392391 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30789] ppid=30770 vsize=916144 CPUtime=1.13
/proc/30783/task/30789/stat : 30789 (java) S 30770 30769 25521 34816 25544 4202560 14892 0 0 0 105 8 0 0 25 0 12 0 900392391 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30790] ppid=30770 vsize=916144 CPUtime=3.76
/proc/30783/task/30790/stat : 30790 (java) S 30770 30769 25521 34816 25544 4202560 11264 0 0 0 369 7 0 0 16 0 12 0 900392391 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30791] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30791/stat : 30791 (java) S 30770 30769 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 12 0 900392391 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30792] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30792/stat : 30792 (java) S 30770 30769 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900392391 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30793] ppid=30770 vsize=916144 CPUtime=0
/proc/30783/task/30793/stat : 30793 (java) S 30770 30769 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900393244 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4294960130 0 4 0 16800975 18446612133393160064 0 0 -1 0 0 0 0
[pid=30783/tid=30794] ppid=30770 vsize=916144 CPUtime=0.1
/proc/30783/task/30794/stat : 30794 (java) R 30770 30769 25521 34816 25544 4202560 6 0 0 0 7 3 0 0 21 0 12 0 900394458 938131456 99693 1283457024 134512640 134550932 4294748240 18446744073709551615 4146354986 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.72
Current children cumulated vsize (KiB) 921284

Child status: 0
Real time (s): 21.484
CPU time (s): 20.7973
CPU user time (s): 20.1813
CPU system time (s): 0.616038
CPU usage (%): 96.8036
Max. virtual memory (cumulated for all children) (KiB): 928752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.1813
system time used= 0.616038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114165
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= 1285
involuntary context switches= 1473

runsolver used 0 second user time and 0.008 second system time

The end