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-4255329-1501619160/watcher-4255329-1501619160 -o /tmp/evaluation-result-4255329-1501619160/solver-4255329-1501619160 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24794 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 187213575 HOME/instance-4255329-1501619160.xml
pid=25663
running on 4 cores: 0,2,4,6
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: 1.77 1.86 1.86 3/181 25666
/proc/meminfo: memFree=31908320/32770624 swapFree=0/213184
[pid=25666] ppid=25663 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (runsolver) D 25663 25666 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61569543 24240128 106 18446744073709551615 4194304 4338465 140736987878896 140736987876536 140337839309527 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 33890304 140736987881564 140736987882053 140736987882053 140736987885514 0
/proc/25666/statm: 5918 106 53 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.77 1.86 1.86 3/181 25666
/proc/meminfo: memFree=31908320/32770624 swapFree=0/213184
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200332 s]
/proc/loadavg: 1.77 1.86 1.86 3/181 25666
/proc/meminfo: memFree=31908320/32770624 swapFree=0/213184
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300323 s]
/proc/loadavg: 1.77 1.86 1.86 3/181 25666
/proc/meminfo: memFree=31908320/32770624 swapFree=0/213184
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701105 s]
/proc/loadavg: 1.77 1.86 1.86 3/181 25666
/proc/meminfo: memFree=31908320/32770624 swapFree=0/213184
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.77 1.86 1.86 5/199 25710
/proc/meminfo: memFree=31828796/32770624 swapFree=0/213208
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
[pid=25668] ppid=25666 vsize=13982504 CPUtime=3.64 cores=0,2,4,6
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 29197 0 0 0 355 9 0 0 20 0 15 0 61569551 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495626 29763 3170 1 0 3483927 0
[pid=25668/tid=25669] ppid=25666 vsize=13982504 CPUtime=1.31 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 10261 0 0 0 126 5 0 0 20 0 15 0 61569552 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140042181112872 140041791423292 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61569552 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61569552 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25672] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25672/stat : 25672 (java) S 25666 25666 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61569552 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140042109208976 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25673] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25673/stat : 25673 (java) S 25666 25666 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61569552 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140042108156176 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25674] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25674/stat : 25674 (java) S 25666 25666 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61569554 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041655004016 140042176891522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25675] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25675/stat : 25675 (java) S 25666 25666 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61569554 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041653949984 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25676] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25676/stat : 25676 (java) S 25666 25666 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61569554 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041652897136 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25680] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25680/stat : 25680 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041651845456 140042176898971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25681] ppid=25666 vsize=13982504 CPUtime=0.88 cores=0,2,4,6
/proc/25668/task/25681/stat : 25681 (java) R 25666 25666 18930 0 -1 4202560 8283 0 0 0 87 1 0 0 20 0 15 0 61569557 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041650778024 140042158424563 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25682] ppid=25666 vsize=13982504 CPUtime=0.86 cores=0,2,4,6
/proc/25668/task/25682/stat : 25682 (java) R 25666 25666 18930 0 -1 4202560 5194 0 0 0 86 0 0 0 20 0 15 0 61569557 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041649733248 140042158401579 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25683] ppid=25666 vsize=13982504 CPUtime=0.54 cores=0,2,4,6
/proc/25668/task/25683/stat : 25683 (java) S 25666 25666 18930 0 -1 1077944384 4149 0 0 0 53 1 0 0 20 0 15 0 61569557 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041648687216 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25684] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25684/stat : 25684 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041647634656 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25685] ppid=25666 vsize=13982504 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25685/stat : 25685 (java) S 25666 25666 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61569565 14318084096 29763 18446744073709551615 4194304 4196468 140735914591984 140041646582960 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 13992016
[startup+3.10068 s]
/proc/loadavg: 1.77 1.86 1.86 8/215 25726
/proc/meminfo: memFree=31671872/32770624 swapFree=0/213220
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
[pid=25668] ppid=25666 vsize=13980732 CPUtime=8.49 cores=0,2,4,6
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 33991 0 0 0 837 12 0 0 20 0 15 0 61569551 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495183 52714 3185 1 0 3483484 0
[pid=25668/tid=25669] ppid=25666 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 10555 0 0 0 284 6 0 0 20 0 15 0 61569552 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140042181117048 140041788676712 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61569552 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61569552 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25672] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25672/stat : 25672 (java) S 25666 25666 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61569552 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140042109208976 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25673] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25673/stat : 25673 (java) S 25666 25666 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61569552 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140042108156176 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25674] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25674/stat : 25674 (java) S 25666 25666 18930 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041655004016 140042176891522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25675] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25675/stat : 25675 (java) S 25666 25666 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041653949984 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25676] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25676/stat : 25676 (java) S 25666 25666 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041652897136 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25680] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25680/stat : 25680 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041651845456 140042176898971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25681] ppid=25666 vsize=13980732 CPUtime=2.45 cores=0,2,4,6
/proc/25668/task/25681/stat : 25681 (java) R 25666 25666 18930 0 -1 4202560 10470 0 0 0 244 1 0 0 20 0 15 0 61569557 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041650792816 140042154475152 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25682] ppid=25666 vsize=13980732 CPUtime=2.45 cores=0,2,4,6
/proc/25668/task/25682/stat : 25682 (java) R 25666 25666 18930 0 -1 4202560 7294 0 0 0 244 1 0 0 20 0 15 0 61569557 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041649740016 140042162005681 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25683] ppid=25666 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/25668/task/25683/stat : 25683 (java) S 25666 25666 18930 0 -1 1077944384 4331 0 0 0 63 1 0 0 20 0 15 0 61569557 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041648687216 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25684] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25684/stat : 25684 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041647634656 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25685] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25685/stat : 25685 (java) S 25666 25666 18930 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 61569565 14316269568 52714 18446744073709551615 4194304 4196468 140735914591984 140041646582960 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 13990244
[startup+6.30077 s]
/proc/loadavg: 1.86 1.88 1.87 4/215 25726
/proc/meminfo: memFree=31450032/32770624 swapFree=0/213232
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
[pid=25668] ppid=25666 vsize=13980732 CPUtime=12.89 cores=0,2,4,6
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 35746 0 0 0 1273 16 0 0 20 0 15 0 61569551 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495183 60961 3217 1 0 3483484 0
[pid=25668/tid=25669] ppid=25666 vsize=13980732 CPUtime=6.08 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 10598 0 0 0 601 7 0 0 20 0 15 0 61569552 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140042181118008 140041795784320 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 15 0 61569552 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 61569552 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25672] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25672/stat : 25672 (java) S 25666 25666 18930 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 61569552 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140042109208976 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25673] ppid=25666 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/25668/task/25673/stat : 25673 (java) S 25666 25666 18930 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 15 0 61569552 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140042108156176 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25674] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25674/stat : 25674 (java) S 25666 25666 18930 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041655004016 140042176891522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25675] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25675/stat : 25675 (java) S 25666 25666 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041653949984 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25676] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25676/stat : 25676 (java) S 25666 25666 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041652897136 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25680] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25680/stat : 25680 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041651845456 140042176898971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25681] ppid=25666 vsize=13980732 CPUtime=2.85 cores=0,2,4,6
/proc/25668/task/25681/stat : 25681 (java) S 25666 25666 18930 0 -1 1077944384 10537 0 0 0 283 2 0 0 20 0 15 0 61569557 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041650792816 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25682] ppid=25666 vsize=13980732 CPUtime=3.16 cores=0,2,4,6
/proc/25668/task/25682/stat : 25682 (java) S 25666 25666 18930 0 -1 1077944384 7760 0 0 0 315 1 0 0 20 0 15 0 61569557 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041649740016 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25683] ppid=25666 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/25668/task/25683/stat : 25683 (java) S 25666 25666 18930 0 -1 1077944384 4837 0 0 0 66 2 0 0 20 0 15 0 61569557 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041648687216 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25684] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25684/stat : 25684 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041647634656 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25685] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25685/stat : 25685 (java) S 25666 25666 18930 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 61569565 14316269568 60961 18446744073709551615 4194304 4196468 140735914591984 140041646582960 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.88 1.88 1.87 4/215 25726
/proc/meminfo: memFree=31442164/32770624 swapFree=0/213240
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
[pid=25668] ppid=25666 vsize=13980732 CPUtime=19.58 cores=0,2,4,6
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 43020 0 0 0 1940 18 0 0 20 0 15 0 61569551 14316269568 59344 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495183 59344 3225 1 0 3483484 0
[pid=25668/tid=25669] ppid=25666 vsize=13980732 CPUtime=12.43 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 11573 0 0 0 1236 7 0 0 20 0 15 0 61569552 14316269568 59344 18446744073709551615 4194304 4196468 140735914591984 140042181116312 140041794038380 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 428 0 0 0 5 1 0 0 20 0 15 0 61569552 14316269568 59344 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 104 0 0 0 5 1 0 0 20 0 15 0 61569552 14316269568 59344 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
################
# More data... #
################
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 69874 0 0 0 11171 41 0 0 20 0 15 0 61569551 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495183 77834 3227 1 0 3483484 0
[pid=25668/tid=25669] ppid=25666 vsize=13980732 CPUtime=101.31 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 16762 0 0 0 10124 7 0 0 20 0 15 0 61569552 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140042181119904 140041794148658 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 1160 0 0 0 63 5 0 0 20 0 15 0 61569552 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 822 0 0 0 63 6 0 0 20 0 15 0 61569552 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25672] ppid=25666 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/25668/task/25672/stat : 25672 (java) S 25666 25666 18930 0 -1 1077944384 1588 0 0 0 62 5 0 0 20 0 15 0 61569552 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140042109208976 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25673] ppid=25666 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/25668/task/25673/stat : 25673 (java) S 25666 25666 18930 0 -1 1077944384 2328 0 0 0 62 6 0 0 20 0 15 0 61569552 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140042108156176 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25674] ppid=25666 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/25668/task/25674/stat : 25674 (java) S 25666 25666 18930 0 -1 1077944384 1334 0 0 0 6 1 0 0 20 0 15 0 61569554 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041655004016 140042176891522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25675] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25675/stat : 25675 (java) S 25666 25666 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041653949984 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25676] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25676/stat : 25676 (java) S 25666 25666 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041652897136 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25680] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25680/stat : 25680 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041651845456 140042176898971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25681] ppid=25666 vsize=13980732 CPUtime=3.32 cores=0,2,4,6
/proc/25668/task/25681/stat : 25681 (java) S 25666 25666 18930 0 -1 1077944384 17876 0 0 0 330 2 0 0 20 0 15 0 61569557 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041650792816 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25682] ppid=25666 vsize=13980732 CPUtime=3.83 cores=0,2,4,6
/proc/25668/task/25682/stat : 25682 (java) S 25666 25666 18930 0 -1 1077944384 16185 0 0 0 381 2 0 0 20 0 15 0 61569557 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041649740016 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25683] ppid=25666 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/25668/task/25683/stat : 25683 (java) S 25666 25666 18930 0 -1 1077944384 9367 0 0 0 72 2 0 0 20 0 15 0 61569557 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041648687216 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25684] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25684/stat : 25684 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041647634656 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25685] ppid=25666 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/25668/task/25685/stat : 25685 (java) S 25666 25666 18930 0 -1 1077944384 1103 0 0 0 3 2 0 0 20 0 15 0 61569565 14316269568 77834 18446744073709551615 4194304 4196468 140735914591984 140041646582960 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
Current children cumulated CPU time (s) 112.12
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.67 1.81 1.85 4/216 25731
/proc/meminfo: memFree=31125960/32770624 swapFree=0/213312
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
[pid=25668] ppid=25666 vsize=13980732 CPUtime=173.67 cores=0,2,4,6
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 77918 0 0 0 17307 60 0 0 20 0 15 0 61569551 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495183 101142 3227 1 0 3483484 0
[pid=25668/tid=25669] ppid=25666 vsize=13980732 CPUtime=160.76 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 18839 0 0 0 16068 8 0 0 20 0 15 0 61569552 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140042181119776 140041794055924 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 1730 0 0 0 106 10 0 0 20 0 15 0 61569552 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 1273 0 0 0 107 9 0 0 20 0 15 0 61569552 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25672] ppid=25666 vsize=13980732 CPUtime=1.15 cores=0,2,4,6
/proc/25668/task/25672/stat : 25672 (java) S 25666 25666 18930 0 -1 1077944384 2426 0 0 0 106 9 0 0 20 0 15 0 61569552 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140042109208976 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25673] ppid=25666 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/25668/task/25673/stat : 25673 (java) S 25666 25666 18930 0 -1 1077944384 2684 0 0 0 106 10 0 0 20 0 15 0 61569552 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140042108156176 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25674] ppid=25666 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/25668/task/25674/stat : 25674 (java) S 25666 25666 18930 0 -1 1077944384 1612 0 0 0 9 2 0 0 20 0 15 0 61569554 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041655004016 140042176891522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25675] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25675/stat : 25675 (java) S 25666 25666 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041653949984 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25676] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25676/stat : 25676 (java) S 25666 25666 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041652897136 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25680] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25680/stat : 25680 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041651845456 140042176898971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25681] ppid=25666 vsize=13980732 CPUtime=3.36 cores=0,2,4,6
/proc/25668/task/25681/stat : 25681 (java) S 25666 25666 18930 0 -1 1077944384 18826 0 0 0 334 2 0 0 20 0 15 0 61569557 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041650792816 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25682] ppid=25666 vsize=13980732 CPUtime=3.9 cores=0,2,4,6
/proc/25668/task/25682/stat : 25682 (java) S 25666 25666 18930 0 -1 1077944384 17680 0 0 0 388 2 0 0 20 0 15 0 61569557 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041649740016 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25683] ppid=25666 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/25668/task/25683/stat : 25683 (java) S 25666 25666 18930 0 -1 1077944384 10354 0 0 0 73 2 0 0 20 0 15 0 61569557 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041648687216 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25684] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25684/stat : 25684 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041647634656 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25685] ppid=25666 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/25668/task/25685/stat : 25685 (java) S 25666 25666 18930 0 -1 1077944384 1145 0 0 0 4 3 0 0 20 0 15 0 61569565 14316269568 101142 18446744073709551615 4194304 4196468 140735914591984 140041646582960 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
Current children cumulated CPU time (s) 173.67
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.61 1.77 1.83 4/216 25733
/proc/meminfo: memFree=31099324/32770624 swapFree=0/213336
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
[pid=25668] ppid=25666 vsize=13980732 CPUtime=235.33 cores=0,2,4,6
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 88432 0 0 0 23451 82 0 0 20 0 15 0 61569551 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495183 81802 3243 1 0 3483484 0
[pid=25668/tid=25669] ppid=25666 vsize=13980732 CPUtime=220.19 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 20872 0 0 0 22011 8 0 0 20 0 15 0 61569552 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140042181120016 140041796701339 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 2488 0 0 0 153 14 0 0 20 0 15 0 61569552 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 2300 0 0 0 152 15 0 0 20 0 15 0 61569552 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25672] ppid=25666 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/25668/task/25672/stat : 25672 (java) S 25666 25666 18930 0 -1 1077944384 3392 0 0 0 152 14 0 0 20 0 15 0 61569552 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140042109208976 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25673] ppid=25666 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/25668/task/25673/stat : 25673 (java) S 25666 25666 18930 0 -1 1077944384 3437 0 0 0 152 15 0 0 20 0 15 0 61569552 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140042108156176 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25674] ppid=25666 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/25668/task/25674/stat : 25674 (java) S 25666 25666 18930 0 -1 1077944384 4007 0 0 0 13 3 0 0 20 0 15 0 61569554 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041655004016 140042176891522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25675] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25675/stat : 25675 (java) S 25666 25666 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041653949984 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25676] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25676/stat : 25676 (java) S 25666 25666 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041652897136 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25680] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25680/stat : 25680 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041651845456 140042176898971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25681] ppid=25666 vsize=13980732 CPUtime=3.43 cores=0,2,4,6
/proc/25668/task/25681/stat : 25681 (java) S 25666 25666 18930 0 -1 1077944384 20462 0 0 0 341 2 0 0 20 0 15 0 61569557 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041650792816 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25682] ppid=25666 vsize=13980732 CPUtime=3.91 cores=0,2,4,6
/proc/25668/task/25682/stat : 25682 (java) S 25666 25666 18930 0 -1 1077944384 18302 0 0 0 389 2 0 0 20 0 15 0 61569557 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041649740016 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25683] ppid=25666 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/25668/task/25683/stat : 25683 (java) S 25666 25666 18930 0 -1 1077944384 10654 0 0 0 73 2 0 0 20 0 15 0 61569557 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041648687216 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25684] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25684/stat : 25684 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041647634656 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25685] ppid=25666 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/25668/task/25685/stat : 25685 (java) S 25666 25666 18930 0 -1 1077944384 1169 0 0 0 7 4 0 0 20 0 15 0 61569565 14316269568 81802 18446744073709551615 4194304 4196468 140735914591984 140041646582960 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
Current children cumulated CPU time (s) 235.33
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.50 1.73 1.82 4/216 25734
/proc/meminfo: memFree=31285544/32770624 swapFree=0/213344
[pid=25666] ppid=25663 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/25666/stat : 25666 (xcsp3-exec) S 25663 25666 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61569543 9740288 345 18446744073709551615 4194304 5098028 140732555289600 140732555287704 139626417558140 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14864384 140732555297179 140732555297382 140732555297382 140732555300843 0
/proc/25666/statm: 2378 345 289 221 0 87 0
[pid=25668] ppid=25666 vsize=13980732 CPUtime=253.46 cores=0,2,4,6
/proc/25668/stat : 25668 (java) S 25666 25666 18930 0 -1 1077944320 88760 0 0 0 25263 83 0 0 20 0 15 0 61569551 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140735914574528 140042176880375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
/proc/25668/statm: 3495183 78213 3243 1 0 3483484 0
[pid=25668/tid=25669] ppid=25666 vsize=13980732 CPUtime=237.72 cores=0,2,4,6
/proc/25668/task/25669/stat : 25669 (java) R 25666 25666 18930 0 -1 4202560 20903 0 0 0 23764 8 0 0 20 0 15 0 61569552 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140042181119616 140041792726825 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25670] ppid=25666 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/25668/task/25670/stat : 25670 (java) S 25666 25666 18930 0 -1 1077944384 2547 0 0 0 168 14 0 0 20 0 15 0 61569552 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140042111314576 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25671] ppid=25666 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/25668/task/25671/stat : 25671 (java) S 25666 25666 18930 0 -1 1077944384 2383 0 0 0 167 15 0 0 20 0 15 0 61569552 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140042110261776 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25672] ppid=25666 vsize=13980732 CPUtime=1.81 cores=0,2,4,6
/proc/25668/task/25672/stat : 25672 (java) S 25666 25666 18930 0 -1 1077944384 3488 0 0 0 167 14 0 0 20 0 15 0 61569552 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140042109208976 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25673] ppid=25666 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/25668/task/25673/stat : 25673 (java) S 25666 25666 18930 0 -1 1077944384 3494 0 0 0 167 15 0 0 20 0 15 0 61569552 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140042108156176 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25674] ppid=25666 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/25668/task/25674/stat : 25674 (java) S 25666 25666 18930 0 -1 1077944384 4009 0 0 0 14 3 0 0 20 0 15 0 61569554 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041655004016 140042176891522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25675] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25675/stat : 25675 (java) S 25666 25666 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041653949984 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25676] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25676/stat : 25676 (java) S 25666 25666 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61569554 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041652897136 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25680] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25680/stat : 25680 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041651845456 140042176898971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25681] ppid=25666 vsize=13980732 CPUtime=3.43 cores=0,2,4,6
/proc/25668/task/25681/stat : 25681 (java) S 25666 25666 18930 0 -1 1077944384 20462 0 0 0 341 2 0 0 20 0 15 0 61569557 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041650792816 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25682] ppid=25666 vsize=13980732 CPUtime=3.91 cores=0,2,4,6
/proc/25668/task/25682/stat : 25682 (java) S 25666 25666 18930 0 -1 1077944384 18302 0 0 0 389 2 0 0 20 0 15 0 61569557 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041649740016 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25683] ppid=25666 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/25668/task/25683/stat : 25683 (java) S 25666 25666 18930 0 -1 1077944384 10654 0 0 0 73 2 0 0 20 0 15 0 61569557 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041648687216 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25684] ppid=25666 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/25668/task/25684/stat : 25684 (java) S 25666 25666 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61569557 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041647634656 140042176890581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
[pid=25668/tid=25685] ppid=25666 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/25668/task/25685/stat : 25685 (java) S 25666 25666 18930 0 -1 1077944384 1169 0 0 0 7 5 0 0 20 0 15 0 61569565 14316269568 78213 18446744073709551615 4194304 4196468 140735914591984 140041646582960 140042176891522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27029504 140735914594771 140735914594946 140735914594946 140735914598351 0
Current children cumulated CPU time (s) 253.46
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 25668 sig 9
??? kill 25666 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.014
CPU time (s): 253.489
CPU user time (s): 252.65
CPU system time (s): 0.838769
CPU usage (%): 105.614
Max. virtual memory (cumulated for all children) (KiB): 13992016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.65
system time used= 0.838769
maximum resident set size= 522436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90139
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= 11701
involuntary context switches= 563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08343 second user time and 1.53586 second system time
The end