runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458122-1307158095/watcher-3458122-1307158095 -o /tmp/evaluation-result-3458122-1307158095/solver-3458122-1307158095 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458122-1307158095.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: 2.29 2.10 2.02 2/533 15046
/proc/meminfo: memFree=23065116/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 4020 0 1 0 0 0 0 0 25 0 2 0 906040154 13850947584 3722 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3381579 3736 917 9 0 3372735 0
[pid=15046/tid=15047] ppid=15044 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 7981 0 1 0 0 0 0 0 25 0 2 0 906040155 13850947584 8798 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0946381 s]
/proc/loadavg: 2.29 2.10 2.02 2/533 15046
/proc/meminfo: memFree=23065116/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13620752 CPUtime=0.09 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 15463 0 1 0 8 1 0 0 25 0 18 0 906040154 13947650048 15159 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3405188 15159 2093 9 0 3395922 0
[pid=15046/tid=15047] ppid=15044 vsize=13620752 CPUtime=0.07 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 13522 0 1 0 6 1 0 0 19 0 18 0 906040155 13947650048 15159 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256415040512 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13620752
[startup+0.100653 s]
/proc/loadavg: 2.29 2.10 2.02 2/533 15046
/proc/meminfo: memFree=23065116/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13620884 CPUtime=0.1 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 15561 0 1 0 9 1 0 0 25 0 18 0 906040154 13947785216 15257 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3405221 15257 2093 9 0 3395955 0
[pid=15046/tid=15047] ppid=15044 vsize=13620884 CPUtime=0.08 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 13620 0 1 0 7 1 0 0 19 0 18 0 906040155 13947785216 15257 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13620884
[startup+0.300625 s]
/proc/loadavg: 2.29 2.10 2.02 2/533 15046
/proc/meminfo: memFree=23065116/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13623468 CPUtime=0.54 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 18439 0 1 0 52 2 0 0 25 0 19 0 906040154 13950431232 17268 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3405867 17268 2204 9 0 3396601 0
[pid=15046/tid=15047] ppid=15044 vsize=13623468 CPUtime=0.28 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 14259 0 1 0 27 1 0 0 20 0 19 0 906040155 13950431232 17269 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 46912505532556 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13623468
[startup+0.700559 s]
/proc/loadavg: 2.29 2.10 2.02 2/533 15046
/proc/meminfo: memFree=23065116/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13623468 CPUtime=1.01 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 19725 0 1 0 99 2 0 0 25 0 19 0 906040154 13950431232 18246 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3405867 18246 2247 9 0 3396601 0
[pid=15046/tid=15047] ppid=15044 vsize=13623468 CPUtime=0.67 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 14554 0 1 0 65 2 0 0 20 0 19 0 906040155 13950431232 18246 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 46912505577084 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13623468
[startup+1.50139 s]
/proc/loadavg: 2.29 2.10 2.02 4/552 15065
/proc/meminfo: memFree=22979432/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13625940 CPUtime=2.49 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 31969 0 1 0 245 4 0 0 25 0 19 0 906040154 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3406485 24918 2248 9 0 3397219 0
[pid=15046/tid=15047] ppid=15044 vsize=13625940 CPUtime=1.44 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 14562 0 1 0 142 2 0 0 22 0 19 0 906040155 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 46912505530973 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15046/tid=15049] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (java) S 15044 15046 10738 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 1 0 0 0
[pid=15046/tid=15050] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15050/stat : 15050 (java) S 15044 15046 10738 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15051] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15051/stat : 15051 (java) S 15044 15046 10738 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15052] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15052/stat : 15052 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 1 0 0 0
[pid=15046/tid=15053] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15053/stat : 15053 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15054] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15054/stat : 15054 (java) S 15044 15046 10738 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 1 0 0 0
[pid=15046/tid=15055] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15055/stat : 15055 (java) S 15044 15046 10738 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15056] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15056/stat : 15056 (java) S 15044 15046 10738 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15057] ppid=15044 vsize=13625940 CPUtime=0.03 cores=1,3,5,7
/proc/15046/task/15057/stat : 15057 (java) S 15044 15046 10738 0 -1 4202560 805 0 0 0 3 0 0 0 15 0 19 0 906040158 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 0 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15058] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15058/stat : 15058 (java) S 15044 15046 10738 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15059] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15059/stat : 15059 (java) S 15044 15046 10738 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15060] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15060/stat : 15060 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906040160 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427215281 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15061] ppid=15044 vsize=13625940 CPUtime=0.21 cores=1,3,5,7
/proc/15046/task/15061/stat : 15061 (java) S 15044 15046 10738 0 -1 4202560 1774 0 0 0 21 0 0 0 17 0 19 0 906040160 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 5 0 0 0
[pid=15046/tid=15062] ppid=15044 vsize=13625940 CPUtime=0.78 cores=1,3,5,7
/proc/15046/task/15062/stat : 15062 (java) R 15044 15046 10738 0 -1 4202560 12819 0 0 0 76 2 0 0 16 0 19 0 906040160 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 47435651739529 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15046/tid=15063] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15063/stat : 15063 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906040160 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15064] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15064/stat : 15064 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906040160 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15065] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15065/stat : 15065 (java) S 15044 15046 10738 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 906040171 13952962560 24918 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 13625940
Solver just ended. Dumping a history of the last processes samples
[startup+1.90483 s]
/proc/loadavg: 2.29 2.10 2.02 4/552 15065
/proc/meminfo: memFree=22979432/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13625940 CPUtime=3.07 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 32801 0 1 0 302 5 0 0 25 0 19 0 906040154 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3406485 23759 2249 9 0 3397219 0
[pid=15046/tid=15047] ppid=15044 vsize=13625940 CPUtime=1.81 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 14563 0 1 0 179 2 0 0 24 0 19 0 906040155 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15046/tid=15049] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (java) S 15044 15046 10738 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15050] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15050/stat : 15050 (java) S 15044 15046 10738 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15051] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15051/stat : 15051 (java) S 15044 15046 10738 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15052] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15052/stat : 15052 (java) S 15044 15046 10738 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15053] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15053/stat : 15053 (java) S 15044 15046 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15054] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15054/stat : 15054 (java) S 15044 15046 10738 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15055] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15055/stat : 15055 (java) S 15044 15046 10738 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15056] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15056/stat : 15056 (java) S 15044 15046 10738 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15057] ppid=15044 vsize=13625940 CPUtime=0.06 cores=1,3,5,7
/proc/15046/task/15057/stat : 15057 (java) S 15044 15046 10738 0 -1 4202560 812 0 0 0 6 0 0 0 15 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 0 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15058] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15058/stat : 15058 (java) S 15044 15046 10738 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15059] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15059/stat : 15059 (java) S 15044 15046 10738 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15060] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15060/stat : 15060 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427215281 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15061] ppid=15044 vsize=13625940 CPUtime=0.24 cores=1,3,5,7
/proc/15046/task/15061/stat : 15061 (java) S 15044 15046 10738 0 -1 4202560 1776 0 0 0 24 0 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 5 0 0 0
[pid=15046/tid=15062] ppid=15044 vsize=13625940 CPUtime=0.92 cores=1,3,5,7
/proc/15046/task/15062/stat : 15062 (java) S 15044 15046 10738 0 -1 4202560 13632 0 0 0 90 2 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 1 0 0 0
[pid=15046/tid=15063] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15063/stat : 15063 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15064] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15064/stat : 15064 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15065] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15065/stat : 15065 (java) S 15044 15046 10738 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 906040171 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13625940
[startup+2.10128 s]
/proc/loadavg: 2.29 2.10 2.02 3/552 15065
/proc/meminfo: memFree=22960460/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13625940 CPUtime=3.28 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 32801 0 1 0 323 5 0 0 25 0 19 0 906040154 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3406485 23759 2249 9 0 3397219 0
[pid=15046/tid=15047] ppid=15044 vsize=13625940 CPUtime=2.02 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 14563 0 1 0 200 2 0 0 25 0 19 0 906040155 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 46912505518947 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15046/tid=15049] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (java) S 15044 15046 10738 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15050] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15050/stat : 15050 (java) S 15044 15046 10738 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15051] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15051/stat : 15051 (java) S 15044 15046 10738 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15052] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15052/stat : 15052 (java) S 15044 15046 10738 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15053] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15053/stat : 15053 (java) S 15044 15046 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15054] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15054/stat : 15054 (java) S 15044 15046 10738 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15055] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15055/stat : 15055 (java) S 15044 15046 10738 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15056] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15056/stat : 15056 (java) S 15044 15046 10738 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15057] ppid=15044 vsize=13625940 CPUtime=0.06 cores=1,3,5,7
/proc/15046/task/15057/stat : 15057 (java) S 15044 15046 10738 0 -1 4202560 812 0 0 0 6 0 0 0 15 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 0 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15058] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15058/stat : 15058 (java) S 15044 15046 10738 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15059] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15059/stat : 15059 (java) S 15044 15046 10738 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15060] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15060/stat : 15060 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427215281 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15061] ppid=15044 vsize=13625940 CPUtime=0.24 cores=1,3,5,7
/proc/15046/task/15061/stat : 15061 (java) S 15044 15046 10738 0 -1 4202560 1776 0 0 0 24 0 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 5 0 0 0
[pid=15046/tid=15062] ppid=15044 vsize=13625940 CPUtime=0.92 cores=1,3,5,7
/proc/15046/task/15062/stat : 15062 (java) S 15044 15046 10738 0 -1 4202560 13632 0 0 0 90 2 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 1 0 0 0
[pid=15046/tid=15063] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15063/stat : 15063 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15064] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15064/stat : 15064 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15065] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15065/stat : 15065 (java) S 15044 15046 10738 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 906040171 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 13625940
[startup+2.22026 s]
/proc/loadavg: 2.29 2.10 2.02 3/552 15065
/proc/meminfo: memFree=22960460/32950928 swapFree=58671692/67111528
[pid=15046] ppid=15044 vsize=13625940 CPUtime=3.39 cores=1,3,5,7
/proc/15046/stat : 15046 (java) S 15044 15046 10738 0 -1 4202496 32801 0 1 0 334 5 0 0 25 0 19 0 906040154 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15046/statm: 3406485 23759 2249 9 0 3397219 0
[pid=15046/tid=15047] ppid=15044 vsize=13625940 CPUtime=2.12 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (java) R 15044 15046 10738 0 -1 4202560 14563 0 1 0 210 2 0 0 25 0 19 0 906040155 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 46912505592117 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15046/tid=15049] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (java) S 15044 15046 10738 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15050] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15050/stat : 15050 (java) S 15044 15046 10738 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15051] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15051/stat : 15051 (java) S 15044 15046 10738 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15052] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15052/stat : 15052 (java) S 15044 15046 10738 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15053] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15053/stat : 15053 (java) S 15044 15046 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15054] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15054/stat : 15054 (java) S 15044 15046 10738 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15055] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15055/stat : 15055 (java) S 15044 15046 10738 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15056] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15056/stat : 15056 (java) S 15044 15046 10738 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 906040157 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15057] ppid=15044 vsize=13625940 CPUtime=0.06 cores=1,3,5,7
/proc/15046/task/15057/stat : 15057 (java) S 15044 15046 10738 0 -1 4202560 812 0 0 0 6 0 0 0 15 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 0 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15058] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15058/stat : 15058 (java) S 15044 15046 10738 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15059] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15059/stat : 15059 (java) S 15044 15046 10738 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 906040158 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
[pid=15046/tid=15060] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15060/stat : 15060 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427215281 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15061] ppid=15044 vsize=13625940 CPUtime=0.24 cores=1,3,5,7
/proc/15046/task/15061/stat : 15061 (java) S 15044 15046 10738 0 -1 4202560 1776 0 0 0 24 0 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 5 0 0 0
[pid=15046/tid=15062] ppid=15044 vsize=13625940 CPUtime=0.92 cores=1,3,5,7
/proc/15046/task/15062/stat : 15062 (java) S 15044 15046 10738 0 -1 4202560 13632 0 0 0 90 2 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 1 0 0 0
[pid=15046/tid=15063] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15063/stat : 15063 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427207577 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15064] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15064/stat : 15064 (java) S 15044 15046 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906040160 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 3 0 0 0
[pid=15046/tid=15065] ppid=15044 vsize=13625940 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15065/stat : 15065 (java) S 15044 15046 10738 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 906040171 13952962560 23759 33554432000 1073741824 1073778376 140734178663792 18446744073709551615 256427208192 0 4 0 16800975 18446604459945910528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 13625940
Child status: 30
Real time (s): 2.30069
CPU time (s): 3.47747
CPU user time (s): 3.42048
CPU system time (s): 0.056991
CPU usage (%): 151.149
Max. virtual memory (cumulated for all children) (KiB): 13625940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42048
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32826
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 117
runsolver used 0.018997 second user time and 0.041993 second system time
The end