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-3687915-1337877325/watcher-3687915-1337877325 -o /tmp/evaluation-result-3687915-1337877325/solver-3687915-1337877325 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687915-1337877325.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 22250
/proc/meminfo: memFree=28864672/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 1204 0 0 0 0 0 0 0 20 0 2 0 253859229 94019584 916 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 22954 916 697 9 0 16769 0
[pid=22250/tid=22251] ppid=22248 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 2 0 253859229 94019584 917 33554432000 1073741824 1073778376 140735769149440 140253352468008 271787240880 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.023766 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 22250
/proc/meminfo: memFree=28864672/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 2891 0 1 0 1 0 0 0 20 0 11 0 253859229 9310650368 3591 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2273108 3591 1623 9 0 2263809 0
[pid=22250/tid=22251] ppid=22248 vsize=9092432 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 1734 0 1 0 0 0 0 0 20 0 11 0 253859229 9310650368 3591 33554432000 1073741824 1073778376 140735769149440 140253352475400 271787200331 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432
[startup+0.100313 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 22250
/proc/meminfo: memFree=28864672/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 4383 0 1 0 10 1 0 0 20 0 18 0 253859229 9787813888 6096 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2389603 6096 2108 9 0 2380296 0
[pid=22250/tid=22251] ppid=22248 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 2429 0 1 0 8 0 0 0 20 0 18 0 253859229 9787813888 6096 33554432000 1073741824 1073778376 140735769149440 140253352471472 140253342535098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300186 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 22250
/proc/meminfo: memFree=28864672/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 5710 0 1 0 47 1 0 0 20 0 18 0 253859229 9787813888 8431 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2389603 8431 2216 9 0 2380296 0
[pid=22250/tid=22251] ppid=22248 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 2442 0 1 0 27 0 0 0 20 0 18 0 253859229 9787813888 8431 33554432000 1073741824 1073778376 140735769149440 140253352471472 140253180584659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700186 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 22250
/proc/meminfo: memFree=28864672/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 10138 0 1 0 144 2 0 0 20 0 19 0 253859229 9855975424 20895 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2406244 20895 2246 9 0 2396937 0
[pid=22250/tid=22251] ppid=22248 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 2474 0 1 0 66 1 0 0 20 0 19 0 253859229 9855975424 20895 33554432000 1073741824 1073778376 140735769149440 140253352472712 140253181234307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9624976
[startup+1.50694 s]
/proc/loadavg: 2.09 2.04 2.01 5/213 22269
/proc/meminfo: memFree=28779016/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9624976 CPUtime=2.44 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 10378 0 1 0 239 5 0 0 20 0 19 0 253859229 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2406244 32211 2277 9 0 2396937 0
[pid=22250/tid=22251] ppid=22248 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) S 22248 22250 21479 0 -1 4202560 2483 0 1 0 144 2 0 0 20 0 19 0 253859229 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253352472984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22253] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22253/stat : 22253 (java) S 22248 22250 21479 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253313964840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22254] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22254/stat : 22254 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253312912040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22255] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22255/stat : 22255 (java) S 22248 22250 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253311859752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22256] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22256/stat : 22256 (java) S 22248 22250 21479 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253310806952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22257] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22257/stat : 22257 (java) S 22248 22250 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253309753640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22258] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22258/stat : 22258 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253308700840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22259] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22259/stat : 22259 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253307648552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22260] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22260/stat : 22260 (java) R 22248 22250 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253306595752 271790945340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22261] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22261/stat : 22261 (java) R 22248 22250 21479 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 253859231 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253176243944 140253359307884 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22262] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22262/stat : 22262 (java) S 22248 22250 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253175191032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22263] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22263/stat : 22263 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253174138632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22264] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22264/stat : 22264 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253173087120 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22265] ppid=22248 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22250/task/22265/stat : 22265 (java) S 22248 22250 21479 0 -1 4202560 3789 0 0 0 51 0 0 0 20 0 19 0 253859234 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253172033720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22266] ppid=22248 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/22250/task/22266/stat : 22266 (java) S 22248 22250 21479 0 -1 4202560 2829 0 0 0 38 0 0 0 20 0 19 0 253859234 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253170980920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22267] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22267/stat : 22267 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253169928824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22268] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22268/stat : 22268 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253168876232 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22269] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22269/stat : 22269 (java) S 22248 22250 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859275 9855975424 32211 33554432000 1073741824 1073778376 140735769149440 140253167822248 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9624976
[startup+3.10067 s]
/proc/loadavg: 2.09 2.04 2.01 3/213 22269
/proc/meminfo: memFree=28725644/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9624976 CPUtime=4.13 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 10939 0 1 0 406 7 0 0 20 0 19 0 253859229 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2406244 37343 2278 9 0 2396937 0
[pid=22250/tid=22251] ppid=22248 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 2484 0 1 0 296 2 0 0 20 0 19 0 253859229 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253352472984 140253181189534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22253] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22253/stat : 22253 (java) S 22248 22250 21479 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253313964840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22254] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22254/stat : 22254 (java) S 22248 22250 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253312912040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22255] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22255/stat : 22255 (java) S 22248 22250 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253311859752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22256] ppid=22248 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22250/task/22256/stat : 22256 (java) S 22248 22250 21479 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253310806952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22257] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22257/stat : 22257 (java) S 22248 22250 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253309753640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22258] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22258/stat : 22258 (java) S 22248 22250 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253308700840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22259] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22259/stat : 22259 (java) S 22248 22250 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253307648552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22260] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22260/stat : 22260 (java) S 22248 22250 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253306595752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22261] ppid=22248 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/22250/task/22261/stat : 22261 (java) S 22248 22250 21479 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 19 0 253859231 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253176244968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22262] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22262/stat : 22262 (java) S 22248 22250 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253175191032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22263] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22263/stat : 22263 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253174138632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22264] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22264/stat : 22264 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253173087120 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22265] ppid=22248 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22250/task/22265/stat : 22265 (java) S 22248 22250 21479 0 -1 4202560 3790 0 0 0 51 0 0 0 20 0 19 0 253859234 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253172033720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22266] ppid=22248 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/22250/task/22266/stat : 22266 (java) S 22248 22250 21479 0 -1 4202560 3357 0 0 0 44 0 0 0 20 0 19 0 253859234 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253170980920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22267] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22267/stat : 22267 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253169928824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22268] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22268/stat : 22268 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253168876232 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22269] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22269/stat : 22269 (java) S 22248 22250 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859275 9855975424 37343 33554432000 1073741824 1073778376 140735769149440 140253167822248 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9624976
[startup+6.30068 s]
/proc/loadavg: 2.08 2.04 2.00 3/213 22269
/proc/meminfo: memFree=28706960/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9624976 CPUtime=7.48 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 12154 0 1 0 740 8 0 0 20 0 19 0 253859229 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2406244 43011 2278 9 0 2396937 0
[pid=22250/tid=22251] ppid=22248 vsize=9624976 CPUtime=6.1 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 2487 0 1 0 608 2 0 0 20 0 19 0 253859229 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253352472984 140253181210649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22253] ppid=22248 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/22250/task/22253/stat : 22253 (java) S 22248 22250 21479 0 -1 4202560 25 0 0 0 1 1 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253313964840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22254] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22254/stat : 22254 (java) S 22248 22250 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253312912040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22255] ppid=22248 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22250/task/22255/stat : 22255 (java) S 22248 22250 21479 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253311859752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22256] ppid=22248 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/22250/task/22256/stat : 22256 (java) S 22248 22250 21479 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253310806952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22257] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22257/stat : 22257 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253309753640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22258] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22258/stat : 22258 (java) S 22248 22250 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253308700840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22259] ppid=22248 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22250/task/22259/stat : 22259 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253307648552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22260] ppid=22248 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22250/task/22260/stat : 22260 (java) S 22248 22250 21479 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 253859230 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253306595752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22261] ppid=22248 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/22250/task/22261/stat : 22261 (java) S 22248 22250 21479 0 -1 4202560 56 0 0 0 10 0 0 0 20 0 19 0 253859231 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253176244968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22262] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22262/stat : 22262 (java) S 22248 22250 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253175191032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22263] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22263/stat : 22263 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253174138632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22264] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22264/stat : 22264 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253173087120 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22265] ppid=22248 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22250/task/22265/stat : 22265 (java) S 22248 22250 21479 0 -1 4202560 3790 0 0 0 51 0 0 0 20 0 19 0 253859234 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253172033720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22266] ppid=22248 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/22250/task/22266/stat : 22266 (java) S 22248 22250 21479 0 -1 4202560 4527 0 0 0 53 0 0 0 20 0 19 0 253859234 9855975424 43011 33554432000 1073741824 1073778376 140735769149440 140253170980920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=22250/tid=22258] ppid=22248 vsize=9624976 CPUtime=3.24 cores=1,3,5,7
/proc/22250/task/22258/stat : 22258 (java) S 22248 22250 21479 0 -1 4202560 3317 0 0 0 310 14 0 0 20 0 19 0 253859230 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253308700840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22259] ppid=22248 vsize=9624976 CPUtime=3.06 cores=1,3,5,7
/proc/22250/task/22259/stat : 22259 (java) S 22248 22250 21479 0 -1 4202560 3936 0 0 0 294 12 0 0 20 0 19 0 253859230 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253307648552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22260] ppid=22248 vsize=9624976 CPUtime=3.23 cores=1,3,5,7
/proc/22250/task/22260/stat : 22260 (java) S 22248 22250 21479 0 -1 4202560 2956 0 0 0 309 14 0 0 20 0 19 0 253859230 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253306595752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22261] ppid=22248 vsize=9624976 CPUtime=4.59 cores=1,3,5,7
/proc/22250/task/22261/stat : 22261 (java) S 22248 22250 21479 0 -1 4202560 896 0 0 0 451 8 0 0 20 0 19 0 253859231 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253176244968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22262] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22262/stat : 22262 (java) S 22248 22250 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253175191032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22263] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22263/stat : 22263 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253174138632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22264] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22264/stat : 22264 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253173087120 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22265] ppid=22248 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22250/task/22265/stat : 22265 (java) S 22248 22250 21479 0 -1 4202560 3790 0 0 0 51 0 0 0 20 0 19 0 253859234 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253172033720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22266] ppid=22248 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/22250/task/22266/stat : 22266 (java) S 22248 22250 21479 0 -1 4202560 4537 0 0 0 55 0 0 0 20 0 19 0 253859234 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253170980920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22267] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22267/stat : 22267 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253169928824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22268] ppid=22248 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22250/task/22268/stat : 22268 (java) S 22248 22250 21479 0 -1 4202560 94 0 0 0 41 34 0 0 20 0 19 0 253859234 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253168876232 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22269] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22269/stat : 22269 (java) S 22248 22250 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859275 9855975424 160671 33554432000 1073741824 1073778376 140735769149440 140253167822248 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1681.37
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 22307
/proc/meminfo: memFree=28057464/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9624976 CPUtime=1742.39 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 36763 0 1 0 174091 148 0 0 20 0 19 0 253859229 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2406244 149426 2279 9 0 2396937 0
[pid=22250/tid=22251] ppid=22248 vsize=9624976 CPUtime=1709.5 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 3097 0 1 0 170920 30 0 0 20 0 19 0 253859229 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253352471904 140253181319459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22253] ppid=22248 vsize=9624976 CPUtime=3.34 cores=1,3,5,7
/proc/22250/task/22253/stat : 22253 (java) S 22248 22250 21479 0 -1 4202560 2471 0 0 0 318 16 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253313964840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22254] ppid=22248 vsize=9624976 CPUtime=3.43 cores=1,3,5,7
/proc/22250/task/22254/stat : 22254 (java) S 22248 22250 21479 0 -1 4202560 3021 0 0 0 329 14 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253312912040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22255] ppid=22248 vsize=9624976 CPUtime=3.18 cores=1,3,5,7
/proc/22250/task/22255/stat : 22255 (java) S 22248 22250 21479 0 -1 4202560 2189 0 0 0 306 12 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253311859752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22256] ppid=22248 vsize=9624976 CPUtime=3.21 cores=1,3,5,7
/proc/22250/task/22256/stat : 22256 (java) S 22248 22250 21479 0 -1 4202560 2054 0 0 0 308 13 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253310806952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22257] ppid=22248 vsize=9624976 CPUtime=3.35 cores=1,3,5,7
/proc/22250/task/22257/stat : 22257 (java) S 22248 22250 21479 0 -1 4202560 3099 0 0 0 321 14 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253309753640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22258] ppid=22248 vsize=9624976 CPUtime=3.43 cores=1,3,5,7
/proc/22250/task/22258/stat : 22258 (java) S 22248 22250 21479 0 -1 4202560 3410 0 0 0 329 14 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253308700840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22259] ppid=22248 vsize=9624976 CPUtime=3.24 cores=1,3,5,7
/proc/22250/task/22259/stat : 22259 (java) S 22248 22250 21479 0 -1 4202560 3939 0 0 0 312 12 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253307648552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22260] ppid=22248 vsize=9624976 CPUtime=3.41 cores=1,3,5,7
/proc/22250/task/22260/stat : 22260 (java) S 22248 22250 21479 0 -1 4202560 2956 0 0 0 327 14 0 0 20 0 19 0 253859230 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253306595752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22261] ppid=22248 vsize=9624976 CPUtime=4.68 cores=1,3,5,7
/proc/22250/task/22261/stat : 22261 (java) S 22248 22250 21479 0 -1 4202560 918 0 0 0 460 8 0 0 20 0 19 0 253859231 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253176244968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22262] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22262/stat : 22262 (java) S 22248 22250 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253175191032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22263] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22263/stat : 22263 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253174138632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22264] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22264/stat : 22264 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253173087120 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22265] ppid=22248 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22250/task/22265/stat : 22265 (java) S 22248 22250 21479 0 -1 4202560 3790 0 0 0 51 0 0 0 20 0 19 0 253859234 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253172033720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22266] ppid=22248 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/22250/task/22266/stat : 22266 (java) S 22248 22250 21479 0 -1 4202560 4537 0 0 0 55 0 0 0 20 0 19 0 253859234 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253170980920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22267] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22267/stat : 22267 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253169928824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22268] ppid=22248 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/22250/task/22268/stat : 22268 (java) S 22248 22250 21479 0 -1 4202560 98 0 0 0 42 35 0 0 20 0 19 0 253859234 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253168876232 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22269] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22269/stat : 22269 (java) S 22248 22250 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859275 9855975424 149426 33554432000 1073741824 1073778376 140735769149440 140253167822248 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1742.39
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1779.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 22367
/proc/meminfo: memFree=27994264/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 37403 0 1 0 179854 153 0 0 20 0 19 0 253859229 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2406244 148097 2279 9 0 2396937 0
[pid=22250/tid=22251] ppid=22248 vsize=9624976 CPUtime=1766.21 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 3119 0 1 0 176589 32 0 0 20 0 19 0 253859229 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253352471808 140253181391404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22253] ppid=22248 vsize=9624976 CPUtime=3.47 cores=1,3,5,7
/proc/22250/task/22253/stat : 22253 (java) S 22248 22250 21479 0 -1 4202560 2594 0 0 0 331 16 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253313964840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22254] ppid=22248 vsize=9624976 CPUtime=3.54 cores=1,3,5,7
/proc/22250/task/22254/stat : 22254 (java) S 22248 22250 21479 0 -1 4202560 3022 0 0 0 340 14 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253312912040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22255] ppid=22248 vsize=9624976 CPUtime=3.33 cores=1,3,5,7
/proc/22250/task/22255/stat : 22255 (java) S 22248 22250 21479 0 -1 4202560 2441 0 0 0 320 13 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253311859752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22256] ppid=22248 vsize=9624976 CPUtime=3.33 cores=1,3,5,7
/proc/22250/task/22256/stat : 22256 (java) S 22248 22250 21479 0 -1 4202560 2183 0 0 0 319 14 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253310806952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22257] ppid=22248 vsize=9624976 CPUtime=3.46 cores=1,3,5,7
/proc/22250/task/22257/stat : 22257 (java) S 22248 22250 21479 0 -1 4202560 3108 0 0 0 331 15 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253309753640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22258] ppid=22248 vsize=9624976 CPUtime=3.54 cores=1,3,5,7
/proc/22250/task/22258/stat : 22258 (java) S 22248 22250 21479 0 -1 4202560 3416 0 0 0 340 14 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253308700840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22259] ppid=22248 vsize=9624976 CPUtime=3.36 cores=1,3,5,7
/proc/22250/task/22259/stat : 22259 (java) S 22248 22250 21479 0 -1 4202560 3945 0 0 0 324 12 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253307648552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22260] ppid=22248 vsize=9624976 CPUtime=3.53 cores=1,3,5,7
/proc/22250/task/22260/stat : 22260 (java) S 22248 22250 21479 0 -1 4202560 3031 0 0 0 338 15 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253306595752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22261] ppid=22248 vsize=9624976 CPUtime=4.69 cores=1,3,5,7
/proc/22250/task/22261/stat : 22261 (java) S 22248 22250 21479 0 -1 4202560 931 0 0 0 461 8 0 0 20 0 19 0 253859231 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253176244968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22262] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22262/stat : 22262 (java) S 22248 22250 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253175191032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22263] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22263/stat : 22263 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253174138632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22264] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22264/stat : 22264 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253173087120 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22265] ppid=22248 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22250/task/22265/stat : 22265 (java) S 22248 22250 21479 0 -1 4202560 3790 0 0 0 51 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253172033720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22266] ppid=22248 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/22250/task/22266/stat : 22266 (java) S 22248 22250 21479 0 -1 4202560 4537 0 0 0 55 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253170980920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22267] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22267/stat : 22267 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253169928824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22268] ppid=22248 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22250/task/22268/stat : 22268 (java) S 22248 22250 21479 0 -1 4202560 102 0 0 0 43 36 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253168876232 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22269] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22269/stat : 22269 (java) S 22248 22250 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859275 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253167822248 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1779.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 22367
/proc/meminfo: memFree=27994264/32873648 swapFree=6844/6844
[pid=22250] ppid=22248 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/22250/stat : 22250 (java) S 22248 22250 21479 0 -1 4202496 37403 0 1 0 179854 153 0 0 20 0 19 0 253859229 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140735769140576 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22250/statm: 2406244 148097 2279 9 0 2396937 0
[pid=22250/tid=22251] ppid=22248 vsize=9624976 CPUtime=1766.21 cores=1,3,5,7
/proc/22250/task/22251/stat : 22251 (java) R 22248 22250 21479 0 -1 4202560 3119 0 1 0 176589 32 0 0 20 0 19 0 253859229 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253352471808 140253181391404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22253] ppid=22248 vsize=9624976 CPUtime=3.47 cores=1,3,5,7
/proc/22250/task/22253/stat : 22253 (java) S 22248 22250 21479 0 -1 4202560 2594 0 0 0 331 16 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253313964840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22254] ppid=22248 vsize=9624976 CPUtime=3.54 cores=1,3,5,7
/proc/22250/task/22254/stat : 22254 (java) S 22248 22250 21479 0 -1 4202560 3022 0 0 0 340 14 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253312912040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22255] ppid=22248 vsize=9624976 CPUtime=3.33 cores=1,3,5,7
/proc/22250/task/22255/stat : 22255 (java) S 22248 22250 21479 0 -1 4202560 2441 0 0 0 320 13 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253311859752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22256] ppid=22248 vsize=9624976 CPUtime=3.33 cores=1,3,5,7
/proc/22250/task/22256/stat : 22256 (java) S 22248 22250 21479 0 -1 4202560 2183 0 0 0 319 14 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253310806952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22257] ppid=22248 vsize=9624976 CPUtime=3.46 cores=1,3,5,7
/proc/22250/task/22257/stat : 22257 (java) S 22248 22250 21479 0 -1 4202560 3108 0 0 0 331 15 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253309753640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22258] ppid=22248 vsize=9624976 CPUtime=3.54 cores=1,3,5,7
/proc/22250/task/22258/stat : 22258 (java) S 22248 22250 21479 0 -1 4202560 3416 0 0 0 340 14 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253308700840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22259] ppid=22248 vsize=9624976 CPUtime=3.36 cores=1,3,5,7
/proc/22250/task/22259/stat : 22259 (java) S 22248 22250 21479 0 -1 4202560 3945 0 0 0 324 12 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253307648552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22250/tid=22260] ppid=22248 vsize=9624976 CPUtime=3.53 cores=1,3,5,7
/proc/22250/task/22260/stat : 22260 (java) S 22248 22250 21479 0 -1 4202560 3031 0 0 0 338 15 0 0 20 0 19 0 253859230 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253306595752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22261] ppid=22248 vsize=9624976 CPUtime=4.69 cores=1,3,5,7
/proc/22250/task/22261/stat : 22261 (java) S 22248 22250 21479 0 -1 4202560 931 0 0 0 461 8 0 0 20 0 19 0 253859231 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253176244968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22262] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22262/stat : 22262 (java) S 22248 22250 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253175191032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22263] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22263/stat : 22263 (java) S 22248 22250 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253859232 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253174138632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22264] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22264/stat : 22264 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253173087120 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22265] ppid=22248 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/22250/task/22265/stat : 22265 (java) S 22248 22250 21479 0 -1 4202560 3790 0 0 0 51 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253172033720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22250/tid=22266] ppid=22248 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/22250/task/22266/stat : 22266 (java) S 22248 22250 21479 0 -1 4202560 4537 0 0 0 55 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253170980920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22267] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22267/stat : 22267 (java) S 22248 22250 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253169928824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22250/tid=22268] ppid=22248 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22250/task/22268/stat : 22268 (java) S 22248 22250 21479 0 -1 4202560 102 0 0 0 43 36 0 0 20 0 19 0 253859234 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253168876232 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22250/tid=22269] ppid=22248 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22250/task/22269/stat : 22269 (java) S 22248 22250 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253859275 9855975424 148097 33554432000 1073741824 1073778376 140735769149440 140253167822248 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1779.35
CPU time (s): 1800.66
CPU user time (s): 1798.63
CPU system time (s): 2.03269
CPU usage (%): 101.198
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 2.03269
maximum resident set size= 654320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37436
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56357
involuntary context switches= 57454
runsolver used 5.99409 second user time and 14.8107 second system time
The end