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-3732807-1338740594/watcher-3732807-1338740594 -o /tmp/evaluation-result-3732807-1338740594/solver-3732807-1338740594 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732807-1338740594.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: 2.99 3.38 3.51 3/199 20040
/proc/meminfo: memFree=27949796/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/20040/stat : 20040 (java) R 20038 20040 11290 0 -1 4202496 1085 0 0 0 0 0 0 0 20 0 1 0 340184226 23793664 812 33554432000 1073741824 1073778376 140736233390400 140736233379464 140649089487811 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 5809 821 616 9 0 128 0
[startup+0.073091 s]
/proc/loadavg: 2.99 3.38 3.51 3/199 20040
/proc/meminfo: memFree=27949796/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 3896 0 1 0 5 1 0 0 20 0 18 0 340184226 2764726272 5615 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 674982 5615 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100282 s]
/proc/loadavg: 2.99 3.38 3.51 3/199 20040
/proc/meminfo: memFree=27949796/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 4737 0 1 0 8 1 0 0 20 0 18 0 340184226 2764726272 6430 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 674982 6430 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300238 s]
/proc/loadavg: 2.99 3.38 3.51 3/199 20040
/proc/meminfo: memFree=27949796/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 4917 0 1 0 12 2 0 0 20 0 20 0 340184226 3037372416 7596 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 741546 7596 2157 9 0 732240 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2966184
[startup+0.700243 s]
/proc/loadavg: 2.99 3.38 3.51 3/199 20040
/proc/meminfo: memFree=27949796/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 4917 0 1 0 12 2 0 0 20 0 20 0 340184226 3037372416 7596 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 741546 7596 2157 9 0 732240 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2966184
[startup+1.5007 s]
/proc/loadavg: 2.99 3.38 3.51 3/219 20062
/proc/meminfo: memFree=27927916/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 4975 0 1 0 12 2 0 0 20 0 20 0 340184226 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 741546 8656 2157 9 0 732240 0
[pid=20040/tid=20041] ppid=20038 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/20040/task/20041/stat : 20041 (java) S 20038 20040 11290 0 -1 4202560 2777 0 1 0 9 2 0 0 20 0 20 0 340184226 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649084740760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20043] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20043/stat : 20043 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649069022248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20044] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20044/stat : 20044 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649067969448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20045] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20045/stat : 20045 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649066916648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20046] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20046/stat : 20046 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649065863848 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20047] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20047/stat : 20047 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649064811048 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20048] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20048/stat : 20048 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649063758248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20049] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20049/stat : 20049 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649062705448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20050] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20050/stat : 20050 (java) S 20038 20040 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649061652648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20051] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20051/stat : 20051 (java) S 20038 20040 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340184228 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649049242600 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20052] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20052/stat : 20052 (java) S 20038 20040 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649048188664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20053] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20053/stat : 20053 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649047135752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20054] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20054/stat : 20054 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649046084240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20055] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20055/stat : 20055 (java) S 20038 20040 11290 0 -1 4202560 376 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649045031352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20056] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20056/stat : 20056 (java) S 20038 20040 11290 0 -1 4202560 525 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649043978552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20057] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20057/stat : 20057 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649042925944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20058] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20058/stat : 20058 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140649041873352 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20061] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20061/stat : 20061 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140648920372648 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20062] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20062/stat : 20062 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 8656 33554432000 1073741824 1073778376 140736233390400 140648919319848 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2966184
[startup+3.10072 s]
/proc/loadavg: 2.99 3.38 3.51 3/219 20064
/proc/meminfo: memFree=27923044/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 8115 0 1 0 26 4 0 0 20 0 20 0 340184226 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 741546 11594 2203 9 0 732240 0
[pid=20040/tid=20041] ppid=20038 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/20040/task/20041/stat : 20041 (java) S 20038 20040 11290 0 -1 4202560 2777 0 1 0 9 2 0 0 20 0 20 0 340184226 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649084740760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20043] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20043/stat : 20043 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649069022248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20044] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20044/stat : 20044 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649067969448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20045] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20045/stat : 20045 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649066916648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20046] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20046/stat : 20046 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649065863848 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20047] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20047/stat : 20047 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649064811048 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20048] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20048/stat : 20048 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649063758248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20049] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20049/stat : 20049 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649062705448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20050] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20050/stat : 20050 (java) S 20038 20040 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649061652648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20051] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20051/stat : 20051 (java) S 20038 20040 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340184228 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649049242600 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20052] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20052/stat : 20052 (java) S 20038 20040 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649048188664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20053] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20053/stat : 20053 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649047135752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20054] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20054/stat : 20054 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649046084240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20055] ppid=20038 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/20040/task/20055/stat : 20055 (java) S 20038 20040 11290 0 -1 4202560 1690 0 0 0 4 0 0 0 20 0 20 0 340184231 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649045031352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20056] ppid=20038 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/20040/task/20056/stat : 20056 (java) S 20038 20040 11290 0 -1 4202560 2317 0 0 0 6 0 0 0 20 0 20 0 340184231 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649043978552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20057] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20057/stat : 20057 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649042925944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20058] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20058/stat : 20058 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140649041873352 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20061] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20061/stat : 20061 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140648920372648 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20062] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20062/stat : 20062 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 11594 33554432000 1073741824 1073778376 140736233390400 140648919319848 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.90072 s]
/proc/loadavg: 2.91 3.35 3.50 2/219 20068
/proc/meminfo: memFree=27906188/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 9145 0 1 0 32 4 0 0 20 0 20 0 340184226 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 741546 12753 2207 9 0 732240 0
[pid=20040/tid=20041] ppid=20038 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/20040/task/20041/stat : 20041 (java) S 20038 20040 11290 0 -1 4202560 2777 0 1 0 9 2 0 0 20 0 20 0 340184226 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649084740760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20043] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20043/stat : 20043 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649069022248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20044] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20044/stat : 20044 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649067969448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20045] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20045/stat : 20045 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649066916648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20046] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20046/stat : 20046 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649065863848 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20047] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20047/stat : 20047 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649064811048 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20048] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20048/stat : 20048 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649063758248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20049] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20049/stat : 20049 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649062705448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20050] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20050/stat : 20050 (java) S 20038 20040 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649061652648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20051] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20051/stat : 20051 (java) S 20038 20040 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340184228 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649049242600 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20052] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20052/stat : 20052 (java) S 20038 20040 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649048188664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20053] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20053/stat : 20053 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649047135752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20054] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20054/stat : 20054 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649046084240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20055] ppid=20038 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/20040/task/20055/stat : 20055 (java) S 20038 20040 11290 0 -1 4202560 2697 0 0 0 9 0 0 0 20 0 20 0 340184231 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649045031352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20056] ppid=20038 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/20040/task/20056/stat : 20056 (java) S 20038 20040 11290 0 -1 4202560 2330 0 0 0 6 0 0 0 20 0 20 0 340184231 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649043978552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20057] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20057/stat : 20057 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649042925944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20058] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20058/stat : 20058 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140649041873352 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20061] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20061/stat : 20061 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140648920372648 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20062] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20062/stat : 20062 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 12753 33554432000 1073741824 1073778376 140736233390400 140648919319848 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 2966184
[startup+4.10071 s]
/proc/loadavg: 2.91 3.35 3.50 2/219 20068
/proc/meminfo: memFree=27906188/32873844 swapFree=7380/7380
[pid=20040] ppid=20038 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/20040/stat : 20040 (java) S 20038 20040 11290 0 -1 4202496 9146 0 1 0 32 4 0 0 20 0 20 0 340184226 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140736233381536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20040/statm: 741546 12754 2208 9 0 732240 0
[pid=20040/tid=20041] ppid=20038 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/20040/task/20041/stat : 20041 (java) S 20038 20040 11290 0 -1 4202560 2777 0 1 0 9 2 0 0 20 0 20 0 340184226 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649084740760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20043] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20043/stat : 20043 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649069022248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20044] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20044/stat : 20044 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649067969448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20045] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20045/stat : 20045 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649066916648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20046] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20046/stat : 20046 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649065863848 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20047] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20047/stat : 20047 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649064811048 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20048] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20048/stat : 20048 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649063758248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20049] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20049/stat : 20049 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649062705448 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20040/tid=20050] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20050/stat : 20050 (java) S 20038 20040 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340184227 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649061652648 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20051] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20051/stat : 20051 (java) S 20038 20040 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340184228 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649049242600 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20052] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20052/stat : 20052 (java) S 20038 20040 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649048188664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20053] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20053/stat : 20053 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184229 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649047135752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20054] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20054/stat : 20054 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649046084240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20055] ppid=20038 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/20040/task/20055/stat : 20055 (java) S 20038 20040 11290 0 -1 4202560 2697 0 0 0 9 0 0 0 20 0 20 0 340184231 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649045031352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20040/tid=20056] ppid=20038 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/20040/task/20056/stat : 20056 (java) S 20038 20040 11290 0 -1 4202560 2330 0 0 0 6 0 0 0 20 0 20 0 340184231 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649043978552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20057] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20057/stat : 20057 (java) S 20038 20040 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649042925944 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20040/tid=20058] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20058/stat : 20058 (java) S 20038 20040 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340184231 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140649041873352 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20061] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20061/stat : 20061 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140648920372648 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20040/tid=20062] ppid=20038 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/20040/task/20062/stat : 20062 (java) S 20038 20040 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340184239 3037372416 12754 33554432000 1073741824 1073778376 140736233390400 140648919319848 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 4.13704
CPU time (s): 0.393939
CPU user time (s): 0.319951
CPU system time (s): 0.073988
CPU usage (%): 9.52225
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.319951
system time used= 0.073988
maximum resident set size= 53072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9153
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= 346
involuntary context switches= 26
runsolver used 0.010998 second user time and 0.025996 second system time
The end