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 (10918 MiB free)
memory of node 1: 16384 MiB (11308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284200-1503214551/watcher-4284200-1503214551 -o /tmp/evaluation-result-4284200-1503214551/solver-4284200-1503214551 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23686 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 577103848 HOME/instance-4284200-1503214551.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=27118, runsolver pid=27115
[startup+0.100141 s]*
/proc/loadavg: 1.38 1.52 1.69 3/218 27134
/proc/meminfo: memFree=22743756/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
[pid=27120] ppid=27118 vsize=13978596 memory=28520 CPUtime=0.12 cores=1,3,5,7
/proc/27120/stat : 27120 (java) S 27118 27118 23654 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 15 0 154526519 14314082304 7130 33554432000 4194304 4196468 140737089027344 140737089009888 139913337462519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
/proc/27120/statm: 3494649 7130 2885 1 0 3482966 0
[pid=27120/tid=27121] ppid=27118 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27120/task/27121/stat : 27121 (java) R 27118 27118 23654 0 -1 4202560 3434 0 0 0 9 0 0 0 20 0 15 0 154526520 14314082304 7196 33554432000 4194304 4196468 140737089027344 139913341685968 139913337474454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27122] ppid=27118 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27122/stat : 27122 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14314082304 7196 33554432000 4194304 4196468 140737089027344 139913267551376 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27123] ppid=27118 vsize=13978596 memory=140182627894912 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27123/stat : 27123 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14314082304 7196 33554432000 4194304 4196468 140737089027344 139913266498576 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27124] ppid=27118 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27124/stat : 27124 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14314082304 7196 33554432000 4194304 4196468 140737089027344 139913265445776 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27125] ppid=27118 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27125/stat : 27125 (java) S 27118 27118 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154526521 14314082304 7196 33554432000 4194304 4196468 140737089027344 139913264392976 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27126] ppid=27118 vsize=13978596 memory=140182627894912 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27126/stat : 27126 (java) S 27118 27118 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154526522 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912811080048 139913337473666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27127] ppid=27118 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27127/stat : 27127 (java) S 27118 27118 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154526522 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912810026016 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27128] ppid=27118 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154526523 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912808973168 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) S 27118 27118 23654 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 154526525 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912806869872 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912805817072 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13978596 memory=140182627894912 CPUtime=0.01 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) R 27118 27118 23654 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 154526525 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912804764272 139913330447706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13978596 memory=140182627894912 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526525 14314082304 7196 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29904 KiB
[startup+0.21267 s]*
/proc/loadavg: 1.38 1.52 1.69 4/218 27134
/proc/meminfo: memFree=22733272/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
[pid=27120] ppid=27118 vsize=13982852 memory=40400 CPUtime=0.34 cores=1,3,5,7
/proc/27120/stat : 27120 (java) S 27118 27118 23654 0 -1 1077944320 8256 0 0 0 32 2 0 0 20 0 15 0 154526519 14318440448 10100 33554432000 4194304 4196468 140737089027344 140737089009888 139913337462519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
/proc/27120/statm: 3495713 10100 3059 1 0 3482966 0
[pid=27120/tid=27121] ppid=27118 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27120/task/27121/stat : 27121 (java) R 27118 27118 23654 0 -1 4202560 5391 0 0 0 19 1 0 0 20 0 15 0 154526520 14318440448 10100 33554432000 4194304 4196468 140737089027344 139913341673424 139913337484445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27122] ppid=27118 vsize=13982852 memory=12546 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27122/stat : 27122 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 10100 33554432000 4194304 4196468 140737089027344 139913267551376 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27123] ppid=27118 vsize=13982852 memory=288370558779606656 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27123/stat : 27123 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 10100 33554432000 4194304 4196468 140737089027344 139913266498576 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27124] ppid=27118 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27124/stat : 27124 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 10100 33554432000 4194304 4196468 140737089027344 139913265445776 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27125] ppid=27118 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27125/stat : 27125 (java) S 27118 27118 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 10100 33554432000 4194304 4196468 140737089027344 139913264392976 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27126] ppid=27118 vsize=13982852 memory=140182627894912 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27126/stat : 27126 (java) S 27118 27118 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154526522 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912811080048 139913337473666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27127] ppid=27118 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27127/stat : 27127 (java) S 27118 27118 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154526522 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912810026016 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27128] ppid=27118 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154526523 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912808973168 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) S 27118 27118 23654 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 15 0 154526525 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912806869872 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) S 27118 27118 23654 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 154526525 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912805817072 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13982852 memory=140182627894912 CPUtime=0.07 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) S 27118 27118 23654 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 15 0 154526525 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912804764272 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526525 14318440448 10100 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41784 KiB
[startup+0.310949 s]*
/proc/loadavg: 1.38 1.52 1.69 4/218 27134
/proc/meminfo: memFree=22727192/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
[pid=27120] ppid=27118 vsize=13982852 memory=47820 CPUtime=0.52 cores=1,3,5,7
/proc/27120/stat : 27120 (java) S 27118 27118 23654 0 -1 1077944320 9105 0 0 0 49 3 0 0 20 0 15 0 154526519 14318440448 11955 33554432000 4194304 4196468 140737089027344 140737089009888 139913337462519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
/proc/27120/statm: 3495713 11955 3129 1 0 3482966 0
[pid=27120/tid=27121] ppid=27118 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27120/task/27121/stat : 27121 (java) R 27118 27118 23654 0 -1 4202560 5919 0 0 0 28 1 0 0 20 0 15 0 154526520 14318440448 11955 33554432000 4194304 4196468 140737089027344 139913341700032 139912938668934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27122] ppid=27118 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27122/stat : 27122 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 11955 33554432000 4194304 4196468 140737089027344 139913267551376 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27123] ppid=27118 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27123/stat : 27123 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 11955 33554432000 4194304 4196468 140737089027344 139913266498576 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27124] ppid=27118 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27124/stat : 27124 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 11955 33554432000 4194304 4196468 140737089027344 139913265445776 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27125] ppid=27118 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27125/stat : 27125 (java) S 27118 27118 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154526521 14318440448 11955 33554432000 4194304 4196468 140737089027344 139913264392976 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27126] ppid=27118 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27126/stat : 27126 (java) S 27118 27118 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154526522 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912811080048 139913337473666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27127] ppid=27118 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27127/stat : 27127 (java) S 27118 27118 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154526522 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912810026016 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27128] ppid=27118 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154526523 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912808973168 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) R 27118 27118 23654 0 -1 4202560 602 0 0 0 4 0 0 0 20 0 15 0 154526525 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912806869872 139913330559371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) R 27118 27118 23654 0 -1 4202560 434 0 0 0 4 0 0 0 20 0 15 0 154526525 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912805817072 139913318983891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13982852 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) R 27118 27118 23654 0 -1 1077944384 845 0 0 0 11 0 0 0 20 0 15 0 154526525 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912804764272 139913337473666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526525 14318440448 11955 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49204 KiB
[startup+0.700893 s]
/proc/loadavg: 1.38 1.52 1.69 5/218 27134
/proc/meminfo: memFree=22690164/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
[pid=27120] ppid=27118 vsize=13982928 memory=128616 CPUtime=1.53 cores=1,3,5,7
/proc/27120/stat : 27120 (java) S 27118 27118 23654 0 -1 1077944320 10916 0 0 0 148 5 0 0 20 0 15 0 154526519 14318518272 32154 33554432000 4194304 4196468 140737089027344 140737089009888 139913337462519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
/proc/27120/statm: 3495732 32154 3197 1 0 3482966 0
[pid=27120/tid=27121] ppid=27118 vsize=13982928 memory=42792 CPUtime=0.68 cores=1,3,5,7
/proc/27120/task/27121/stat : 27121 (java) R 27118 27118 23654 0 -1 4202560 6298 0 0 0 65 3 0 0 20 0 15 0 154526520 14318518272 32154 33554432000 4194304 4196468 140737089027344 139913341699776 139912941693179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27122] ppid=27118 vsize=13982928 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27122/stat : 27122 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318518272 32154 33554432000 4194304 4196468 140737089027344 139913267551376 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27123] ppid=27118 vsize=13982928 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27123/stat : 27123 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318518272 32154 33554432000 4194304 4196468 140737089027344 139913266498576 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27124] ppid=27118 vsize=13982928 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27124/stat : 27124 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526521 14318518272 32154 33554432000 4194304 4196468 140737089027344 139913265445776 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27125] ppid=27118 vsize=13982928 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27125/stat : 27125 (java) S 27118 27118 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154526521 14318518272 32154 33554432000 4194304 4196468 140737089027344 139913264392976 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27126] ppid=27118 vsize=13982928 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27126/stat : 27126 (java) S 27118 27118 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154526522 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912811080048 139913337473666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27127] ppid=27118 vsize=13982928 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27127/stat : 27127 (java) S 27118 27118 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154526522 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912810026016 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27128] ppid=27118 vsize=13982928 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154526523 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912808973168 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13982928 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13982928 memory=5784 CPUtime=0.31 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) S 27118 27118 23654 0 -1 1077944384 1199 0 0 0 31 0 0 0 20 0 15 0 154526525 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912806869872 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13982928 memory=4616 CPUtime=0.29 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) S 27118 27118 23654 0 -1 1077944384 908 0 0 0 29 0 0 0 20 0 15 0 154526525 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912805817072 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13982928 memory=1928 CPUtime=0.21 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) S 27118 27118 23654 0 -1 1077944384 1203 0 0 0 21 0 0 0 20 0 15 0 154526525 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912804764272 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13982928 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13982928 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154526525 14318518272 32154 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 130000 KiB
[startup+1.50088 s]
/proc/loadavg: 1.38 1.52 1.69 5/218 27134
/proc/meminfo: memFree=22587772/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154526523 14320615424 193699 33554432000 4194304 4196468 140737089027344 139912808973184 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 193699 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13984976 memory=758364 CPUtime=5.11 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) S 27118 27118 23654 0 -1 1077944384 23606 0 0 0 508 3 0 0 20 0 15 0 154526525 14320615424 193699 33554432000 4194304 4196468 140737089027344 139912806869872 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13984976 memory=758364 CPUtime=4.82 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) S 27118 27118 23654 0 -1 1077944384 17948 0 0 0 480 2 0 0 20 0 15 0 154526525 14320615424 193699 33554432000 4194304 4196468 140737089027344 139912805817072 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13984976 memory=1384 CPUtime=0.72 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) S 27118 27118 23654 0 -1 1077944384 6029 0 0 0 70 2 0 0 20 0 15 0 154526525 14320615424 193699 33554432000 4194304 4196468 140737089027344 139912804764272 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13984976 memory=750152 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 193699 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 696 0 0 0 3 2 0 0 20 0 15 0 154526525 14320615424 193699 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 113.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 776180 KiB
[startup+162.301 s]
/proc/loadavg: 1.81 1.65 1.70 3/218 27214
/proc/meminfo: memFree=22030652/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
[pid=27120] ppid=27118 vsize=13984976 memory=756348 CPUtime=173.59 cores=1,3,5,7
/proc/27120/stat : 27120 (java) S 27118 27118 23654 0 -1 1077944320 75383 0 0 0 17321 38 0 0 20 0 15 0 154526519 14320615424 189087 33554432000 4194304 4196468 140737089027344 140737089009888 139913337462519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
/proc/27120/statm: 3496244 189087 3256 1 0 3483478 0
[pid=27120/tid=27121] ppid=27118 vsize=13984976 memory=756348 CPUtime=162.15 cores=1,3,5,7
/proc/27120/task/27121/stat : 27121 (java) R 27118 27118 23654 0 -1 4202560 15660 0 0 0 16205 10 0 0 20 0 15 0 154526520 14320615424 189087 33554432000 4194304 4196468 140737089027344 139913341700632 139912943424096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27122] ppid=27118 vsize=13984976 memory=756348 CPUtime=0.12 cores=1,3,5,7
/proc/27120/task/27122/stat : 27122 (java) S 27118 27118 23654 0 -1 1077944384 1630 0 0 0 8 4 0 0 20 0 15 0 154526521 14320615424 189087 33554432000 4194304 4196468 140737089027344 139913267551376 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27123] ppid=27118 vsize=13984976 memory=756348 CPUtime=0.11 cores=1,3,5,7
/proc/27120/task/27123/stat : 27123 (java) S 27118 27118 23654 0 -1 1077944384 697 0 0 0 8 3 0 0 20 0 15 0 154526521 14320615424 189087 33554432000 4194304 4196468 140737089027344 139913266498576 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27124] ppid=27118 vsize=13984976 memory=1384 CPUtime=0.1 cores=1,3,5,7
/proc/27120/task/27124/stat : 27124 (java) S 27118 27118 23654 0 -1 1077944384 1639 0 0 0 7 3 0 0 20 0 15 0 154526521 14320615424 189087 33554432000 4194304 4196468 140737089027344 139913265445776 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27125] ppid=27118 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/27120/task/27125/stat : 27125 (java) S 27118 27118 23654 0 -1 1077944384 615 0 0 0 7 4 0 0 20 0 15 0 154526521 14320615424 189087 33554432000 4194304 4196468 140737089027344 139913264392976 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27126] ppid=27118 vsize=13984976 memory=756348 CPUtime=0.01 cores=1,3,5,7
/proc/27120/task/27126/stat : 27126 (java) S 27118 27118 23654 0 -1 1077944384 1408 0 0 0 1 0 0 0 20 0 15 0 154526522 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912811080048 139913337473666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27127] ppid=27118 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27127/stat : 27127 (java) S 27118 27118 23654 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154526522 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912810026080 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27128] ppid=27118 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154526523 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912808973184 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13984976 memory=756348 CPUtime=5.16 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) S 27118 27118 23654 0 -1 1077944384 24978 0 0 0 513 3 0 0 20 0 15 0 154526525 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912806869872 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13984976 memory=766104 CPUtime=4.92 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) S 27118 27118 23654 0 -1 1077944384 20031 0 0 0 490 2 0 0 20 0 15 0 154526525 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912805817072 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13984976 memory=1384 CPUtime=0.73 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) S 27118 27118 23654 0 -1 1077944384 6638 0 0 0 71 2 0 0 20 0 15 0 154526525 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912804764272 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13984976 memory=756348 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 735 0 0 0 5 3 0 0 20 0 15 0 154526525 14320615424 189087 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 173.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 757732 KiB
[startup+222.301 s]
/proc/loadavg: 1.69 1.64 1.69 3/217 27216
/proc/meminfo: memFree=22044716/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
[pid=27120] ppid=27118 vsize=13984976 memory=745060 CPUtime=233.83 cores=1,3,5,7
/proc/27120/stat : 27120 (java) S 27118 27118 23654 0 -1 1077944320 78223 0 0 0 23343 40 0 0 20 0 15 0 154526519 14320615424 186265 33554432000 4194304 4196468 140737089027344 140737089009888 139913337462519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
/proc/27120/statm: 3496244 186265 3256 1 0 3483478 0
[pid=27120/tid=27121] ppid=27118 vsize=13984976 memory=745060 CPUtime=222.14 cores=1,3,5,7
/proc/27120/task/27121/stat : 27121 (java) R 27118 27118 23654 0 -1 4202560 16678 0 0 0 22204 10 0 0 20 0 15 0 154526520 14320615424 186265 33554432000 4194304 4196468 140737089027344 139913341698432 139912943425387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27122] ppid=27118 vsize=13984976 memory=745060 CPUtime=0.13 cores=1,3,5,7
/proc/27120/task/27122/stat : 27122 (java) S 27118 27118 23654 0 -1 1077944384 1871 0 0 0 9 4 0 0 20 0 15 0 154526521 14320615424 186265 33554432000 4194304 4196468 140737089027344 139913267551376 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27123] ppid=27118 vsize=13984976 memory=745060 CPUtime=0.12 cores=1,3,5,7
/proc/27120/task/27123/stat : 27123 (java) S 27118 27118 23654 0 -1 1077944384 738 0 0 0 9 3 0 0 20 0 15 0 154526521 14320615424 186265 33554432000 4194304 4196468 140737089027344 139913266498576 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27124] ppid=27118 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/27120/task/27124/stat : 27124 (java) S 27118 27118 23654 0 -1 1077944384 1666 0 0 0 8 3 0 0 20 0 15 0 154526521 14320615424 186265 33554432000 4194304 4196468 140737089027344 139913265445776 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27125] ppid=27118 vsize=13984976 memory=1296 CPUtime=0.12 cores=1,3,5,7
/proc/27120/task/27125/stat : 27125 (java) S 27118 27118 23654 0 -1 1077944384 651 0 0 0 8 4 0 0 20 0 15 0 154526521 14320615424 186265 33554432000 4194304 4196468 140737089027344 139913264392976 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27126] ppid=27118 vsize=13984976 memory=745060 CPUtime=0.01 cores=1,3,5,7
/proc/27120/task/27126/stat : 27126 (java) S 27118 27118 23654 0 -1 1077944384 1418 0 0 0 1 0 0 0 20 0 15 0 154526522 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912811080048 139913337473666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27127] ppid=27118 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27127/stat : 27127 (java) S 27118 27118 23654 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154526522 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912810026080 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27128] ppid=27118 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154526523 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912808973184 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13984976 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13984976 memory=42792 CPUtime=5.24 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) S 27118 27118 23654 0 -1 1077944384 26057 0 0 0 521 3 0 0 20 0 15 0 154526525 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912806869872 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13984976 memory=4012 CPUtime=5.01 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) S 27118 27118 23654 0 -1 1077944384 20315 0 0 0 499 2 0 0 20 0 15 0 154526525 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912805817072 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13984976 memory=42792 CPUtime=0.73 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) S 27118 27118 23654 0 -1 1077944384 6682 0 0 0 71 2 0 0 20 0 15 0 154526525 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912804764272 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13984976 memory=745060 CPUtime=0.11 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 795 0 0 0 6 5 0 0 20 0 15 0 154526525 14320615424 186265 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 233.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 746444 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.71 1.64 1.69 3/217 27216
/proc/meminfo: memFree=22057756/32770624 swapFree=67108860/67108860
[pid=27118] ppid=27115 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27118/stat : 27118 (xcsp3-exec) S 27115 27118 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154526519 9740288 346 33554432000 4194304 5098028 140728308758592 140728308756696 140138530251388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33488896 140728308765813 140728308766016 140728308766016 140728308768747 0
/proc/27118/statm: 2378 346 289 221 0 87 0
[pid=27120] ppid=27118 vsize=13984976 memory=731816 CPUtime=251.64 cores=1,3,5,7
/proc/27120/stat : 27120 (java) S 27118 27118 23654 0 -1 1077944320 82266 0 0 0 25122 42 0 0 20 0 15 0 154526519 14320615424 182954 33554432000 4194304 4196468 140737089027344 140737089009888 139913337462519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
/proc/27120/statm: 3496244 182954 3259 1 0 3483478 0
[pid=27120/tid=27121] ppid=27118 vsize=13984976 memory=2240 CPUtime=239.83 cores=1,3,5,7
/proc/27120/task/27121/stat : 27121 (java) R 27118 27118 23654 0 -1 4202560 17394 0 0 0 23973 10 0 0 20 0 15 0 154526520 14320615424 182954 33554432000 4194304 4196468 140737089027344 139913341700928 139912947176982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27122] ppid=27118 vsize=13984976 memory=4128 CPUtime=0.14 cores=1,3,5,7
/proc/27120/task/27122/stat : 27122 (java) S 27118 27118 23654 0 -1 1077944384 1892 0 0 0 10 4 0 0 20 0 15 0 154526521 14320615424 182954 33554432000 4194304 4196468 140737089027344 139913267551376 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27123] ppid=27118 vsize=13984976 memory=731816 CPUtime=0.13 cores=1,3,5,7
/proc/27120/task/27123/stat : 27123 (java) S 27118 27118 23654 0 -1 1077944384 890 0 0 0 10 3 0 0 20 0 15 0 154526521 14320615424 182954 33554432000 4194304 4196468 140737089027344 139913266498576 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27124] ppid=27118 vsize=13984976 memory=4872558044660077418 CPUtime=0.13 cores=1,3,5,7
/proc/27120/task/27124/stat : 27124 (java) S 27118 27118 23654 0 -1 1077944384 1704 0 0 0 9 4 0 0 20 0 15 0 154526521 14320615424 182954 33554432000 4194304 4196468 140737089027344 139913265445776 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27125] ppid=27118 vsize=13984976 memory=23588 CPUtime=0.13 cores=1,3,5,7
/proc/27120/task/27125/stat : 27125 (java) S 27118 27118 23654 0 -1 1077944384 754 0 0 0 9 4 0 0 20 0 15 0 154526521 14320615424 182954 33554432000 4194304 4196468 140737089027344 139913264392976 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27126] ppid=27118 vsize=13984976 memory=16432 CPUtime=0.01 cores=1,3,5,7
/proc/27120/task/27126/stat : 27126 (java) S 27118 27118 23654 0 -1 1077944384 1619 0 0 0 1 0 0 0 20 0 15 0 154526522 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912811080048 139913337473666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27127] ppid=27118 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27127/stat : 27127 (java) S 27118 27118 23654 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154526522 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912810026080 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27128] ppid=27118 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27128/stat : 27128 (java) S 27118 27118 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154526523 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912808973184 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27129] ppid=27118 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27129/stat : 27129 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912807921488 139913337481115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27130] ppid=27118 vsize=13984976 memory=960 CPUtime=5.27 cores=1,3,5,7
/proc/27120/task/27130/stat : 27130 (java) S 27118 27118 23654 0 -1 1077944384 27565 0 0 0 524 3 0 0 20 0 15 0 154526525 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912806869872 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27131] ppid=27118 vsize=13984976 memory=6791534058613427641 CPUtime=5.04 cores=1,3,5,7
/proc/27120/task/27131/stat : 27131 (java) S 27118 27118 23654 0 -1 1077944384 21616 0 0 0 502 2 0 0 20 0 15 0 154526525 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912805817072 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27132] ppid=27118 vsize=13984976 memory=4616 CPUtime=0.73 cores=1,3,5,7
/proc/27120/task/27132/stat : 27132 (java) S 27118 27118 23654 0 -1 1077944384 6682 0 0 0 71 2 0 0 20 0 15 0 154526525 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912804764272 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27133] ppid=27118 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/27120/task/27133/stat : 27133 (java) S 27118 27118 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154526525 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912803711712 139913337472725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
[pid=27120/tid=27134] ppid=27118 vsize=13984976 memory=7540 CPUtime=0.12 cores=1,3,5,7
/proc/27120/task/27134/stat : 27134 (java) S 27118 27118 23654 0 -1 1077944384 798 0 0 0 7 5 0 0 20 0 15 0 154526525 14320615424 182954 33554432000 4194304 4196468 140737089027344 139912802658992 139913337473666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 10375168 140737089033373 140737089033548 140737089033548 140737089036239 0
Current children cumulated CPU time: 251.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 733200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 27118 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00092 s, system=0.00092 s
[startup+240.026 s]
# the end of solver process 27120 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.237 s, system=0.434238 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.026
CPU time (s): 251.672
CPU user time (s): 251.237
CPU system time (s): 0.434238
CPU usage (%): 104.852
Max. virtual memory (cumulated for all children) (KiB): 13996836
Max. memory (cumulated for all children) (KiB): 776188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.237
system time used= 0.434238
maximum resident set size= 776872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8753
involuntary context switches= 184
# summary of solver processes directly reported to runsolver:
# pid: 27118,27120
# total CPU time (s): 251.672
# total CPU user time (s): 251.237
# total CPU system time (s): 0.434238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46439 second user time and 2.49587 second system time
The end