runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4118140-1467223653/watcher-4118140-1467223653 -o /tmp/evaluation-result-4118140-1467223653/solver-4118140-1467223653 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4305 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118140-1467223653.opb
pid=6045
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.01 2.07 2.08 2/194 6048
/proc/meminfo: memFree=28586752/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9488 CPUtime=0 cores=0,2,4,6
/proc/6048/stat : 6048 (java) R 6045 6048 4289 0 -1 4202496 478 0 0 0 0 0 0 0 20 0 1 0 3471625 9715712 133 33554432000 1073741824 1073778376 140733822093072 140733822090200 247067632880 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2323 143 104 9 0 71 0
[startup+0.100091 s]
/proc/loadavg: 2.01 2.07 2.08 2/194 6048
/proc/meminfo: memFree=28586752/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 4425 0 1 0 9 0 0 0 20 0 18 0 3471625 9787879424 6048 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2389619 6048 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200273 s]
/proc/loadavg: 2.01 2.07 2.08 2/194 6048
/proc/meminfo: memFree=28586752/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 4710 0 1 0 23 1 0 0 20 0 18 0 3471625 9787879424 6807 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2389619 6807 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300274 s]
/proc/loadavg: 2.01 2.07 2.08 2/194 6048
/proc/meminfo: memFree=28586752/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 6156 0 1 0 44 1 0 0 20 0 18 0 3471625 9787879424 8273 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2389619 8273 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700236 s]
/proc/loadavg: 2.01 2.07 2.08 2/194 6048
/proc/meminfo: memFree=28586752/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9558476 CPUtime=1.64 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 20490 0 1 0 160 4 0 0 20 0 18 0 3471625 9787879424 27242 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2389619 27242 2257 9 0 2380296 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.50078 s]
/proc/loadavg: 2.25 2.12 2.09 3/212 6066
/proc/meminfo: memFree=28354964/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9558476 CPUtime=3.51 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 23178 0 1 0 330 21 0 0 20 0 18 0 3471625 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2389619 78842 2275 9 0 2380296 0
[pid=6048/tid=6050] ppid=6045 vsize=9558476 CPUtime=1.29 cores=0,2,4,6
/proc/6048/task/6050/stat : 6050 (java) R 6045 6048 4289 0 -1 4202560 2471 0 1 0 126 3 0 0 20 0 18 0 3471626 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342329843440 140342167286247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6051] ppid=6045 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/6048/task/6051/stat : 6051 (java) S 6045 6048 4289 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342291344424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6052] ppid=6045 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/6048/task/6052/stat : 6052 (java) S 6045 6048 4289 0 -1 4202560 234 0 0 0 4 2 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342290291624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6053] ppid=6045 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/6048/task/6053/stat : 6053 (java) S 6045 6048 4289 0 -1 4202560 34 0 0 0 5 3 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342289238824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6054] ppid=6045 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/6048/task/6054/stat : 6054 (java) S 6045 6048 4289 0 -1 4202560 92 0 0 0 8 3 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342288186024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6055] ppid=6045 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/6048/task/6055/stat : 6055 (java) S 6045 6048 4289 0 -1 4202560 78 0 0 0 4 2 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342287133224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6056] ppid=6045 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/6048/task/6056/stat : 6056 (java) S 6045 6048 4289 0 -1 4202560 100 0 0 0 6 2 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342286080424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6057] ppid=6045 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/6048/task/6057/stat : 6057 (java) S 6045 6048 4289 0 -1 4202560 42 0 0 0 4 2 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342166808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6058] ppid=6045 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/6048/task/6058/stat : 6058 (java) S 6045 6048 4289 0 -1 4202560 69 0 0 0 5 2 0 0 20 0 18 0 3471627 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342165756072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6059] ppid=6045 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6059/stat : 6059 (java) S 6045 6048 4289 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 3471629 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342153559016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6060] ppid=6045 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6060/stat : 6060 (java) S 6045 6048 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 3471629 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342152505080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6061] ppid=6045 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6061/stat : 6061 (java) S 6045 6048 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 3471629 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140342151452168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6062] ppid=6045 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6062/stat : 6062 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3471631 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140341411834512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6063] ppid=6045 vsize=9558476 CPUtime=0.75 cores=0,2,4,6
/proc/6048/task/6063/stat : 6063 (java) S 6045 6048 4289 0 -1 4202560 8989 0 0 0 74 1 0 0 20 0 18 0 3471631 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140341410781624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6064] ppid=6045 vsize=9558476 CPUtime=0.74 cores=0,2,4,6
/proc/6048/task/6064/stat : 6064 (java) S 6045 6048 4289 0 -1 4202560 9708 0 0 0 72 2 0 0 20 0 18 0 3471631 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140341409728824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6065] ppid=6045 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6065/stat : 6065 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3471631 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140341408676216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6066] ppid=6045 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6066/stat : 6066 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3471631 9787879424 78842 33554432000 1073741824 1073778376 140733822093072 140341407623624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9558476
[startup+3.10077 s]
/proc/loadavg: 2.25 2.12 2.09 3/213 6067
/proc/meminfo: memFree=28199620/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9625040 CPUtime=6.15 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 23745 0 1 0 582 33 0 0 20 0 19 0 3471625 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2406260 131397 2282 9 0 2396937 0
[pid=6048/tid=6050] ppid=6045 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/6048/task/6050/stat : 6050 (java) R 6045 6048 4289 0 -1 4202560 2528 0 1 0 270 5 0 0 20 0 19 0 3471626 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140342329850952 140342168086119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6051] ppid=6045 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/6048/task/6051/stat : 6051 (java) S 6045 6048 4289 0 -1 4202560 69 0 0 0 12 3 0 0 20 0 19 0 3471627 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140342291344424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6052] ppid=6045 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/6048/task/6052/stat : 6052 (java) S 6045 6048 4289 0 -1 4202560 251 0 0 0 8 3 0 0 20 0 19 0 3471627 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140342290291624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6053] ppid=6045 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/6048/task/6053/stat : 6053 (java) S 6045 6048 4289 0 -1 4202560 64 0 0 0 9 3 0 0 20 0 19 0 3471627 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140342289238824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6054] ppid=6045 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/6048/task/6054/stat : 6054 (java) S 6045 6048 4289 0 -1 4202560 107 0 0 0 11 4 0 0 20 0 19 0 3471627 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140342288186024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6055] ppid=6045 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/6048/task/6055/stat : 6055 (java) S 6045 6048 4289 0 -1 4202560 125 0 0 0 16 4 0 0 20 0 19 0 3471627 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140342287133224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6056] ppid=6045 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/6048/task/6056/stat : 6056 (java) S 6045 6048 4289 0 -1 4202560 119 0 0 0 9 3 0 0 20 0 19 0 3471627 9856040960 131397 33554432000 1073741824 1073778376 140733822093072 140342286080424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6057] ppid=6045 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/6048/task/6057/stat : 6057 (java) S 6045 6048 4289 0 -1 4202560 175 0 0 0 11 4 0 0 20 0 19 0 3471627 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140342166808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6058] ppid=6045 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/6048/task/6058/stat : 6058 (java) S 6045 6048 4289 0 -1 4202560 143 0 0 0 8 3 0 0 20 0 19 0 3471627 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140342165756072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6059] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6059/stat : 6059 (java) S 6045 6048 4289 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140342153559016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6060] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6060/stat : 6060 (java) S 6045 6048 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140342152505080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6061] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6061/stat : 6061 (java) S 6045 6048 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140342151452168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6062] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6062/stat : 6062 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140341411834512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6063] ppid=6045 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/6048/task/6063/stat : 6063 (java) R 6045 6048 4289 0 -1 4202560 8995 0 0 0 111 2 0 0 20 0 19 0 3471631 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140341410781624 140342331593808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6064] ppid=6045 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/6048/task/6064/stat : 6064 (java) R 6045 6048 4289 0 -1 4202560 9710 0 0 0 101 2 0 0 20 0 19 0 3471631 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140341409716352 140342335995045 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6065] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6065/stat : 6065 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140341408676216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6066] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6066/stat : 6066 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140341407623624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6067] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6067/stat : 6067 (java) S 6045 6048 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3471794 9856040960 131398 33554432000 1073741824 1073778376 140733822093072 140341406570152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 9625040
[startup+6.30085 s]
/proc/loadavg: 2.25 2.12 2.09 3/213 6067
/proc/meminfo: memFree=27868500/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9625040 CPUtime=10.35 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 25007 0 1 0 977 58 0 0 20 0 19 0 3471625 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2406260 243211 2291 9 0 2396937 0
[pid=6048/tid=6050] ppid=6045 vsize=9625040 CPUtime=5.45 cores=0,2,4,6
/proc/6048/task/6050/stat : 6050 (java) S 6045 6048 4289 0 -1 4202560 2816 0 1 0 537 8 0 0 20 0 19 0 3471626 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342329851288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6051] ppid=6045 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/6048/task/6051/stat : 6051 (java) S 6045 6048 4289 0 -1 4202560 157 0 0 0 26 7 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342291344424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6052] ppid=6045 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/6048/task/6052/stat : 6052 (java) S 6045 6048 4289 0 -1 4202560 300 0 0 0 16 4 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342290291624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6053] ppid=6045 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/6048/task/6053/stat : 6053 (java) S 6045 6048 4289 0 -1 4202560 101 0 0 0 19 5 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342289238824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6054] ppid=6045 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/6048/task/6054/stat : 6054 (java) S 6045 6048 4289 0 -1 4202560 134 0 0 0 18 5 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342288186024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6055] ppid=6045 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/6048/task/6055/stat : 6055 (java) S 6045 6048 4289 0 -1 4202560 167 0 0 0 26 6 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342287133224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6056] ppid=6045 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/6048/task/6056/stat : 6056 (java) S 6045 6048 4289 0 -1 4202560 199 0 0 0 26 7 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342286080424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6057] ppid=6045 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/6048/task/6057/stat : 6057 (java) S 6045 6048 4289 0 -1 4202560 204 0 0 0 20 5 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342166808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6058] ppid=6045 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/6048/task/6058/stat : 6058 (java) S 6045 6048 4289 0 -1 4202560 359 0 0 0 19 6 0 0 20 0 19 0 3471627 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342165756072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6059] ppid=6045 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/6048/task/6059/stat : 6059 (java) R 6045 6048 4289 0 -1 4202560 600 0 0 0 22 0 0 0 20 0 19 0 3471629 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342153557768 140342336706769 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6060] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6060/stat : 6060 (java) S 6045 6048 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342152505080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6061] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6061/stat : 6061 (java) S 6045 6048 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140342151452168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6062] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6062/stat : 6062 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140341411834512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6063] ppid=6045 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/6048/task/6063/stat : 6063 (java) S 6045 6048 4289 0 -1 4202560 8999 0 0 0 122 2 0 0 20 0 19 0 3471631 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140341410781624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6064] ppid=6045 vsize=9625040 CPUtime=1.12 cores=0,2,4,6
/proc/6048/task/6064/stat : 6064 (java) S 6045 6048 4289 0 -1 4202560 9710 0 0 0 110 2 0 0 20 0 19 0 3471631 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140341409728824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6065] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6065/stat : 6065 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140341408676216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6066] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6066/stat : 6066 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140341407623624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6067] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6067/stat : 6067 (java) S 6045 6048 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3471794 9856040960 243211 33554432000 1073741824 1073778376 140733822093072 140341406570152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 10.35
Current children cumulated vsize (KiB) 9625040
[startup+12.7009 s]
/proc/loadavg: 2.21 2.12 2.09 4/213 6067
################
# More data... #
################
/proc/6048/task/6060/stat : 6060 (java) S 6045 6048 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140342152505080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6061] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6061/stat : 6061 (java) S 6045 6048 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140342151452168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6062] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6062/stat : 6062 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140341411834512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6063] ppid=6045 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/6048/task/6063/stat : 6063 (java) S 6045 6048 4289 0 -1 4202560 9018 0 0 0 139 2 0 0 20 0 19 0 3471631 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140341410781624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6064] ppid=6045 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/6048/task/6064/stat : 6064 (java) S 6045 6048 4289 0 -1 4202560 9713 0 0 0 115 2 0 0 20 0 19 0 3471631 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140341409728824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6065] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6065/stat : 6065 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140341408676216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6066] ppid=6045 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/6048/task/6066/stat : 6066 (java) S 6045 6048 4289 0 -1 4202560 95 0 0 0 32 32 0 0 20 0 19 0 3471631 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140341407623624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6067] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6067/stat : 6067 (java) S 6045 6048 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3471794 9856040960 263596 33554432000 1073741824 1073778376 140733822093072 140341406570152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1667.08
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 6177
/proc/meminfo: memFree=29188636/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9625040 CPUtime=1727.08 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 25465 0 1 0 172614 94 0 0 20 0 19 0 3471625 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2406260 267644 2300 9 0 2396937 0
[pid=6048/tid=6050] ppid=6045 vsize=9625040 CPUtime=1720.95 cores=0,2,4,6
/proc/6048/task/6050/stat : 6050 (java) R 6045 6048 4289 0 -1 4202560 2832 0 1 0 172061 34 0 0 20 0 19 0 3471626 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342329843392 140342168086444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6051] ppid=6045 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/6048/task/6051/stat : 6051 (java) S 6045 6048 4289 0 -1 4202560 180 0 0 0 29 8 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342291344424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6052] ppid=6045 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/6048/task/6052/stat : 6052 (java) S 6045 6048 4289 0 -1 4202560 305 0 0 0 18 4 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342290291624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6053] ppid=6045 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/6048/task/6053/stat : 6053 (java) S 6045 6048 4289 0 -1 4202560 115 0 0 0 20 6 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342289238824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6054] ppid=6045 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/6048/task/6054/stat : 6054 (java) S 6045 6048 4289 0 -1 4202560 150 0 0 0 21 7 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342288186024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6055] ppid=6045 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/6048/task/6055/stat : 6055 (java) S 6045 6048 4289 0 -1 4202560 180 0 0 0 27 8 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342287133224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6056] ppid=6045 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/6048/task/6056/stat : 6056 (java) S 6045 6048 4289 0 -1 4202560 239 0 0 0 32 10 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342286080424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6057] ppid=6045 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/6048/task/6057/stat : 6057 (java) S 6045 6048 4289 0 -1 4202560 238 0 0 0 25 8 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342166808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6058] ppid=6045 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/6048/task/6058/stat : 6058 (java) S 6045 6048 4289 0 -1 4202560 381 0 0 0 22 7 0 0 20 0 19 0 3471627 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342165756072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6059] ppid=6045 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6048/task/6059/stat : 6059 (java) S 6045 6048 4289 0 -1 4202560 755 0 0 0 61 1 0 0 20 0 19 0 3471629 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342153559016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6060] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6060/stat : 6060 (java) S 6045 6048 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342152505080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6061] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6061/stat : 6061 (java) S 6045 6048 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140342151452168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6062] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6062/stat : 6062 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140341411834512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6063] ppid=6045 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/6048/task/6063/stat : 6063 (java) S 6045 6048 4289 0 -1 4202560 9018 0 0 0 139 2 0 0 20 0 19 0 3471631 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140341410781624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6064] ppid=6045 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/6048/task/6064/stat : 6064 (java) S 6045 6048 4289 0 -1 4202560 9713 0 0 0 115 2 0 0 20 0 19 0 3471631 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140341409728824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6065] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6065/stat : 6065 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140341408676216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6066] ppid=6045 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/6048/task/6066/stat : 6066 (java) S 6045 6048 4289 0 -1 4202560 99 0 0 0 32 34 0 0 20 0 19 0 3471631 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140341407623624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6067] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6067/stat : 6067 (java) S 6045 6048 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3471794 9856040960 267644 33554432000 1073741824 1073778376 140733822093072 140341406570152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.08
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/213 6178
/proc/meminfo: memFree=29101516/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9625040 CPUtime=1787.08 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 25483 0 1 0 178613 95 0 0 20 0 19 0 3471625 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2406260 274812 2300 9 0 2396937 0
[pid=6048/tid=6050] ppid=6045 vsize=9625040 CPUtime=1780.95 cores=0,2,4,6
/proc/6048/task/6050/stat : 6050 (java) R 6045 6048 4289 0 -1 4202560 2846 0 1 0 178059 36 0 0 20 0 19 0 3471626 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342329843392 140342168086515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6051] ppid=6045 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/6048/task/6051/stat : 6051 (java) S 6045 6048 4289 0 -1 4202560 180 0 0 0 29 8 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342291344424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6052] ppid=6045 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/6048/task/6052/stat : 6052 (java) S 6045 6048 4289 0 -1 4202560 305 0 0 0 18 4 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342290291624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6053] ppid=6045 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/6048/task/6053/stat : 6053 (java) S 6045 6048 4289 0 -1 4202560 115 0 0 0 20 6 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342289238824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6054] ppid=6045 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/6048/task/6054/stat : 6054 (java) S 6045 6048 4289 0 -1 4202560 150 0 0 0 21 7 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342288186024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6055] ppid=6045 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/6048/task/6055/stat : 6055 (java) S 6045 6048 4289 0 -1 4202560 180 0 0 0 27 8 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342287133224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6056] ppid=6045 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/6048/task/6056/stat : 6056 (java) S 6045 6048 4289 0 -1 4202560 239 0 0 0 32 10 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342286080424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6057] ppid=6045 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/6048/task/6057/stat : 6057 (java) S 6045 6048 4289 0 -1 4202560 238 0 0 0 25 8 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342166808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6058] ppid=6045 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/6048/task/6058/stat : 6058 (java) S 6045 6048 4289 0 -1 4202560 381 0 0 0 22 7 0 0 20 0 19 0 3471627 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342165756072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6059] ppid=6045 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6048/task/6059/stat : 6059 (java) S 6045 6048 4289 0 -1 4202560 755 0 0 0 61 1 0 0 20 0 19 0 3471629 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342153559016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6060] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6060/stat : 6060 (java) S 6045 6048 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342152505080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6061] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6061/stat : 6061 (java) S 6045 6048 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140342151452168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6062] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6062/stat : 6062 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140341411834512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6063] ppid=6045 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/6048/task/6063/stat : 6063 (java) S 6045 6048 4289 0 -1 4202560 9018 0 0 0 139 2 0 0 20 0 19 0 3471631 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140341410781624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6064] ppid=6045 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/6048/task/6064/stat : 6064 (java) S 6045 6048 4289 0 -1 4202560 9713 0 0 0 115 2 0 0 20 0 19 0 3471631 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140341409728824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6065] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6065/stat : 6065 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140341408676216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6066] ppid=6045 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/6048/task/6066/stat : 6066 (java) S 6045 6048 4289 0 -1 4202560 103 0 0 0 34 35 0 0 20 0 19 0 3471631 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140341407623624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6067] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6067/stat : 6067 (java) S 6045 6048 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3471794 9856040960 274812 33554432000 1073741824 1073778376 140733822093072 140341406570152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.08
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.2 s]
/proc/loadavg: 2.00 2.04 2.00 3/213 6178
/proc/meminfo: memFree=29093376/32872528 swapFree=242912/249044
[pid=6048] ppid=6045 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/6048/stat : 6048 (java) S 6045 6048 4289 0 -1 4202496 25487 0 1 0 179904 96 0 0 20 0 19 0 3471625 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140733822084208 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6048/statm: 2406260 276860 2300 9 0 2396937 0
[pid=6048/tid=6050] ppid=6045 vsize=9625040 CPUtime=1793.86 cores=0,2,4,6
/proc/6048/task/6050/stat : 6050 (java) R 6045 6048 4289 0 -1 4202560 2850 0 1 0 179350 36 0 0 20 0 19 0 3471626 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342329843392 140342168125150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6051] ppid=6045 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/6048/task/6051/stat : 6051 (java) S 6045 6048 4289 0 -1 4202560 180 0 0 0 29 8 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342291344424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6052] ppid=6045 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/6048/task/6052/stat : 6052 (java) S 6045 6048 4289 0 -1 4202560 305 0 0 0 18 4 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342290291624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6053] ppid=6045 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/6048/task/6053/stat : 6053 (java) S 6045 6048 4289 0 -1 4202560 115 0 0 0 20 6 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342289238824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6054] ppid=6045 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/6048/task/6054/stat : 6054 (java) S 6045 6048 4289 0 -1 4202560 150 0 0 0 21 7 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342288186024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6055] ppid=6045 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/6048/task/6055/stat : 6055 (java) S 6045 6048 4289 0 -1 4202560 180 0 0 0 27 8 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342287133224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6056] ppid=6045 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/6048/task/6056/stat : 6056 (java) S 6045 6048 4289 0 -1 4202560 239 0 0 0 32 10 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342286080424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6057] ppid=6045 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/6048/task/6057/stat : 6057 (java) S 6045 6048 4289 0 -1 4202560 238 0 0 0 25 8 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342166808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6058] ppid=6045 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/6048/task/6058/stat : 6058 (java) S 6045 6048 4289 0 -1 4202560 381 0 0 0 22 7 0 0 20 0 19 0 3471627 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342165756072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6059] ppid=6045 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6048/task/6059/stat : 6059 (java) S 6045 6048 4289 0 -1 4202560 755 0 0 0 61 1 0 0 20 0 19 0 3471629 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342153559016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6060] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6060/stat : 6060 (java) S 6045 6048 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342152505080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6061] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6061/stat : 6061 (java) S 6045 6048 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3471629 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140342151452168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6062] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6062/stat : 6062 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140341411834512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6048/tid=6063] ppid=6045 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/6048/task/6063/stat : 6063 (java) S 6045 6048 4289 0 -1 4202560 9018 0 0 0 139 2 0 0 20 0 19 0 3471631 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140341410781624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6064] ppid=6045 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/6048/task/6064/stat : 6064 (java) S 6045 6048 4289 0 -1 4202560 9713 0 0 0 115 2 0 0 20 0 19 0 3471631 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140341409728824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6048/tid=6065] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6065/stat : 6065 (java) S 6045 6048 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3471631 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140341408676216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6048/tid=6066] ppid=6045 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/6048/task/6066/stat : 6066 (java) S 6045 6048 4289 0 -1 4202560 103 0 0 0 34 35 0 0 20 0 19 0 3471631 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140341407623624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6048/tid=6067] ppid=6045 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6048/task/6067/stat : 6067 (java) S 6045 6048 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3471794 9856040960 276860 33554432000 1073741824 1073778376 140733822093072 140341406570152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6048 sig 9
??? kill -6048 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.26
CPU time (s): 1800.61
CPU user time (s): 1799.13
CPU system time (s): 1.48477
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.48477
maximum resident set size= 1115780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25535
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38228
involuntary context switches= 2581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2336 second user time and 14.5718 second system time
The end