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-3454799-1307186827/watcher-3454799-1307186827 -o /tmp/evaluation-result-3454799-1307186827/solver-3454799-1307186827 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454799-1307186827.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: 3.49 2.10 1.94 3/421 11362
/proc/meminfo: memFree=29704172/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 2428 0 1 0 0 0 0 0 25 0 2 0 830282424 10681323520 2132 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2607745 2145 906 9 0 2598901 0
[pid=11362/tid=11363] ppid=11360 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) R 11360 11362 8078 0 -1 4202560 4808 0 1 0 0 0 0 0 25 0 2 0 830282425 10694979584 5625 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.067858 s]
/proc/loadavg: 3.49 2.10 1.94 3/421 11362
/proc/meminfo: memFree=29704172/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 11806 0 1 0 4 2 0 0 25 0 18 0 830282424 10724442112 11504 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2618272 11504 1742 9 0 2609006 0
[pid=11362/tid=11363] ppid=11360 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) R 11360 11362 8078 0 -1 4202560 10632 0 1 0 4 1 0 0 25 0 18 0 830282425 10724442112 11505 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 48010484994819 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100853 s]
/proc/loadavg: 3.49 2.10 1.94 3/421 11362
/proc/meminfo: memFree=29704172/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10540280 CPUtime=0.1 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 13101 0 1 0 8 2 0 0 25 0 18 0 830282424 10793246720 12765 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2635070 12767 2092 9 0 2625804 0
[pid=11362/tid=11363] ppid=11360 vsize=10540280 CPUtime=0.09 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) R 11360 11362 8078 0 -1 4202560 11158 0 1 0 7 2 0 0 25 0 18 0 830282425 10793246720 12767 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 48010484994819 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) 10540280
[startup+0.300818 s]
/proc/loadavg: 3.49 2.10 1.94 3/421 11362
/proc/meminfo: memFree=29704172/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10547504 CPUtime=0.69 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 19240 0 1 0 66 3 0 0 25 0 22 0 830282424 10800644096 17538 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2636876 17538 2213 9 0 2627610 0
[pid=11362/tid=11363] ppid=11360 vsize=10547504 CPUtime=0.16 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) S 11360 11362 8078 0 -1 4202560 11734 0 1 0 14 2 0 0 25 0 22 0 830282425 10800644096 17538 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10547504
[startup+0.70075 s]
/proc/loadavg: 3.49 2.10 1.94 3/421 11362
/proc/meminfo: memFree=29704172/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10556156 CPUtime=2.25 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 47922 0 1 0 217 8 0 0 25 0 22 0 830282424 10809503744 42489 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2639039 42489 2253 9 0 2629773 0
[pid=11362/tid=11363] ppid=11360 vsize=10556156 CPUtime=0.16 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) S 11360 11362 8078 0 -1 4202560 11734 0 1 0 14 2 0 0 20 0 22 0 830282425 10809503744 42489 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10556156
[startup+1.50161 s]
/proc/loadavg: 3.49 2.10 1.94 8/443 11385
/proc/meminfo: memFree=29469600/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10556472 CPUtime=4.49 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 82407 0 1 0 436 13 0 0 25 0 22 0 830282424 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2639118 73038 2257 9 0 2629852 0
[pid=11362/tid=11363] ppid=11360 vsize=10556472 CPUtime=0.16 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) S 11360 11362 8078 0 -1 4202560 11734 0 1 0 14 2 0 0 15 0 22 0 830282425 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11365/stat : 11365 (java) S 11360 11362 8078 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11366/stat : 11366 (java) S 11360 11362 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11367/stat : 11367 (java) S 11360 11362 8078 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11368/stat : 11368 (java) S 11360 11362 8078 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11369/stat : 11369 (java) S 11360 11362 8078 0 -1 4202560 106 0 0 0 0 0 0 0 16 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11370/stat : 11370 (java) S 11360 11362 8078 0 -1 4202560 127 0 0 0 0 0 0 0 16 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11371/stat : 11371 (java) S 11360 11362 8078 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11372/stat : 11372 (java) S 11360 11362 8078 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=10556472 CPUtime=0.06 cores=1,3,5,7
/proc/11362/task/11373/stat : 11373 (java) R 11360 11362 8078 0 -1 4202560 1106 0 0 0 6 0 0 0 15 0 22 0 830282428 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 48010488234100 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11374/stat : 11374 (java) S 11360 11362 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830282428 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11375/stat : 11375 (java) S 11360 11362 8078 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 830282428 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11376/stat : 11376 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282430 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290703281 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11377] ppid=11360 vsize=10556472 CPUtime=0.86 cores=1,3,5,7
/proc/11362/task/11377/stat : 11377 (java) S 11360 11362 8078 0 -1 4202560 9504 0 0 0 85 1 0 0 21 0 22 0 830282430 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11378] ppid=11360 vsize=10556472 CPUtime=0.88 cores=1,3,5,7
/proc/11362/task/11378/stat : 11378 (java) S 11360 11362 8078 0 -1 4202560 7208 0 0 0 87 1 0 0 22 0 22 0 830282430 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11379] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11379/stat : 11379 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282430 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11380] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11380/stat : 11380 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830282430 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11382] ppid=11360 vsize=10556472 CPUtime=1.24 cores=1,3,5,7
/proc/11362/task/11382/stat : 11382 (java) S 11360 11362 8078 0 -1 4202560 334 0 0 0 124 0 0 0 25 0 22 0 830282442 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11383] ppid=11360 vsize=10556472 CPUtime=1.23 cores=1,3,5,7
/proc/11362/task/11383/stat : 11383 (java) S 11360 11362 8078 0 -1 4202560 50144 0 0 0 116 7 0 0 25 0 22 0 830282442 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11384] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11384/stat : 11384 (java) S 11360 11362 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282442 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11385] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11385/stat : 11385 (java) S 11360 11362 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282442 10809827328 73038 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10556472
Solver just ended. Dumping a history of the last processes samples
[startup+2.30146 s]
/proc/loadavg: 3.77 2.18 1.96 7/443 11434
/proc/meminfo: memFree=29685036/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10556472 CPUtime=6.08 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 96817 0 1 0 593 15 0 0 25 0 22 0 830282424 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2639118 87446 2258 9 0 2629852 0
[pid=11362/tid=11363] ppid=11360 vsize=10556472 CPUtime=0.16 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) S 11360 11362 8078 0 -1 4202560 11734 0 1 0 14 2 0 0 15 0 22 0 830282425 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11365/stat : 11365 (java) S 11360 11362 8078 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11366/stat : 11366 (java) S 11360 11362 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11367/stat : 11367 (java) S 11360 11362 8078 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11368/stat : 11368 (java) S 11360 11362 8078 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11369/stat : 11369 (java) S 11360 11362 8078 0 -1 4202560 188 0 0 0 0 0 0 0 16 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11370/stat : 11370 (java) S 11360 11362 8078 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11371/stat : 11371 (java) S 11360 11362 8078 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11372/stat : 11372 (java) S 11360 11362 8078 0 -1 4202560 278 0 0 0 0 0 0 0 16 0 22 0 830282427 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=10556472 CPUtime=0.1 cores=1,3,5,7
/proc/11362/task/11373/stat : 11373 (java) R 11360 11362 8078 0 -1 4202560 1884 0 0 0 10 0 0 0 15 0 22 0 830282428 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 48010488580164 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11374/stat : 11374 (java) S 11360 11362 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830282428 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11375/stat : 11375 (java) S 11360 11362 8078 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 830282428 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11376/stat : 11376 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282430 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290703281 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11377] ppid=11360 vsize=10556472 CPUtime=0.86 cores=1,3,5,7
/proc/11362/task/11377/stat : 11377 (java) S 11360 11362 8078 0 -1 4202560 9504 0 0 0 85 1 0 0 21 0 22 0 830282430 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11378] ppid=11360 vsize=10556472 CPUtime=0.91 cores=1,3,5,7
/proc/11362/task/11378/stat : 11378 (java) S 11360 11362 8078 0 -1 4202560 7214 0 0 0 90 1 0 0 19 0 22 0 830282430 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11379] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11379/stat : 11379 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282430 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11380] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11380/stat : 11380 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830282430 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11382] ppid=11360 vsize=10556472 CPUtime=1.99 cores=1,3,5,7
/proc/11362/task/11382/stat : 11382 (java) S 11360 11362 8078 0 -1 4202560 336 0 0 0 199 0 0 0 25 0 22 0 830282442 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11383] ppid=11360 vsize=10556472 CPUtime=1.97 cores=1,3,5,7
/proc/11362/task/11383/stat : 11383 (java) S 11360 11362 8078 0 -1 4202560 63561 0 0 0 189 8 0 0 25 0 22 0 830282442 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11384] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11384/stat : 11384 (java) S 11360 11362 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282442 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11385] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11385/stat : 11385 (java) S 11360 11362 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282442 10809827328 87446 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 10556472
[startup+2.70139 s]
/proc/loadavg: 3.77 2.18 1.96 7/443 11434
/proc/meminfo: memFree=29685036/32950904 swapFree=56615552/67111528
[pid=11362] ppid=11360 vsize=10556472 CPUtime=6.14 cores=1,3,5,7
/proc/11362/stat : 11362 (java) S 11360 11362 8078 0 -1 4202496 97296 0 1 0 599 15 0 0 25 0 18 0 830282424 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11362/statm: 2639118 87924 2263 9 0 2629852 0
[pid=11362/tid=11363] ppid=11360 vsize=10556472 CPUtime=0.16 cores=1,3,5,7
/proc/11362/task/11363/stat : 11363 (java) S 11360 11362 8078 0 -1 4202560 11736 0 1 0 14 2 0 0 15 0 18 0 830282425 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11365] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11365/stat : 11365 (java) S 11360 11362 8078 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11366] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11366/stat : 11366 (java) S 11360 11362 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11367] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11367/stat : 11367 (java) S 11360 11362 8078 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11368] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11368/stat : 11368 (java) S 11360 11362 8078 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11369] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11369/stat : 11369 (java) S 11360 11362 8078 0 -1 4202560 188 0 0 0 0 0 0 0 16 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11370] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11370/stat : 11370 (java) S 11360 11362 8078 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11371] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11371/stat : 11371 (java) S 11360 11362 8078 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11372] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11372/stat : 11372 (java) S 11360 11362 8078 0 -1 4202560 278 0 0 0 0 0 0 0 16 0 18 0 830282427 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
[pid=11362/tid=11373] ppid=11360 vsize=10556472 CPUtime=0.12 cores=1,3,5,7
/proc/11362/task/11373/stat : 11373 (java) S 11360 11362 8078 0 -1 4202560 2355 0 0 0 12 0 0 0 15 0 18 0 830282428 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 0 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11374] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11374/stat : 11374 (java) S 11360 11362 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 830282428 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11375] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11375/stat : 11375 (java) S 11360 11362 8078 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 830282428 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=11362/tid=11376] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11376/stat : 11376 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 830282430 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11377] ppid=11360 vsize=10556472 CPUtime=0.86 cores=1,3,5,7
/proc/11362/task/11377/stat : 11377 (java) S 11360 11362 8078 0 -1 4202560 9504 0 0 0 85 1 0 0 18 0 18 0 830282430 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 1 0 0 0
[pid=11362/tid=11378] ppid=11360 vsize=10556472 CPUtime=0.91 cores=1,3,5,7
/proc/11362/task/11378/stat : 11378 (java) S 11360 11362 8078 0 -1 4202560 7218 0 0 0 90 1 0 0 18 0 18 0 830282430 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11379] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11379/stat : 11379 (java) S 11360 11362 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830282430 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=11362/tid=11384] ppid=11360 vsize=10556472 CPUtime=0 cores=1,3,5,7
/proc/11362/task/11384/stat : 11384 (java) S 11360 11362 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830282442 10809827328 87924 33554432000 1073741824 1073778376 140733831934976 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 10556472
Child status: 10
Real time (s): 2.71862
CPU time (s): 6.16506
CPU user time (s): 5.99809
CPU system time (s): 0.166974
CPU usage (%): 226.771
Max. virtual memory (cumulated for all children) (KiB): 10566896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.99809
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97296
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= 508
involuntary context switches= 162
runsolver used 0.017997 second user time and 0.027995 second system time
The end