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/201012091704/p2cudf-user-1.10/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.result -changed,-notuptodate,-removed,-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.22 1.11 1.02 4/38 9692
/proc/meminfo: memFree=356220/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2548 CPUtime=0
/proc/9692/stat : 9692 (p2cudf) R 9691 9691 25521 34816 2180 4202496 279 0 0 0 0 0 0 0 25 0 1 0 902134908 2609152 206 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 0 4 0 0 0 0 17 0 0 0 0
/proc/9692/statm: 637 206 173 194 0 23 0

[startup+0.172625 s]
/proc/loadavg: 1.22 1.11 1.02 4/38 9692
/proc/meminfo: memFree=356220/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.202629 s]
/proc/loadavg: 1.22 1.11 1.02 4/38 9692
/proc/meminfo: memFree=356220/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.312661 s]
/proc/loadavg: 1.22 1.11 1.02 4/38 9692
/proc/meminfo: memFree=356220/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.712712 s]
/proc/loadavg: 1.22 1.11 1.02 4/38 9692
/proc/meminfo: memFree=356220/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.51282 s]
/proc/loadavg: 1.22 1.11 1.02 4/49 9714
/proc/meminfo: memFree=316936/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=867588 CPUtime=1.47
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 18672 0 1 0 131 16 0 0 25 0 10 0 902134911 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 216897 17669 1732 10 0 213987 0
[pid=9705/tid=9706] ppid=9692 vsize=867588 CPUtime=0.91
/proc/9705/task/9706/stat : 9706 (java) R 9692 9691 25521 34816 2180 4202560 13471 0 1 0 78 13 0 0 25 0 10 0 902134912 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4095652966 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=867588 CPUtime=0
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902134913 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=867588 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902134914 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=867588 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902134914 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=867588 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902134917 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=867588 CPUtime=0.29
/proc/9705/task/9711/stat : 9711 (java) R 9692 9691 25521 34816 2180 4202560 2600 0 0 0 27 2 0 0 21 0 10 0 902134917 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4148033760 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=867588 CPUtime=0.25
/proc/9705/task/9712/stat : 9712 (java) R 9692 9691 25521 34816 2180 4202560 1486 0 0 0 25 0 0 0 25 0 10 0 902134917 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4152901539 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=867588 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902134917 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=867588 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902134917 888410112 17669 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 872732

[startup+3.10677 s]
/proc/loadavg: 1.22 1.11 1.02 1/49 9714
/proc/meminfo: memFree=211252/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=868072 CPUtime=2.38
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 56119 0 1 0 208 30 0 0 25 0 10 0 902134911 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 217018 54441 1732 10 0 214108 0
[pid=9705/tid=9706] ppid=9692 vsize=868072 CPUtime=1.59
/proc/9705/task/9706/stat : 9706 (java) R 9692 9691 25521 34816 2180 4202560 50020 0 1 0 133 26 0 0 24 0 10 0 902134912 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4096000828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=868072 CPUtime=0
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902134913 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=868072 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902134914 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=868072 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902134914 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=868072 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902134917 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=868072 CPUtime=0.4
/proc/9705/task/9711/stat : 9711 (java) S 9692 9691 25521 34816 2180 4202560 2797 0 0 0 38 2 0 0 21 0 10 0 902134917 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=868072 CPUtime=0.37
/proc/9705/task/9712/stat : 9712 (java) S 9692 9691 25521 34816 2180 4202560 2187 0 0 0 37 0 0 0 16 0 10 0 902134917 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=868072 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902134917 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=868072 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902134917 888905728 54441 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 873216
heavy processes:

[startup+6.30702 s]
/proc/loadavg: 1.20 1.10 1.02 2/49 9714
/proc/meminfo: memFree=65428/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=870540 CPUtime=5.33
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 85262 0 1 0 493 40 0 0 25 0 10 0 902134911 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 217635 81422 1766 10 0 214725 0
[pid=9705/tid=9706] ppid=9692 vsize=870540 CPUtime=2.66
/proc/9705/task/9706/stat : 9706 (java) R 9692 9691 25521 34816 2180 4202560 50384 0 1 0 240 26 0 0 25 0 10 0 902134912 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4096352301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=870540 CPUtime=0.59
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 25853 0 0 0 52 7 0 0 16 0 10 0 902134913 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=870540 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 10 0 902134914 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=870540 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 10 0 902134914 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=870540 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902134917 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=870540 CPUtime=0.4
/proc/9705/task/9711/stat : 9711 (java) S 9692 9691 25521 34816 2180 4202560 2797 0 0 0 38 2 0 0 21 0 10 0 902134917 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=870540 CPUtime=1.64
/proc/9705/task/9712/stat : 9712 (java) S 9692 9691 25521 34816 2180 4202560 5115 0 0 0 162 2 0 0 15 0 10 0 902134917 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=870540 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902134917 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=870540 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902134917 891432960 81422 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 875684

