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-3458280-1307158526/watcher-3458280-1307158526 -o /tmp/evaluation-result-3458280-1307158526/solver-3458280-1307158526 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458280-1307158526.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.14 2.07 1.96 3/532 12887
/proc/meminfo: memFree=19110872/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/12887/stat : 12887 (runsolver) R 12885 12887 8697 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 1 0 906083355 12079104 54 33554432000 4194304 5432328 140735664706224 18446744073709551615 5055479 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/12887/statm: 2949 54 34 303 0 2643 0
[pid=12887/tid=12888] ppid=12885 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 1596 0 1 0 0 0 0 0 25 0 2 0 906083356 13833195520 2411 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0589699 s]
/proc/loadavg: 2.14 2.07 1.96 3/532 12887
/proc/meminfo: memFree=19110872/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/12887/stat : 12887 (java) S 12885 12887 8697 0 -1 4202496 13832 0 1 0 3 1 0 0 25 0 13 0 906083355 13874667520 13529 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12887/statm: 3387370 13529 1679 9 0 3378118 0
[pid=12887/tid=12888] ppid=12885 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 12687 0 1 0 3 1 0 0 25 0 13 0 906083356 13874667520 13530 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 47697039800339 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.102153 s]
/proc/loadavg: 2.14 2.07 1.96 3/532 12887
/proc/meminfo: memFree=19110872/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=13621716 CPUtime=0.09 cores=1,3,5,7
/proc/12887/stat : 12887 (java) S 12885 12887 8697 0 -1 4202496 15462 0 1 0 8 1 0 0 25 0 18 0 906083355 13948637184 15136 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12887/statm: 3405429 15136 2091 9 0 3396163 0
[pid=12887/tid=12888] ppid=12885 vsize=13621716 CPUtime=0.08 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 13518 0 1 0 7 1 0 0 25 0 18 0 906083356 13948637184 15137 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 47697040602135 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) 13621716
[startup+0.300928 s]
/proc/loadavg: 2.14 2.07 1.96 3/532 12887
/proc/meminfo: memFree=19110872/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=13625056 CPUtime=0.5 cores=1,3,5,7
/proc/12887/stat : 12887 (java) S 12885 12887 8697 0 -1 4202496 18653 0 1 0 48 2 0 0 25 0 19 0 906083355 13952057344 17480 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12887/statm: 3406264 17480 2193 9 0 3396998 0
[pid=12887/tid=12888] ppid=12885 vsize=13625056 CPUtime=0.27 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 14172 0 1 0 26 1 0 0 25 0 19 0 906083356 13952057344 17480 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 46912505509205 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13625056
[startup+0.700856 s]
/proc/loadavg: 2.14 2.07 1.96 3/532 12887
/proc/meminfo: memFree=19110872/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=13625056 CPUtime=0.97 cores=1,3,5,7
/proc/12887/stat : 12887 (java) S 12885 12887 8697 0 -1 4202496 20205 0 1 0 95 2 0 0 25 0 19 0 906083355 13952057344 19027 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12887/statm: 3406264 19027 2233 9 0 3396998 0
[pid=12887/tid=12888] ppid=12885 vsize=13625056 CPUtime=0.66 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 14789 0 1 0 65 1 0 0 25 0 19 0 906083356 13952057344 19027 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 46912505596405 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 13625056
[startup+1.50071 s]
/proc/loadavg: 2.14 2.07 1.96 3/551 12906
/proc/meminfo: memFree=19042608/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=13625056 CPUtime=1.79 cores=1,3,5,7
/proc/12887/stat : 12887 (java) S 12885 12887 8697 0 -1 4202496 20587 0 1 0 177 2 0 0 25 0 19 0 906083355 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12887/statm: 3406264 19408 2235 9 0 3396998 0
[pid=12887/tid=12888] ppid=12885 vsize=13625056 CPUtime=1.44 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 14791 0 1 0 143 1 0 0 25 0 19 0 906083356 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 46912505577602 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12887/tid=12890] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12890/stat : 12890 (java) S 12885 12887 8697 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12891] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12891/stat : 12891 (java) S 12885 12887 8697 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12892] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12892/stat : 12892 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12893] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12893/stat : 12893 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12894] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12894/stat : 12894 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12895] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12895/stat : 12895 (java) S 12885 12887 8697 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12896] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12896/stat : 12896 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12897] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12897/stat : 12897 (java) S 12885 12887 8697 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 19 0 906083358 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12898] ppid=12885 vsize=13625056 CPUtime=0.02 cores=1,3,5,7
/proc/12887/task/12898/stat : 12898 (java) S 12885 12887 8697 0 -1 4202560 578 0 0 0 2 0 0 0 16 0 19 0 906083359 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 0 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12899] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12899/stat : 12899 (java) S 12885 12887 8697 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906083360 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12900] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12900/stat : 12900 (java) S 12885 12887 8697 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 906083360 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12901] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12901/stat : 12901 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906083362 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000416177 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12902] ppid=12885 vsize=13625056 CPUtime=0.15 cores=1,3,5,7
/proc/12887/task/12902/stat : 12902 (java) S 12885 12887 8697 0 -1 4202560 1837 0 0 0 15 0 0 0 18 0 19 0 906083362 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12903] ppid=12885 vsize=13625056 CPUtime=0.14 cores=1,3,5,7
/proc/12887/task/12903/stat : 12903 (java) S 12885 12887 8697 0 -1 4202560 1568 0 0 0 14 0 0 0 19 0 19 0 906083362 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12904] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12904/stat : 12904 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906083362 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12905] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12905/stat : 12905 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083362 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12906] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12906/stat : 12906 (java) S 12885 12887 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906083370 13952057344 19408 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 13625056
Solver just ended. Dumping a history of the last processes samples
[startup+1.90065 s]
/proc/loadavg: 2.14 2.07 1.96 3/551 12906
/proc/meminfo: memFree=19042608/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=13625056 CPUtime=2.19 cores=1,3,5,7
/proc/12887/stat : 12887 (java) S 12885 12887 8697 0 -1 4202496 20745 0 1 0 217 2 0 0 25 0 19 0 906083355 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12887/statm: 3406264 19565 2239 9 0 3396998 0
[pid=12887/tid=12888] ppid=12885 vsize=13625056 CPUtime=1.82 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 14799 0 1 0 181 1 0 0 25 0 19 0 906083356 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 46912505520133 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12887/tid=12890] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12890/stat : 12890 (java) S 12885 12887 8697 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12891] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12891/stat : 12891 (java) S 12885 12887 8697 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12892] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12892/stat : 12892 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12893] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12893/stat : 12893 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12894] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12894/stat : 12894 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12895] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12895/stat : 12895 (java) S 12885 12887 8697 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12896] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12896/stat : 12896 (java) S 12885 12887 8697 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12897] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12897/stat : 12897 (java) S 12885 12887 8697 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 19 0 906083358 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12898] ppid=12885 vsize=13625056 CPUtime=0.03 cores=1,3,5,7
/proc/12887/task/12898/stat : 12898 (java) S 12885 12887 8697 0 -1 4202560 712 0 0 0 3 0 0 0 15 0 19 0 906083359 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 0 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12899] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12899/stat : 12899 (java) S 12885 12887 8697 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906083360 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12900] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12900/stat : 12900 (java) S 12885 12887 8697 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 906083360 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12901] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12901/stat : 12901 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906083362 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000416177 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12902] ppid=12885 vsize=13625056 CPUtime=0.16 cores=1,3,5,7
/proc/12887/task/12902/stat : 12902 (java) S 12885 12887 8697 0 -1 4202560 1840 0 0 0 16 0 0 0 16 0 19 0 906083362 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12903] ppid=12885 vsize=13625056 CPUtime=0.14 cores=1,3,5,7
/proc/12887/task/12903/stat : 12903 (java) S 12885 12887 8697 0 -1 4202560 1568 0 0 0 14 0 0 0 19 0 19 0 906083362 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 7 0 0 0
[pid=12887/tid=12904] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12904/stat : 12904 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906083362 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12905] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12905/stat : 12905 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083362 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12906] ppid=12885 vsize=13625056 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12906/stat : 12906 (java) S 12885 12887 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906083370 13952057344 19565 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 13625056
[startup+2.30158 s]
/proc/loadavg: 2.14 2.07 1.96 2/531 12909
/proc/meminfo: memFree=19142784/32950940 swapFree=67111364/67111528
[pid=12887] ppid=12885 vsize=13636124 CPUtime=2.77 cores=1,3,5,7
/proc/12887/stat : 12887 (java) S 12885 12887 8697 0 -1 4202496 25233 0 1 0 274 3 0 0 25 0 19 0 906083355 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12887/statm: 3409031 22359 2249 9 0 3399765 0
[pid=12887/tid=12888] ppid=12885 vsize=13636124 CPUtime=2.21 cores=1,3,5,7
/proc/12887/task/12888/stat : 12888 (java) R 12885 12887 8697 0 -1 4202560 14800 0 1 0 220 1 0 0 25 0 19 0 906083356 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 46912505536450 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12887/tid=12890] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12890/stat : 12890 (java) S 12885 12887 8697 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 1 0 0 0
[pid=12887/tid=12891] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12891/stat : 12891 (java) S 12885 12887 8697 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12892] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12892/stat : 12892 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 1 0 0 0
[pid=12887/tid=12893] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12893/stat : 12893 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12894] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12894/stat : 12894 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 1 0 0 0
[pid=12887/tid=12895] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12895/stat : 12895 (java) S 12885 12887 8697 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12896] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12896/stat : 12896 (java) S 12885 12887 8697 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 1 0 0 0
[pid=12887/tid=12897] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12897/stat : 12897 (java) S 12885 12887 8697 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 19 0 906083358 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12898] ppid=12885 vsize=13636124 CPUtime=0.05 cores=1,3,5,7
/proc/12887/task/12898/stat : 12898 (java) S 12885 12887 8697 0 -1 4202560 726 0 0 0 5 0 0 0 15 0 19 0 906083359 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 0 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12899] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12899/stat : 12899 (java) S 12885 12887 8697 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906083360 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12900] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12900/stat : 12900 (java) S 12885 12887 8697 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 906083360 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12901] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12901/stat : 12901 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906083362 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000416177 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12902] ppid=12885 vsize=13636124 CPUtime=0.23 cores=1,3,5,7
/proc/12887/task/12902/stat : 12902 (java) S 12885 12887 8697 0 -1 4202560 2079 0 0 0 23 0 0 0 15 0 19 0 906083362 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
[pid=12887/tid=12903] ppid=12885 vsize=13636124 CPUtime=0.23 cores=1,3,5,7
/proc/12887/task/12903/stat : 12903 (java) R 12885 12887 8697 0 -1 4202560 5793 0 0 0 23 0 0 0 18 0 19 0 906083362 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 47697040091278 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12887/tid=12904] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12904/stat : 12904 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906083362 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000408473 0 4 0 16800975 18446604464260610240 0 0 -1 3 0 0 0
[pid=12887/tid=12905] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12905/stat : 12905 (java) S 12885 12887 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906083362 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 4 0 16800975 18446604464260610240 0 0 -1 1 0 0 0
[pid=12887/tid=12906] ppid=12885 vsize=13636124 CPUtime=0 cores=1,3,5,7
/proc/12887/task/12906/stat : 12906 (java) S 12885 12887 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906083370 13963390976 22359 33554432000 1073741824 1073778376 140733699366864 18446744073709551615 216000409088 0 4 0 16800975 18446604464260610240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 13636124
Child status: 30
Real time (s): 2.34313
CPU time (s): 2.83057
CPU user time (s): 2.79357
CPU system time (s): 0.036994
CPU usage (%): 120.803
Max. virtual memory (cumulated for all children) (KiB): 13636124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.79357
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25530
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= 355
involuntary context switches= 136
runsolver used 0.018997 second user time and 0.040993 second system time
The end