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-3732157-1338743632/watcher-3732157-1338743632 -o /tmp/evaluation-result-3732157-1338743632/solver-3732157-1338743632 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3732157-1338743632.opb
running on 4 cores: 0,2,4,6
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: 1.93 2.01 1.99 3/192 22065
/proc/meminfo: memFree=25667176/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22065/stat : 22065 (java6) D 22063 22065 21377 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340488681 9515008 182 33554432000 1073741824 1073778376 140735029434832 140735029425864 229355896501 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/22065/statm: 2323 182 140 9 0 71 0
[startup+0.0633859 s]
/proc/loadavg: 1.93 2.01 1.99 3/192 22065
/proc/meminfo: memFree=25667176/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2315716 CPUtime=0.04 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 3699 0 1 0 3 1 0 0 20 0 13 0 340488681 2371293184 4907 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 578929 4907 1708 9 0 569630 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2315716
[startup+0.100264 s]
/proc/loadavg: 1.93 2.01 1.99 3/192 22065
/proc/meminfo: memFree=25667176/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 4086 0 1 0 7 1 0 0 20 0 18 0 340488681 2712133632 5805 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 662142 5805 1934 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300217 s]
/proc/loadavg: 1.93 2.01 1.99 3/192 22065
/proc/meminfo: memFree=25667176/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 5722 0 1 0 42 1 0 0 20 0 19 0 340488681 2780295168 8647 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 678783 8647 2223 9 0 669476 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2715132
[startup+0.700211 s]
/proc/loadavg: 1.93 2.01 1.99 3/192 22065
/proc/meminfo: memFree=25667176/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2715132 CPUtime=1.14 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 7566 0 1 0 112 2 0 0 20 0 19 0 340488681 2780295168 10189 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 678783 10189 2238 9 0 669476 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2715132
[startup+1.50061 s]
/proc/loadavg: 1.93 2.01 1.99 3/211 22084
/proc/meminfo: memFree=25630656/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2715132 CPUtime=1.98 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 7572 0 1 0 196 2 0 0 20 0 19 0 340488681 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 678783 11216 2240 9 0 669476 0
[pid=22065/tid=22067] ppid=22063 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) R 22063 22065 21377 0 -1 4202560 2763 0 1 0 145 1 0 0 20 0 19 0 340488682 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857745025664 139857574206576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857729477544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22069] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857728425000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22070] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857727371944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22071] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857726319400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22065/tid=22072] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857725266344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22073] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857724213800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22074] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857723160744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22075] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) S 22063 22065 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857722108200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22076] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22063 22065 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340488685 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857709697896 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22077] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) S 22063 22065 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857708644216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22078] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857707591048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22079] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857706539792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22080] ppid=22063 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/22065/task/22080/stat : 22080 (java) S 22063 22065 21377 0 -1 4202560 1919 0 0 0 23 0 0 0 20 0 19 0 340488689 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857705486648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22081] ppid=22063 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/22065/task/22081/stat : 22081 (java) S 22063 22065 21377 0 -1 4202560 1695 0 0 0 25 0 0 0 20 0 19 0 340488689 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857704434104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22082] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22082/stat : 22082 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857703381240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22083] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22083/stat : 22083 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857702328904 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22084] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22084/stat : 22084 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488711 2780295168 11216 33554432000 1073741824 1073778376 140734091293200 139857701275176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2715132
[startup+3.10069 s]
/proc/loadavg: 1.93 2.01 1.99 3/211 22084
/proc/meminfo: memFree=25626188/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2715132 CPUtime=3.67 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 8454 0 1 0 365 2 0 0 20 0 19 0 340488681 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 678783 13231 2244 9 0 669476 0
[pid=22065/tid=22067] ppid=22063 vsize=2715132 CPUtime=3.05 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) R 22063 22065 21377 0 -1 4202560 2767 0 1 0 304 1 0 0 20 0 19 0 340488682 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857745027320 139857573975970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857729477544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22069] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857728425000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22070] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857727371944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22071] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857726319400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22065/tid=22072] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857725266344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22073] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857724213800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22074] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857723160744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22075] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) S 22063 22065 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857722108200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22076] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22063 22065 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340488685 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857709697896 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22077] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) S 22063 22065 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857708644216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22078] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857707591048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22079] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857706539792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22080] ppid=22063 vsize=2715132 CPUtime=0.26 cores=0,2,4,6
/proc/22065/task/22080/stat : 22080 (java) S 22063 22065 21377 0 -1 4202560 2289 0 0 0 26 0 0 0 20 0 19 0 340488689 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857705486648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22081] ppid=22063 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/22065/task/22081/stat : 22081 (java) S 22063 22065 21377 0 -1 4202560 2203 0 0 0 30 0 0 0 20 0 19 0 340488689 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857704434104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22082] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22082/stat : 22082 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857703381240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22083] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22083/stat : 22083 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857702328904 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22084] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22084/stat : 22084 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488711 2780295168 13231 33554432000 1073741824 1073778376 140734091293200 139857701275176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 2715132
[startup+6.30063 s]
/proc/loadavg: 1.94 2.01 1.99 3/211 22084
/proc/meminfo: memFree=25608936/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2715132 CPUtime=6.88 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 8460 0 1 0 685 3 0 0 20 0 19 0 340488681 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 678783 14736 2245 9 0 669476 0
[pid=22065/tid=22067] ppid=22063 vsize=2715132 CPUtime=6.24 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) R 22063 22065 21377 0 -1 4202560 2772 0 1 0 623 1 0 0 20 0 19 0 340488682 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857745027544 139857574265918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857729477544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22069] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857728425000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22070] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857727371944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22071] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857726319400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22065/tid=22072] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857725266344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22073] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857724213800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22074] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857723160744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22075] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) S 22063 22065 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857722108200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22076] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22063 22065 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340488685 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857709697896 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22077] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) S 22063 22065 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857708644216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22078] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857707591048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22079] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857706539792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22080] ppid=22063 vsize=2715132 CPUtime=0.26 cores=0,2,4,6
/proc/22065/task/22080/stat : 22080 (java) S 22063 22065 21377 0 -1 4202560 2289 0 0 0 26 0 0 0 20 0 19 0 340488689 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857705486648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22081] ppid=22063 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/22065/task/22081/stat : 22081 (java) S 22063 22065 21377 0 -1 4202560 2203 0 0 0 31 0 0 0 20 0 19 0 340488689 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857704434104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22082] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22082/stat : 22082 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857703381240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22083] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22083/stat : 22083 (java) S 22063 22065 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857702328904 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22084] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22084/stat : 22084 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488711 2780295168 14736 33554432000 1073741824 1073778376 140734091293200 139857701275176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 2715132
[startup+12.7006 s]
/proc/loadavg: 1.94 2.01 1.99 3/211 22084
/proc/meminfo: memFree=25584268/32873852 swapFree=6856/6856
[pid=22065] ppid=22063 vsize=2715132 CPUtime=13.29 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22063 22065 21377 0 -1 4202496 8467 0 1 0 1326 3 0 0 20 0 19 0 340488681 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 140734091284336 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22065/statm: 678783 17808 2245 9 0 669476 0
[pid=22065/tid=22067] ppid=22063 vsize=2715132 CPUtime=12.63 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) R 22063 22065 21377 0 -1 4202560 2779 0 1 0 1262 1 0 0 20 0 19 0 340488682 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857745025664 139857573975952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22068] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857729477544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22069] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857728425000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22070] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857727371944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22071] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857726319400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22065/tid=22072] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857725266344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22073] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857724213800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22065/tid=22074] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857723160744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22075] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) S 22063 22065 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340488684 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857722108200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22076] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22063 22065 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340488685 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857709697896 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22077] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) S 22063 22065 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857708644216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22078] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488686 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857707591048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22079] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857706539792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22080] ppid=22063 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/22065/task/22080/stat : 22080 (java) S 22063 22065 21377 0 -1 4202560 2289 0 0 0 27 0 0 0 20 0 19 0 340488689 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857705486648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22081] ppid=22063 vsize=2715132 CPUtime=0.32 cores=0,2,4,6
/proc/22065/task/22081/stat : 22081 (java) S 22063 22065 21377 0 -1 4202560 2203 0 0 0 32 0 0 0 20 0 19 0 340488689 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857704434104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22082] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22082/stat : 22082 (java) S 22063 22065 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857703381240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22065/tid=22083] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22083/stat : 22083 (java) S 22063 22065 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340488689 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857702328904 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22065/tid=22084] ppid=22063 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22084/stat : 22084 (java) S 22063 22065 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340488711 2780295168 17808 33554432000 1073741824 1073778376 140734091293200 139857701275176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 12.739
CPU time (s): 13.312
CPU user time (s): 13.269
CPU system time (s): 0.042993
CPU usage (%): 104.498
Max. virtual memory (cumulated for all children) (KiB): 2715520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.269
system time used= 0.042993
maximum resident set size= 71296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8488
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= 544
involuntary context switches= 59
runsolver used 0.020996 second user time and 0.052991 second system time
The end