[startup+12.7082 s]
/proc/loadavg: 1.19 1.10 1.02 2/50 9715
/proc/meminfo: memFree=14456/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=870864 CPUtime=11.73
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 85441 0 1 0 1133 40 0 0 25 0 11 0 902134911 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 217716 81601 1791 10 0 214806 0
[pid=9705/tid=9706] ppid=9692 vsize=870864 CPUtime=8.16
/proc/9705/task/9706/stat : 9706 (java) R 9692 9691 25521 34816 2180 4202560 50446 0 1 0 790 26 0 0 25 0 11 0 902134912 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4096876682 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=870864 CPUtime=0.59
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 25853 0 0 0 52 7 0 0 15 0 11 0 902134913 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902134914 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902134914 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=870864 CPUtime=0.4
/proc/9705/task/9711/stat : 9711 (java) S 9692 9691 25521 34816 2180 4202560 2797 0 0 0 38 2 0 0 21 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=870864 CPUtime=2.55
/proc/9705/task/9712/stat : 9712 (java) S 9692 9691 25521 34816 2180 4202560 5228 0 0 0 253 2 0 0 15 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9715] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9715/stat : 9715 (java) S 9692 9691 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902135614 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 876008

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

[startup+12.8083 s]
/proc/loadavg: 1.19 1.10 1.02 2/50 9715
/proc/meminfo: memFree=14456/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=870864 CPUtime=11.83
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 85441 0 1 0 1143 40 0 0 25 0 11 0 902134911 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 217716 81601 1791 10 0 214806 0
[pid=9705/tid=9706] ppid=9692 vsize=870864 CPUtime=8.24
/proc/9705/task/9706/stat : 9706 (java) R 9692 9691 25521 34816 2180 4202560 50446 0 1 0 798 26 0 0 25 0 11 0 902134912 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4096822762 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=870864 CPUtime=0.59
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 25853 0 0 0 52 7 0 0 15 0 11 0 902134913 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902134914 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902134914 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=870864 CPUtime=0.4
/proc/9705/task/9711/stat : 9711 (java) S 9692 9691 25521 34816 2180 4202560 2797 0 0 0 38 2 0 0 21 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=870864 CPUtime=2.56
/proc/9705/task/9712/stat : 9712 (java) S 9692 9691 25521 34816 2180 4202560 5228 0 0 0 254 2 0 0 15 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902134917 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9715] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9715/stat : 9715 (java) S 9692 9691 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902135614 891764736 81601 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 876008

[startup+14.4092 s]
/proc/loadavg: 1.19 1.10 1.02 2/50 9715
/proc/meminfo: memFree=14456/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=870864 CPUtime=13.43
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 85448 0 1 0 1302 41 0 0 25 0 11 0 902134911 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 217716 81608 1791 10 0 214806 0
[pid=9705/tid=9706] ppid=9692 vsize=870864 CPUtime=9.79
/proc/9705/task/9706/stat : 9706 (java) R 9692 9691 25521 34816 2180 4202560 50446 0 1 0 953 26 0 0 25 0 11 0 902134912 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4096822824 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=870864 CPUtime=0.59
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 25853 0 0 0 52 7 0 0 16 0 11 0 902134913 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902134914 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902134914 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902134917 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=870864 CPUtime=0.4
/proc/9705/task/9711/stat : 9711 (java) S 9692 9691 25521 34816 2180 4202560 2797 0 0 0 38 2 0 0 21 0 11 0 902134917 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=870864 CPUtime=2.62
/proc/9705/task/9712/stat : 9712 (java) S 9692 9691 25521 34816 2180 4202560 5235 0 0 0 258 4 0 0 16 0 11 0 902134917 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902134917 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) R 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902134917 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9705/tid=9715] ppid=9692 vsize=870864 CPUtime=0
/proc/9705/task/9715/stat : 9715 (java) S 9692 9691 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902135614 891764736 81608 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.46
Current children cumulated vsize (KiB) 876008

