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-4246943-1500689044/watcher-4246943-1500689044 -o /tmp/evaluation-result-4246943-1500689044/solver-4246943-1500689044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1204390500 HOME/instance-4246943-1500689044.xml
pid=30319
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.16 13.13 13.98 11/273 30322
/proc/meminfo: memFree=28218588/32770624 swapFree=5808/103216
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[startup+0.100119 s]
/proc/loadavg: 12.16 13.13 13.98 11/273 30322
/proc/meminfo: memFree=28218588/32770624 swapFree=5808/103216
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200325 s]
/proc/loadavg: 12.16 13.13 13.98 11/273 30322
/proc/meminfo: memFree=28218588/32770624 swapFree=5808/103216
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300307 s]
/proc/loadavg: 12.16 13.13 13.98 11/273 30322
/proc/meminfo: memFree=28218588/32770624 swapFree=5808/103216
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 12.16 13.13 13.98 11/273 30322
/proc/meminfo: memFree=28218588/32770624 swapFree=5808/103216
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50129 s]
/proc/loadavg: 12.16 13.13 13.98 14/294 30343
/proc/meminfo: memFree=28008780/32770624 swapFree=5808/103300
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30323] ppid=30322 vsize=13269256 CPUtime=5.53 cores=1,3,5,7,9,11,13,15
/proc/30323/stat : 30323 (java) S 30322 30322 15196 0 -1 1077944320 22167 0 0 0 523 30 0 0 20 0 20 0 4169539 13587718144 62267 33554432000 4194304 4196468 140726566197520 140726566180064 140718693498615 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
/proc/30323/statm: 3317314 62267 3230 1 0 3304547 0
[pid=30323/tid=30324] ppid=30322 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30324/stat : 30324 (java) R 30322 30322 15196 0 -1 4202560 6782 0 0 0 134 6 0 0 20 0 20 0 4169539 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718697731456 140718317088846 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30326] ppid=30322 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30326/stat : 30326 (java) S 30322 30322 15196 0 -1 1077944384 73 0 0 0 4 2 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718632463120 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30327] ppid=30322 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30327/stat : 30327 (java) S 30322 30322 15196 0 -1 1077944384 21 0 0 0 3 2 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718291508112 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30328] ppid=30322 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30328/stat : 30328 (java) S 30322 30322 15196 0 -1 1077944384 42 0 0 0 3 2 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718290455568 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30329] ppid=30322 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30329/stat : 30329 (java) S 30322 30322 15196 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718289403024 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30330] ppid=30322 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30330/stat : 30330 (java) S 30322 30322 15196 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718288349456 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30331] ppid=30322 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30331/stat : 30331 (java) S 30322 30322 15196 0 -1 1077944384 22 0 0 0 3 1 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718287296912 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30332] ppid=30322 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30332/stat : 30332 (java) S 30322 30322 15196 0 -1 1077944384 47 0 0 0 4 2 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718286244368 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30333] ppid=30322 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30333/stat : 30333 (java) S 30322 30322 15196 0 -1 1077944384 21 0 0 0 3 2 0 0 20 0 20 0 4169540 13587718144 62267 33554432000 4194304 4196468 140726566197520 140718285191824 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30334] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30334/stat : 30334 (java) S 30322 30322 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4169543 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717887298032 140718693509762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30335] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30335/stat : 30335 (java) S 30322 30322 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4169543 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717886244320 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30336] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30336/stat : 30336 (java) S 30322 30322 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4169544 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717885191680 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30337] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30337/stat : 30337 (java) S 30322 30322 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4169547 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717884140240 140718693517211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30338] ppid=30322 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30338/stat : 30338 (java) R 30322 30322 15196 0 -1 4202560 3110 0 0 0 98 1 0 0 20 0 20 0 4169547 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717883067848 140718677895316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30339] ppid=30322 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30339/stat : 30339 (java) R 30322 30322 15196 0 -1 4202560 3446 0 0 0 98 1 0 0 20 0 20 0 4169547 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717882034288 140718673009071 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30340] ppid=30322 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30340/stat : 30340 (java) R 30322 30322 15196 0 -1 4202560 4985 0 0 0 103 1 0 0 20 0 20 0 4169547 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717880967824 140726566344449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30341] ppid=30322 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30341/stat : 30341 (java) R 30322 30322 15196 0 -1 4202560 2195 0 0 0 60 1 0 0 20 0 20 0 4169547 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717879924352 140718672413664 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30342] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30342/stat : 30342 (java) S 30322 30322 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4169548 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717878876896 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30343] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30343/stat : 30343 (java) S 30322 30322 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4169548 13587718144 62267 33554432000 4194304 4196468 140726566197520 140717877824432 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 13278768
[startup+3.10084 s]
/proc/loadavg: 12.16 13.13 13.98 13/294 30343
/proc/meminfo: memFree=27813672/32770624 swapFree=5808/103300
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30323] ppid=30322 vsize=13269256 CPUtime=11.56 cores=1,3,5,7,9,11,13,15
/proc/30323/stat : 30323 (java) S 30322 30322 15196 0 -1 1077944320 27519 0 0 0 1047 109 0 0 20 0 20 0 4169539 13587718144 184946 33554432000 4194304 4196468 140726566197520 140726566180064 140718693498615 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
/proc/30323/statm: 3317314 184946 3257 1 0 3304547 0
[pid=30323/tid=30324] ppid=30322 vsize=13269256 CPUtime=2.78 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30324/stat : 30324 (java) S 30322 30322 15196 0 -1 1077944384 7217 0 0 0 267 11 0 0 20 0 20 0 4169539 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718697737376 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30326] ppid=30322 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30326/stat : 30326 (java) R 30322 30322 15196 0 -1 4202560 178 0 0 0 13 11 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718632463320 140718678526489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30327] ppid=30322 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30327/stat : 30327 (java) R 30322 30322 15196 0 -1 4202560 150 0 0 0 12 9 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718291508312 140718678526489 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30328] ppid=30322 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30328/stat : 30328 (java) R 30322 30322 15196 0 -1 4202560 179 0 0 0 12 11 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718290455768 140718686603283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30329] ppid=30322 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30329/stat : 30329 (java) R 30322 30322 15196 0 -1 4202560 133 0 0 0 9 10 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718289403224 140718678526498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30330] ppid=30322 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30330/stat : 30330 (java) R 30322 30322 15196 0 -1 4202560 135 0 0 0 13 12 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718288349656 140718678526498 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30331] ppid=30322 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30331/stat : 30331 (java) R 30322 30322 15196 0 -1 4202560 187 0 0 0 14 11 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718287297112 140718678526498 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30332] ppid=30322 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30332/stat : 30332 (java) R 30322 30322 15196 0 -1 4202560 157 0 0 0 14 12 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718286244568 140718678526498 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30333] ppid=30322 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30333/stat : 30333 (java) R 30322 30322 15196 0 -1 4202560 137 0 0 0 13 12 0 0 20 0 20 0 4169540 13587718144 184946 33554432000 4194304 4196468 140726566197520 140718285191712 140718678526489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30334] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30334/stat : 30334 (java) S 30322 30322 15196 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4169543 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717887296544 140718693508821 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30335] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30335/stat : 30335 (java) S 30322 30322 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4169543 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717886244320 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30336] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30336/stat : 30336 (java) S 30322 30322 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4169544 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717885191680 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30337] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30337/stat : 30337 (java) S 30322 30322 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4169547 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717884140240 140718693517211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30338] ppid=30322 vsize=13269256 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30338/stat : 30338 (java) S 30322 30322 15196 0 -1 1077944384 4565 0 0 0 197 1 0 0 20 0 20 0 4169547 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717883086832 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30339] ppid=30322 vsize=13269256 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30339/stat : 30339 (java) S 30322 30322 15196 0 -1 1077944384 4432 0 0 0 200 2 0 0 20 0 20 0 4169547 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717882034288 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30340] ppid=30322 vsize=13269256 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30340/stat : 30340 (java) S 30322 30322 15196 0 -1 1077944384 6172 0 0 0 209 1 0 0 20 0 20 0 4169547 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717880981744 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30341] ppid=30322 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30341/stat : 30341 (java) S 30322 30322 15196 0 -1 1077944384 2376 0 0 0 68 1 0 0 20 0 20 0 4169547 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717879929200 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30342] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30342/stat : 30342 (java) S 30322 30322 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4169548 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717878876896 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30343] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30343/stat : 30343 (java) S 30322 30322 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4169548 13587718144 184946 33554432000 4194304 4196468 140726566197520 140717877824432 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (KiB) 13278768
[startup+6.3009 s]
/proc/loadavg: 11.90 13.06 13.95 11/294 30343
/proc/meminfo: memFree=26800880/32770624 swapFree=5808/103308
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30323] ppid=30322 vsize=13269256 CPUtime=18.92 cores=1,3,5,7,9,11,13,15
/proc/30323/stat : 30323 (java) S 30322 30322 15196 0 -1 1077944320 30976 0 0 0 1569 323 0 0 20 0 20 0 4169539 13587718144 398345 33554432000 4194304 4196468 140726566197520 140726566180064 140718693498615 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
/proc/30323/statm: 3317314 398345 3257 1 0 3304547 0
[pid=30323/tid=30324] ppid=30322 vsize=13269256 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30324/stat : 30324 (java) R 30322 30322 15196 0 -1 4202560 7751 0 0 0 527 18 0 0 20 0 20 0 4169539 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718697735128 140718319454074 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30326] ppid=30322 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30326/stat : 30326 (java) S 30322 30322 15196 0 -1 1077944384 398 0 0 0 39 36 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718632463120 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30327] ppid=30322 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30327/stat : 30327 (java) S 30322 30322 15196 0 -1 1077944384 445 0 0 0 36 36 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718291508112 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30328] ppid=30322 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30328/stat : 30328 (java) S 30322 30322 15196 0 -1 1077944384 416 0 0 0 37 37 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718290455568 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30329] ppid=30322 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30329/stat : 30329 (java) S 30322 30322 15196 0 -1 1077944384 375 0 0 0 34 37 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718289403024 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30330] ppid=30322 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30330/stat : 30330 (java) S 30322 30322 15196 0 -1 1077944384 395 0 0 0 37 38 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718288349456 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30331] ppid=30322 vsize=13269256 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30331/stat : 30331 (java) S 30322 30322 15196 0 -1 1077944384 374 0 0 0 40 36 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718287296912 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30332] ppid=30322 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30332/stat : 30332 (java) S 30322 30322 15196 0 -1 1077944384 442 0 0 0 39 38 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718286244368 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30333] ppid=30322 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30333/stat : 30333 (java) S 30322 30322 15196 0 -1 1077944384 331 0 0 0 40 37 0 0 20 0 20 0 4169540 13587718144 398345 33554432000 4194304 4196468 140726566197520 140718285191824 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30334] ppid=30322 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30334/stat : 30334 (java) S 30322 30322 15196 0 -1 1077944384 1099 0 0 0 1 0 0 0 20 0 20 0 4169543 13587718144 398345 33554432000 4194304 4196468 140726566197520 140717887298032 140718693509762 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30335] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30335/stat : 30335 (java) S 30322 30322 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4169543 13587718144 398345 33554432000 4194304 4196468 140726566197520 140717886244320 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30336] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30336/stat : 30336 (java) S 30322 30322 15196 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 4169544 13587718144 398345 33554432000 4194304 4196468 140726566197520 140717885191680 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30337] ppid=30322 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30337/stat : 30337 (java) S 30322 30322 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4169547 13587718144 398345 33554432000 4194304 4196468 140726566197520 140717884140240 140718693517211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
################
# More data... #
################
[pid=30323/tid=30350] ppid=30322 vsize=13801768 CPUtime=211.1 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30350/stat : 30350 (java) R 30322 30322 15196 0 -1 4202560 1435 0 0 0 21109 1 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717862691048 140718315004989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30351] ppid=30322 vsize=13801768 CPUtime=210.53 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30351/stat : 30351 (java) R 30322 30322 15196 0 -1 4202560 2408 0 0 0 21052 1 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717861638600 140718320605561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
Current children cumulated CPU time (s) 1725.42
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.94 14.79 14.46 17/299 30507
/proc/meminfo: memFree=27554364/32770624 swapFree=5808/103632
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30323] ppid=30322 vsize=13801768 CPUtime=2203.17 cores=1,3,5,7,9,11,13,15
/proc/30323/stat : 30323 (java) S 30322 30322 15196 0 -1 1077944320 114710 0 0 0 219612 705 0 0 20 0 28 0 4169539 14133010432 929753 33554432000 4194304 4196468 140726566197520 140726566180064 140718693498615 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
/proc/30323/statm: 3450442 929753 3295 1 0 3437675 0
[pid=30323/tid=30324] ppid=30322 vsize=13801768 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30324/stat : 30324 (java) S 30322 30322 15196 0 -1 1077944384 10005 0 0 0 696 30 0 0 20 0 28 0 4169539 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718697739392 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30326] ppid=30322 vsize=13801768 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30326/stat : 30326 (java) S 30322 30322 15196 0 -1 1077944384 1321 0 0 0 175 78 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718632463120 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30327] ppid=30322 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30327/stat : 30327 (java) S 30322 30322 15196 0 -1 1077944384 1652 0 0 0 178 73 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718291508112 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30328] ppid=30322 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30328/stat : 30328 (java) S 30322 30322 15196 0 -1 1077944384 1570 0 0 0 175 76 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718290455568 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30329] ppid=30322 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30329/stat : 30329 (java) S 30322 30322 15196 0 -1 1077944384 1973 0 0 0 173 78 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718289403024 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30330] ppid=30322 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30330/stat : 30330 (java) S 30322 30322 15196 0 -1 1077944384 1721 0 0 0 176 78 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718288349456 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30331] ppid=30322 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30331/stat : 30331 (java) S 30322 30322 15196 0 -1 1077944384 1851 0 0 0 177 77 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718287296912 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30332] ppid=30322 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30332/stat : 30332 (java) S 30322 30322 15196 0 -1 1077944384 1775 0 0 0 179 77 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718286244368 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30333] ppid=30322 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30333/stat : 30333 (java) S 30322 30322 15196 0 -1 1077944384 1321 0 0 0 180 74 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718285191824 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30334] ppid=30322 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30334/stat : 30334 (java) S 30322 30322 15196 0 -1 1077944384 3973 0 0 0 9 4 0 0 20 0 28 0 4169543 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717887298032 140718693509762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30335] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30335/stat : 30335 (java) S 30322 30322 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4169543 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717886244320 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30336] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30336/stat : 30336 (java) S 30322 30322 15196 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4169544 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717885191680 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30337] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30337/stat : 30337 (java) S 30322 30322 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717884140240 140718693517211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30338] ppid=30322 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30338/stat : 30338 (java) S 30322 30322 15196 0 -1 1077944384 16149 0 0 0 479 2 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717883086832 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30339] ppid=30322 vsize=13801768 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30339/stat : 30339 (java) S 30322 30322 15196 0 -1 1077944384 15677 0 0 0 445 4 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717882034288 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30340] ppid=30322 vsize=13801768 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30340/stat : 30340 (java) S 30322 30322 15196 0 -1 1077944384 14806 0 0 0 465 1 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717880981744 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30341] ppid=30322 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30341/stat : 30341 (java) S 30322 30322 15196 0 -1 1077944384 9741 0 0 0 112 2 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717879929200 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30342] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30342/stat : 30342 (java) S 30322 30322 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4169548 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717878876896 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30343] ppid=30322 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30343/stat : 30343 (java) S 30322 30322 15196 0 -1 1077944384 1180 0 0 0 9 10 0 0 20 0 28 0 4169548 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717877824432 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30344] ppid=30322 vsize=13801768 CPUtime=271.66 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30344/stat : 30344 (java) R 30322 30322 15196 0 -1 4202560 2288 0 0 0 27165 1 0 0 20 0 28 0 4170486 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717871906008 140718314447116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30345] ppid=30322 vsize=13801768 CPUtime=271.11 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30345/stat : 30345 (java) R 30322 30322 15196 0 -1 4202560 1476 0 0 0 27110 1 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717867954872 140718320480565 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30346] ppid=30322 vsize=13801768 CPUtime=270.76 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30346/stat : 30346 (java) R 30322 30322 15196 0 -1 4202560 5630 0 0 0 27072 4 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717866901472 140718315004989 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30347] ppid=30322 vsize=13801768 CPUtime=270.63 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30347/stat : 30347 (java) R 30322 30322 15196 0 -1 4202560 7439 0 0 0 27048 15 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717865850872 140718315887359 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30348] ppid=30322 vsize=13801768 CPUtime=268.92 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30348/stat : 30348 (java) R 30322 30322 15196 0 -1 4202560 6637 0 0 0 26887 5 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717864795832 140718315092935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30349] ppid=30322 vsize=13801768 CPUtime=265.56 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30349/stat : 30349 (java) R 30322 30322 15196 0 -1 4202560 1042 0 0 0 26550 6 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717863743592 140718314447229 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30350] ppid=30322 vsize=13801768 CPUtime=271.03 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30350/stat : 30350 (java) R 30322 30322 15196 0 -1 4202560 1610 0 0 0 27102 1 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717862691048 140718315158976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30351] ppid=30322 vsize=13801768 CPUtime=270.36 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30351/stat : 30351 (java) R 30322 30322 15196 0 -1 4202560 2516 0 0 0 27034 2 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717861640472 140718320605566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
Current children cumulated CPU time (s) 2203.17
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.015 s]
/proc/loadavg: 16.08 14.92 14.51 17/298 30507
/proc/meminfo: memFree=27553572/32770624 swapFree=5808/103632
[pid=30322] ppid=30319 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4169539 9740288 346 33554432000 4194304 5098028 140735316139952 140735316138056 140017531814524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26320896 140735316145294 140735316145504 140735316145504 140735316148203 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30323] ppid=30322 vsize=13801768 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/30323/stat : 30323 (java) S 30322 30322 15196 0 -1 1077944320 115914 0 0 0 239293 707 0 0 20 0 28 0 4169539 14133010432 929753 33554432000 4194304 4196468 140726566197520 140726566180064 140718693498615 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
/proc/30323/statm: 3450442 929753 3295 1 0 3437675 0
[pid=30323/tid=30324] ppid=30322 vsize=13801768 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30324/stat : 30324 (java) S 30322 30322 15196 0 -1 1077944384 10005 0 0 0 696 30 0 0 20 0 28 0 4169539 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718697739392 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30326] ppid=30322 vsize=13801768 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30326/stat : 30326 (java) S 30322 30322 15196 0 -1 1077944384 1321 0 0 0 175 78 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718632463120 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30327] ppid=30322 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30327/stat : 30327 (java) S 30322 30322 15196 0 -1 1077944384 1652 0 0 0 178 73 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718291508112 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30328] ppid=30322 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30328/stat : 30328 (java) S 30322 30322 15196 0 -1 1077944384 1570 0 0 0 175 76 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718290455568 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30329] ppid=30322 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30329/stat : 30329 (java) S 30322 30322 15196 0 -1 1077944384 1973 0 0 0 173 78 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718289403024 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30330] ppid=30322 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30330/stat : 30330 (java) S 30322 30322 15196 0 -1 1077944384 1721 0 0 0 176 78 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718288349456 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30331] ppid=30322 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30331/stat : 30331 (java) S 30322 30322 15196 0 -1 1077944384 1851 0 0 0 177 77 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718287296912 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30332] ppid=30322 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30332/stat : 30332 (java) S 30322 30322 15196 0 -1 1077944384 1775 0 0 0 179 77 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718286244368 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30333] ppid=30322 vsize=13801768 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30333/stat : 30333 (java) S 30322 30322 15196 0 -1 1077944384 1321 0 0 0 180 74 0 0 20 0 28 0 4169540 14133010432 929753 33554432000 4194304 4196468 140726566197520 140718285191824 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30334] ppid=30322 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30334/stat : 30334 (java) S 30322 30322 15196 0 -1 1077944384 3973 0 0 0 9 4 0 0 20 0 28 0 4169543 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717887298032 140718693509762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30335] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30335/stat : 30335 (java) S 30322 30322 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4169543 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717886244320 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30336] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30336/stat : 30336 (java) S 30322 30322 15196 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4169544 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717885191680 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30337] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30337/stat : 30337 (java) S 30322 30322 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717884140240 140718693517211 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30338] ppid=30322 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30338/stat : 30338 (java) S 30322 30322 15196 0 -1 1077944384 16156 0 0 0 479 2 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717883086832 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30339] ppid=30322 vsize=13801768 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30339/stat : 30339 (java) S 30322 30322 15196 0 -1 1077944384 15681 0 0 0 445 4 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717882034288 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30340] ppid=30322 vsize=13801768 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30340/stat : 30340 (java) S 30322 30322 15196 0 -1 1077944384 14810 0 0 0 465 1 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717880981744 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30341] ppid=30322 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30341/stat : 30341 (java) S 30322 30322 15196 0 -1 1077944384 9745 0 0 0 112 2 0 0 20 0 28 0 4169547 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717879929200 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30342] ppid=30322 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30342/stat : 30342 (java) S 30322 30322 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4169548 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717878876896 140718693508821 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30343] ppid=30322 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30343/stat : 30343 (java) S 30322 30322 15196 0 -1 1077944384 1180 0 0 0 9 11 0 0 20 0 28 0 4169548 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717877824432 140718693509762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30344] ppid=30322 vsize=13801768 CPUtime=296.35 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30344/stat : 30344 (java) R 30322 30322 15196 0 -1 4202560 2377 0 0 0 29634 1 0 0 20 0 28 0 4170486 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717871906008 140718314447116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30345] ppid=30322 vsize=13801768 CPUtime=295.8 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30345/stat : 30345 (java) R 30322 30322 15196 0 -1 4202560 1542 0 0 0 29579 1 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717867954872 140718320481322 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30346] ppid=30322 vsize=13801768 CPUtime=295.45 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30346/stat : 30346 (java) R 30322 30322 15196 0 -1 4202560 5732 0 0 0 29541 4 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717866901472 140718319105765 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30347] ppid=30322 vsize=13801768 CPUtime=295.32 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30347/stat : 30347 (java) R 30322 30322 15196 0 -1 4202560 7591 0 0 0 29517 15 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717865850872 140718315887391 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30348] ppid=30322 vsize=13801768 CPUtime=293.17 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30348/stat : 30348 (java) R 30322 30322 15196 0 -1 4202560 7178 0 0 0 29311 6 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717864795832 140718315887436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30349] ppid=30322 vsize=13801768 CPUtime=290.15 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30349/stat : 30349 (java) R 30322 30322 15196 0 -1 4202560 1082 0 0 0 29009 6 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717863743592 140718315005026 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30350] ppid=30322 vsize=13801768 CPUtime=295.72 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30350/stat : 30350 (java) R 30322 30322 15196 0 -1 4202560 1697 0 0 0 29571 1 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717862691048 140718319106341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
[pid=30323/tid=30351] ppid=30322 vsize=13801768 CPUtime=294.88 cores=1,3,5,7,9,11,13,15
/proc/30323/task/30351/stat : 30351 (java) R 30322 30322 15196 0 -1 4202560 2624 0 0 0 29486 2 0 0 20 0 28 0 4170487 14133010432 929753 33554432000 4194304 4196468 140726566197520 140717861640472 140718316693381 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20881408 140726566200508 140726566200684 140726566200684 140726566203343 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13811280
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 30323 sig 9
??? kill 30322 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30322 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2106
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1053
# CPU time returned by wait4() is 0.003159
# while last known CPU time is 2400
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.026
CPU time (s): 2400
CPU user time (s): 2392.93
CPU system time (s): 7.07
CPU usage (%): 781.693
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002106
system time used= 0.001053
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92918 second user time and 4.36451 second system time
The end