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 (15098 MiB free)
memory of node 1: 16384 MiB (11452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302047-1532887852/watcher-4302047-1532887852 -o /tmp/evaluation-result-4302047-1532887852/solver-4302047-1532887852 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 641013938 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302047-1532887852.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=14618, runsolver pid=14615
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.47 1.68 1.84 4/217 14634
/proc/meminfo: memFree=27172828/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
[pid=14620] ppid=14618 vsize=14082940 memory=28856 CPUtime=0.12 cores=0,2,4,6
/proc/14620/stat : 14620 (java) S 14618 14618 7585 0 -1 1077944320 5508 0 0 0 11 1 0 0 20 0 15 0 106348403 14420930560 7214 33554432000 4194304 4196468 140727767873584 140727767856128 140526717378295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
/proc/14620/statm: 3520735 7214 3059 1 0 3483012 0
[pid=14620/tid=14621] ppid=14618 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/14620/task/14621/stat : 14621 (java) R 14618 14618 7585 0 -1 4202560 3510 0 0 0 8 0 0 0 20 0 15 0 106348403 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526721610544 140526717390230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14622] ppid=14618 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14622/stat : 14622 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526313532048 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14623] ppid=14618 vsize=14082940 memory=139987387491968 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14623/stat : 14623 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526312479248 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14624] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14624/stat : 14624 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526311426448 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14625] ppid=14618 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14625/stat : 14625 (java) S 14618 14618 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526310373648 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14626] ppid=14618 vsize=14082940 memory=139987387491968 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14626/stat : 14626 (java) S 14618 14618 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106348405 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526191328112 140526717389442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14627] ppid=14618 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14627/stat : 14627 (java) S 14618 14618 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106348406 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526190274080 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14628] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106348406 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) S 14618 14618 7585 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 106348408 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526187116912 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348408 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526186064112 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14082940 memory=139987387491968 CPUtime=0.01 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) R 14618 14618 7585 0 -1 4202560 295 0 0 0 1 0 0 0 20 0 15 0 106348408 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526185011312 140526701458782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14082940 memory=139987387491968 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348409 14420930560 7214 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30312 KiB
[startup+0.210585 s]*
/proc/loadavg: 1.47 1.68 1.84 4/217 14634
/proc/meminfo: memFree=27160340/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
[pid=14620] ppid=14618 vsize=14082940 memory=40868 CPUtime=0.34 cores=0,2,4,6
/proc/14620/stat : 14620 (java) S 14618 14618 7585 0 -1 1077944320 8301 0 0 0 32 2 0 0 20 0 15 0 106348403 14420930560 10217 33554432000 4194304 4196468 140727767873584 140727767856128 140526717378295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
/proc/14620/statm: 3520735 10217 3185 1 0 3483012 0
[pid=14620/tid=14621] ppid=14618 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/14620/task/14621/stat : 14621 (java) R 14618 14618 7585 0 -1 4202560 5426 0 0 0 18 1 0 0 20 0 15 0 106348403 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526721614992 140526717400221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14622] ppid=14618 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14622/stat : 14622 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526313532048 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14623] ppid=14618 vsize=14082940 memory=288370363539203712 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14623/stat : 14623 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526312479248 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14624] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14624/stat : 14624 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526311426448 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14625] ppid=14618 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14625/stat : 14625 (java) S 14618 14618 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106348404 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526310373648 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14626] ppid=14618 vsize=14082940 memory=139987387491968 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14626/stat : 14626 (java) S 14618 14618 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106348405 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526191328112 140526717389442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14627] ppid=14618 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14627/stat : 14627 (java) S 14618 14618 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106348406 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526190274080 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14628] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106348406 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) S 14618 14618 7585 0 -1 1077944384 700 0 0 0 3 0 0 0 20 0 15 0 106348408 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526187116912 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) S 14618 14618 7585 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 106348408 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526186064112 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14082940 memory=139987387491968 CPUtime=0.08 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) S 14618 14618 7585 0 -1 1077944384 835 0 0 0 8 0 0 0 20 0 15 0 106348408 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526185011312 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348409 14420930560 10217 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42324 KiB
[startup+0.315999 s]*
/proc/loadavg: 1.47 1.68 1.84 4/217 14634
/proc/meminfo: memFree=27153880/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
[pid=14620] ppid=14618 vsize=14087196 memory=48088 CPUtime=0.52 cores=0,2,4,6
/proc/14620/stat : 14620 (java) S 14618 14618 7585 0 -1 1077944320 9224 0 0 0 50 2 0 0 20 0 15 0 106348403 14425288704 12022 33554432000 4194304 4196468 140727767873584 140727767856128 140526717378295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
/proc/14620/statm: 3521799 12022 3252 1 0 3483012 0
[pid=14620/tid=14621] ppid=14618 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14620/task/14621/stat : 14621 (java) R 14618 14618 7585 0 -1 4202560 6201 0 0 0 28 2 0 0 20 0 15 0 106348403 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526721608768 140526701458782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14622] ppid=14618 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14622/stat : 14622 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526313532048 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14623] ppid=14618 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14623/stat : 14623 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526312479248 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14624] ppid=14618 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14624/stat : 14624 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526311426448 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14625] ppid=14618 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14625/stat : 14625 (java) S 14618 14618 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106348404 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526310373648 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14626] ppid=14618 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14626/stat : 14626 (java) S 14618 14618 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106348405 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526191328112 140526717389442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14627] ppid=14618 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14627/stat : 14627 (java) S 14618 14618 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106348406 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526190274080 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14628] ppid=14618 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106348406 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) R 14618 14618 7585 0 -1 4202560 782 0 0 0 5 0 0 0 20 0 15 0 106348408 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526187097928 140526698899511 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) S 14618 14618 7585 0 -1 1077944384 62 0 0 0 3 0 0 0 20 0 15 0 106348408 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526186064112 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) S 14618 14618 7585 0 -1 1077944384 892 0 0 0 12 0 0 0 20 0 15 0 106348408 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526185011312 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348409 14425288704 12022 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49544 KiB
[startup+0.70084 s]
/proc/loadavg: 1.47 1.68 1.84 6/217 14634
/proc/meminfo: memFree=27140760/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
[pid=14620] ppid=14618 vsize=14089320 memory=84476 CPUtime=1.63 cores=0,2,4,6
/proc/14620/stat : 14620 (java) S 14618 14618 7585 0 -1 1077944320 16826 0 0 0 159 4 0 0 20 0 15 0 106348403 14427463680 21053 33554432000 4194304 4196468 140727767873584 140727767856128 140526717378295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
/proc/14620/statm: 3522330 21119 3362 1 0 3483524 0
[pid=14620/tid=14621] ppid=14618 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/14620/task/14621/stat : 14621 (java) R 14618 14618 7585 0 -1 4202560 6849 0 0 0 65 2 0 0 20 0 15 0 106348403 14427463680 21119 33554432000 4194304 4196468 140727767873584 140526721614712 140526316355631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14622] ppid=14618 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14622/stat : 14622 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14427463680 21119 33554432000 4194304 4196468 140727767873584 140526313532048 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14623] ppid=14618 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14623/stat : 14623 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14427463680 21119 33554432000 4194304 4196468 140727767873584 140526312479248 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14624] ppid=14618 vsize=14089320 memory=30284 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14624/stat : 14624 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348404 14427463680 21119 33554432000 4194304 4196468 140727767873584 140526311426448 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14625] ppid=14618 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14625/stat : 14625 (java) S 14618 14618 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106348404 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526310373648 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14626] ppid=14618 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14626/stat : 14626 (java) S 14618 14618 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106348405 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526191328112 140526717389442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14627] ppid=14618 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14627/stat : 14627 (java) S 14618 14618 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526190274080 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14628] ppid=14618 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14089320 memory=756 CPUtime=0.34 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) R 14618 14618 7585 0 -1 4202560 4414 0 0 0 34 0 0 0 20 0 15 0 106348408 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526187097928 140526697032272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14089320 memory=1616 CPUtime=0.32 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) R 14618 14618 7585 0 -1 4202560 2562 0 0 0 32 0 0 0 20 0 15 0 106348408 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526186045128 140526698922018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14089320 memory=1836 CPUtime=0.26 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) S 14618 14618 7585 0 -1 1077944384 1770 0 0 0 26 0 0 0 20 0 15 0 106348408 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526185011312 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106348409 14427463680 21185 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 85932 KiB
[startup+1.50081 s]
/proc/loadavg: 1.47 1.68 1.84 5/217 14634
/proc/meminfo: memFree=27094012/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 53604 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14089320 memory=2276 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14427463680 53604 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14089320 memory=1456 CPUtime=1.24 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) S 14618 14618 7585 0 -1 1077944384 17648 0 0 0 123 1 0 0 20 0 15 0 106348408 14427463680 53604 33554432000 4194304 4196468 140727767873584 140526187116912 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14089320 memory=214416 CPUtime=1.38 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) S 14618 14618 7585 0 -1 1077944384 11781 0 0 0 137 1 0 0 20 0 15 0 106348408 14427463680 53604 33554432000 4194304 4196468 140727767873584 140526186064112 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14089320 memory=756 CPUtime=0.32 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) S 14618 14618 7585 0 -1 1077944384 5244 0 0 0 32 0 0 0 20 0 15 0 106348408 14427463680 53604 33554432000 4194304 4196468 140727767873584 140526185011312 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14089320 memory=32 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14427463680 53604 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14089320 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1280 0 0 0 2 2 0 0 20 0 15 0 106348409 14427463680 53604 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 105.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 215872 KiB
[startup+162.301 s]
/proc/loadavg: 1.26 1.49 1.74 3/217 14636
/proc/meminfo: memFree=26724484/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
[pid=14620] ppid=14618 vsize=14089320 memory=296800 CPUtime=166.31 cores=0,2,4,6
/proc/14620/stat : 14620 (java) S 14618 14618 7585 0 -1 1077944320 58936 0 0 0 16599 32 0 0 20 0 15 0 106348403 14427463680 74200 33554432000 4194304 4196468 140727767873584 140727767856128 140526717378295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
/proc/14620/statm: 3522330 74200 3400 1 0 3483524 0
[pid=14620/tid=14621] ppid=14618 vsize=14089320 memory=293204 CPUtime=161.32 cores=0,2,4,6
/proc/14620/task/14621/stat : 14621 (java) R 14618 14618 7585 0 -1 4202560 13909 0 0 0 16125 7 0 0 20 0 15 0 106348403 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526721617968 140526318159116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14622] ppid=14618 vsize=14089320 memory=293204 CPUtime=0.4 cores=0,2,4,6
/proc/14620/task/14622/stat : 14622 (java) S 14618 14618 7585 0 -1 1077944384 1502 0 0 0 36 4 0 0 20 0 15 0 106348404 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526313532048 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14623] ppid=14618 vsize=14089320 memory=1456 CPUtime=0.4 cores=0,2,4,6
/proc/14620/task/14623/stat : 14623 (java) S 14618 14618 7585 0 -1 1077944384 817 0 0 0 36 4 0 0 20 0 15 0 106348404 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526312479248 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14624] ppid=14618 vsize=14089320 memory=294224 CPUtime=0.4 cores=0,2,4,6
/proc/14620/task/14624/stat : 14624 (java) S 14618 14618 7585 0 -1 1077944384 845 0 0 0 36 4 0 0 20 0 15 0 106348404 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526311426448 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14625] ppid=14618 vsize=14089320 memory=296800 CPUtime=0.4 cores=0,2,4,6
/proc/14620/task/14625/stat : 14625 (java) S 14618 14618 7585 0 -1 1077944384 2563 0 0 0 35 5 0 0 20 0 15 0 106348404 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526310373648 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14626] ppid=14618 vsize=14089320 memory=1456 CPUtime=0.32 cores=0,2,4,6
/proc/14620/task/14626/stat : 14626 (java) S 14618 14618 7585 0 -1 1077944384 1969 0 0 0 30 2 0 0 20 0 15 0 106348405 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526191328112 140526717389442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14627] ppid=14618 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14627/stat : 14627 (java) S 14618 14618 7585 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526190274080 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14628] ppid=14618 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14089320 memory=293200 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14089320 memory=1456 CPUtime=1.24 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) S 14618 14618 7585 0 -1 1077944384 17650 0 0 0 123 1 0 0 20 0 15 0 106348408 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526187116912 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14089320 memory=1456 CPUtime=1.38 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) S 14618 14618 7585 0 -1 1077944384 11784 0 0 0 137 1 0 0 20 0 15 0 106348408 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526186064112 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14089320 memory=1456 CPUtime=0.32 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) S 14618 14618 7585 0 -1 1077944384 5246 0 0 0 32 0 0 0 20 0 15 0 106348408 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526185011312 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14089320 memory=234896 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14089320 memory=1456 CPUtime=0.05 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1301 0 0 0 2 3 0 0 20 0 15 0 106348409 14427463680 74200 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 166.31 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 298256 KiB
[startup+222.301 s]
/proc/loadavg: 1.65 1.55 1.75 3/217 14715
/proc/meminfo: memFree=26860684/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
[pid=14620] ppid=14618 vsize=14089320 memory=305944 CPUtime=226.94 cores=0,2,4,6
/proc/14620/stat : 14620 (java) S 14618 14618 7585 0 -1 1077944320 64844 0 0 0 22652 42 0 0 20 0 15 0 106348403 14427463680 76486 33554432000 4194304 4196468 140727767873584 140727767856128 140526717378295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
/proc/14620/statm: 3522330 76486 3400 1 0 3483524 0
[pid=14620/tid=14621] ppid=14618 vsize=14089320 memory=1456 CPUtime=220.92 cores=0,2,4,6
/proc/14620/task/14621/stat : 14621 (java) R 14618 14618 7585 0 -1 4202560 17565 0 0 0 22084 8 0 0 20 0 15 0 106348403 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526721617968 140526318086538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14622] ppid=14618 vsize=14089320 memory=305436 CPUtime=0.61 cores=0,2,4,6
/proc/14620/task/14622/stat : 14622 (java) S 14618 14618 7585 0 -1 1077944384 2007 0 0 0 55 6 0 0 20 0 15 0 106348404 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526313532048 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14623] ppid=14618 vsize=14089320 memory=1456 CPUtime=0.62 cores=0,2,4,6
/proc/14620/task/14623/stat : 14623 (java) S 14618 14618 7585 0 -1 1077944384 1054 0 0 0 56 6 0 0 20 0 15 0 106348404 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526312479248 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14624] ppid=14618 vsize=14089320 memory=306456 CPUtime=0.61 cores=0,2,4,6
/proc/14620/task/14624/stat : 14624 (java) S 14618 14618 7585 0 -1 1077944384 1071 0 0 0 55 6 0 0 20 0 15 0 106348404 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526311426448 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14625] ppid=14618 vsize=14089320 memory=287988 CPUtime=0.61 cores=0,2,4,6
/proc/14620/task/14625/stat : 14625 (java) S 14618 14618 7585 0 -1 1077944384 2801 0 0 0 54 7 0 0 20 0 15 0 106348404 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526310373648 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14626] ppid=14618 vsize=14089320 memory=303392 CPUtime=0.44 cores=0,2,4,6
/proc/14620/task/14626/stat : 14626 (java) S 14618 14618 7585 0 -1 1077944384 2020 0 0 0 41 3 0 0 20 0 15 0 106348405 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526191328112 140526717389442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14627] ppid=14618 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14627/stat : 14627 (java) S 14618 14618 7585 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526190274080 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14628] ppid=14618 vsize=14089320 memory=291368 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14089320 memory=6396 CPUtime=1.24 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) S 14618 14618 7585 0 -1 1077944384 17799 0 0 0 123 1 0 0 20 0 15 0 106348408 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526187116912 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14089320 memory=304412 CPUtime=1.38 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) S 14618 14618 7585 0 -1 1077944384 11895 0 0 0 137 1 0 0 20 0 15 0 106348408 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526186064112 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14089320 memory=1456 CPUtime=0.32 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) S 14618 14618 7585 0 -1 1077944384 5974 0 0 0 32 0 0 0 20 0 15 0 106348408 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526185011312 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14089320 memory=860 CPUtime=0.08 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1308 0 0 0 4 4 0 0 20 0 15 0 106348409 14427463680 76486 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 226.94 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 307400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.001 s]*
/proc/loadavg: 1.84 1.61 1.76 3/217 14715
/proc/meminfo: memFree=26816012/32770624 swapFree=67108496/67108860
[pid=14618] ppid=14615 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14618/stat : 14618 (xcsp3-exec) S 14615 14618 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106348403 115843072 364 33554432000 4194304 5098028 140725932018224 140725932016328 140125667361404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7598080 140725932020801 140725932021001 140725932021001 140725932023754 0
/proc/14618/statm: 28282 364 306 221 0 87 0
[pid=14620] ppid=14618 vsize=14089320 memory=350532 CPUtime=252.01 cores=0,2,4,6
/proc/14620/stat : 14620 (java) S 14618 14618 7585 0 -1 1077944320 69242 0 0 0 25154 47 0 0 20 0 15 0 106348403 14427463680 87633 33554432000 4194304 4196468 140727767873584 140727767856128 140526717378295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
/proc/14620/statm: 3522330 87633 3400 1 0 3483524 0
[pid=14620/tid=14621] ppid=14618 vsize=14089320 memory=3988 CPUtime=245.44 cores=0,2,4,6
/proc/14620/task/14621/stat : 14621 (java) R 14618 14618 7585 0 -1 4202560 19729 0 0 0 24535 9 0 0 20 0 15 0 106348403 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526721617968 140526317057835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14622] ppid=14618 vsize=14089320 memory=1456 CPUtime=0.72 cores=0,2,4,6
/proc/14620/task/14622/stat : 14622 (java) S 14618 14618 7585 0 -1 1077944384 2075 0 0 0 65 7 0 0 20 0 15 0 106348404 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526313532048 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14623] ppid=14618 vsize=14089320 memory=4126316290023845779 CPUtime=0.72 cores=0,2,4,6
/proc/14620/task/14623/stat : 14623 (java) S 14618 14618 7585 0 -1 1077944384 1150 0 0 0 66 6 0 0 20 0 15 0 106348404 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526312479248 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14624] ppid=14618 vsize=14089320 memory=349508 CPUtime=0.72 cores=0,2,4,6
/proc/14620/task/14624/stat : 14624 (java) S 14618 14618 7585 0 -1 1077944384 1341 0 0 0 65 7 0 0 20 0 15 0 106348404 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526311426448 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14625] ppid=14618 vsize=14089320 memory=12556 CPUtime=0.72 cores=0,2,4,6
/proc/14620/task/14625/stat : 14625 (java) S 14618 14618 7585 0 -1 1077944384 2867 0 0 0 64 8 0 0 20 0 15 0 106348404 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526310373648 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14626] ppid=14618 vsize=14089320 memory=756 CPUtime=0.5 cores=0,2,4,6
/proc/14620/task/14626/stat : 14626 (java) S 14618 14618 7585 0 -1 1077944384 2277 0 0 0 46 4 0 0 20 0 15 0 106348405 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526191328112 140526717389442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14627] ppid=14618 vsize=14089320 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14627/stat : 14627 (java) S 14618 14618 7585 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526190274080 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14628] ppid=14618 vsize=14089320 memory=4460 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14628/stat : 14628 (java) S 14618 14618 7585 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106348406 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526189221232 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14629] ppid=14618 vsize=14089320 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14629/stat : 14629 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348408 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526188169552 140526717396891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14630] ppid=14618 vsize=14089320 memory=1160 CPUtime=1.27 cores=0,2,4,6
/proc/14620/task/14630/stat : 14630 (java) S 14618 14618 7585 0 -1 1077944384 18364 0 0 0 126 1 0 0 20 0 15 0 106348408 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526187116912 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14631] ppid=14618 vsize=14089320 memory=15184 CPUtime=1.4 cores=0,2,4,6
/proc/14620/task/14631/stat : 14631 (java) S 14618 14618 7585 0 -1 1077944384 12691 0 0 0 138 2 0 0 20 0 15 0 106348408 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526186064112 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14632] ppid=14618 vsize=14089320 memory=4000 CPUtime=0.33 cores=0,2,4,6
/proc/14620/task/14632/stat : 14632 (java) S 14618 14618 7585 0 -1 1077944384 6062 0 0 0 33 0 0 0 20 0 15 0 106348408 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526185011312 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14633] ppid=14618 vsize=14089320 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/14620/task/14633/stat : 14633 (java) S 14618 14618 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106348409 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526183958752 140526717388501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
[pid=14620/tid=14634] ppid=14618 vsize=14089320 memory=30284 CPUtime=0.1 cores=0,2,4,6
/proc/14620/task/14634/stat : 14634 (java) S 14618 14618 7585 0 -1 1077944384 1336 0 0 0 5 5 0 0 20 0 15 0 106348409 14427463680 87633 33554432000 4194304 4196468 140727767873584 140526182907056 140526717389442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 7409664 140727767876748 140727767876918 140727767876918 140727767879631 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 351988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.02 s]
# the end of solver process 14618 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00152 s, system=0.00076 s
[startup+247.024 s]
# the end of solver process 14620 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.559 s, system=0.478763 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): 247.024
CPU time (s): 252.037
CPU user time (s): 251.559
CPU system time (s): 0.478763
CPU usage (%): 102.029
Max. virtual memory (cumulated for all children) (KiB): 14205852
Max. memory (cumulated for all children) (KiB): 351988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.559
system time used= 0.478763
maximum resident set size= 351160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20575
involuntary context switches= 555
# summary of solver processes directly reported to runsolver:
# pid: 14618,14620
# total CPU time (s): 252.037
# total CPU user time (s): 251.559
# total CPU system time (s): 0.478763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49506 second user time and 2.40541 second system time
The end