runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14985 MiB free)
memory of node 1: 16384 MiB (15427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270045-1502623845/watcher-4270045-1502623845 -o /tmp/evaluation-result-4270045-1502623845/solver-4270045-1502623845 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 97413935 HOME/instance-4270045-1502623845.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27614, runsolver pid=27611
[startup+0.100151 s]*
/proc/loadavg: 2.20 1.98 1.86 1/177 27618
/proc/meminfo: memFree=31143568/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (runsolver) D 27611 27614 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 64605216 34791424 113 18446744073709551615 4194304 4346622 140721981737584 140721981734216 139830594581207 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 39014400 140721981739073 140721981739561 140721981739561 140721981743050 0
/proc/27614/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209033 s]*
/proc/loadavg: 2.20 1.98 1.86 1/189 27634
/proc/meminfo: memFree=31140168/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64605216 9740288 345 18446744073709551615 4194304 5098028 140734938936000 140734938934104 139753203974780 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 12 0 0 7196144 7232144 20590592 140734938943872 140734938944074 140734938944074 140734938947563 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27619] ppid=27614 vsize=13907304 memory=21408 CPUtime=0.05 cores=1,3,5,7
/proc/27619/stat : 27619 (java) S 27614 27614 897 0 -1 1077944320 4736 0 0 0 4 1 0 0 20 0 14 0 64605229 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 140731472265584 139977277431543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
/proc/27619/statm: 3476826 5352 2570 1 0 3466323 0
[pid=27619/tid=27620] ppid=27614 vsize=13907304 memory=7310027617963868211 CPUtime=0.04 cores=1,3,5,7
/proc/27619/task/27620/stat : 27620 (java) D 27614 27614 897 0 -1 4202560 2912 0 0 0 3 1 0 0 20 0 14 0 64605229 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139977281669024 139977277453565 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27621] ppid=27614 vsize=13907304 memory=288230608969400343 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27621/stat : 27621 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64605230 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139977219377936 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27622] ppid=27614 vsize=13907304 memory=288370206749243008 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27622/stat : 27622 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64605230 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139977218325392 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27623] ppid=27614 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27623/stat : 27623 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64605230 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139977217272848 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27624] ppid=27614 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27624/stat : 27624 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64605230 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139977216220304 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27625] ppid=27614 vsize=13907304 memory=139830597531264 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27625/stat : 27625 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64605231 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976193816560 139977277442690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27626] ppid=27614 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27626/stat : 27626 (java) S 27614 27614 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64605231 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976192762784 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27627] ppid=27614 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64605232 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64605234 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) S 27614 27614 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 64605234 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976189606384 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64605234 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976188553840 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13907304 memory=139830597531264 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) S 27614 27614 897 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 64605234 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976187501296 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64605234 14241079296 5352 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22788 KiB
[startup+0.310193 s]*
/proc/loadavg: 2.20 1.98 1.86 2/190 27635
/proc/meminfo: memFree=31135000/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64605216 9740288 345 18446744073709551615 4194304 5098028 140734938936000 140734938934104 139753203974780 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 12 0 0 7196144 7232144 20590592 140734938943872 140734938944074 140734938944074 140734938947563 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27619] ppid=27614 vsize=13974352 memory=27628 CPUtime=0.12 cores=1,3,5,7
/proc/27619/stat : 27619 (java) S 27614 27614 897 0 -1 1077944320 5382 0 0 0 10 2 0 0 20 0 15 0 64605229 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 140731472265584 139977277431543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
/proc/27619/statm: 3493588 6907 2844 1 0 3482964 0
[pid=27619/tid=27620] ppid=27614 vsize=13974352 memory=-8774313645642428999 CPUtime=0.09 cores=1,3,5,7
/proc/27619/task/27620/stat : 27620 (java) R 27614 27614 897 0 -1 4202560 3377 0 0 0 8 1 0 0 20 0 15 0 64605229 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139977281663456 139977277443478 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27621] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27621/stat : 27621 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139977219377936 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27622] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27622/stat : 27622 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139977218325392 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27623] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27623/stat : 27623 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139977217272848 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27624] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27624/stat : 27624 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64605230 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139977216220304 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27625] ppid=27614 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27625/stat : 27625 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64605231 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976193816560 139977277442690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27626] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27626/stat : 27626 (java) S 27614 27614 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64605231 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976192762784 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27627] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64605232 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) S 27614 27614 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 64605234 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976189606384 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) S 27614 27614 897 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 64605234 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976188553840 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13974352 memory=139830597531264 CPUtime=0.01 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) R 27614 27614 897 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 64605234 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976187501296 139977255800399 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27635] ppid=27614 vsize=13974352 memory=139830597531264 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27635/stat : 27635 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605243 14309736448 6907 18446744073709551615 4194304 4196468 140731472283040 139976185395504 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29008 KiB
[startup+0.701034 s]
/proc/loadavg: 2.20 1.98 1.86 2/191 27636
/proc/meminfo: memFree=31116576/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64605216 9740288 345 18446744073709551615 4194304 5098028 140734938936000 140734938934104 139753203974780 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 12 0 0 7196144 7232144 20590592 140734938943872 140734938944074 140734938944074 140734938947563 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27619] ppid=27614 vsize=13980732 memory=61144 CPUtime=1.03 cores=1,3,5,7
/proc/27619/stat : 27619 (java) S 27614 27614 897 0 -1 1077944320 12566 0 0 0 98 5 0 0 20 0 15 0 64605229 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 140731472265584 139977277431543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
/proc/27619/statm: 3495183 15286 3142 1 0 3483476 0
[pid=27619/tid=27620] ppid=27614 vsize=13980732 memory=279660890137056 CPUtime=0.47 cores=1,3,5,7
/proc/27619/task/27620/stat : 27620 (java) R 27614 27614 897 0 -1 4202560 7958 0 0 0 43 4 0 0 20 0 15 0 64605229 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139977281665456 140731472869576 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27621] ppid=27614 vsize=13980732 memory=279660890137248 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27621/stat : 27621 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139977219377936 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27622] ppid=27614 vsize=13980732 memory=279660890137440 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27622/stat : 27622 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139977218325392 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27623] ppid=27614 vsize=13980732 memory=279660890137632 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27623/stat : 27623 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139977217272848 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27624] ppid=27614 vsize=13980732 memory=279660890137824 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27624/stat : 27624 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139977216220304 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27625] ppid=27614 vsize=13980732 memory=279660890138016 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27625/stat : 27625 (java) S 27614 27614 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976193816560 139977277442690 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27626] ppid=27614 vsize=13980732 memory=279660890138208 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27626/stat : 27626 (java) S 27614 27614 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976192762784 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27627] ppid=27614 vsize=13980732 memory=279660890138400 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64605232 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13980732 memory=139830597531263 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13980732 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) R 27614 27614 897 0 -1 4202560 764 0 0 0 13 0 0 0 20 0 15 0 64605234 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976189606512 139977277445425 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) R 27614 27614 897 0 -1 4202560 1138 0 0 0 14 0 0 0 20 0 15 0 64605234 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976188540384 139977262540496 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13980732 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) R 27614 27614 897 0 -1 4202560 1399 0 0 0 26 0 0 0 20 0 15 0 64605234 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976187499088 139977256387149 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27635] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27635/stat : 27635 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605243 14316269568 15286 18446744073709551615 4194304 4196468 140731472283040 139976185395504 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62524 KiB
[startup+1.50087 s]
/proc/loadavg: 2.20 1.98 1.86 5/211 27665
/proc/meminfo: memFree=31030148/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64605216 9740288 345 18446744073709551615 4194304 5098028 140734938936000 140734938934104 139753203974780 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 12 0 0 7196144 7232144 20590592 140734938943872 140734938944074 140734938944074 140734938947563 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27619] ppid=27614 vsize=13980732 memory=116652 CPUtime=3.52 cores=1,3,5,7
/proc/27619/stat : 27619 (java) S 27614 27614 897 0 -1 1077944320 24217 0 0 0 345 7 0 0 20 0 15 0 64605229 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 140731472265584 139977277431543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
/proc/27619/statm: 3495183 29163 3184 1 0 3483476 0
[pid=27619/tid=27620] ppid=27614 vsize=13980732 memory=36508 CPUtime=1.26 cores=1,3,5,7
/proc/27619/task/27620/stat : 27620 (java) R 27614 27614 897 0 -1 4202560 9056 0 0 0 122 4 0 0 20 0 15 0 64605229 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139977281670272 139976897570028 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27621] ppid=27614 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27621/stat : 27621 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139977219377936 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27622] ppid=27614 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27622/stat : 27622 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139977218325392 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27623] ppid=27614 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27623/stat : 27623 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139977217272848 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27624] ppid=27614 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27624/stat : 27624 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139977216220304 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27625] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27625/stat : 27625 (java) S 27614 27614 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976193816560 139977277442690 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27626] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27626/stat : 27626 (java) S 27614 27614 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976192762784 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27627] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64605232 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13980732 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) S 27614 27614 897 0 -1 1077944384 5558 0 0 0 91 0 0 0 20 0 15 0 64605234 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976189606384 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13980732 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) S 27614 27614 897 0 -1 1077944384 5425 0 0 0 88 1 0 0 20 0 15 0 64605234 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976188553840 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13980732 memory=22625 CPUtime=0.42 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) S 27614 27614 897 0 -1 1077944384 2864 0 0 0 42 0 0 0 20 0 15 0 64605234 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976187501296 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27635] ppid=27614 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27635/stat : 27635 (java) S 27614 27614 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 64605243 14316269568 29163 18446744073709551615 4194304 4196468 140731472283040 139976185395504 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 3.52 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64605232 14316269568 31644 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13980732 memory=279660890846064 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 31644 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13980732 memory=56 CPUtime=1.39 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) S 27614 27614 897 0 -1 1077944384 12290 0 0 0 138 1 0 0 20 0 15 0 64605234 14316269568 31644 18446744073709551615 4194304 4196468 140731472283040 139976189606384 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13980732 memory=1380 CPUtime=1.89 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) S 27614 27614 897 0 -1 1077944384 18551 0 0 0 186 3 0 0 20 0 15 0 64605234 14316269568 31644 18446744073709551615 4194304 4196468 140731472283040 139976188553840 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13980732 memory=8242264893896616293 CPUtime=0.49 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) S 27614 27614 897 0 -1 1077944384 5631 0 0 0 49 0 0 0 20 0 15 0 64605234 14316269568 31644 18446744073709551615 4194304 4196468 140731472283040 139976187501296 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13980732 memory=7811044310603950144 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 31644 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27635] ppid=27614 vsize=13980732 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/27619/task/27635/stat : 27635 (java) S 27614 27614 897 0 -1 1077944384 1057 0 0 0 0 1 0 0 20 0 15 0 64605243 14316269568 31644 18446744073709551615 4194304 4196468 140731472283040 139976185395504 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 105.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127956 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 1.99 1.88 3/211 27749
/proc/meminfo: memFree=28447644/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64605216 9740288 345 18446744073709551615 4194304 5098028 140734938936000 140734938934104 139753203974780 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 12 0 0 7196144 7232144 20590592 140734938943872 140734938944074 140734938944074 140734938947563 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27619] ppid=27614 vsize=13980732 memory=148020 CPUtime=166 cores=1,3,5,7
/proc/27619/stat : 27619 (java) S 27614 27614 897 0 -1 1077944320 55482 0 0 0 16587 13 0 0 20 0 15 0 64605229 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 140731472265584 139977277431543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
/proc/27619/statm: 3495183 37005 3197 1 0 3483476 0
[pid=27619/tid=27620] ppid=27614 vsize=13980732 memory=148012 CPUtime=162.06 cores=1,3,5,7
/proc/27619/task/27620/stat : 27620 (java) R 27614 27614 897 0 -1 4202560 13538 0 0 0 16200 6 0 0 20 0 15 0 64605229 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139977281669976 139976897570028 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27621] ppid=27614 vsize=13980732 memory=145964 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27621/stat : 27621 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139977219377936 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27622] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27622/stat : 27622 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139977218325392 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27623] ppid=27614 vsize=13980732 memory=148012 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27623/stat : 27623 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139977217272848 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27624] ppid=27614 vsize=13980732 memory=148020 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27624/stat : 27624 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139977216220304 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27625] ppid=27614 vsize=13980732 memory=148020 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27625/stat : 27625 (java) S 27614 27614 897 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976193816560 139977277442690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27626] ppid=27614 vsize=13980732 memory=148020 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27626/stat : 27626 (java) S 27614 27614 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976192762784 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27627] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64605232 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13980732 memory=1380 CPUtime=1.45 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) S 27614 27614 897 0 -1 1077944384 13667 0 0 0 144 1 0 0 20 0 15 0 64605234 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976189606384 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13980732 memory=145964 CPUtime=1.91 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) S 27614 27614 897 0 -1 1077944384 18843 0 0 0 188 3 0 0 20 0 15 0 64605234 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976188553840 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13980732 memory=4116 CPUtime=0.51 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) S 27614 27614 897 0 -1 1077944384 6531 0 0 0 51 0 0 0 20 0 15 0 64605234 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976187501296 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27635] ppid=27614 vsize=13980732 memory=148020 CPUtime=0.02 cores=1,3,5,7
/proc/27619/task/27635/stat : 27635 (java) S 27614 27614 897 0 -1 1077944384 1092 0 0 0 1 1 0 0 20 0 15 0 64605243 14316269568 37005 18446744073709551615 4194304 4196468 140731472283040 139976185395504 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 166 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 149400 KiB
[startup+222.301 s]
/proc/loadavg: 2.05 2.00 1.89 3/215 27766
/proc/meminfo: memFree=28412748/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64605216 9740288 345 18446744073709551615 4194304 5098028 140734938936000 140734938934104 139753203974780 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 12 0 0 7196144 7232144 20590592 140734938943872 140734938944074 140734938944074 140734938947563 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27619] ppid=27614 vsize=13980732 memory=175644 CPUtime=226.06 cores=1,3,5,7
/proc/27619/stat : 27619 (java) S 27614 27614 897 0 -1 1077944320 56740 0 0 0 22592 14 0 0 20 0 15 0 64605229 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 140731472265584 139977277431543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
/proc/27619/statm: 3495183 43911 3197 1 0 3483476 0
[pid=27619/tid=27620] ppid=27614 vsize=13980732 memory=175644 CPUtime=222.05 cores=1,3,5,7
/proc/27619/task/27620/stat : 27620 (java) R 27614 27614 897 0 -1 4202560 14224 0 0 0 22199 6 0 0 20 0 15 0 64605229 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139977281670248 139976897570596 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27621] ppid=27614 vsize=13980732 memory=175644 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27621/stat : 27621 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139977219377936 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27622] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27622/stat : 27622 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139977218325392 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27623] ppid=27614 vsize=13980732 memory=175644 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27623/stat : 27623 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139977217272848 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27624] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27624/stat : 27624 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139977216220304 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27625] ppid=27614 vsize=13980732 memory=175644 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27625/stat : 27625 (java) S 27614 27614 897 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976193816560 139977277442690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27626] ppid=27614 vsize=13980732 memory=175644 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27626/stat : 27626 (java) S 27614 27614 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976192762784 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27627] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64605232 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13980732 memory=175644 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13980732 memory=2316 CPUtime=1.48 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) S 27614 27614 897 0 -1 1077944384 13683 0 0 0 147 1 0 0 20 0 15 0 64605234 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976189606384 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13980732 memory=1728 CPUtime=1.93 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) S 27614 27614 897 0 -1 1077944384 19313 0 0 0 190 3 0 0 20 0 15 0 64605234 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976188553840 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13980732 memory=1380 CPUtime=0.51 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) S 27614 27614 897 0 -1 1077944384 6552 0 0 0 51 0 0 0 20 0 15 0 64605234 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976187501296 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13980732 memory=175644 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27635] ppid=27614 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27619/task/27635/stat : 27635 (java) S 27614 27614 897 0 -1 1077944384 1120 0 0 0 2 2 0 0 20 0 15 0 64605243 14316269568 43911 18446744073709551615 4194304 4196468 140731472283040 139976185395504 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 226.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177024 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.04 2.00 1.89 3/215 27766
/proc/meminfo: memFree=28406460/32770624 swapFree=67108860/67108860
[pid=27614] ppid=27611 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27614/stat : 27614 (xcsp3-exec) S 27611 27614 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64605216 9740288 345 18446744073709551615 4194304 5098028 140734938936000 140734938934104 139753203974780 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 12 0 0 7196144 7232144 20590592 140734938943872 140734938944074 140734938944074 140734938947563 0
/proc/27614/statm: 2378 345 289 221 0 87 0
[pid=27619] ppid=27614 vsize=13980732 memory=181788 CPUtime=243.77 cores=1,3,5,7
/proc/27619/stat : 27619 (java) S 27614 27614 897 0 -1 1077944320 57407 0 0 0 24363 14 0 0 20 0 15 0 64605229 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 140731472265584 139977277431543 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
/proc/27619/statm: 3495183 45447 3197 1 0 3483476 0
[pid=27619/tid=27620] ppid=27614 vsize=13980732 memory=1200 CPUtime=239.76 cores=1,3,5,7
/proc/27619/task/27620/stat : 27620 (java) R 27614 27614 897 0 -1 4202560 14809 0 0 0 23970 6 0 0 20 0 15 0 64605229 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139977281667840 139976899626619 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27621] ppid=27614 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27621/stat : 27621 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139977219377936 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27622] ppid=27614 vsize=13980732 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27622/stat : 27622 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139977218325392 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27623] ppid=27614 vsize=13980732 memory=2936 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27623/stat : 27623 (java) S 27614 27614 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139977217272848 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27624] ppid=27614 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27624/stat : 27624 (java) S 27614 27614 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64605230 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139977216220304 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27625] ppid=27614 vsize=13980732 memory=2566332 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27625/stat : 27625 (java) S 27614 27614 897 0 -1 1077944384 591 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976193816560 139977277442690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27626] ppid=27614 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27626/stat : 27626 (java) S 27614 27614 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64605231 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976192762784 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27627] ppid=27614 vsize=13980732 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27627/stat : 27627 (java) S 27614 27614 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64605232 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976191710192 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27630] ppid=27614 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27630/stat : 27630 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976190658768 139977277450139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27631] ppid=27614 vsize=13980732 memory=15880 CPUtime=1.48 cores=1,3,5,7
/proc/27619/task/27631/stat : 27631 (java) S 27614 27614 897 0 -1 1077944384 13686 0 0 0 147 1 0 0 20 0 15 0 64605234 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976189606384 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27632] ppid=27614 vsize=13980732 memory=20360 CPUtime=1.93 cores=1,3,5,7
/proc/27619/task/27632/stat : 27632 (java) S 27614 27614 897 0 -1 1077944384 19321 0 0 0 190 3 0 0 20 0 15 0 64605234 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976188553840 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27633] ppid=27614 vsize=13980732 memory=4044 CPUtime=0.51 cores=1,3,5,7
/proc/27619/task/27633/stat : 27633 (java) S 27614 27614 897 0 -1 1077944384 6555 0 0 0 51 0 0 0 20 0 15 0 64605234 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976187501296 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27634] ppid=27614 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27634/stat : 27634 (java) S 27614 27614 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64605234 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976186448992 139977277441749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
[pid=27619/tid=27635] ppid=27614 vsize=13980732 memory=1792 CPUtime=0.04 cores=1,3,5,7
/proc/27619/task/27635/stat : 27635 (java) S 27614 27614 897 0 -1 1077944384 1145 0 0 0 2 2 0 0 20 0 15 0 64605243 14316269568 45447 18446744073709551615 4194304 4196468 140731472283040 139976185395504 139977277442690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 32481280 140731472286135 140731472286310 140731472286310 140731472289743 0
Current children cumulated CPU time: 243.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 183168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 27614 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002012 s
[startup+240.021 s]
# the end of solver process 27619 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.646 s, system=0.149048 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 243.795
CPU user time (s): 243.646
CPU system time (s): 0.149048
CPU usage (%): 101.573
Max. virtual memory (cumulated for all children) (KiB): 13992004
Max. memory (cumulated for all children) (KiB): 183168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.646
system time used= 0.149048
maximum resident set size= 188560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7418
involuntary context switches= 230
# summary of solver processes directly reported to runsolver:
# pid: 27614,27619
# total CPU time (s): 243.795
# total CPU user time (s): 243.646
# total CPU system time (s): 0.149048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40895 second user time and 2.10634 second system time
The end