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/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//58a4a468-38a5-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/58a4a468-38a5-11df-a561-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: 1.13 1.12 1.05 5/40 29366
/proc/meminfo: memFree=426808/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2572 CPUtime=0
/proc/29365/stat : 29365 (p2cudf) R 29364 29364 25521 34816 25544 4202496 349 0 0 0 0 0 0 0 25 0 1 0 900160536 2633728 275 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29365/statm: 643 275 234 194 0 29 0
[pid=29366] ppid=29365 vsize=2572 CPUtime=0
/proc/29366/stat : 29366 (p2cudf) R 29365 29364 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900160536 2633728 41 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29366/statm: 643 41 0 194 0 29 0

[startup+0.201633 s]
/proc/loadavg: 1.13 1.12 1.05 5/40 29366
/proc/meminfo: memFree=426808/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.311062 s]
/proc/loadavg: 1.13 1.12 1.05 5/40 29366
/proc/meminfo: memFree=426808/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.411089 s]
/proc/loadavg: 1.13 1.12 1.05 5/40 29366
/proc/meminfo: memFree=426808/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.711136 s]
/proc/loadavg: 1.13 1.12 1.05 5/40 29366
/proc/meminfo: memFree=426808/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.5113 s]
/proc/loadavg: 1.13 1.12 1.05 4/50 29387
/proc/meminfo: memFree=380708/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=875580 CPUtime=1.46
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 20123 0 1 0 140 6 0 0 25 0 10 0 900160539 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 218895 18333 1732 10 0 215985 0
[pid=29378/tid=29379] ppid=29365 vsize=875580 CPUtime=0.89
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 12549 0 1 0 84 5 0 0 25 0 10 0 900160540 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4095278888 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=875580 CPUtime=0
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900160542 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=875580 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900160543 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=875580 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900160543 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=875580 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900160546 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=875580 CPUtime=0.3
/proc/29378/task/29384/stat : 29384 (java) R 29365 29364 25521 34816 25544 4202560 4558 0 0 0 30 0 0 0 21 0 10 0 900160546 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4149000674 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=875580 CPUtime=0.25
/proc/29378/task/29385/stat : 29385 (java) R 29365 29364 25521 34816 25544 4202560 1900 0 0 0 24 1 0 0 25 0 10 0 900160546 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4149607905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=875580 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900160546 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=875580 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900160546 896593920 18333 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 880728

[startup+3.11206 s]
/proc/loadavg: 1.28 1.15 1.06 4/50 29387
/proc/meminfo: memFree=326916/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891540 CPUtime=2.99
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 60437 0 1 0 276 23 0 0 25 0 10 0 900160539 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222885 55347 1732 10 0 219975 0
[pid=29378/tid=29379] ppid=29365 vsize=891540 CPUtime=1.59
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 45233 0 1 0 141 18 0 0 25 0 10 0 900160540 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4095893092 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891540 CPUtime=0
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900160542 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891540 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900160543 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891540 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900160543 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891540 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900160546 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891540 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 10 0 900160546 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891540 CPUtime=0.62
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 4488 0 0 0 58 4 0 0 19 0 10 0 900160546 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891540 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900160546 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891540 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900160546 912936960 55347 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 896688

[startup+6.30615 s]
/proc/loadavg: 1.28 1.15 1.06 3/50 29387
/proc/meminfo: memFree=100052/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891204 CPUtime=6.1
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 94340 0 1 0 571 39 0 0 25 0 10 0 900160539 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222801 86449 1766 10 0 219891 0
[pid=29378/tid=29379] ppid=29365 vsize=891204 CPUtime=2.62
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 50388 0 1 0 240 22 0 0 25 0 10 0 900160540 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4095279742 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891204 CPUtime=0.59
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 25772 0 0 0 49 10 0 0 16 0 10 0 900160542 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891204 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 10 0 900160543 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891204 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 10 0 900160543 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891204 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900160546 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891204 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 10 0 900160546 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891204 CPUtime=2.08
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7466 0 0 0 204 4 0 0 15 0 10 0 900160546 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891204 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900160546 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891204 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900160546 912592896 86449 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 896352

