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-4254021-1501614057/watcher-4254021-1501614057 -o /tmp/evaluation-result-4254021-1501614057/solver-4254021-1501614057 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1223914656 HOME/instance-4254021-1501614057.xml
pid=21117
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.04 1.99 1.81 3/199 21120
/proc/meminfo: memFree=31319860/32770624 swapFree=0/207508
[pid=21120] ppid=21117 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (runsolver) D 21117 21120 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61059241 24240128 107 18446744073709551615 4194304 4338465 140737187960192 140737187957832 140315512197847 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 14798848 140737187967067 140737187967557 140737187967557 140737187971018 0
/proc/21120/statm: 5918 107 54 36 0 2156 0
[startup+0.100087 s]
/proc/loadavg: 2.04 1.99 1.81 3/199 21120
/proc/meminfo: memFree=31319860/32770624 swapFree=0/207508
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200231 s]
/proc/loadavg: 2.04 1.99 1.81 3/199 21120
/proc/meminfo: memFree=31319860/32770624 swapFree=0/207508
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300252 s]
/proc/loadavg: 2.04 1.99 1.81 3/199 21120
/proc/meminfo: memFree=31319860/32770624 swapFree=0/207508
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.709447 s]
/proc/loadavg: 2.04 1.99 1.81 3/199 21120
/proc/meminfo: memFree=31319860/32770624 swapFree=0/207508
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50085 s]
/proc/loadavg: 2.04 1.99 1.81 5/215 21136
/proc/meminfo: memFree=31239388/32770624 swapFree=0/207548
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
[pid=21122] ppid=21120 vsize=13980732 CPUtime=3.48 cores=1,3,5,7
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 19779 0 0 0 343 5 0 0 20 0 15 0 61059250 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 26202 3176 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 9058 0 0 0 131 3 0 0 20 0 15 0 61059251 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140596361739728 140596342034636 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21126] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21126/stat : 21126 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595955408016 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21127] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21127/stat : 21127 (java) S 21120 21120 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595954355216 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21128] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21128/stat : 21128 (java) S 21120 21120 18930 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595903174768 140596357515906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21129] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21129/stat : 21129 (java) S 21120 21120 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595902120736 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21130] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21130/stat : 21130 (java) S 21120 21120 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595901068400 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21131] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21131/stat : 21131 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595900016720 140596357523355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21132] ppid=21120 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/21122/task/21132/stat : 21132 (java) S 21120 21120 18930 0 -1 1077944384 3454 0 0 0 86 0 0 0 20 0 15 0 61059256 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595898964592 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21133] ppid=21120 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/21122/task/21133/stat : 21133 (java) S 21120 21120 18930 0 -1 1077944384 3985 0 0 0 86 0 0 0 20 0 15 0 61059256 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595897911792 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21134] ppid=21120 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/21122/task/21134/stat : 21134 (java) S 21120 21120 18930 0 -1 1077944384 1919 0 0 0 39 0 0 0 20 0 15 0 61059256 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595896859504 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21135] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21135/stat : 21135 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595895806944 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21136] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21136/stat : 21136 (java) S 21120 21120 18930 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 61059260 14316269568 26202 18446744073709551615 4194304 4196468 140737090322464 140595894753712 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 13990244
[startup+3.10056 s]
/proc/loadavg: 2.04 1.99 1.81 4/215 21136
/proc/meminfo: memFree=31218972/32770624 swapFree=0/207548
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
[pid=21122] ppid=21120 vsize=13980732 CPUtime=5.5 cores=1,3,5,7
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 20465 0 0 0 544 6 0 0 20 0 15 0 61059250 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 30965 3176 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 9506 0 0 0 291 3 0 0 20 0 15 0 61059251 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140596361741392 140595977844893 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21126] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21126/stat : 21126 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595955408016 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21127] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21127/stat : 21127 (java) S 21120 21120 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595954355216 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21128] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21128/stat : 21128 (java) S 21120 21120 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595903174768 140596357515906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21129] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21129/stat : 21129 (java) S 21120 21120 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595902120736 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21130] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21130/stat : 21130 (java) S 21120 21120 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595901068400 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21131] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21131/stat : 21131 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595900016720 140596357523355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21132] ppid=21120 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/21122/task/21132/stat : 21132 (java) S 21120 21120 18930 0 -1 1077944384 3506 0 0 0 102 0 0 0 20 0 15 0 61059256 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595898964592 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21133] ppid=21120 vsize=13980732 CPUtime=1.07 cores=1,3,5,7
/proc/21122/task/21133/stat : 21133 (java) S 21120 21120 18930 0 -1 1077944384 4040 0 0 0 106 1 0 0 20 0 15 0 61059256 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595897911792 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21134] ppid=21120 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/21122/task/21134/stat : 21134 (java) S 21120 21120 18930 0 -1 1077944384 2046 0 0 0 43 0 0 0 20 0 15 0 61059256 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595896859504 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21135] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21135/stat : 21135 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595895806944 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21136] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21136/stat : 21136 (java) S 21120 21120 18930 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 61059260 14316269568 30965 18446744073709551615 4194304 4196468 140737090322464 140595894753712 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.96 1.98 1.81 3/215 21136
/proc/meminfo: memFree=31192900/32770624 swapFree=0/207544
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
[pid=21122] ppid=21120 vsize=13980732 CPUtime=9.05 cores=1,3,5,7
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 25463 0 0 0 899 6 0 0 20 0 15 0 61059250 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 38259 3185 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 10164 0 0 0 610 4 0 0 20 0 15 0 61059251 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140596361743576 140595977329702 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21126] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21126/stat : 21126 (java) S 21120 21120 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595955408016 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21127] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21127/stat : 21127 (java) S 21120 21120 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595954355216 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21128] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21128/stat : 21128 (java) S 21120 21120 18930 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595903174768 140596357515906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21129] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21129/stat : 21129 (java) S 21120 21120 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595902120736 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21130] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21130/stat : 21130 (java) S 21120 21120 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595901068400 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21131] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21131/stat : 21131 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595900016720 140596357523355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21132] ppid=21120 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/21122/task/21132/stat : 21132 (java) S 21120 21120 18930 0 -1 1077944384 4643 0 0 0 119 0 0 0 20 0 15 0 61059256 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595898964592 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21133] ppid=21120 vsize=13980732 CPUtime=1.23 cores=1,3,5,7
/proc/21122/task/21133/stat : 21133 (java) S 21120 21120 18930 0 -1 1077944384 5872 0 0 0 122 1 0 0 20 0 15 0 61059256 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595897911792 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21134] ppid=21120 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/21122/task/21134/stat : 21134 (java) S 21120 21120 18930 0 -1 1077944384 2853 0 0 0 46 0 0 0 20 0 15 0 61059256 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595896859504 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21135] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21135/stat : 21135 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595895806944 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21136] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21136/stat : 21136 (java) S 21120 21120 18930 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 61059260 14316269568 38259 18446744073709551615 4194304 4196468 140737090322464 140595894753712 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
Current children cumulated CPU time (s) 9.05
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.12 2.01 1.82 5/215 21214
/proc/meminfo: memFree=31698028/32770624 swapFree=0/207580
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
[pid=21122] ppid=21120 vsize=13980732 CPUtime=16.17 cores=1,3,5,7
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 34995 0 0 0 1608 9 0 0 20 0 15 0 61059250 14316269568 48743 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 48743 3218 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 11810 0 0 0 1249 4 0 0 20 0 15 0 61059251 14316269568 48743 18446744073709551615 4194304 4196468 140737090322464 140596361741104 140595978156723 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 48743 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 61059251 14316269568 48743 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
################
# More data... #
################
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 43768 0 0 0 10604 11 0 0 20 0 15 0 61059250 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 48928 3227 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=102.11 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 13283 0 0 0 10207 4 0 0 20 0 15 0 61059251 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140596361741344 140595976366813 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 15 0 61059251 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 61059251 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21126] ppid=21120 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/21122/task/21126/stat : 21126 (java) S 21120 21120 18930 0 -1 1077944384 1427 0 0 0 1 0 0 0 20 0 15 0 61059251 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595955408016 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21127] ppid=21120 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/21122/task/21127/stat : 21127 (java) S 21120 21120 18930 0 -1 1077944384 639 0 0 0 1 0 0 0 20 0 15 0 61059251 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595954355216 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21128] ppid=21120 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/21122/task/21128/stat : 21128 (java) S 21120 21120 18930 0 -1 1077944384 1054 0 0 0 1 0 0 0 20 0 15 0 61059253 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595903174768 140596357515906 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21129] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21129/stat : 21129 (java) S 21120 21120 18930 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595902120736 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21130] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21130/stat : 21130 (java) S 21120 21120 18930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595901068400 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21131] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21131/stat : 21131 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595900016720 140596357523355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21132] ppid=21120 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/21122/task/21132/stat : 21132 (java) S 21120 21120 18930 0 -1 1077944384 9164 0 0 0 165 1 0 0 20 0 15 0 61059256 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595898964592 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21133] ppid=21120 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/21122/task/21133/stat : 21133 (java) S 21120 21120 18930 0 -1 1077944384 9593 0 0 0 172 1 0 0 20 0 15 0 61059256 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595897911792 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21134] ppid=21120 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/21122/task/21134/stat : 21134 (java) S 21120 21120 18930 0 -1 1077944384 5396 0 0 0 51 0 0 0 20 0 15 0 61059256 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595896859504 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21135] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21135/stat : 21135 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595895806944 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21136] ppid=21120 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/21122/task/21136/stat : 21136 (java) S 21120 21120 18930 0 -1 1077944384 471 0 0 0 0 1 0 0 20 0 15 0 61059260 14316269568 48928 18446744073709551615 4194304 4196468 140737090322464 140595894753712 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
Current children cumulated CPU time (s) 106.15
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.99 1.85 3/215 21218
/proc/meminfo: memFree=31536080/32770624 swapFree=0/207688
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
[pid=21122] ppid=21120 vsize=13980732 CPUtime=166.23 cores=1,3,5,7
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 47423 0 0 0 16610 13 0 0 20 0 15 0 61059250 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 50482 3228 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=162.09 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 13974 0 0 0 16205 4 0 0 20 0 15 0 61059251 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140596361743672 140595976366996 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 1182 0 0 0 2 0 0 0 20 0 15 0 61059251 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 539 0 0 0 1 1 0 0 20 0 15 0 61059251 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21126] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21126/stat : 21126 (java) S 21120 21120 18930 0 -1 1077944384 2122 0 0 0 2 0 0 0 20 0 15 0 61059251 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595955408016 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21127] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21127/stat : 21127 (java) S 21120 21120 18930 0 -1 1077944384 697 0 0 0 2 0 0 0 20 0 15 0 61059251 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595954355216 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21128] ppid=21120 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/21122/task/21128/stat : 21128 (java) S 21120 21120 18930 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 15 0 61059253 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595903174768 140596357515906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21129] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21129/stat : 21129 (java) S 21120 21120 18930 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595902120736 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21130] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21130/stat : 21130 (java) S 21120 21120 18930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595901068400 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21131] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21131/stat : 21131 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595900016720 140596357523355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21132] ppid=21120 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/21122/task/21132/stat : 21132 (java) S 21120 21120 18930 0 -1 1077944384 10514 0 0 0 169 1 0 0 20 0 15 0 61059256 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595898964592 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21133] ppid=21120 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/21122/task/21133/stat : 21133 (java) S 21120 21120 18930 0 -1 1077944384 9667 0 0 0 172 1 0 0 20 0 15 0 61059256 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595897911792 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21134] ppid=21120 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/21122/task/21134/stat : 21134 (java) S 21120 21120 18930 0 -1 1077944384 5561 0 0 0 51 0 0 0 20 0 15 0 61059256 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595896859504 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21135] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21135/stat : 21135 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595895806944 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21136] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21136/stat : 21136 (java) S 21120 21120 18930 0 -1 1077944384 503 0 0 0 1 2 0 0 20 0 15 0 61059260 14316269568 50482 18446744073709551615 4194304 4196468 140737090322464 140595894753712 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 1.86 3/216 21227
/proc/meminfo: memFree=31541784/32770624 swapFree=0/207720
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
[pid=21122] ppid=21120 vsize=13980732 CPUtime=226.29 cores=1,3,5,7
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 49728 0 0 0 22616 13 0 0 20 0 15 0 61059250 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 48310 3228 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=222.08 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 14692 0 0 0 22204 4 0 0 20 0 15 0 61059251 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140596361744384 140595977479506 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 1204 0 0 0 2 0 0 0 20 0 15 0 61059251 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 943 0 0 0 2 1 0 0 20 0 15 0 61059251 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21126] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21126/stat : 21126 (java) S 21120 21120 18930 0 -1 1077944384 2186 0 0 0 2 0 0 0 20 0 15 0 61059251 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595955408016 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21127] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21127/stat : 21127 (java) S 21120 21120 18930 0 -1 1077944384 708 0 0 0 2 1 0 0 20 0 15 0 61059251 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595954355216 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21128] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21128/stat : 21128 (java) S 21120 21120 18930 0 -1 1077944384 1494 0 0 0 2 0 0 0 20 0 15 0 61059253 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595903174768 140596357515906 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21129] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21129/stat : 21129 (java) S 21120 21120 18930 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595902120736 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21130] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21130/stat : 21130 (java) S 21120 21120 18930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595901068400 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21131] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21131/stat : 21131 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595900016720 140596357523355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21132] ppid=21120 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/21122/task/21132/stat : 21132 (java) S 21120 21120 18930 0 -1 1077944384 10849 0 0 0 171 1 0 0 20 0 15 0 61059256 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595898964592 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21133] ppid=21120 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/21122/task/21133/stat : 21133 (java) S 21120 21120 18930 0 -1 1077944384 9728 0 0 0 173 1 0 0 20 0 15 0 61059256 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595897911792 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21134] ppid=21120 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/21122/task/21134/stat : 21134 (java) S 21120 21120 18930 0 -1 1077944384 5997 0 0 0 51 0 0 0 20 0 15 0 61059256 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595896859504 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21135] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21135/stat : 21135 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595895806944 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21136] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21136/stat : 21136 (java) S 21120 21120 18930 0 -1 1077944384 530 0 0 0 1 2 0 0 20 0 15 0 61059260 14316269568 48310 18446744073709551615 4194304 4196468 140737090322464 140595894753712 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
Current children cumulated CPU time (s) 226.29
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.99 1.99 1.86 3/216 21228
/proc/meminfo: memFree=31546352/32770624 swapFree=0/207728
[pid=21120] ppid=21117 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21120/stat : 21120 (xcsp3-exec) S 21117 21120 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61059241 9740288 345 18446744073709551615 4194304 5098028 140734086703440 140734086701544 140111896146556 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 36999168 140734086705562 140734086705766 140734086705766 140734086709227 0
/proc/21120/statm: 2378 345 289 221 0 87 0
[pid=21122] ppid=21120 vsize=13980732 CPUtime=244 cores=1,3,5,7
/proc/21122/stat : 21122 (java) S 21120 21120 18930 0 -1 1077944320 49750 0 0 0 24386 14 0 0 20 0 15 0 61059250 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140737090305008 140596357504759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
/proc/21122/statm: 3495183 47796 3228 1 0 3483484 0
[pid=21122/tid=21123] ppid=21120 vsize=13980732 CPUtime=239.77 cores=1,3,5,7
/proc/21122/task/21123/stat : 21123 (java) R 21120 21120 18930 0 -1 4202560 14702 0 0 0 23973 4 0 0 20 0 15 0 61059251 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140596361744400 140595976367832 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21124] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21124/stat : 21124 (java) S 21120 21120 18930 0 -1 1077944384 1206 0 0 0 2 1 0 0 20 0 15 0 61059251 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595957513104 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21125] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21125/stat : 21125 (java) S 21120 21120 18930 0 -1 1077944384 944 0 0 0 2 1 0 0 20 0 15 0 61059251 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595956460304 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21126] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21126/stat : 21126 (java) S 21120 21120 18930 0 -1 1077944384 2188 0 0 0 2 1 0 0 20 0 15 0 61059251 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595955408016 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21127] ppid=21120 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21122/task/21127/stat : 21127 (java) S 21120 21120 18930 0 -1 1077944384 709 0 0 0 2 1 0 0 20 0 15 0 61059251 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595954355216 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21128] ppid=21120 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/21122/task/21128/stat : 21128 (java) S 21120 21120 18930 0 -1 1077944384 1497 0 0 0 2 0 0 0 20 0 15 0 61059253 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595903174768 140596357515906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21129] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21129/stat : 21129 (java) S 21120 21120 18930 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595902120736 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21130] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21130/stat : 21130 (java) S 21120 21120 18930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 61059253 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595901068400 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21131] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21131/stat : 21131 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595900016720 140596357523355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21132] ppid=21120 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/21122/task/21132/stat : 21132 (java) S 21120 21120 18930 0 -1 1077944384 10849 0 0 0 171 1 0 0 20 0 15 0 61059256 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595898964592 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21133] ppid=21120 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/21122/task/21133/stat : 21133 (java) S 21120 21120 18930 0 -1 1077944384 9728 0 0 0 173 1 0 0 20 0 15 0 61059256 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595897911792 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21134] ppid=21120 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/21122/task/21134/stat : 21134 (java) S 21120 21120 18930 0 -1 1077944384 5997 0 0 0 51 0 0 0 20 0 15 0 61059256 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595896859504 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21135] ppid=21120 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21122/task/21135/stat : 21135 (java) S 21120 21120 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61059256 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595895806944 140596357514965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
[pid=21122/tid=21136] ppid=21120 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/21122/task/21136/stat : 21136 (java) S 21120 21120 18930 0 -1 1077944384 533 0 0 0 2 2 0 0 20 0 15 0 61059260 14316269568 47796 18446744073709551615 4194304 4196468 140737090322464 140595894753712 140596357515906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28229632 140737090326995 140737090327170 140737090327170 140737090330575 0
Current children cumulated CPU time (s) 244
Current children cumulated vsize (KiB) 13990244
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 21122 sig 9
??? kill 21120 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.018
CPU time (s): 244.026
CPU user time (s): 243.879
CPU system time (s): 0.147197
CPU usage (%): 101.67
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.879
system time used= 0.147197
maximum resident set size= 207528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8111
involuntary context switches= 160
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00335 second user time and 1.35343 second system time
The end