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 (11102 MiB free)
memory of node 1: 16384 MiB (11309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284410-1503211519/watcher-4284410-1503211519 -o /tmp/evaluation-result-4284410-1503211519/solver-4284410-1503211519 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23686 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 467036188 HOME/instance-4284410-1503211519.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=24806, runsolver pid=24803
[startup+0.100095 s]*
/proc/loadavg: 1.32 1.58 1.64 4/218 24822
/proc/meminfo: memFree=22932132/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
[pid=24808] ppid=24806 vsize=13978596 memory=28364 CPUtime=0.12 cores=1,3,5,7
/proc/24808/stat : 24808 (java) S 24806 24806 23654 0 -1 1077944320 5521 0 0 0 11 1 0 0 20 0 15 0 154223306 14314082304 7091 33554432000 4194304 4196468 140733564713360 140733564695904 140071908445943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
/proc/24808/statm: 3494649 7091 2861 1 0 3482966 0
[pid=24808/tid=24809] ppid=24806 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/24808/task/24809/stat : 24809 (java) R 24806 24806 23654 0 -1 4202560 3466 0 0 0 9 0 0 0 20 0 15 0 154223306 14314082304 7157 33554432000 4194304 4196468 140733564713360 140071912672192 140071908457878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24810] ppid=24806 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24810/stat : 24810 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14314082304 7157 33554432000 4194304 4196468 140733564713360 140071838534800 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24811] ppid=24806 vsize=13978596 memory=139717901268608 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24811/stat : 24811 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14314082304 7157 33554432000 4194304 4196468 140733564713360 140071837482000 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24812] ppid=24806 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24812/stat : 24812 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14314082304 7157 33554432000 4194304 4196468 140733564713360 140071501740944 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24813] ppid=24806 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24813/stat : 24813 (java) S 24806 24806 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154223307 14314082304 7157 33554432000 4194304 4196468 140733564713360 140071500688144 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24814] ppid=24806 vsize=13978596 memory=139717901268608 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24814/stat : 24814 (java) S 24806 24806 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154223308 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070820473200 140071908457090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24815] ppid=24806 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24815/stat : 24815 (java) S 24806 24806 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154223309 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070819419168 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24816] ppid=24806 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154223309 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070818366320 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) S 24806 24806 23654 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 154223312 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070816263024 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154223312 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070815210224 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13978596 memory=139717901268608 CPUtime=0.01 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) R 24806 24806 23654 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 154223312 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070814157424 140071900683070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13978596 memory=139717901268608 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223312 14314082304 7157 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29744 KiB
[startup+0.212132 s]*
/proc/loadavg: 1.32 1.58 1.64 3/218 24822
/proc/meminfo: memFree=22900116/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
[pid=24808] ppid=24806 vsize=13982852 memory=40732 CPUtime=0.34 cores=1,3,5,7
/proc/24808/stat : 24808 (java) S 24806 24806 23654 0 -1 1077944320 8268 0 0 0 32 2 0 0 20 0 15 0 154223306 14318440448 10183 33554432000 4194304 4196468 140733564713360 140733564695904 140071908445943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
/proc/24808/statm: 3495713 10183 3080 1 0 3482966 0
[pid=24808/tid=24809] ppid=24806 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24808/task/24809/stat : 24809 (java) R 24806 24806 23654 0 -1 4202560 5412 0 0 0 19 1 0 0 20 0 15 0 154223306 14318440448 10183 33554432000 4194304 4196468 140733564713360 140071912668000 140071901123957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24810] ppid=24806 vsize=13982852 memory=12546 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24810/stat : 24810 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 10183 33554432000 4194304 4196468 140733564713360 140071838534800 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24811] ppid=24806 vsize=13982852 memory=288370094052980352 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24811/stat : 24811 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 10183 33554432000 4194304 4196468 140733564713360 140071837482000 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24812] ppid=24806 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24812/stat : 24812 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 10183 33554432000 4194304 4196468 140733564713360 140071501740944 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24813] ppid=24806 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24813/stat : 24813 (java) S 24806 24806 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 10183 33554432000 4194304 4196468 140733564713360 140071500688144 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24814] ppid=24806 vsize=13982852 memory=139717901268608 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24814/stat : 24814 (java) S 24806 24806 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154223308 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070820473200 140071908457090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24815] ppid=24806 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24815/stat : 24815 (java) S 24806 24806 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154223309 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070819419168 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24816] ppid=24806 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154223309 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070818366320 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) S 24806 24806 23654 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 154223312 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070816263024 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 154223312 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070815210224 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13982852 memory=139717901268608 CPUtime=0.08 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) S 24806 24806 23654 0 -1 1077944384 733 0 0 0 8 0 0 0 20 0 15 0 154223312 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070814157424 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223312 14318440448 10183 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42112 KiB
[startup+0.314213 s]*
/proc/loadavg: 1.32 1.58 1.64 5/218 24822
/proc/meminfo: memFree=22885240/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
[pid=24808] ppid=24806 vsize=13982852 memory=47172 CPUtime=0.52 cores=1,3,5,7
/proc/24808/stat : 24808 (java) S 24806 24806 23654 0 -1 1077944320 8961 0 0 0 50 2 0 0 20 0 15 0 154223306 14318440448 11793 33554432000 4194304 4196468 140733564713360 140733564695904 140071908445943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
/proc/24808/statm: 3495713 11793 3093 1 0 3482966 0
[pid=24808/tid=24809] ppid=24806 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24808/task/24809/stat : 24809 (java) R 24806 24806 23654 0 -1 4202560 5952 0 0 0 28 1 0 0 20 0 15 0 154223306 14318440448 11793 33554432000 4194304 4196468 140733564713360 140071912681952 140071908467869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24810] ppid=24806 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24810/stat : 24810 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 11793 33554432000 4194304 4196468 140733564713360 140071838534800 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24811] ppid=24806 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24811/stat : 24811 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 11793 33554432000 4194304 4196468 140733564713360 140071837482000 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24812] ppid=24806 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24812/stat : 24812 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 11793 33554432000 4194304 4196468 140733564713360 140071501740944 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24813] ppid=24806 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24813/stat : 24813 (java) S 24806 24806 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154223307 14318440448 11793 33554432000 4194304 4196468 140733564713360 140071500688144 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24814] ppid=24806 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24814/stat : 24814 (java) S 24806 24806 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154223308 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070820473200 140071908457090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24815] ppid=24806 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24815/stat : 24815 (java) S 24806 24806 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154223309 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070819419168 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24816] ppid=24806 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154223309 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070818366320 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) S 24806 24806 23654 0 -1 1077944384 446 0 0 0 4 0 0 0 20 0 15 0 154223312 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070816263120 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 406 0 0 0 3 0 0 0 20 0 15 0 154223312 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070815202176 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) R 24806 24806 23654 0 -1 4202560 859 0 0 0 13 0 0 0 20 0 15 0 154223312 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070814155384 140071908457878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223312 14318440448 11793 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48552 KiB
[startup+0.710646 s]
/proc/loadavg: 1.37 1.58 1.64 6/218 24822
/proc/meminfo: memFree=22842480/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
[pid=24808] ppid=24806 vsize=13982928 memory=99024 CPUtime=1.72 cores=1,3,5,7
/proc/24808/stat : 24808 (java) S 24806 24806 23654 0 -1 1077944320 12176 0 0 0 169 3 0 0 20 0 15 0 154223306 14318518272 24756 33554432000 4194304 4196468 140733564713360 140733564695904 140071908445943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
/proc/24808/statm: 3495732 24756 3193 1 0 3482966 0
[pid=24808/tid=24809] ppid=24806 vsize=13982928 memory=14973369229511237 CPUtime=0.68 cores=1,3,5,7
/proc/24808/task/24809/stat : 24809 (java) R 24806 24806 23654 0 -1 4202560 6316 0 0 0 66 2 0 0 20 0 15 0 154223306 14318518272 24756 33554432000 4194304 4196468 140733564713360 140071912681640 140071890908635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24810] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24810/stat : 24810 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318518272 24756 33554432000 4194304 4196468 140733564713360 140071838534800 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24811] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24811/stat : 24811 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318518272 24756 33554432000 4194304 4196468 140733564713360 140071837482000 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24812] ppid=24806 vsize=13982928 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24812/stat : 24812 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223307 14318518272 24756 33554432000 4194304 4196468 140733564713360 140071501740944 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24813] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24813/stat : 24813 (java) S 24806 24806 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154223307 14318518272 24756 33554432000 4194304 4196468 140733564713360 140071500688144 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24814] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24814/stat : 24814 (java) S 24806 24806 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154223308 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070820473200 140071908457090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24815] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24815/stat : 24815 (java) S 24806 24806 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154223309 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070819419168 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24816] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154223309 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070818366320 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13982928 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) R 24806 24806 23654 0 -1 4202560 1402 0 0 0 35 0 0 0 20 0 15 0 154223312 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070816263024 140071900735392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13982928 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 1358 0 0 0 34 0 0 0 20 0 15 0 154223312 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070815210224 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13982928 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) S 24806 24806 23654 0 -1 1077944384 1794 0 0 0 32 0 0 0 20 0 15 0 154223312 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070814157424 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154223312 14318518272 24756 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 100404 KiB
[startup+1.50062 s]
/proc/loadavg: 1.37 1.58 1.64 3/218 24822
/proc/meminfo: memFree=22839960/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154223309 14320615424 241379 33554432000 4194304 4196468 140733564713360 140070818366320 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13984976 memory=7540 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 241379 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13984976 memory=840 CPUtime=4.46 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) S 24806 24806 23654 0 -1 1077944384 21470 0 0 0 444 2 0 0 20 0 15 0 154223312 14320615424 241379 33554432000 4194304 4196468 140733564713360 140070816263024 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13984976 memory=4100 CPUtime=3.74 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 19032 0 0 0 372 2 0 0 20 0 15 0 154223312 14320615424 241379 33554432000 4194304 4196468 140733564713360 140070815210224 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13984976 memory=1692 CPUtime=0.8 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) S 24806 24806 23654 0 -1 1077944384 5684 0 0 0 79 1 0 0 20 0 15 0 154223312 14320615424 241379 33554432000 4194304 4196468 140733564713360 140070814157424 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13984976 memory=6005664892196646504 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 241379 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13984976 memory=6005664892196646504 CPUtime=0.09 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 265 0 0 0 4 5 0 0 20 0 15 0 154223312 14320615424 241379 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 173.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 966896 KiB
[startup+222.301 s]
/proc/loadavg: 2.02 1.81 1.72 3/218 24825
/proc/meminfo: memFree=21281372/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
[pid=24808] ppid=24806 vsize=13984976 memory=1140460 CPUtime=236.1 cores=1,3,5,7
/proc/24808/stat : 24808 (java) S 24806 24806 23654 0 -1 1077944320 75814 0 0 0 23495 115 0 0 20 0 15 0 154223306 14320615424 285115 33554432000 4194304 4196468 140733564713360 140733564695904 140071908445943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
/proc/24808/statm: 3496244 285115 3287 1 0 3483478 0
[pid=24808/tid=24809] ppid=24806 vsize=13984976 memory=14973369229511237 CPUtime=220.44 cores=1,3,5,7
/proc/24808/task/24809/stat : 24809 (java) R 24806 24806 23654 0 -1 4202560 16710 0 0 0 22037 7 0 0 20 0 15 0 154223306 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071912684008 140071522463136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24810] ppid=24806 vsize=13984976 memory=1708 CPUtime=1.51 cores=1,3,5,7
/proc/24808/task/24810/stat : 24810 (java) S 24806 24806 23654 0 -1 1077944384 1114 0 0 0 129 22 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071838534800 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24811] ppid=24806 vsize=13984976 memory=6791534058613427641 CPUtime=1.53 cores=1,3,5,7
/proc/24808/task/24811/stat : 24811 (java) S 24806 24806 23654 0 -1 1077944384 1268 0 0 0 130 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071837482000 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24812] ppid=24806 vsize=13984976 memory=288230574492221466 CPUtime=1.52 cores=1,3,5,7
/proc/24808/task/24812/stat : 24812 (java) S 24806 24806 23654 0 -1 1077944384 1413 0 0 0 129 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071501740944 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24813] ppid=24806 vsize=13984976 memory=288230596050944315 CPUtime=1.53 cores=1,3,5,7
/proc/24808/task/24813/stat : 24813 (java) S 24806 24806 23654 0 -1 1077944384 772 0 0 0 130 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071500688144 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24814] ppid=24806 vsize=13984976 memory=14973369229511237 CPUtime=0.31 cores=1,3,5,7
/proc/24808/task/24814/stat : 24814 (java) S 24806 24806 23654 0 -1 1077944384 5492 0 0 0 30 1 0 0 20 0 15 0 154223308 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070820473200 140071908457090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24815] ppid=24806 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24815/stat : 24815 (java) S 24806 24806 23654 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154223309 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070819419232 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24816] ppid=24806 vsize=13984976 memory=1140448 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154223309 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070818366336 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13984976 memory=10688 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13984976 memory=15880 CPUtime=4.48 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) S 24806 24806 23654 0 -1 1077944384 22143 0 0 0 446 2 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070816263024 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13984976 memory=23536 CPUtime=3.74 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 19036 0 0 0 372 2 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070815210224 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13984976 memory=16432 CPUtime=0.81 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) S 24806 24806 23654 0 -1 1077944384 6171 0 0 0 80 1 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070814157424 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13984976 memory=14973369229511237 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13984976 memory=1140448 CPUtime=0.13 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 313 0 0 0 6 7 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 236.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1141840 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 1.82 1.72 6/218 24906
/proc/meminfo: memFree=21793048/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
[pid=24808] ppid=24806 vsize=13984976 memory=1140460 CPUtime=253.82 cores=1,3,5,7
/proc/24808/stat : 24808 (java) S 24806 24806 23654 0 -1 1077944320 76042 0 0 0 25267 115 0 0 20 0 15 0 154223306 14320615424 285115 33554432000 4194304 4196468 140733564713360 140733564695904 140071908445943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
/proc/24808/statm: 3496244 285115 3287 1 0 3483478 0
[pid=24808/tid=24809] ppid=24806 vsize=13984976 memory=1140460 CPUtime=238.14 cores=1,3,5,7
/proc/24808/task/24809/stat : 24809 (java) R 24806 24806 23654 0 -1 4202560 16783 0 0 0 23807 7 0 0 20 0 15 0 154223306 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071912683432 140071522463211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24810] ppid=24806 vsize=13984976 memory=1140460 CPUtime=1.51 cores=1,3,5,7
/proc/24808/task/24810/stat : 24810 (java) S 24806 24806 23654 0 -1 1077944384 1114 0 0 0 129 22 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071838534800 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24811] ppid=24806 vsize=13984976 memory=1140460 CPUtime=1.53 cores=1,3,5,7
/proc/24808/task/24811/stat : 24811 (java) S 24806 24806 23654 0 -1 1077944384 1268 0 0 0 130 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071837482000 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24812] ppid=24806 vsize=13984976 memory=1380 CPUtime=1.52 cores=1,3,5,7
/proc/24808/task/24812/stat : 24812 (java) S 24806 24806 23654 0 -1 1077944384 1413 0 0 0 129 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071501740944 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24813] ppid=24806 vsize=13984976 memory=1380 CPUtime=1.53 cores=1,3,5,7
/proc/24808/task/24813/stat : 24813 (java) S 24806 24806 23654 0 -1 1077944384 772 0 0 0 130 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071500688144 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24814] ppid=24806 vsize=13984976 memory=1380 CPUtime=0.31 cores=1,3,5,7
/proc/24808/task/24814/stat : 24814 (java) S 24806 24806 23654 0 -1 1077944384 5493 0 0 0 30 1 0 0 20 0 15 0 154223308 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070820473200 140071908457090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24815] ppid=24806 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24815/stat : 24815 (java) S 24806 24806 23654 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154223309 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070819419232 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24816] ppid=24806 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154223309 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070818366336 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13984976 memory=1140460 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13984976 memory=1380 CPUtime=4.48 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) S 24806 24806 23654 0 -1 1077944384 22154 0 0 0 446 2 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070816263024 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13984976 memory=1380 CPUtime=3.74 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 19148 0 0 0 372 2 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070815210224 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13984976 memory=6791534058613427641 CPUtime=0.81 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) S 24806 24806 23654 0 -1 1077944384 6198 0 0 0 80 1 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070814157424 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13984976 memory=-3622645143214314312 CPUtime=0.14 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 317 0 0 0 7 7 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 253.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1141840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.011 s]
# the end of solver process 24806 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001894 s, system=0 s
[startup+240.017 s]
# the end of solver process 24808 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.685 s, system=1.16477 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
[startup+240.001 s]
/proc/loadavg: 2.02 1.82 1.72 6/218 24906
/proc/meminfo: memFree=21793048/32770624 swapFree=67108860/67108860
[pid=24806] ppid=24803 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24806/stat : 24806 (xcsp3-exec) S 24803 24806 23654 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154223306 9740288 345 33554432000 4194304 5098028 140725568729104 140725568727208 140251115221628 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13066240 140725568730229 140725568730432 140725568730432 140725568733163 0
/proc/24806/statm: 2378 345 289 221 0 87 0
[pid=24808] ppid=24806 vsize=13984976 memory=1140460 CPUtime=253.82 cores=1,3,5,7
/proc/24808/stat : 24808 (java) S 24806 24806 23654 0 -1 1077944320 76042 0 0 0 25267 115 0 0 20 0 15 0 154223306 14320615424 285115 33554432000 4194304 4196468 140733564713360 140733564695904 140071908445943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
/proc/24808/statm: 3496244 285115 3287 1 0 3483478 0
[pid=24808/tid=24809] ppid=24806 vsize=13984976 memory=1140460 CPUtime=238.14 cores=1,3,5,7
/proc/24808/task/24809/stat : 24809 (java) R 24806 24806 23654 0 -1 4202560 16783 0 0 0 23807 7 0 0 20 0 15 0 154223306 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071912683432 140071522463211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24810] ppid=24806 vsize=13984976 memory=1140460 CPUtime=1.51 cores=1,3,5,7
/proc/24808/task/24810/stat : 24810 (java) S 24806 24806 23654 0 -1 1077944384 1114 0 0 0 129 22 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071838534800 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24811] ppid=24806 vsize=13984976 memory=1140460 CPUtime=1.53 cores=1,3,5,7
/proc/24808/task/24811/stat : 24811 (java) S 24806 24806 23654 0 -1 1077944384 1268 0 0 0 130 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071837482000 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24812] ppid=24806 vsize=13984976 memory=1380 CPUtime=1.52 cores=1,3,5,7
/proc/24808/task/24812/stat : 24812 (java) S 24806 24806 23654 0 -1 1077944384 1413 0 0 0 129 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071501740944 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24813] ppid=24806 vsize=13984976 memory=1380 CPUtime=1.53 cores=1,3,5,7
/proc/24808/task/24813/stat : 24813 (java) S 24806 24806 23654 0 -1 1077944384 772 0 0 0 130 23 0 0 20 0 15 0 154223307 14320615424 285115 33554432000 4194304 4196468 140733564713360 140071500688144 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24814] ppid=24806 vsize=13984976 memory=1380 CPUtime=0.31 cores=1,3,5,7
/proc/24808/task/24814/stat : 24814 (java) S 24806 24806 23654 0 -1 1077944384 5493 0 0 0 30 1 0 0 20 0 15 0 154223308 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070820473200 140071908457090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24815] ppid=24806 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24815/stat : 24815 (java) S 24806 24806 23654 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154223309 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070819419232 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24816] ppid=24806 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24816/stat : 24816 (java) S 24806 24806 23654 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 154223309 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070818366336 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24817] ppid=24806 vsize=13984976 memory=1140460 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24817/stat : 24817 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070817314640 140071908464539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24818] ppid=24806 vsize=13984976 memory=1380 CPUtime=4.48 cores=1,3,5,7
/proc/24808/task/24818/stat : 24818 (java) S 24806 24806 23654 0 -1 1077944384 22154 0 0 0 446 2 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070816263024 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24819] ppid=24806 vsize=13984976 memory=1380 CPUtime=3.74 cores=1,3,5,7
/proc/24808/task/24819/stat : 24819 (java) S 24806 24806 23654 0 -1 1077944384 19148 0 0 0 372 2 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070815210224 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24820] ppid=24806 vsize=13984976 memory=6791534058613427641 CPUtime=0.81 cores=1,3,5,7
/proc/24808/task/24820/stat : 24820 (java) S 24806 24806 23654 0 -1 1077944384 6198 0 0 0 80 1 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070814157424 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24821] ppid=24806 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24808/task/24821/stat : 24821 (java) S 24806 24806 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070813104864 140071908456149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
[pid=24808/tid=24822] ppid=24806 vsize=13984976 memory=-3622645143214314312 CPUtime=0.14 cores=1,3,5,7
/proc/24808/task/24822/stat : 24822 (java) S 24806 24806 23654 0 -1 1077944384 317 0 0 0 7 7 0 0 20 0 15 0 154223312 14320615424 285115 33554432000 4194304 4196468 140733564713360 140070812052144 140071908457090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36569088 140733564716189 140733564716364 140733564716364 140733564719055 0
Current children cumulated CPU time: 253.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1141840 KiB
Child status: 143
Real time (s): 240.017
CPU time (s): 253.85
CPU user time (s): 252.685
CPU system time (s): 1.16477
CPU usage (%): 105.763
Max. virtual memory (cumulated for all children) (KiB): 13996572
Max. memory (cumulated for all children) (KiB): 1141840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.685
system time used= 1.16477
maximum resident set size= 1141344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8759
involuntary context switches= 240
# summary of solver processes directly reported to runsolver:
# pid: 24806,24808
# total CPU time (s): 253.85
# total CPU user time (s): 252.685
# total CPU system time (s): 1.16477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54288 second user time and 2.46216 second system time
The end