[startup+16.0076 s]
/proc/loadavg: 1.17 1.10 1.02 2/50 9715
/proc/meminfo: memFree=14456/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=871188 CPUtime=14.91
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 85467 0 1 0 1450 41 0 0 25 0 12 0 902134911 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 217797 81627 1791 10 0 214887 0
[pid=9705/tid=9706] ppid=9692 vsize=871188 CPUtime=11.19
/proc/9705/task/9706/stat : 9706 (java) S 9692 9691 25521 34816 2180 4202560 50454 0 1 0 1093 26 0 0 25 0 12 0 902134912 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=871188 CPUtime=0.59
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 25853 0 0 0 52 7 0 0 15 0 12 0 902134913 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 902134914 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902134914 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=871188 CPUtime=0.4
/proc/9705/task/9711/stat : 9711 (java) S 9692 9691 25521 34816 2180 4202560 2797 0 0 0 38 2 0 0 21 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=871188 CPUtime=2.7
/proc/9705/task/9712/stat : 9712 (java) S 9692 9691 25521 34816 2180 4202560 5242 0 0 0 266 4 0 0 16 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9715] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9715/stat : 9715 (java) S 9692 9691 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902135614 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.94
Current children cumulated vsize (KiB) 876332

[startup+16.4117 s]
/proc/loadavg: 1.17 1.10 1.02 2/50 9715
/proc/meminfo: memFree=14456/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=871188 CPUtime=14.92
/proc/9705/stat : 9705 (java) S 9692 9691 25521 34816 2180 4202496 85467 0 1 0 1451 41 0 0 25 0 12 0 902134911 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9705/statm: 217797 81627 1791 10 0 214887 0
[pid=9705/tid=9706] ppid=9692 vsize=871188 CPUtime=11.19
/proc/9705/task/9706/stat : 9706 (java) S 9692 9691 25521 34816 2180 4202560 50454 0 1 0 1093 26 0 0 25 0 12 0 902134912 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9707] ppid=9692 vsize=871188 CPUtime=0.59
/proc/9705/task/9707/stat : 9707 (java) S 9692 9691 25521 34816 2180 4202560 25853 0 0 0 52 7 0 0 15 0 12 0 902134913 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9708] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9708/stat : 9708 (java) S 9692 9691 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 902134914 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9709] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9709/stat : 9709 (java) S 9692 9691 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902134914 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9710] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9710/stat : 9710 (java) S 9692 9691 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9711] ppid=9692 vsize=871188 CPUtime=0.4
/proc/9705/task/9711/stat : 9711 (java) S 9692 9691 25521 34816 2180 4202560 2797 0 0 0 38 2 0 0 21 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9712] ppid=9692 vsize=871188 CPUtime=2.7
/proc/9705/task/9712/stat : 9712 (java) S 9692 9691 25521 34816 2180 4202560 5242 0 0 0 266 4 0 0 15 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9713] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9713/stat : 9713 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9714] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9714/stat : 9714 (java) S 9692 9691 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902134917 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=9705/tid=9715] ppid=9692 vsize=871188 CPUtime=0
/proc/9705/task/9715/stat : 9715 (java) S 9692 9691 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902135614 892096512 81627 1283457024 134512640 134550932 4293967760 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.95
Current children cumulated vsize (KiB) 876332

[startup+16.6158 s]
/proc/loadavg: 1.17 1.10 1.02 3/51 9716
/proc/meminfo: memFree=14324/1048576 swapFree=2095372/2097144
[pid=9691] ppid=9690 vsize=2572 CPUtime=0
/proc/9691/stat : 9691 (p2cudf-user-1.1) S 9690 9691 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 18 0 1 0 902134908 2633728 273 1283457024 134512640 135304128 4289694912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9691/statm: 643 273 233 194 0 29 0
[pid=9692] ppid=9691 vsize=2572 CPUtime=0.03
/proc/9692/stat : 9692 (p2cudf) S 9691 9691 25521 34816 2180 4202496 390 2994 0 1 0 0 2 1 25 0 1 0 902134908 2633728 281 1283457024 134512640 135304128 4293234752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9692/statm: 643 281 241 194 0 29 0
[pid=9705] ppid=9692 vsize=0 CPUtime=15.1
/proc/9705/stat : 9705 (java) R 9692 9691 25521 34816 2180 4203524 85477 0 1 0 1462 48 0 0 18 0 1 0 902134911 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0
/proc/9705/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.13
Current children cumulated vsize (KiB) 5144

Child status: 0
Real time (s): 16.6289
CPU time (s): 15.1569
CPU user time (s): 14.6449
CPU system time (s): 0.512032
CPU usage (%): 91.1483
Max. virtual memory (cumulated for all children) (KiB): 878816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6449
system time used= 0.512032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89257
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= 1188
involuntary context switches= 1255

runsolver used 0 second user time and 0 second system time

The end