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 (12474 MiB free)
memory of node 1: 16384 MiB (13948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284466-1503209803/watcher-4284466-1503209803 -o /tmp/evaluation-result-4284466-1503209803/solver-4284466-1503209803 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1177232815 HOME/instance-4284466-1503209803.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
solver pid=26360, runsolver pid=26355
Current StackSize limit: 8192 KiB
[startup+0.100239 s]*
/proc/loadavg: 1.60 1.28 0.74 3/219 26376
/proc/meminfo: memFree=27026288/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
[pid=26362] ppid=26360 vsize=13978596 memory=28924 CPUtime=0.12 cores=1,3,5,7
/proc/26362/stat : 26362 (java) S 26360 26360 25930 0 -1 1077944320 5056 0 0 0 11 1 0 0 20 0 15 0 154067871 14314082304 7231 33554432000 4194304 4196468 140727166940496 140727166923040 139964022849271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
/proc/26362/statm: 3494649 7231 2882 1 0 3482966 0
[pid=26362/tid=26363] ppid=26360 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/26362/task/26363/stat : 26363 (java) R 26360 26360 25930 0 -1 4202560 3029 0 0 0 8 0 0 0 20 0 15 0 154067872 14314082304 7231 33554432000 4194304 4196468 140727166940496 139964027081376 139964000845617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26364] ppid=26360 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26364/stat : 26364 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14314082304 7231 33554432000 4194304 4196468 140727166940496 139963618171792 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26365] ppid=26360 vsize=13978596 memory=139692054808192 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26365/stat : 26365 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14314082304 7231 33554432000 4194304 4196468 140727166940496 139963617118992 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26366] ppid=26360 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26366/stat : 26366 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14314082304 7231 33554432000 4194304 4196468 140727166940496 139963616066704 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26367] ppid=26360 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (java) S 26360 26360 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154067872 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963615013904 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26368] ppid=26360 vsize=13978596 memory=139692054808192 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26368/stat : 26368 (java) S 26360 26360 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154067874 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963496966256 139964022860418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26369] ppid=26360 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26369/stat : 26369 (java) S 26360 26360 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154067874 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963495912224 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26370] ppid=26360 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154067874 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) S 26360 26360 25930 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 154067877 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963492756080 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) S 26360 26360 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154067877 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963491703280 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13978596 memory=139692054808192 CPUtime=0.01 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) R 26360 26360 25930 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 15 0 154067877 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963490650992 139964015946107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13978596 memory=139692054808192 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067877 14314082304 7297 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30308 KiB
[startup+0.210621 s]*
/proc/loadavg: 1.60 1.28 0.74 4/219 26376
/proc/meminfo: memFree=27008664/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
[pid=26362] ppid=26360 vsize=13982852 memory=41232 CPUtime=0.34 cores=1,3,5,7
/proc/26362/stat : 26362 (java) S 26360 26360 25930 0 -1 1077944320 7842 0 0 0 32 2 0 0 20 0 15 0 154067871 14318440448 10308 33554432000 4194304 4196468 140727166940496 140727166923040 139964022849271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
/proc/26362/statm: 3495713 10308 3076 1 0 3482966 0
[pid=26362/tid=26363] ppid=26360 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/26362/task/26363/stat : 26363 (java) R 26360 26360 25930 0 -1 4202560 4794 0 0 0 18 1 0 0 20 0 15 0 154067872 14318473216 10308 33554432000 4194304 4196468 140727166940496 139964027060064 139964015528989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26364] ppid=26360 vsize=13982884 memory=13599 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26364/stat : 26364 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14318473216 10308 33554432000 4194304 4196468 140727166940496 139963618171792 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26365] ppid=26360 vsize=13982852 memory=3906230844503754400 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26365/stat : 26365 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963617118992 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26366] ppid=26360 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26366/stat : 26366 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963616066704 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26367] ppid=26360 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (java) S 26360 26360 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154067872 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963615013904 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26368] ppid=26360 vsize=13982852 memory=139692054808192 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26368/stat : 26368 (java) S 26360 26360 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154067874 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963496966256 139964022860418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26369] ppid=26360 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26369/stat : 26369 (java) S 26360 26360 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154067874 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963495912224 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26370] ppid=26360 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154067874 14318473216 10308 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14318473216 10308 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) S 26360 26360 25930 0 -1 1077944384 740 0 0 0 2 0 0 0 20 0 15 0 154067877 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963492756080 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) S 26360 26360 25930 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 15 0 154067877 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963491703280 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13982852 memory=139692054808192 CPUtime=0.08 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) S 26360 26360 25930 0 -1 1077944384 848 0 0 0 8 0 0 0 20 0 15 0 154067877 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963490650992 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067877 14318440448 10308 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42616 KiB
[startup+0.310575 s]*
/proc/loadavg: 1.60 1.28 0.74 6/219 26376
/proc/meminfo: memFree=26988760/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
[pid=26362] ppid=26360 vsize=13982852 memory=48600 CPUtime=0.51 cores=1,3,5,7
/proc/26362/stat : 26362 (java) S 26360 26360 25930 0 -1 1077944320 8850 0 0 0 49 2 0 0 20 0 15 0 154067871 14318440448 12150 33554432000 4194304 4196468 140727166940496 140727166923040 139964022849271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
/proc/26362/statm: 3495713 12150 3108 1 0 3482966 0
[pid=26362/tid=26363] ppid=26360 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26362/task/26363/stat : 26363 (java) R 26360 26360 25930 0 -1 4202560 5474 0 0 0 28 1 0 0 20 0 15 0 154067872 14318440448 12215 33554432000 4194304 4196468 140727166940496 139964027079280 139964006929758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26364] ppid=26360 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26364/stat : 26364 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963618171792 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26365] ppid=26360 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26365/stat : 26365 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963617118992 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26366] ppid=26360 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26366/stat : 26366 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963616066704 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26367] ppid=26360 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (java) S 26360 26360 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154067872 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963615013904 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26368] ppid=26360 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26368/stat : 26368 (java) S 26360 26360 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154067874 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963496966256 139964022860418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26369] ppid=26360 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26369/stat : 26369 (java) S 26360 26360 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154067874 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963495912224 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26370] ppid=26360 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154067874 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) S 26360 26360 25930 0 -1 1077944384 772 0 0 0 3 0 0 0 20 0 15 0 154067877 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963492756080 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) S 26360 26360 25930 0 -1 1077944384 267 0 0 0 3 0 0 0 20 0 15 0 154067877 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963491703280 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) S 26360 26360 25930 0 -1 1077944384 1037 0 0 0 12 0 0 0 20 0 15 0 154067877 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963490650992 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067877 14318440448 12215 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49984 KiB
[startup+0.701598 s]
/proc/loadavg: 1.60 1.28 0.74 8/219 26376
/proc/meminfo: memFree=26940616/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
[pid=26362] ppid=26360 vsize=13984976 memory=76376 CPUtime=1.48 cores=1,3,5,7
/proc/26362/stat : 26362 (java) S 26360 26360 25930 0 -1 1077944320 13369 0 0 0 144 4 0 0 20 0 15 0 154067871 14320615424 19094 33554432000 4194304 4196468 140727166940496 140727166923040 139964022849271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
/proc/26362/statm: 3496244 19094 3203 1 0 3483478 0
[pid=26362/tid=26363] ppid=26360 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26362/task/26363/stat : 26363 (java) R 26360 26360 25930 0 -1 4202560 6347 0 0 0 65 2 0 0 20 0 15 0 154067872 14320615424 19094 33554432000 4194304 4196468 140727166940496 139964027085408 139963663117979 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26364] ppid=26360 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26364/stat : 26364 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963618171792 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26365] ppid=26360 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26365/stat : 26365 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963617118992 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26366] ppid=26360 vsize=13984976 memory=42792 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26366/stat : 26366 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067872 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963616066704 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26367] ppid=26360 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (java) S 26360 26360 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154067872 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963615013904 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26368] ppid=26360 vsize=13984976 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26368/stat : 26368 (java) S 26360 26360 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154067874 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963496966256 139964022860418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26369] ppid=26360 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26369/stat : 26369 (java) S 26360 26360 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154067874 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963495912224 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26370] ppid=26360 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154067874 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13984976 memory=1956 CPUtime=0.22 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) R 26360 26360 25930 0 -1 4202560 2131 0 0 0 22 0 0 0 20 0 15 0 154067877 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963492742104 139964002105925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13984976 memory=8608 CPUtime=0.23 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) R 26360 26360 25930 0 -1 4202560 1597 0 0 0 23 0 0 0 20 0 15 0 154067877 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963491684296 139964002503824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13984976 memory=1228 CPUtime=0.32 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) S 26360 26360 25930 0 -1 1077944384 1987 0 0 0 32 0 0 0 20 0 15 0 154067877 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963490650992 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154067877 14320615424 19094 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77760 KiB
[startup+1.50081 s]
/proc/loadavg: 1.60 1.28 0.74 7/219 26376
/proc/meminfo: memFree=26852836/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154067874 14327324672 78104 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13991528 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 78104 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13991528 memory=42792 CPUtime=10.21 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) S 26360 26360 25930 0 -1 1077944384 62535 0 0 0 1014 7 0 0 20 0 15 0 154067877 14327324672 78104 33554432000 4194304 4196468 140727166940496 139963492756080 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13991528 memory=139691932654298 CPUtime=10.39 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) S 26360 26360 25930 0 -1 1077944384 53172 0 0 0 1033 6 0 0 20 0 15 0 154067877 14327324672 78104 33554432000 4194304 4196468 140727166940496 139963491703280 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13991528 memory=288289965417451198 CPUtime=0.85 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) S 26360 26360 25930 0 -1 1077944384 10093 0 0 0 83 2 0 0 20 0 15 0 154067877 14327324672 78104 33554432000 4194304 4196468 140727166940496 139963490650992 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13991528 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 78104 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13991528 memory=956 CPUtime=0.02 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 587 0 0 0 0 2 0 0 20 0 15 0 154067877 14327324672 78104 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 123.92 s
Current children cumulated vsize: 14001040 KiB
Current children cumulated memory: 313800 KiB
[startup+162.301 s]
/proc/loadavg: 1.87 1.61 0.95 3/218 26378
/proc/meminfo: memFree=25261480/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
[pid=26362] ppid=26360 vsize=13991528 memory=305916 CPUtime=184.49 cores=1,3,5,7
/proc/26362/stat : 26362 (java) S 26360 26360 25930 0 -1 1077944320 154218 0 0 0 18412 37 0 0 20 0 15 0 154067871 14327324672 76479 33554432000 4194304 4196468 140727166940496 140727166923040 139964022849271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
/proc/26362/statm: 3497882 76479 3269 1 0 3485116 0
[pid=26362/tid=26363] ppid=26360 vsize=13991528 memory=306432 CPUtime=161.93 cores=1,3,5,7
/proc/26362/task/26363/stat : 26363 (java) R 26360 26360 25930 0 -1 4202560 14971 0 0 0 16187 6 0 0 20 0 15 0 154067872 14327324672 76479 33554432000 4194304 4196468 140727166940496 139964027088368 139963667456084 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26364] ppid=26360 vsize=13991528 memory=306432 CPUtime=0.15 cores=1,3,5,7
/proc/26362/task/26364/stat : 26364 (java) S 26360 26360 25930 0 -1 1077944384 2160 0 0 0 13 2 0 0 20 0 15 0 154067872 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963618171792 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26365] ppid=26360 vsize=13991528 memory=305916 CPUtime=0.16 cores=1,3,5,7
/proc/26362/task/26365/stat : 26365 (java) S 26360 26360 25930 0 -1 1077944384 1472 0 0 0 14 2 0 0 20 0 15 0 154067872 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963617118992 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26366] ppid=26360 vsize=13991528 memory=1384 CPUtime=0.16 cores=1,3,5,7
/proc/26362/task/26366/stat : 26366 (java) S 26360 26360 25930 0 -1 1077944384 425 0 0 0 14 2 0 0 20 0 15 0 154067872 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963616066704 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26367] ppid=26360 vsize=13991528 memory=1384 CPUtime=0.15 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (java) S 26360 26360 25930 0 -1 1077944384 1094 0 0 0 13 2 0 0 20 0 15 0 154067872 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963615013904 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26368] ppid=26360 vsize=13991528 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/26362/task/26368/stat : 26368 (java) S 26360 26360 25930 0 -1 1077944384 891 0 0 0 3 0 0 0 20 0 15 0 154067874 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963496966256 139964022860418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26369] ppid=26360 vsize=13991528 memory=306432 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26369/stat : 26369 (java) S 26360 26360 25930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154067874 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963495912224 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26370] ppid=26360 vsize=13991528 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154067874 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13991528 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13991528 memory=1384 CPUtime=10.32 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) S 26360 26360 25930 0 -1 1077944384 63019 0 0 0 1025 7 0 0 20 0 15 0 154067877 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963492756080 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13991528 memory=1384 CPUtime=10.61 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) S 26360 26360 25930 0 -1 1077944384 56675 0 0 0 1055 6 0 0 20 0 15 0 154067877 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963491703280 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13991528 memory=306432 CPUtime=0.86 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) S 26360 26360 25930 0 -1 1077944384 11547 0 0 0 84 2 0 0 20 0 15 0 154067877 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963490650992 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13991528 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13991528 memory=42792 CPUtime=0.03 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 621 0 0 0 1 2 0 0 20 0 15 0 154067877 14327324672 76479 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 184.49 s
Current children cumulated vsize: 14001040 KiB
Current children cumulated memory: 307300 KiB
[startup+222.301 s]
/proc/loadavg: 1.68 1.59 0.99 3/217 26379
/proc/meminfo: memFree=25175024/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
[pid=26362] ppid=26360 vsize=13991528 memory=302988 CPUtime=245.05 cores=1,3,5,7
/proc/26362/stat : 26362 (java) S 26360 26360 25930 0 -1 1077944320 160474 0 0 0 24464 41 0 0 20 0 15 0 154067871 14327324672 75747 33554432000 4194304 4196468 140727166940496 140727166923040 139964022849271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
/proc/26362/statm: 3497882 75747 3269 1 0 3485116 0
[pid=26362/tid=26363] ppid=26360 vsize=13991528 memory=1384 CPUtime=221.81 cores=1,3,5,7
/proc/26362/task/26363/stat : 26363 (java) R 26360 26360 25930 0 -1 4202560 15668 0 0 0 22175 6 0 0 20 0 15 0 154067872 14327324672 75747 33554432000 4194304 4196468 140727166940496 139964027086536 139963663872432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26364] ppid=26360 vsize=13991528 memory=301964 CPUtime=0.22 cores=1,3,5,7
/proc/26362/task/26364/stat : 26364 (java) S 26360 26360 25930 0 -1 1077944384 2235 0 0 0 19 3 0 0 20 0 15 0 154067872 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963618171792 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26365] ppid=26360 vsize=13991528 memory=302984 CPUtime=0.23 cores=1,3,5,7
/proc/26362/task/26365/stat : 26365 (java) S 26360 26360 25930 0 -1 1077944384 1513 0 0 0 20 3 0 0 20 0 15 0 154067872 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963617118992 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26366] ppid=26360 vsize=13991528 memory=302984 CPUtime=0.23 cores=1,3,5,7
/proc/26362/task/26366/stat : 26366 (java) S 26360 26360 25930 0 -1 1077944384 514 0 0 0 20 3 0 0 20 0 15 0 154067872 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963616066704 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26367] ppid=26360 vsize=13991528 memory=302988 CPUtime=0.23 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (java) S 26360 26360 25930 0 -1 1077944384 1358 0 0 0 20 3 0 0 20 0 15 0 154067872 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963615013904 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26368] ppid=26360 vsize=13991528 memory=302988 CPUtime=0.04 cores=1,3,5,7
/proc/26362/task/26368/stat : 26368 (java) S 26360 26360 25930 0 -1 1077944384 974 0 0 0 3 1 0 0 20 0 15 0 154067874 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963496966256 139964022860418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26369] ppid=26360 vsize=13991528 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26369/stat : 26369 (java) S 26360 26360 25930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154067874 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963495912288 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26370] ppid=26360 vsize=13991528 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154067874 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13991528 memory=1787 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13991528 memory=1384 CPUtime=10.51 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) S 26360 26360 25930 0 -1 1077944384 65644 0 0 0 1044 7 0 0 20 0 15 0 154067877 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963492756080 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13991528 memory=302988 CPUtime=10.74 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) S 26360 26360 25930 0 -1 1077944384 57974 0 0 0 1068 6 0 0 20 0 15 0 154067877 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963491703280 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13991528 memory=4140 CPUtime=0.9 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) S 26360 26360 25930 0 -1 1077944384 12581 0 0 0 87 3 0 0 20 0 15 0 154067877 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963490650992 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13991528 memory=42792 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13991528 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 664 0 0 0 2 3 0 0 20 0 15 0 154067877 14327324672 75747 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 245.05 s
Current children cumulated vsize: 14001040 KiB
Current children cumulated memory: 304372 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.70 1.60 1.00 2/200 26381
/proc/meminfo: memFree=26773528/32770624 swapFree=67108860/67108860
[pid=26360] ppid=26355 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26360/stat : 26360 (xcsp3-exec) S 26355 26360 25930 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154067871 9740288 346 33554432000 4194304 5098028 140727826586064 140727826584168 140003506930300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38567936 140727826588788 140727826588992 140727826588992 140727826591723 0
/proc/26360/statm: 2378 346 289 221 0 87 0
[pid=26362] ppid=26360 vsize=13991528 memory=302980 CPUtime=262.92 cores=1,3,5,7
/proc/26362/stat : 26362 (java) S 26360 26360 25930 0 -1 1077944320 162390 0 0 0 26250 42 0 0 20 0 15 0 154067871 14327324672 75745 33554432000 4194304 4196468 140727166940496 140727166923040 139964022849271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
/proc/26362/statm: 3497882 75745 3269 1 0 3485116 0
[pid=26362/tid=26363] ppid=26360 vsize=13991528 memory=4048 CPUtime=239.5 cores=1,3,5,7
/proc/26362/task/26363/stat : 26363 (java) R 26360 26360 25930 0 -1 4202560 16049 0 0 0 23944 6 0 0 20 0 15 0 154067872 14327324672 75745 33554432000 4194304 4196468 140727166940496 139964027088208 139963670396983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26364] ppid=26360 vsize=13991528 memory=18488 CPUtime=0.23 cores=1,3,5,7
/proc/26362/task/26364/stat : 26364 (java) S 26360 26360 25930 0 -1 1077944384 2240 0 0 0 20 3 0 0 20 0 15 0 154067872 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963618171792 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26365] ppid=26360 vsize=13991528 memory=4872558044660077418 CPUtime=0.25 cores=1,3,5,7
/proc/26362/task/26365/stat : 26365 (java) S 26360 26360 25930 0 -1 1077944384 1517 0 0 0 22 3 0 0 20 0 15 0 154067872 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963617118992 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26366] ppid=26360 vsize=13991528 memory=302980 CPUtime=0.25 cores=1,3,5,7
/proc/26362/task/26366/stat : 26366 (java) S 26360 26360 25930 0 -1 1077944384 518 0 0 0 22 3 0 0 20 0 15 0 154067872 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963616066704 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26367] ppid=26360 vsize=13991528 memory=1204 CPUtime=0.24 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (java) S 26360 26360 25930 0 -1 1077944384 1361 0 0 0 21 3 0 0 20 0 15 0 154067872 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963615013904 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26368] ppid=26360 vsize=13991528 memory=15880 CPUtime=0.05 cores=1,3,5,7
/proc/26362/task/26368/stat : 26368 (java) S 26360 26360 25930 0 -1 1077944384 975 0 0 0 4 1 0 0 20 0 15 0 154067874 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963496966256 139964022860418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26369] ppid=26360 vsize=13991528 memory=25816 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26369/stat : 26369 (java) S 26360 26360 25930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154067874 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963495912288 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26370] ppid=26360 vsize=13991528 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26370/stat : 26370 (java) S 26360 26360 25930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154067874 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963494859888 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26371] ppid=26360 vsize=13991528 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26371/stat : 26371 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963493808208 139964022867867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26372] ppid=26360 vsize=13991528 memory=1956 CPUtime=10.52 cores=1,3,5,7
/proc/26362/task/26372/stat : 26372 (java) S 26360 26360 25930 0 -1 1077944384 65735 0 0 0 1045 7 0 0 20 0 15 0 154067877 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963492756080 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26373] ppid=26360 vsize=13991528 memory=8608 CPUtime=10.84 cores=1,3,5,7
/proc/26362/task/26373/stat : 26373 (java) S 26360 26360 25930 0 -1 1077944384 59382 0 0 0 1077 7 0 0 20 0 15 0 154067877 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963491703280 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26374] ppid=26360 vsize=13991528 memory=1228 CPUtime=0.9 cores=1,3,5,7
/proc/26362/task/26374/stat : 26374 (java) S 26360 26360 25930 0 -1 1077944384 12581 0 0 0 87 3 0 0 20 0 15 0 154067877 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963490650992 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26375] ppid=26360 vsize=13991528 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26375/stat : 26375 (java) S 26360 26360 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154067877 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963489598432 139964022859477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
[pid=26362/tid=26376] ppid=26360 vsize=13991528 memory=5792 CPUtime=0.06 cores=1,3,5,7
/proc/26362/task/26376/stat : 26376 (java) S 26360 26360 25930 0 -1 1077944384 683 0 0 0 2 4 0 0 20 0 15 0 154067877 14327324672 75745 33554432000 4194304 4196468 140727166940496 139963488545200 139964022860418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 24842240 140727166944413 140727166944588 140727166944588 140727166947279 0
Current children cumulated CPU time: 262.92 s
Current children cumulated vsize: 14001040 KiB
Current children cumulated memory: 304364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 26360 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001828 s, system=0 s
[startup+240.027 s]
# the end of solver process 26362 was just reported to runsolver
# cumulated CPU time of all completed processes: user=262.513 s, system=0.435225 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.027
CPU time (s): 262.948
CPU user time (s): 262.513
CPU system time (s): 0.435225
CPU usage (%): 109.549
Max. virtual memory (cumulated for all children) (KiB): 14001564
Max. memory (cumulated for all children) (KiB): 337804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 262.513
system time used= 0.435225
maximum resident set size= 336420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163447
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= 9766
involuntary context switches= 301
# summary of solver processes directly reported to runsolver:
# pid: 26360,26362
# total CPU time (s): 262.948
# total CPU user time (s): 262.513
# total CPU system time (s): 0.435225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33732 second user time and 2.30788 second system time
The end