[startup+12.7081 s]
/proc/loadavg: 1.31 1.16 1.06 2/51 29388
/proc/meminfo: memFree=37804/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891528 CPUtime=12.5
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 101409 0 1 0 1210 40 0 0 25 0 11 0 900160539 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222882 93518 1792 10 0 219972 0
[pid=29378/tid=29379] ppid=29365 vsize=891528 CPUtime=7.57
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 50449 0 1 0 734 23 0 0 25 0 11 0 900160540 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4096755306 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891528 CPUtime=0.87
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 32620 0 0 0 76 11 0 0 15 0 11 0 900160542 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891528 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891528 CPUtime=3.26
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7622 0 0 0 322 4 0 0 15 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29388] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29388/stat : 29388 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900161310 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 896676

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

[startup+12.9081 s]
/proc/loadavg: 1.31 1.16 1.06 2/51 29388
/proc/meminfo: memFree=37804/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891528 CPUtime=12.7
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 101409 0 1 0 1230 40 0 0 25 0 11 0 900160539 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222882 93518 1792 10 0 219972 0
[pid=29378/tid=29379] ppid=29365 vsize=891528 CPUtime=7.77
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 50449 0 1 0 754 23 0 0 25 0 11 0 900160540 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4096677136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891528 CPUtime=0.87
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 32620 0 0 0 76 11 0 0 15 0 11 0 900160542 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891528 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891528 CPUtime=3.26
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7622 0 0 0 322 4 0 0 15 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900160546 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29388] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29388/stat : 29388 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900161310 912924672 93518 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 896676

[startup+16.1091 s]
/proc/loadavg: 1.31 1.16 1.06 3/51 29388
/proc/meminfo: memFree=37804/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891528 CPUtime=15.91
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 101413 0 1 0 1549 42 0 0 25 0 11 0 900160539 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222882 93522 1792 10 0 219972 0
[pid=29378/tid=29379] ppid=29365 vsize=891528 CPUtime=10.94
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 50449 0 1 0 1070 24 0 0 25 0 11 0 900160540 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4096677136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891528 CPUtime=0.87
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 32620 0 0 0 76 11 0 0 16 0 11 0 900160542 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891528 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891528 CPUtime=3.3
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7626 0 0 0 326 4 0 0 15 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) R 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29388] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29388/stat : 29388 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900161310 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.94
Current children cumulated vsize (KiB) 896676

[startup+17.7096 s]
/proc/loadavg: 1.29 1.16 1.06 2/51 29388
/proc/meminfo: memFree=37804/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891528 CPUtime=17.51
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 101413 0 1 0 1709 42 0 0 25 0 11 0 900160539 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222882 93522 1792 10 0 219972 0
[pid=29378/tid=29379] ppid=29365 vsize=891528 CPUtime=12.54
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 50449 0 1 0 1230 24 0 0 25 0 11 0 900160540 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4096683873 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891528 CPUtime=0.87
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 32620 0 0 0 76 11 0 0 15 0 11 0 900160542 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891528 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891528 CPUtime=3.3
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7626 0 0 0 326 4 0 0 15 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29388] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29388/stat : 29388 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900161310 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.54
Current children cumulated vsize (KiB) 896676

[startup+19.3101 s]
/proc/loadavg: 1.29 1.16 1.06 3/51 29388
/proc/meminfo: memFree=37804/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891528 CPUtime=19.11
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 101413 0 1 0 1869 42 0 0 25 0 11 0 900160539 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222882 93522 1792 10 0 219972 0
[pid=29378/tid=29379] ppid=29365 vsize=891528 CPUtime=14.14
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4202560 50449 0 1 0 1390 24 0 0 25 0 11 0 900160540 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4096677136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891528 CPUtime=0.87
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 32620 0 0 0 76 11 0 0 15 0 11 0 900160542 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900160543 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891528 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891528 CPUtime=3.3
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7626 0 0 0 326 4 0 0 15 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900160546 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29388] ppid=29365 vsize=891528 CPUtime=0
/proc/29378/task/29388/stat : 29388 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900161310 912924672 93522 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.14
Current children cumulated vsize (KiB) 896676

[startup+20.1069 s]
/proc/loadavg: 1.29 1.16 1.06 1/52 29389
/proc/meminfo: memFree=37672/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891852 CPUtime=19.61
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 101426 0 1 0 1919 42 0 0 25 0 12 0 900160539 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222963 93535 1792 10 0 220053 0
[pid=29378/tid=29379] ppid=29365 vsize=891852 CPUtime=14.61
/proc/29378/task/29379/stat : 29379 (java) S 29365 29364 25521 34816 25544 4202560 50456 0 1 0 1437 24 0 0 25 0 12 0 900160540 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891852 CPUtime=0.87
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 32620 0 0 0 76 11 0 0 15 0 12 0 900160542 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900160543 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900160543 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900160546 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891852 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 12 0 900160546 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891852 CPUtime=3.33
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7628 0 0 0 328 5 0 0 15 0 12 0 900160546 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900160546 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900160546 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29388] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29388/stat : 29388 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 12 0 900161310 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29389] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29389/stat : 29389 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900162518 913256448 93535 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.64
Current children cumulated vsize (KiB) 897000

