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 (12977 MiB free)
memory of node 1: 16384 MiB (12908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284601-1503216162/watcher-4284601-1503216162 -o /tmp/evaluation-result-4284601-1503216162/solver-4284601-1503216162 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503215302-27076 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1145927964 HOME/instance-4284601-1503216162.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=27097, runsolver pid=27094
[startup+0.100134 s]*
/proc/loadavg: 1.20 1.79 1.97 4/219 27138
/proc/meminfo: memFree=26478172/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
[pid=27099] ppid=27097 vsize=13978596 memory=27796 CPUtime=0.12 cores=1,3,5,7
/proc/27099/stat : 27099 (java) S 27097 27097 21004 0 -1 1077944320 5321 0 0 0 11 1 0 0 20 0 15 0 154704115 14314082304 6949 33554432000 4194304 4196468 140722064776288 140722064758832 139673611624183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
/proc/27099/statm: 3494649 6949 2850 1 0 3482966 0
[pid=27099/tid=27100] ppid=27097 vsize=13978596 memory=5855082630820233377 CPUtime=0.08 cores=1,3,5,7
/proc/27099/task/27100/stat : 27100 (java) R 27097 27097 21004 0 -1 4202560 3332 0 0 0 8 0 0 0 20 0 15 0 154704116 14314082304 6949 33554432000 4194304 4196468 140722064776288 139673615857536 139673611636118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27105] ppid=27097 vsize=13978596 memory=3472468170098500816 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27105/stat : 27105 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14314082304 6949 33554432000 4194304 4196468 140722064776288 139673549224720 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27106] ppid=27097 vsize=13978596 memory=140041203349120 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27106/stat : 27106 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14314082304 6949 33554432000 4194304 4196468 140722064776288 139673548172176 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27107] ppid=27097 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27107/stat : 27107 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14314082304 6949 33554432000 4194304 4196468 140722064776288 139673547119632 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27108] ppid=27097 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27108/stat : 27108 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14314082304 6949 33554432000 4194304 4196468 140722064776288 139673546067088 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27111] ppid=27097 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27111/stat : 27111 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704118 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672591210480 139673611635330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27117] ppid=27097 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27117/stat : 27117 (java) S 27097 27097 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154704118 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672590156704 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27119] ppid=27097 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154704119 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672589104112 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) S 27097 27097 21004 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 154704121 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672587000304 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) S 27097 27097 21004 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 154704121 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672585947760 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13978596 memory=140041203349120 CPUtime=0.01 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) R 27097 27097 21004 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 154704121 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672584895216 139673592861744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13978596 memory=140041203349120 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704121 14314082304 6949 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29176 KiB
[startup+0.210765 s]*
/proc/loadavg: 1.20 1.79 1.97 4/219 27138
/proc/meminfo: memFree=26453740/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
[pid=27099] ppid=27097 vsize=13982852 memory=40608 CPUtime=0.34 cores=1,3,5,7
/proc/27099/stat : 27099 (java) S 27097 27097 21004 0 -1 1077944320 8157 0 0 0 32 2 0 0 20 0 15 0 154704115 14318440448 10152 33554432000 4194304 4196468 140722064776288 140722064758832 139673611624183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
/proc/27099/statm: 3495713 10152 3082 1 0 3482966 0
[pid=27099/tid=27100] ppid=27097 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/27099/task/27100/stat : 27100 (java) R 27097 27097 21004 0 -1 4202560 5283 0 0 0 18 1 0 0 20 0 15 0 154704116 14318440448 10152 33554432000 4194304 4196468 140722064776288 139673615834976 139673604341287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27105] ppid=27097 vsize=13982852 memory=3472468170098500816 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27105/stat : 27105 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 10152 33554432000 4194304 4196468 140722064776288 139673549224720 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27106] ppid=27097 vsize=13982852 memory=140041203349120 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27106/stat : 27106 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 10152 33554432000 4194304 4196468 140722064776288 139673548172176 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27107] ppid=27097 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27107/stat : 27107 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 10152 33554432000 4194304 4196468 140722064776288 139673547119632 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27108] ppid=27097 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27108/stat : 27108 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 10152 33554432000 4194304 4196468 140722064776288 139673546067088 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27111] ppid=27097 vsize=13982884 memory=140041203349120 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27111/stat : 27111 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704118 14318473216 10152 33554432000 4194304 4196468 140722064776288 139672591210480 139673611635330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27117] ppid=27097 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27117/stat : 27117 (java) S 27097 27097 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154704118 14318440448 10152 33554432000 4194304 4196468 140722064776288 139672590156704 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27119] ppid=27097 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154704119 14318440448 10152 33554432000 4194304 4196468 140722064776288 139672589104112 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14318440448 10152 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) S 27097 27097 21004 0 -1 1077944384 536 0 0 0 3 0 0 0 20 0 15 0 154704121 14318440448 10152 33554432000 4194304 4196468 140722064776288 139672587000304 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) S 27097 27097 21004 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 154704121 14318440448 10152 33554432000 4194304 4196468 140722064776288 139672585947760 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13982884 memory=140041203349120 CPUtime=0.08 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) S 27097 27097 21004 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 154704121 14318473216 10152 33554432000 4194304 4196468 140722064776288 139672584895216 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14318473216 10152 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13982852 memory=140041203349120 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704121 14318440448 10152 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41988 KiB
[startup+0.311446 s]*
/proc/loadavg: 1.20 1.79 1.97 6/219 27138
/proc/meminfo: memFree=26438292/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
[pid=27099] ppid=27097 vsize=13982852 memory=47224 CPUtime=0.52 cores=1,3,5,7
/proc/27099/stat : 27099 (java) S 27097 27097 21004 0 -1 1077944320 9008 0 0 0 49 3 0 0 20 0 15 0 154704115 14318440448 11806 33554432000 4194304 4196468 140722064776288 140722064758832 139673611624183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
/proc/27099/statm: 3495713 11806 3110 1 0 3482966 0
[pid=27099/tid=27100] ppid=27097 vsize=13982852 memory=2241 CPUtime=0.3 cores=1,3,5,7
/proc/27099/task/27100/stat : 27100 (java) R 27097 27097 21004 0 -1 4202560 5915 0 0 0 28 2 0 0 20 0 15 0 154704116 14318440448 11806 33554432000 4194304 4196468 140722064776288 139673615862320 139673225735304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27105] ppid=27097 vsize=13982852 memory=140041099777999 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27105/stat : 27105 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 11806 33554432000 4194304 4196468 140722064776288 139673549224720 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27106] ppid=27097 vsize=13982852 memory=140041203349120 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27106/stat : 27106 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 11806 33554432000 4194304 4196468 140722064776288 139673548172176 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27107] ppid=27097 vsize=13982852 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27107/stat : 27107 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 11806 33554432000 4194304 4196468 140722064776288 139673547119632 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27108] ppid=27097 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27108/stat : 27108 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14318440448 11806 33554432000 4194304 4196468 140722064776288 139673546067088 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27111] ppid=27097 vsize=13982852 memory=140041203349120 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27111/stat : 27111 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704118 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672591210480 139673611635330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27117] ppid=27097 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27117/stat : 27117 (java) S 27097 27097 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154704118 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672590156704 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27119] ppid=27097 vsize=13982852 memory=280082199574432 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154704119 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672589104112 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) R 27097 27097 21004 0 -1 4202560 543 0 0 0 4 0 0 0 20 0 15 0 154704121 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672586990224 139673592260067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13982852 memory=140041099814943 CPUtime=0.03 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) R 27097 27097 21004 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 15 0 154704121 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672585947760 139673611635330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13982852 memory=140041203349120 CPUtime=0.13 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) R 27097 27097 21004 0 -1 4202560 855 0 0 0 13 0 0 0 20 0 15 0 154704121 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672584891952 139673593034333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13982852 memory=140041099808031 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13982852 memory=140041358053235 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704121 14318440448 11806 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48604 KiB
[startup+0.701785 s]
/proc/loadavg: 1.20 1.79 1.97 7/219 27138
/proc/meminfo: memFree=26385684/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
[pid=27099] ppid=27097 vsize=13982928 memory=141296 CPUtime=1.75 cores=1,3,5,7
/proc/27099/stat : 27099 (java) S 27097 27097 21004 0 -1 1077944320 12007 0 0 0 170 5 0 0 20 0 15 0 154704115 14318518272 35324 33554432000 4194304 4196468 140722064776288 140722064758832 139673611624183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
/proc/27099/statm: 3495732 35324 3197 1 0 3482966 0
[pid=27099/tid=27100] ppid=27097 vsize=13982928 memory=1 CPUtime=0.67 cores=1,3,5,7
/proc/27099/task/27100/stat : 27100 (java) R 27097 27097 21004 0 -1 4202560 6240 0 0 0 64 3 0 0 20 0 15 0 154704116 14318518272 35324 33554432000 4194304 4196468 140722064776288 139673615861288 139673225783268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27105] ppid=27097 vsize=13982928 memory=17 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27105/stat : 27105 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14318518272 35324 33554432000 4194304 4196468 140722064776288 139673549224720 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27106] ppid=27097 vsize=13982928 memory=4 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27106/stat : 27106 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14318518272 35324 33554432000 4194304 4196468 140722064776288 139673548172176 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27107] ppid=27097 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27107/stat : 27107 (java) S 27097 27097 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154704117 14318518272 35324 33554432000 4194304 4196468 140722064776288 139673547119632 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27108] ppid=27097 vsize=13982928 memory=38 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27108/stat : 27108 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704117 14318518272 35324 33554432000 4194304 4196468 140722064776288 139673546067088 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27111] ppid=27097 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27111/stat : 27111 (java) S 27097 27097 21004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154704118 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672591210480 139673611635330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27117] ppid=27097 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27117/stat : 27117 (java) S 27097 27097 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154704118 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672590156704 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27119] ppid=27097 vsize=13982928 memory=140041099823312 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154704119 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672589104112 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13982928 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13982928 memory=1420 CPUtime=0.4 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) R 27097 27097 21004 0 -1 4202560 1511 0 0 0 40 0 0 0 20 0 15 0 154704121 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672586988448 139673595390816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13982928 memory=11108 CPUtime=0.38 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) R 27097 27097 21004 0 -1 4202560 1337 0 0 0 38 0 0 0 20 0 15 0 154704121 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672585933856 139673590876964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13982928 memory=1712 CPUtime=0.27 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) S 27097 27097 21004 0 -1 1077944384 1611 0 0 0 27 0 0 0 20 0 15 0 154704121 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672584895216 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13982928 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13982928 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154704121 14318518272 35324 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 142676 KiB
[startup+1.50179 s]
/proc/loadavg: 1.20 1.79 1.97 8/219 27138
/proc/meminfo: memFree=26139828/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154704119 14320615424 549531 33554432000 4194304 4196468 140722064776288 139672589104128 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 549531 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13984976 memory=1160 CPUtime=1.69 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) S 27097 27097 21004 0 -1 1077944384 5951 0 0 0 168 1 0 0 20 0 15 0 154704121 14320615424 549531 33554432000 4194304 4196468 140722064776288 139672587000304 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13984976 memory=11108 CPUtime=1.66 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) S 27097 27097 21004 0 -1 1077944384 6265 0 0 0 165 1 0 0 20 0 15 0 154704121 14320615424 549531 33554432000 4194304 4196468 140722064776288 139672585947760 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13984976 memory=1712 CPUtime=0.63 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) S 27097 27097 21004 0 -1 1077944384 3499 0 0 0 62 1 0 0 20 0 15 0 154704121 14320615424 549531 33554432000 4194304 4196468 140722064776288 139672584895216 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 549531 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13984976 memory=23 CPUtime=0.05 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 739 0 0 0 2 3 0 0 20 0 15 0 154704121 14320615424 549531 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 107.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2199504 KiB
[startup+162.301 s]
/proc/loadavg: 1.88 1.81 1.95 3/220 27148
/proc/meminfo: memFree=22084872/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
[pid=27099] ppid=27097 vsize=13984976 memory=2199052 CPUtime=167.11 cores=1,3,5,7
/proc/27099/stat : 27099 (java) S 27097 27097 21004 0 -1 1077944320 42169 0 0 0 16641 70 0 0 20 0 15 0 154704115 14320615424 549763 33554432000 4194304 4196468 140722064776288 140722064758832 139673611624183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
/proc/27099/statm: 3496244 549763 3263 1 0 3483478 0
[pid=27099/tid=27100] ppid=27097 vsize=13984976 memory=2199052 CPUtime=162 cores=1,3,5,7
/proc/27099/task/27100/stat : 27100 (java) R 27097 27097 21004 0 -1 4202560 17352 0 0 0 16167 33 0 0 20 0 15 0 154704116 14320615424 549763 33554432000 4194304 4196468 140722064776288 139673615861704 139673232814141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27105] ppid=27097 vsize=13984976 memory=2199052 CPUtime=0.23 cores=1,3,5,7
/proc/27099/task/27105/stat : 27105 (java) S 27097 27097 21004 0 -1 1077944384 2315 0 0 0 16 7 0 0 20 0 15 0 154704117 14320615424 549763 33554432000 4194304 4196468 140722064776288 139673549224720 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27106] ppid=27097 vsize=13984976 memory=2199052 CPUtime=0.23 cores=1,3,5,7
/proc/27099/task/27106/stat : 27106 (java) S 27097 27097 21004 0 -1 1077944384 992 0 0 0 17 6 0 0 20 0 15 0 154704117 14320615424 549763 33554432000 4194304 4196468 140722064776288 139673548172176 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27107] ppid=27097 vsize=13984976 memory=2199052 CPUtime=0.24 cores=1,3,5,7
/proc/27099/task/27107/stat : 27107 (java) S 27097 27097 21004 0 -1 1077944384 756 0 0 0 18 6 0 0 20 0 15 0 154704117 14320615424 549763 33554432000 4194304 4196468 140722064776288 139673547119632 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27108] ppid=27097 vsize=13984976 memory=2199052 CPUtime=0.23 cores=1,3,5,7
/proc/27099/task/27108/stat : 27108 (java) S 27097 27097 21004 0 -1 1077944384 682 0 0 0 17 6 0 0 20 0 15 0 154704117 14320615424 549763 33554432000 4194304 4196468 140722064776288 139673546067088 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27111] ppid=27097 vsize=13984976 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/27099/task/27111/stat : 27111 (java) S 27097 27097 21004 0 -1 1077944384 1869 0 0 0 1 0 0 0 20 0 15 0 154704118 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672591210480 139673611635330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27117] ppid=27097 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27117/stat : 27117 (java) S 27097 27097 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154704118 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672590156768 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27119] ppid=27097 vsize=13984976 memory=2199052 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154704119 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672589104128 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13984976 memory=1380 CPUtime=1.69 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) S 27097 27097 21004 0 -1 1077944384 6297 0 0 0 168 1 0 0 20 0 15 0 154704121 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672587000304 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13984976 memory=2199052 CPUtime=1.66 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) S 27097 27097 21004 0 -1 1077944384 6310 0 0 0 165 1 0 0 20 0 15 0 154704121 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672585947760 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13984976 memory=1380 CPUtime=0.63 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) S 27097 27097 21004 0 -1 1077944384 3523 0 0 0 62 1 0 0 20 0 15 0 154704121 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672584895216 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13984976 memory=2199052 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13984976 memory=15541808151136815 CPUtime=0.09 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 777 0 0 0 4 5 0 0 20 0 15 0 154704121 14320615424 549763 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 167.11 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2200432 KiB
[startup+222.301 s]
/proc/loadavg: 1.96 1.85 1.95 3/220 27149
/proc/meminfo: memFree=20432828/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
[pid=27099] ppid=27097 vsize=13984976 memory=3842756 CPUtime=229.62 cores=1,3,5,7
/proc/27099/stat : 27099 (java) S 27097 27097 21004 0 -1 1077944320 60257 0 0 0 22863 99 0 0 20 0 15 0 154704115 14320615424 960689 33554432000 4194304 4196468 140722064776288 140722064758832 139673611624183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
/proc/27099/statm: 3496244 960689 3272 1 0 3483478 0
[pid=27099/tid=27100] ppid=27097 vsize=13984976 memory=1380 CPUtime=221.93 cores=1,3,5,7
/proc/27099/task/27100/stat : 27100 (java) R 27097 27097 21004 0 -1 4202560 22964 0 0 0 22142 51 0 0 20 0 15 0 154704116 14320615424 960689 33554432000 4194304 4196468 140722064776288 139673615860528 139673232814196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27105] ppid=27097 vsize=13984976 memory=1380 CPUtime=0.29 cores=1,3,5,7
/proc/27099/task/27105/stat : 27105 (java) S 27097 27097 21004 0 -1 1077944384 2773 0 0 0 20 9 0 0 20 0 15 0 154704117 14320615424 960689 33554432000 4194304 4196468 140722064776288 139673549224720 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27106] ppid=27097 vsize=13984976 memory=3842756 CPUtime=0.29 cores=1,3,5,7
/proc/27099/task/27106/stat : 27106 (java) S 27097 27097 21004 0 -1 1077944384 1120 0 0 0 21 8 0 0 20 0 15 0 154704117 14320615424 960689 33554432000 4194304 4196468 140722064776288 139673548172176 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27107] ppid=27097 vsize=13984976 memory=3844372 CPUtime=0.29 cores=1,3,5,7
/proc/27099/task/27107/stat : 27107 (java) S 27097 27097 21004 0 -1 1077944384 1432 0 0 0 21 8 0 0 20 0 15 0 154704117 14320615424 960689 33554432000 4194304 4196468 140722064776288 139673547119632 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27108] ppid=27097 vsize=13984976 memory=1380 CPUtime=0.28 cores=1,3,5,7
/proc/27099/task/27108/stat : 27108 (java) S 27097 27097 21004 0 -1 1077944384 812 0 0 0 20 8 0 0 20 0 15 0 154704117 14320615424 960689 33554432000 4194304 4196468 140722064776288 139673546067088 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27111] ppid=27097 vsize=13984976 memory=3842756 CPUtime=0.02 cores=1,3,5,7
/proc/27099/task/27111/stat : 27111 (java) S 27097 27097 21004 0 -1 1077944384 3032 0 0 0 2 0 0 0 20 0 15 0 154704118 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672591210480 139673611635330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27117] ppid=27097 vsize=13984976 memory=2198036 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27117/stat : 27117 (java) S 27097 27097 21004 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154704118 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672590156768 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27119] ppid=27097 vsize=13984976 memory=3844372 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 154704119 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672589104128 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13984976 memory=3845576 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13984976 memory=4140 CPUtime=2.61 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) S 27097 27097 21004 0 -1 1077944384 8855 0 0 0 260 1 0 0 20 0 15 0 154704121 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672587000304 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13984976 memory=2428 CPUtime=2.86 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) S 27097 27097 21004 0 -1 1077944384 10704 0 0 0 284 2 0 0 20 0 15 0 154704121 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672585947760 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13984976 memory=1728 CPUtime=0.82 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) S 27097 27097 21004 0 -1 1077944384 6441 0 0 0 81 1 0 0 20 0 15 0 154704121 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672584895216 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13984976 memory=2198036 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13984976 memory=1380 CPUtime=0.13 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 820 0 0 0 5 8 0 0 20 0 15 0 154704121 14320615424 960689 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 229.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3844136 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.97 1.86 1.95 3/220 27149
/proc/meminfo: memFree=20364376/32770624 swapFree=67108860/67108860
[pid=27097] ppid=27094 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (xcsp3-exec) S 27094 27097 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154704115 9740288 345 33554432000 4194304 5098028 140731206065488 140731206063592 140466718319228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18198528 140731206067316 140731206067520 140731206067520 140731206070251 0
/proc/27097/statm: 2378 345 289 221 0 87 0
[pid=27099] ppid=27097 vsize=13984976 memory=3911380 CPUtime=248.05 cores=1,3,5,7
/proc/27099/stat : 27099 (java) S 27097 27097 21004 0 -1 1077944320 63069 0 0 0 24695 110 0 0 20 0 15 0 154704115 14320615424 977845 33554432000 4194304 4196468 140722064776288 140722064758832 139673611624183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
/proc/27099/statm: 3496244 977845 3273 1 0 3483478 0
[pid=27099/tid=27100] ppid=27097 vsize=13984976 memory=6791534058613427641 CPUtime=239.6 cores=1,3,5,7
/proc/27099/task/27100/stat : 27100 (java) R 27097 27097 21004 0 -1 4202560 23125 0 0 0 23909 51 0 0 20 0 15 0 154704116 14320615424 977845 33554432000 4194304 4196468 140722064776288 139673615860416 139673232814065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27105] ppid=27097 vsize=13984976 memory=-7003737579269690708 CPUtime=0.32 cores=1,3,5,7
/proc/27099/task/27105/stat : 27105 (java) S 27097 27097 21004 0 -1 1077944384 2872 0 0 0 21 11 0 0 20 0 15 0 154704117 14320615424 977845 33554432000 4194304 4196468 140722064776288 139673549224720 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27106] ppid=27097 vsize=13984976 memory=1952 CPUtime=0.33 cores=1,3,5,7
/proc/27099/task/27106/stat : 27106 (java) S 27097 27097 21004 0 -1 1077944384 1219 0 0 0 23 10 0 0 20 0 15 0 154704117 14320615424 977845 33554432000 4194304 4196468 140722064776288 139673548172176 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27107] ppid=27097 vsize=13984976 memory=8612 CPUtime=0.33 cores=1,3,5,7
/proc/27099/task/27107/stat : 27107 (java) S 27097 27097 21004 0 -1 1077944384 1529 0 0 0 23 10 0 0 20 0 15 0 154704117 14320615424 977845 33554432000 4194304 4196468 140722064776288 139673547119632 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27108] ppid=27097 vsize=13984976 memory=1224 CPUtime=0.32 cores=1,3,5,7
/proc/27099/task/27108/stat : 27108 (java) S 27097 27097 21004 0 -1 1077944384 1257 0 0 0 21 11 0 0 20 0 15 0 154704117 14320615424 977845 33554432000 4194304 4196468 140722064776288 139673546067088 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27111] ppid=27097 vsize=13984976 memory=792 CPUtime=0.02 cores=1,3,5,7
/proc/27099/task/27111/stat : 27111 (java) S 27097 27097 21004 0 -1 1077944384 3035 0 0 0 2 0 0 0 20 0 15 0 154704118 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672591210480 139673611635330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27117] ppid=27097 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27117/stat : 27117 (java) S 27097 27097 21004 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154704118 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672590156768 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27119] ppid=27097 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27119/stat : 27119 (java) S 27097 27097 21004 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 154704119 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672589104128 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27125] ppid=27097 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27125/stat : 27125 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672588052688 139673611642779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27126] ppid=27097 vsize=13984976 memory=4612 CPUtime=3.09 cores=1,3,5,7
/proc/27099/task/27126/stat : 27126 (java) S 27097 27097 21004 0 -1 1077944384 10747 0 0 0 307 2 0 0 20 0 15 0 154704121 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672587000304 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27127] ppid=27097 vsize=13984976 memory=1196 CPUtime=2.97 cores=1,3,5,7
/proc/27099/task/27127/stat : 27127 (java) S 27097 27097 21004 0 -1 1077944384 10720 0 0 0 295 2 0 0 20 0 15 0 154704121 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672585947760 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27128] ppid=27097 vsize=13984976 memory=4612 CPUtime=0.83 cores=1,3,5,7
/proc/27099/task/27128/stat : 27128 (java) S 27097 27097 21004 0 -1 1077944384 6441 0 0 0 82 1 0 0 20 0 15 0 154704121 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672584895216 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27129] ppid=27097 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27099/task/27129/stat : 27129 (java) S 27097 27097 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154704121 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672583842912 139673611634389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
[pid=27099/tid=27132] ppid=27097 vsize=13984976 memory=2428 CPUtime=0.15 cores=1,3,5,7
/proc/27099/task/27132/stat : 27132 (java) S 27097 27097 21004 0 -1 1077944384 820 0 0 0 6 9 0 0 20 0 15 0 154704121 14320615424 977845 33554432000 4194304 4196468 140722064776288 139672582789424 139673611635330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19804160 140722064778397 140722064778572 140722064778572 140722064781263 0
Current children cumulated CPU time: 248.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3912760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.034 s]
# the end of solver process 27097 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00096 s, system=0.00096 s
[startup+240.036 s]
# the end of solver process 27099 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.965 s, system=1.12356 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.036
CPU time (s): 248.088
CPU user time (s): 246.965
CPU system time (s): 1.12356
CPU usage (%): 103.355
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3912760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.965
system time used= 1.12356
maximum resident set size= 3912144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8336
involuntary context switches= 204
# summary of solver processes directly reported to runsolver:
# pid: 27097,27099
# total CPU time (s): 248.088
# total CPU user time (s): 246.965
# total CPU system time (s): 1.12356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50297 second user time and 2.50205 second system time
The end