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-3738953-1338756304/watcher-3738953-1338756304 -o /tmp/evaluation-result-3738953-1338756304/solver-3738953-1338756304 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3738953-1338756304.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: 3.19 3.39 3.52 4/197 15496
/proc/meminfo: memFree=25790512/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (java) R 15494 15496 9489 0 -1 4202496 1018 0 0 0 0 0 0 0 20 0 1 0 341755303 23793664 744 33554432000 1073741824 1073778376 140734462805200 140734462794264 139658011577956 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 5809 757 556 9 0 128 0
[startup+0.0887159 s]
/proc/loadavg: 3.19 3.39 3.52 4/197 15496
/proc/meminfo: memFree=25790512/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/15496/stat : 15496 (java) S 15494 15496 9489 0 -1 4202496 4483 0 1 0 7 0 0 0 20 0 18 0 341755303 2764726272 6199 33554432000 1073741824 1073778376 140734462805200 140734462796336 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 674982 6201 2036 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.100303 s]
/proc/loadavg: 3.19 3.39 3.52 4/197 15496
/proc/meminfo: memFree=25790512/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/15496/stat : 15496 (java) S 15494 15496 9489 0 -1 4202496 4718 0 1 0 9 0 0 0 20 0 18 0 341755303 2764726272 6420 33554432000 1073741824 1073778376 140734462805200 140734462796336 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 674982 6420 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300299 s]
/proc/loadavg: 3.19 3.39 3.52 4/197 15496
/proc/meminfo: memFree=25790512/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=2966184 CPUtime=0.18 cores=0,2,4,6
/proc/15496/stat : 15496 (java) S 15494 15496 9489 0 -1 4202496 5079 0 1 0 17 1 0 0 20 0 20 0 341755303 3037372416 8244 33554432000 1073741824 1073778376 140734462805200 140734462796336 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 741546 8244 2183 9 0 732240 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2966184
[startup+0.7003 s]
/proc/loadavg: 3.19 3.39 3.52 4/197 15496
/proc/meminfo: memFree=25790512/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=2966184 CPUtime=0.18 cores=0,2,4,6
/proc/15496/stat : 15496 (java) S 15494 15496 9489 0 -1 4202496 5079 0 1 0 17 1 0 0 20 0 20 0 341755303 3037372416 8244 33554432000 1073741824 1073778376 140734462805200 140734462796336 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 741546 8244 2183 9 0 732240 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2966184
[startup+1.50072 s]
/proc/loadavg: 3.10 3.37 3.51 3/217 15518
/proc/meminfo: memFree=25765360/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=2966184 CPUtime=0.18 cores=0,2,4,6
/proc/15496/stat : 15496 (java) S 15494 15496 9489 0 -1 4202496 5085 0 1 0 17 1 0 0 20 0 20 0 341755303 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 140734462796336 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 741546 9268 2183 9 0 732240 0
[pid=15496/tid=15498] ppid=15494 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/15496/task/15498/stat : 15498 (java) S 15494 15496 9489 0 -1 4202560 2783 0 1 0 13 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139658003588248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15499] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15499/stat : 15499 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657987869736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15500] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15500/stat : 15500 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657986816936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15501] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15501/stat : 15501 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657985764136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15502] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15502/stat : 15502 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657984711336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15503] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15503/stat : 15503 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657983658536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15504] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15504/stat : 15504 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657982605736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15505] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15505/stat : 15505 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657981552936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15506] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15506/stat : 15506 (java) S 15494 15496 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657980500136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15507] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15507/stat : 15507 (java) S 15494 15496 9489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657850354664 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15508] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15508/stat : 15508 (java) S 15494 15496 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657849300728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15509] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15509/stat : 15509 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657848247816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15510] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15510/stat : 15510 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657847196304 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15511] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15511/stat : 15511 (java) S 15494 15496 9489 0 -1 4202560 372 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657846143416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15512] ppid=15494 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/15496/task/15512/stat : 15512 (java) S 15494 15496 9489 0 -1 4202560 623 0 0 0 1 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657845090616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15513] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15513/stat : 15513 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657844038008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15514] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15514/stat : 15514 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657842985416 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15517] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15517/stat : 15517 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755318 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139656832206248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15518] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15518/stat : 15518 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755318 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139656831153448 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90073 s]
/proc/loadavg: 3.10 3.37 3.51 3/217 15518
/proc/meminfo: memFree=25765360/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=2966184 CPUtime=0.18 cores=0,2,4,6
/proc/15496/stat : 15496 (java) S 15494 15496 9489 0 -1 4202496 5085 0 1 0 17 1 0 0 20 0 20 0 341755303 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 140734462796336 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 741546 9268 2183 9 0 732240 0
[pid=15496/tid=15498] ppid=15494 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/15496/task/15498/stat : 15498 (java) S 15494 15496 9489 0 -1 4202560 2783 0 1 0 13 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139658003588248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15499] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15499/stat : 15499 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657987869736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15500] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15500/stat : 15500 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657986816936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15501] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15501/stat : 15501 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657985764136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15502] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15502/stat : 15502 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657984711336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15503] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15503/stat : 15503 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657983658536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15504] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15504/stat : 15504 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657982605736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15505] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15505/stat : 15505 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657981552936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15506] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15506/stat : 15506 (java) S 15494 15496 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657980500136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15507] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15507/stat : 15507 (java) S 15494 15496 9489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657850354664 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15508] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15508/stat : 15508 (java) S 15494 15496 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657849300728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15509] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15509/stat : 15509 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657848247816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15510] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15510/stat : 15510 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657847196304 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15511] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15511/stat : 15511 (java) S 15494 15496 9489 0 -1 4202560 372 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657846143416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15512] ppid=15494 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/15496/task/15512/stat : 15512 (java) S 15494 15496 9489 0 -1 4202560 623 0 0 0 1 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657845090616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15513] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15513/stat : 15513 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657844038008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15514] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15514/stat : 15514 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657842985416 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15517] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15517/stat : 15517 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755318 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139656832206248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15518] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15518/stat : 15518 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755318 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139656831153448 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2966184
[startup+2.10073 s]
/proc/loadavg: 3.10 3.37 3.51 3/217 15520
/proc/meminfo: memFree=25760884/32873844 swapFree=7628/7628
[pid=15496] ppid=15494 vsize=2966184 CPUtime=0.18 cores=0,2,4,6
/proc/15496/stat : 15496 (java) S 15494 15496 9489 0 -1 4202496 5085 0 1 0 17 1 0 0 20 0 20 0 341755303 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 140734462796336 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 741546 9268 2183 9 0 732240 0
[pid=15496/tid=15498] ppid=15494 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/15496/task/15498/stat : 15498 (java) S 15494 15496 9489 0 -1 4202560 2783 0 1 0 13 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139658003588248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15499] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15499/stat : 15499 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657987869736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15500] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15500/stat : 15500 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657986816936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15501] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15501/stat : 15501 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657985764136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15502] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15502/stat : 15502 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657984711336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15503] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15503/stat : 15503 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657983658536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15504] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15504/stat : 15504 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657982605736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15505] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15505/stat : 15505 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657981552936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15506] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15506/stat : 15506 (java) S 15494 15496 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341755304 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657980500136 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15507] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15507/stat : 15507 (java) S 15494 15496 9489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657850354664 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15508] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15508/stat : 15508 (java) S 15494 15496 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657849300728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15509] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15509/stat : 15509 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755306 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657848247816 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15510] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15510/stat : 15510 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657847196304 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15511] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15511/stat : 15511 (java) S 15494 15496 9489 0 -1 4202560 372 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657846143416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15496/tid=15512] ppid=15494 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/15496/task/15512/stat : 15512 (java) S 15494 15496 9489 0 -1 4202560 623 0 0 0 1 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657845090616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15513] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15513/stat : 15513 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657844038008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15496/tid=15514] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15514/stat : 15514 (java) S 15494 15496 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341755309 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139657842985416 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15496/tid=15517] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15517/stat : 15517 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755318 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139656832206248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15496/tid=15518] ppid=15494 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/15496/task/15518/stat : 15518 (java) S 15494 15496 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341755318 3037372416 9268 33554432000 1073741824 1073778376 140734462805200 139656831153448 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.15853
CPU time (s): 0.204968
CPU user time (s): 0.172973
CPU system time (s): 0.031995
CPU usage (%): 9.49573
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.172973
system time used= 0.031995
maximum resident set size= 39132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5093
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= 231
involuntary context switches= 11
runsolver used 0.006998 second user time and 0.024996 second system time
The end