runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687294-1337871895/watcher-3687294-1337871895 -o /tmp/evaluation-result-3687294-1337871895/solver-3687294-1337871895 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687294-1337871895.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.31 0.07 0.02 3/197 30612
/proc/meminfo: memFree=29003376/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 253315013 94019584 917 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 22954 917 697 9 0 16769 0
[pid=30612/tid=30613] ppid=30610 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) R 30610 30612 30487 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 2 0 253315013 95129600 924 33554432000 1073741824 1073778376 140734679992576 140695590215208 214528211521 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0335629 s]
/proc/loadavg: 0.31 0.07 0.02 3/197 30612
/proc/meminfo: memFree=29003376/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 3025 0 1 0 1 1 0 0 20 0 13 0 253315013 9446973440 3722 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 2306390 3723 1698 9 0 2297091 0
[pid=30612/tid=30613] ppid=30610 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) R 30610 30612 30487 0 -1 4202560 1844 0 1 0 1 0 0 0 20 0 13 0 253315013 9446973440 3723 33554432000 1073741824 1073778376 140734679992576 140695590215920 214540805389 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100233 s]
/proc/loadavg: 0.31 0.07 0.02 3/197 30612
/proc/meminfo: memFree=29003376/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 4478 0 1 0 10 1 0 0 20 0 18 0 253315013 9787813888 6147 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 2389603 6147 2142 9 0 2380296 0
[pid=30612/tid=30613] ppid=30610 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) R 30610 30612 30487 0 -1 4202560 2434 0 1 0 6 1 0 0 20 0 18 0 253315013 9787813888 6147 33554432000 1073741824 1073778376 140734679992576 140695590218520 140695588091727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300199 s]
/proc/loadavg: 0.31 0.07 0.02 3/197 30612
/proc/meminfo: memFree=29003376/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=9558612 CPUtime=0.49 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 5594 0 1 0 47 2 0 0 20 0 18 0 253315013 9788018688 8401 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 2389653 8414 2217 9 0 2380346 0
[pid=30612/tid=30613] ppid=30610 vsize=9558612 CPUtime=0.27 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) R 30610 30612 30487 0 -1 4202560 2448 0 1 0 26 1 0 0 20 0 18 0 253315013 9788018688 8414 33554432000 1073741824 1073778376 140734679992576 140695590218520 214540807213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558612
[startup+0.700224 s]
/proc/loadavg: 0.31 0.07 0.02 3/197 30612
/proc/meminfo: memFree=29003376/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=9824668 CPUtime=2.05 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 15271 0 1 0 201 4 0 0 20 0 22 0 253315013 10060460032 22484 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 2456167 22484 2244 9 0 2446860 0
[pid=30612/tid=30613] ppid=30610 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) S 30610 30612 30487 0 -1 4202560 2467 0 1 0 26 2 0 0 20 0 22 0 253315013 10060460032 22484 33554432000 1073741824 1073778376 140734679992576 140695590220792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824668
[startup+1.50075 s]
/proc/loadavg: 0.31 0.07 0.02 7/219 30634
/proc/meminfo: memFree=28863012/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=9824668 CPUtime=4.79 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 20888 0 1 0 471 8 0 0 20 0 22 0 253315013 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 2456167 51561 2277 9 0 2446860 0
[pid=30612/tid=30613] ppid=30610 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) S 30610 30612 30487 0 -1 4202560 2467 0 1 0 26 2 0 0 20 0 22 0 253315013 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695590220792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695551711784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30612/tid=30616] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695550658984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695549606184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695548553384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30619] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695547501608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695546448808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30621] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695427869480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30622] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30622/stat : 30622 (java) S 30610 30612 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315014 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695426816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30623] ppid=30610 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/30612/task/30623/stat : 30623 (java) S 30610 30612 30487 0 -1 4202560 98 0 0 0 5 0 0 0 20 0 22 0 253315015 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695414405608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30612/tid=30624] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30624/stat : 30624 (java) S 30610 30612 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315015 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695413351672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30625] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30625/stat : 30625 (java) S 30610 30612 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315015 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140695412298760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30626] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30626/stat : 30626 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315017 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694672894096 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30627] ppid=30610 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/30612/task/30627/stat : 30627 (java) S 30610 30612 30487 0 -1 4202560 8282 0 0 0 105 0 0 0 20 0 22 0 253315018 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694671842232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30628] ppid=30610 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/30612/task/30628/stat : 30628 (java) S 30610 30612 30487 0 -1 4202560 8635 0 0 0 106 2 0 0 20 0 22 0 253315018 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694670789432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30629] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30629/stat : 30629 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315018 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694669736824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30630] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30630/stat : 30630 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315018 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694668684232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30631] ppid=30610 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/30612/task/30631/stat : 30631 (java) R 30610 30612 30487 0 -1 4202560 30 0 0 0 109 0 0 0 20 0 22 0 253315043 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694667629144 140695428483520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30612/tid=30632] ppid=30610 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/30612/task/30632/stat : 30632 (java) R 30610 30612 30487 0 -1 4202560 127 0 0 0 106 3 0 0 20 0 22 0 253315043 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694666574456 140695428662846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30633] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30633/stat : 30633 (java) S 30610 30612 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315044 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694665524136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30634] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30634/stat : 30634 (java) S 30610 30612 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315044 10060460032 51561 33554432000 1073741824 1073778376 140734679992576 140694664471336 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 9824668
[startup+3.10066 s]
/proc/loadavg: 0.60 0.13 0.04 5/219 30634
/proc/meminfo: memFree=28692156/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=9824668 CPUtime=7.7 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 21297 0 1 0 758 12 0 0 20 0 19 0 253315013 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 2456167 72039 2280 9 0 2446860 0
[pid=30612/tid=30613] ppid=30610 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) S 30610 30612 30487 0 -1 4202560 2467 0 1 0 26 2 0 0 20 0 19 0 253315013 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695590220792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 30487 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695551711784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30612/tid=30616] ppid=30610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 30487 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695550658984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695549606184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695548553384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30619] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695547501608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 30487 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695546448808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30621] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695427869480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30622] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30622/stat : 30622 (java) S 30610 30612 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695426816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30623] ppid=30610 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/30612/task/30623/stat : 30623 (java) S 30610 30612 30487 0 -1 4202560 102 0 0 0 17 0 0 0 20 0 19 0 253315015 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695414405608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30624] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30624/stat : 30624 (java) S 30610 30612 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315015 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695413351672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30625] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30625/stat : 30625 (java) S 30610 30612 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315015 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695412298760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30626] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30626/stat : 30626 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315017 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694672894096 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30627] ppid=30610 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/30612/task/30627/stat : 30627 (java) S 30610 30612 30487 0 -1 4202560 8633 0 0 0 109 1 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694671842232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30628] ppid=30610 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/30612/task/30628/stat : 30628 (java) S 30610 30612 30487 0 -1 4202560 8635 0 0 0 107 2 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694670789432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30629] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30629/stat : 30629 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694669736824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30630] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30630/stat : 30630 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694668684232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30633] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30633/stat : 30633 (java) S 30610 30612 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315044 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694665524136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+3.30692 s]
/proc/loadavg: 0.60 0.13 0.04 3/216 30634
/proc/meminfo: memFree=28667340/32873648 swapFree=7104/7104
[pid=30612] ppid=30610 vsize=9824668 CPUtime=7.7 cores=1,3,5,7
/proc/30612/stat : 30612 (java) S 30610 30612 30487 0 -1 4202496 21297 0 1 0 758 12 0 0 20 0 19 0 253315013 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140734679983712 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30612/statm: 2456167 72039 2280 9 0 2446860 0
[pid=30612/tid=30613] ppid=30610 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/30612/task/30613/stat : 30613 (java) S 30610 30612 30487 0 -1 4202560 2467 0 1 0 26 2 0 0 20 0 19 0 253315013 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695590220792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 30487 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695551711784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30612/tid=30616] ppid=30610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 30487 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695550658984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695549606184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695548553384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30619] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695547501608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 30487 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695546448808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30621] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695427869480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30622] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30622/stat : 30622 (java) S 30610 30612 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315014 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695426816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30623] ppid=30610 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/30612/task/30623/stat : 30623 (java) S 30610 30612 30487 0 -1 4202560 102 0 0 0 17 0 0 0 20 0 19 0 253315015 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695414405608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30624] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30624/stat : 30624 (java) S 30610 30612 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315015 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695413351672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30625] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30625/stat : 30625 (java) S 30610 30612 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315015 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140695412298760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30626] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30626/stat : 30626 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315017 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694672894096 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30627] ppid=30610 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/30612/task/30627/stat : 30627 (java) S 30610 30612 30487 0 -1 4202560 8633 0 0 0 109 1 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694671842232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30612/tid=30628] ppid=30610 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/30612/task/30628/stat : 30628 (java) S 30610 30612 30487 0 -1 4202560 8635 0 0 0 107 2 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694670789432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30629] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30629/stat : 30629 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694669736824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30612/tid=30630] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30630/stat : 30630 (java) S 30610 30612 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315018 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694668684232 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30612/tid=30633] ppid=30610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30612/task/30633/stat : 30633 (java) S 30610 30612 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315044 10060460032 72039 33554432000 1073741824 1073778376 140734679992576 140694665524136 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 3.33295
CPU time (s): 7.72183
CPU user time (s): 7.52985
CPU system time (s): 0.19197
CPU usage (%): 231.682
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.52985
system time used= 0.19197
maximum resident set size= 288204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21306
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 560
involuntary context switches= 211
runsolver used 0.014997 second user time and 0.033994 second system time
The end