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 (12194 MiB free)
memory of node 1: 16384 MiB (13672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283115-1503215728/watcher-4283115-1503215728 -o /tmp/evaluation-result-4283115-1503215728/solver-4283115-1503215728 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21141 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2080914938 HOME/instance-4283115-1503215728.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=26893, runsolver pid=26890
[startup+0.100204 s]*
/proc/loadavg: 2.51 2.10 1.98 3/218 26909
/proc/meminfo: memFree=26470356/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
[pid=26895] ppid=26893 vsize=13978596 memory=28544 CPUtime=0.12 cores=1,3,5,7
/proc/26895/stat : 26895 (java) S 26893 26893 21109 0 -1 1077944320 5472 0 0 0 11 1 0 0 20 0 15 0 154660370 14314082304 7136 33554432000 4194304 4196468 140728254291392 140728254273936 140183580778231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
/proc/26895/statm: 3494649 7136 2888 1 0 3482966 0
[pid=26895/tid=26896] ppid=26893 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26895/task/26896/stat : 26896 (java) R 26893 26893 21109 0 -1 4202560 3441 0 0 0 8 1 0 0 20 0 15 0 154660370 14314082304 7136 33554432000 4194304 4196468 140728254291392 140183585009920 140183186048524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26897] ppid=26893 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26897/stat : 26897 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14314082304 7136 33554432000 4194304 4196468 140728254291392 140183510866192 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26898] ppid=26893 vsize=13978596 memory=139734770521728 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26898/stat : 26898 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14314082304 7136 33554432000 4194304 4196468 140728254291392 140183509813648 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26899] ppid=26893 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26899/stat : 26899 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14314082304 7136 33554432000 4194304 4196468 140728254291392 140183508761104 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26900] ppid=26893 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26900/stat : 26900 (java) S 26893 26893 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154660371 14314082304 7136 33554432000 4194304 4196468 140728254291392 140183507708560 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26901] ppid=26893 vsize=13978596 memory=139734770521728 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26901/stat : 26901 (java) S 26893 26893 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154660372 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182920215024 140183580789378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26902] ppid=26893 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26902/stat : 26902 (java) S 26893 26893 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154660373 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182919161248 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26903] ppid=26893 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154660373 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) S 26893 26893 21109 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 154660375 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182916003824 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182914951280 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13978596 memory=139734770521728 CPUtime=0.01 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) R 26893 26893 21109 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 15 0 154660375 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182913898736 140183560747007 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13978596 memory=139734770521728 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660376 14314082304 7136 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29928 KiB
[startup+0.210681 s]*
/proc/loadavg: 2.51 2.10 1.98 4/218 26909
/proc/meminfo: memFree=26459060/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
[pid=26895] ppid=26893 vsize=13982852 memory=40700 CPUtime=0.34 cores=1,3,5,7
/proc/26895/stat : 26895 (java) S 26893 26893 21109 0 -1 1077944320 8262 0 0 0 31 3 0 0 20 0 15 0 154660370 14318440448 10175 33554432000 4194304 4196468 140728254291392 140728254273936 140183580778231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
/proc/26895/statm: 3495713 10175 3074 1 0 3482966 0
[pid=26895/tid=26896] ppid=26893 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26895/task/26896/stat : 26896 (java) R 26893 26893 21109 0 -1 4202560 5397 0 0 0 18 2 0 0 20 0 15 0 154660370 14318440448 10175 33554432000 4194304 4196468 140728254291392 140183585000512 140183564858718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26897] ppid=26893 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26897/stat : 26897 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14318440448 10175 33554432000 4194304 4196468 140728254291392 140183510866192 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26898] ppid=26893 vsize=13982852 memory=139734771264844 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26898/stat : 26898 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14318440448 10175 33554432000 4194304 4196468 140728254291392 140183509813648 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26899] ppid=26893 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26899/stat : 26899 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14318440448 10175 33554432000 4194304 4196468 140728254291392 140183508761104 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26900] ppid=26893 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26900/stat : 26900 (java) S 26893 26893 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154660371 14318440448 10175 33554432000 4194304 4196468 140728254291392 140183507708560 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26901] ppid=26893 vsize=13982852 memory=139734770521728 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26901/stat : 26901 (java) S 26893 26893 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154660372 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182920215024 140183580789378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26902] ppid=26893 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26902/stat : 26902 (java) S 26893 26893 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154660373 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182919161248 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26903] ppid=26893 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154660373 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) S 26893 26893 21109 0 -1 1077944384 760 0 0 0 3 0 0 0 20 0 15 0 154660375 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182916003824 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) S 26893 26893 21109 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 15 0 154660375 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182914951280 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13982852 memory=139734770521728 CPUtime=0.07 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) R 26893 26893 21109 0 -1 4202560 730 0 0 0 7 0 0 0 20 0 15 0 154660375 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182913898736 140183573015358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660376 14318440448 10175 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42084 KiB
[startup+0.31061 s]*
/proc/loadavg: 2.51 2.10 1.98 5/218 26909
/proc/meminfo: memFree=26452608/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
[pid=26895] ppid=26893 vsize=13982928 memory=47844 CPUtime=0.52 cores=1,3,5,7
/proc/26895/stat : 26895 (java) S 26893 26893 21109 0 -1 1077944320 9153 0 0 0 49 3 0 0 20 0 15 0 154660370 14318518272 11961 33554432000 4194304 4196468 140728254291392 140728254273936 140183580778231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
/proc/26895/statm: 3495732 11961 3121 1 0 3482966 0
[pid=26895/tid=26896] ppid=26893 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26895/task/26896/stat : 26896 (java) R 26893 26893 21109 0 -1 4202560 6053 0 0 0 28 2 0 0 20 0 15 0 154660370 14318518272 11961 33554432000 4194304 4196468 140728254291392 140183585010560 140183564858718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26897] ppid=26893 vsize=13982928 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26897/stat : 26897 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14318518272 11961 33554432000 4194304 4196468 140728254291392 140183510866192 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26898] ppid=26893 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26898/stat : 26898 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14318518272 11961 33554432000 4194304 4196468 140728254291392 140183509813648 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26899] ppid=26893 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26899/stat : 26899 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14318518272 11961 33554432000 4194304 4196468 140728254291392 140183508761104 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26900] ppid=26893 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26900/stat : 26900 (java) S 26893 26893 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154660371 14318518272 11961 33554432000 4194304 4196468 140728254291392 140183507708560 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26901] ppid=26893 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26901/stat : 26901 (java) S 26893 26893 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154660372 14318518272 11961 33554432000 4194304 4196468 140728254291392 140182920215024 140183580789378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26902] ppid=26893 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26902/stat : 26902 (java) S 26893 26893 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154660373 14318518272 11961 33554432000 4194304 4196468 140728254291392 140182919161248 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26903] ppid=26893 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154660373 14318518272 12026 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14318518272 12026 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13982928 memory=4713750055892520310 CPUtime=0.05 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) S 26893 26893 21109 0 -1 1077944384 828 0 0 0 5 0 0 0 20 0 15 0 154660375 14318518272 12026 33554432000 4194304 4196468 140728254291392 140182916003824 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13982928 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) S 26893 26893 21109 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 15 0 154660375 14318518272 12026 33554432000 4194304 4196468 140728254291392 140182914951280 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13982928 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) S 26893 26893 21109 0 -1 1077944384 892 0 0 0 13 0 0 0 20 0 15 0 154660375 14318518272 12026 33554432000 4194304 4196468 140728254291392 140182913898736 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14318518272 12026 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660376 14318518272 12026 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49228 KiB
[startup+0.701574 s]
/proc/loadavg: 2.51 2.10 1.98 4/218 26909
/proc/meminfo: memFree=26436544/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
[pid=26895] ppid=26893 vsize=13984976 memory=74540 CPUtime=1.61 cores=1,3,5,7
/proc/26895/stat : 26895 (java) S 26893 26893 21109 0 -1 1077944320 13869 0 0 0 156 5 0 0 20 0 15 0 154660370 14320615424 18635 33554432000 4194304 4196468 140728254291392 140728254273936 140183580778231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
/proc/26895/statm: 3496244 18635 3211 1 0 3483478 0
[pid=26895/tid=26896] ppid=26893 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26895/task/26896/stat : 26896 (java) R 26893 26893 21109 0 -1 4202560 6881 0 0 0 64 3 0 0 20 0 15 0 154660370 14320615424 18635 33554432000 4194304 4196468 140728254291392 140183585015792 140183189231936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26897] ppid=26893 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26897/stat : 26897 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14320615424 18635 33554432000 4194304 4196468 140728254291392 140183510866192 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26898] ppid=26893 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26898/stat : 26898 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14320615424 18635 33554432000 4194304 4196468 140728254291392 140183509813648 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26899] ppid=26893 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26899/stat : 26899 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660371 14320615424 18635 33554432000 4194304 4196468 140728254291392 140183508761104 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26900] ppid=26893 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26900/stat : 26900 (java) S 26893 26893 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154660371 14320615424 18635 33554432000 4194304 4196468 140728254291392 140183507708560 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26901] ppid=26893 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26901/stat : 26901 (java) S 26893 26893 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154660372 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182920215024 140183580789378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26902] ppid=26893 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26902/stat : 26902 (java) S 26893 26893 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182919161248 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26903] ppid=26893 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) R 26893 26893 21109 0 -1 4202560 2155 0 0 0 30 0 0 0 20 0 15 0 154660375 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182915994768 140183566794016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13984976 memory=3472342813841254755 CPUtime=0.26 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) R 26893 26893 21109 0 -1 4202560 1511 0 0 0 26 0 0 0 20 0 15 0 154660375 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182914931544 140183560466656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13984976 memory=7235710536107713129 CPUtime=0.34 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) S 26893 26893 21109 0 -1 1077944384 2015 0 0 0 34 0 0 0 20 0 15 0 154660375 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182913898736 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13984976 memory=7955166091236687980 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154660376 14320615424 18635 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75924 KiB
[startup+1.50085 s]
/proc/loadavg: 2.63 2.13 1.99 5/218 26909
/proc/meminfo: memFree=26415772/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 42310 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13984976 memory=288370334942771736 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14320615424 42310 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13984976 memory=167088 CPUtime=1.61 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) S 26893 26893 21109 0 -1 1077944384 11318 0 0 0 160 1 0 0 20 0 15 0 154660375 14320615424 42310 33554432000 4194304 4196468 140728254291392 140182916003824 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13984976 memory=279469227235632 CPUtime=1.53 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) S 26893 26893 21109 0 -1 1077944384 8967 0 0 0 152 1 0 0 20 0 15 0 154660375 14320615424 42310 33554432000 4194304 4196468 140728254291392 140182914951280 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13984976 memory=164 CPUtime=0.45 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) S 26893 26893 21109 0 -1 1077944384 5434 0 0 0 44 1 0 0 20 0 15 0 154660375 14320615424 42310 33554432000 4194304 4196468 140728254291392 140182913898736 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14320615424 42310 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13984976 memory=8960 CPUtime=0.02 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 901 0 0 0 1 1 0 0 20 0 15 0 154660376 14320615424 42310 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 106.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 170624 KiB
[startup+162.301 s]
/proc/loadavg: 1.85 2.02 1.98 3/218 26911
/proc/meminfo: memFree=26318524/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
[pid=26895] ppid=26893 vsize=13984976 memory=179296 CPUtime=166.44 cores=1,3,5,7
/proc/26895/stat : 26895 (java) S 26893 26893 21109 0 -1 1077944320 48091 0 0 0 16624 20 0 0 20 0 15 0 154660370 14320615424 44824 33554432000 4194304 4196468 140728254291392 140728254273936 140183580778231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
/proc/26895/statm: 3496244 44824 3250 1 0 3483478 0
[pid=26895/tid=26896] ppid=26893 vsize=13984976 memory=177248 CPUtime=161.8 cores=1,3,5,7
/proc/26895/task/26896/stat : 26896 (java) R 26893 26893 21109 0 -1 4202560 12250 0 0 0 16175 5 0 0 20 0 15 0 154660370 14320615424 44824 33554432000 4194304 4196468 140728254291392 140183585017696 140183190000406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26897] ppid=26893 vsize=13984976 memory=179296 CPUtime=0.18 cores=1,3,5,7
/proc/26895/task/26897/stat : 26897 (java) S 26893 26893 21109 0 -1 1077944384 1044 0 0 0 15 3 0 0 20 0 15 0 154660371 14320615424 44824 33554432000 4194304 4196468 140728254291392 140183510866192 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26898] ppid=26893 vsize=13984976 memory=1384 CPUtime=0.18 cores=1,3,5,7
/proc/26895/task/26898/stat : 26898 (java) S 26893 26893 21109 0 -1 1077944384 1044 0 0 0 16 2 0 0 20 0 15 0 154660371 14320615424 44824 33554432000 4194304 4196468 140728254291392 140183509813648 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26899] ppid=26893 vsize=13984976 memory=796 CPUtime=0.18 cores=1,3,5,7
/proc/26895/task/26899/stat : 26899 (java) S 26893 26893 21109 0 -1 1077944384 2458 0 0 0 16 2 0 0 20 0 15 0 154660371 14320615424 44824 33554432000 4194304 4196468 140728254291392 140183508761104 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26900] ppid=26893 vsize=13984976 memory=1424 CPUtime=0.19 cores=1,3,5,7
/proc/26895/task/26900/stat : 26900 (java) S 26893 26893 21109 0 -1 1077944384 1155 0 0 0 17 2 0 0 20 0 15 0 154660371 14320615424 44824 33554432000 4194304 4196468 140728254291392 140183507708560 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26901] ppid=26893 vsize=13984976 memory=1384 CPUtime=0.18 cores=1,3,5,7
/proc/26895/task/26901/stat : 26901 (java) S 26893 26893 21109 0 -1 1077944384 1930 0 0 0 17 1 0 0 20 0 15 0 154660372 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182920215024 140183580789378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26902] ppid=26893 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26902/stat : 26902 (java) S 26893 26893 21109 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182919161248 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26903] ppid=26893 vsize=13984976 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13984976 memory=3056 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13984976 memory=640 CPUtime=1.62 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) S 26893 26893 21109 0 -1 1077944384 11326 0 0 0 161 1 0 0 20 0 15 0 154660375 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182916003824 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13984976 memory=952 CPUtime=1.53 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) S 26893 26893 21109 0 -1 1077944384 8970 0 0 0 152 1 0 0 20 0 15 0 154660375 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182914951280 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13984976 memory=1296 CPUtime=0.45 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) S 26893 26893 21109 0 -1 1077944384 5625 0 0 0 44 1 0 0 20 0 15 0 154660375 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182913898736 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13984976 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 926 0 0 0 2 2 0 0 20 0 15 0 154660376 14320615424 44824 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 166.44 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 180680 KiB
[startup+222.301 s]
/proc/loadavg: 1.85 1.99 1.97 3/218 26992
/proc/meminfo: memFree=26319068/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
[pid=26895] ppid=26893 vsize=13984976 memory=186040 CPUtime=226.74 cores=1,3,5,7
/proc/26895/stat : 26895 (java) S 26893 26893 21109 0 -1 1077944320 48574 0 0 0 22650 24 0 0 20 0 15 0 154660370 14320615424 46510 33554432000 4194304 4196468 140728254291392 140728254273936 140183580778231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
/proc/26895/statm: 3496244 46510 3250 1 0 3483478 0
[pid=26895/tid=26896] ppid=26893 vsize=13984976 memory=186040 CPUtime=221.56 cores=1,3,5,7
/proc/26895/task/26896/stat : 26896 (java) R 26893 26893 21109 0 -1 4202560 12503 0 0 0 22151 5 0 0 20 0 15 0 154660370 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183585017904 140183190830273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26897] ppid=26893 vsize=13984976 memory=186040 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26897/stat : 26897 (java) S 26893 26893 21109 0 -1 1077944384 1094 0 0 0 26 3 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183510866192 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26898] ppid=26893 vsize=13984976 memory=186040 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26898/stat : 26898 (java) S 26893 26893 21109 0 -1 1077944384 1101 0 0 0 26 3 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183509813648 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26899] ppid=26893 vsize=13984976 memory=1384 CPUtime=0.28 cores=1,3,5,7
/proc/26895/task/26899/stat : 26899 (java) S 26893 26893 21109 0 -1 1077944384 2515 0 0 0 25 3 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183508761104 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26900] ppid=26893 vsize=13984976 memory=186040 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26900/stat : 26900 (java) S 26893 26893 21109 0 -1 1077944384 1204 0 0 0 27 2 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183507708560 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26901] ppid=26893 vsize=13984976 memory=1384 CPUtime=0.28 cores=1,3,5,7
/proc/26895/task/26901/stat : 26901 (java) S 26893 26893 21109 0 -1 1077944384 1943 0 0 0 26 2 0 0 20 0 15 0 154660372 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182920215024 140183580789378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26902] ppid=26893 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26902/stat : 26902 (java) S 26893 26893 21109 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182919161248 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26903] ppid=26893 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13984976 memory=21723 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13984976 memory=186040 CPUtime=1.62 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) S 26893 26893 21109 0 -1 1077944384 11326 0 0 0 161 1 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182916003824 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13984976 memory=1720 CPUtime=1.53 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) S 26893 26893 21109 0 -1 1077944384 8970 0 0 0 152 1 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182914951280 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13984976 memory=1384 CPUtime=0.45 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) S 26893 26893 21109 0 -1 1077944384 5625 0 0 0 44 1 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182913898736 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13984976 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 930 0 0 0 3 3 0 0 20 0 15 0 154660376 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 226.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 187424 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.81 1.97 1.96 3/217 26993
/proc/meminfo: memFree=26318596/32770624 swapFree=67108860/67108860
[pid=26893] ppid=26890 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26893/stat : 26893 (xcsp3-exec) S 26890 26893 21109 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154660370 9740288 346 33554432000 4194304 5098028 140729813706656 140729813704760 140137529311868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15847424 140729813714036 140729813714240 140729813714240 140729813716971 0
/proc/26893/statm: 2378 346 289 221 0 87 0
[pid=26895] ppid=26893 vsize=13984976 memory=186040 CPUtime=244.46 cores=1,3,5,7
/proc/26895/stat : 26895 (java) S 26893 26893 21109 0 -1 1077944320 48584 0 0 0 24422 24 0 0 20 0 15 0 154660370 14320615424 46510 33554432000 4194304 4196468 140728254291392 140728254273936 140183580778231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
/proc/26895/statm: 3496244 46510 3250 1 0 3483478 0
[pid=26895/tid=26896] ppid=26893 vsize=13984976 memory=6791534058613427641 CPUtime=239.26 cores=1,3,5,7
/proc/26895/task/26896/stat : 26896 (java) R 26893 26893 21109 0 -1 4202560 12509 0 0 0 23921 5 0 0 20 0 15 0 154660370 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183585018048 140183190552202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26897] ppid=26893 vsize=13984976 memory=1160 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26897/stat : 26897 (java) S 26893 26893 21109 0 -1 1077944384 1095 0 0 0 26 3 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183510866192 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26898] ppid=26893 vsize=13984976 memory=1384 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26898/stat : 26898 (java) S 26893 26893 21109 0 -1 1077944384 1103 0 0 0 26 3 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183509813648 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26899] ppid=26893 vsize=13984976 memory=186040 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26899/stat : 26899 (java) S 26893 26893 21109 0 -1 1077944384 2515 0 0 0 26 3 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183508761104 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26900] ppid=26893 vsize=13984976 memory=-8341965534556230502 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26900/stat : 26900 (java) S 26893 26893 21109 0 -1 1077944384 1205 0 0 0 27 2 0 0 20 0 15 0 154660371 14320615424 46510 33554432000 4194304 4196468 140728254291392 140183507708560 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26901] ppid=26893 vsize=13984976 memory=1160 CPUtime=0.29 cores=1,3,5,7
/proc/26895/task/26901/stat : 26901 (java) S 26893 26893 21109 0 -1 1077944384 1943 0 0 0 27 2 0 0 20 0 15 0 154660372 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182920215024 140183580789378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26902] ppid=26893 vsize=13984976 memory=2908 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26902/stat : 26902 (java) S 26893 26893 21109 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182919161248 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26903] ppid=26893 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26903/stat : 26903 (java) S 26893 26893 21109 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154660373 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182918108656 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26904] ppid=26893 vsize=13984976 memory=218428 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26904/stat : 26904 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182917057232 140183580796827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26905] ppid=26893 vsize=13984976 memory=6791534058613427641 CPUtime=1.62 cores=1,3,5,7
/proc/26895/task/26905/stat : 26905 (java) S 26893 26893 21109 0 -1 1077944384 11326 0 0 0 161 1 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182916003824 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26906] ppid=26893 vsize=13984976 memory=4132 CPUtime=1.53 cores=1,3,5,7
/proc/26895/task/26906/stat : 26906 (java) S 26893 26893 21109 0 -1 1077944384 8970 0 0 0 152 1 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182914951280 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26907] ppid=26893 vsize=13984976 memory=42768 CPUtime=0.45 cores=1,3,5,7
/proc/26895/task/26907/stat : 26907 (java) S 26893 26893 21109 0 -1 1077944384 5625 0 0 0 44 1 0 0 20 0 15 0 154660375 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182913898736 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26908] ppid=26893 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26895/task/26908/stat : 26908 (java) S 26893 26893 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154660376 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182912846432 140183580788437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
[pid=26895/tid=26909] ppid=26893 vsize=13984976 memory=2408 CPUtime=0.06 cores=1,3,5,7
/proc/26895/task/26909/stat : 26909 (java) S 26893 26893 21109 0 -1 1077944384 930 0 0 0 3 3 0 0 20 0 15 0 154660376 14320615424 46510 33554432000 4194304 4196468 140728254291392 140182911793968 140183580789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 9183232 140728254297245 140728254297420 140728254297420 140728254300111 0
Current children cumulated CPU time: 244.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 187424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 26893 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000942 s, system=0.000942 s
[startup+240.023 s]
# the end of solver process 26895 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.235 s, system=0.252418 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.023
CPU time (s): 244.488
CPU user time (s): 244.235
CPU system time (s): 0.252418
CPU usage (%): 101.86
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 206840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.235
system time used= 0.252418
maximum resident set size= 207504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14864
involuntary context switches= 363
# summary of solver processes directly reported to runsolver:
# pid: 26893,26895
# total CPU time (s): 244.488
# total CPU user time (s): 244.235
# total CPU system time (s): 0.252418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36906 second user time and 2.34856 second system time
The end