[startup+20.499 s]
/proc/loadavg: 1.29 1.16 1.06 1/52 29389
/proc/meminfo: memFree=37672/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=891852 CPUtime=19.77
/proc/29378/stat : 29378 (java) S 29365 29364 25521 34816 25544 4202496 101435 0 1 0 1928 49 0 0 25 0 11 0 900160539 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 222963 93544 1792 10 0 220053 0
[pid=29378/tid=29379] ppid=29365 vsize=891852 CPUtime=14.61
/proc/29378/task/29379/stat : 29379 (java) S 29365 29364 25521 34816 25544 4202560 50456 0 1 0 1437 24 0 0 19 0 11 0 900160540 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29380] ppid=29365 vsize=891852 CPUtime=0.87
/proc/29378/task/29380/stat : 29380 (java) S 29365 29364 25521 34816 25544 4202560 32620 0 0 0 76 11 0 0 15 0 11 0 900160542 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29381] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29381/stat : 29381 (java) S 29365 29364 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900160543 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29382] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29382/stat : 29382 (java) S 29365 29364 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900160543 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29383] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29383/stat : 29383 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29384] ppid=29365 vsize=891852 CPUtime=0.77
/proc/29378/task/29384/stat : 29384 (java) S 29365 29364 25521 34816 25544 4202560 9600 0 0 0 76 1 0 0 22 0 11 0 900160546 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29385] ppid=29365 vsize=891852 CPUtime=3.39
/proc/29378/task/29385/stat : 29385 (java) S 29365 29364 25521 34816 25544 4202560 7635 0 0 0 334 5 0 0 15 0 11 0 900160546 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29386] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29386/stat : 29386 (java) S 29365 29364 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900160546 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29387] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29387/stat : 29387 (java) S 29365 29364 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900160546 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
[pid=29378/tid=29388] ppid=29365 vsize=891852 CPUtime=0
/proc/29378/task/29388/stat : 29388 (java) S 29365 29364 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900161310 913256448 93544 1283457024 134512640 134550932 4289917872 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (KiB) 897000

[startup+20.5158 s]
/proc/loadavg: 1.29 1.16 1.06 1/52 29389
/proc/meminfo: memFree=37672/1048576 swapFree=2095372/2097144
[pid=29364] ppid=29363 vsize=2572 CPUtime=0
/proc/29364/stat : 29364 (p2cudf-user-1.1) S 29363 29364 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 19 0 1 0 900160536 2633728 273 1283457024 134512640 135304128 4294861216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29364/statm: 643 273 233 194 0 29 0
[pid=29365] ppid=29364 vsize=2576 CPUtime=0.03
/proc/29365/stat : 29365 (p2cudf) S 29364 29364 25521 34816 25544 4202496 394 2991 0 1 0 0 0 3 25 0 1 0 900160536 2637824 283 1283457024 134512640 135304128 4290422160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29365/statm: 644 283 241 194 0 30 0
[pid=29378] ppid=29365 vsize=0 CPUtime=19.78
/proc/29378/stat : 29378 (java) Z 29365 29364 25521 34816 25544 4203532 101439 0 1 0 1928 50 0 0 18 0 2 0 900160539 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29378/statm: 0 0 0 0 0 0 0
[pid=29378/tid=29379] ppid=29365 vsize=0 CPUtime=14.63
/proc/29378/task/29379/stat : 29379 (java) R 29365 29364 25521 34816 25544 4203588 50457 0 1 0 1437 26 0 0 19 0 2 0 900160540 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) 19.81
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 20.5448
CPU time (s): 19.8492
CPU user time (s): 19.2892
CPU system time (s): 0.560035
CPU usage (%): 96.6147
Max. virtual memory (cumulated for all children) (KiB): 900984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.2892
system time used= 0.560035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105221
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= 1261
involuntary context switches= 1440

runsolver used 0 second user time and 0.008 second system time

The end