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 (12156 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-4282753-1503213985/watcher-4282753-1503213985 -o /tmp/evaluation-result-4282753-1503213985/solver-4282753-1503213985 -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 797670488 HOME/instance-4282753-1503213985.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=25116, runsolver pid=25113
[startup+0.100091 s]*
/proc/loadavg: 1.72 1.73 1.77 3/218 25132
/proc/meminfo: memFree=26430324/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
[pid=25118] ppid=25116 vsize=13978596 memory=28592 CPUtime=0.12 cores=1,3,5,7
/proc/25118/stat : 25118 (java) S 25116 25116 21109 0 -1 1077944320 5090 0 0 0 11 1 0 0 20 0 15 0 154486067 14314082304 7148 33554432000 4194304 4196468 140725970948848 140725970931392 140658437136119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
/proc/25118/statm: 3494649 7148 2867 1 0 3482966 0
[pid=25118/tid=25119] ppid=25116 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/25118/task/25119/stat : 25119 (java) R 25116 25116 21109 0 -1 4202560 3015 0 0 0 8 0 0 0 20 0 15 0 154486067 14314082304 7148 33554432000 4194304 4196468 140725970948848 140658441369472 140658437158045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25120] ppid=25116 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25120/stat : 25120 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14314082304 7148 33554432000 4194304 4196468 140725970948848 140658033211792 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25121] ppid=25116 vsize=13978596 memory=139924540065408 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25121/stat : 25121 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14314082304 7148 33554432000 4194304 4196468 140725970948848 140658032158992 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25122] ppid=25116 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25122/stat : 25122 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14314082304 7148 33554432000 4194304 4196468 140725970948848 140658031106704 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25123] ppid=25116 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25123/stat : 25123 (java) S 25116 25116 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154486068 14314082304 7148 33554432000 4194304 4196468 140725970948848 140658030053904 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25124] ppid=25116 vsize=13978596 memory=139924540065408 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25124/stat : 25124 (java) S 25116 25116 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154486069 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657978501744 140658437147266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25125] ppid=25116 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25125/stat : 25125 (java) S 25116 25116 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154486070 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657977447712 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25126] ppid=25116 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154486070 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657976395376 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) S 25116 25116 21109 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 154486072 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) S 25116 25116 21109 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154486072 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657973237744 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13978596 memory=139924540065408 CPUtime=0.01 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) S 25116 25116 21109 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 154486072 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657972185456 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13978596 memory=139924540065408 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486073 14314082304 7148 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29972 KiB
[startup+0.210622 s]*
/proc/loadavg: 1.72 1.73 1.77 3/218 25132
/proc/meminfo: memFree=26419008/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
[pid=25118] ppid=25116 vsize=13982852 memory=40164 CPUtime=0.33 cores=1,3,5,7
/proc/25118/stat : 25118 (java) S 25116 25116 21109 0 -1 1077944320 7679 0 0 0 30 3 0 0 20 0 15 0 154486067 14318440448 10041 33554432000 4194304 4196468 140725970948848 140725970931392 140658437136119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
/proc/25118/statm: 3495713 10041 3059 1 0 3482966 0
[pid=25118/tid=25119] ppid=25116 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25118/task/25119/stat : 25119 (java) R 25116 25116 21109 0 -1 4202560 4888 0 0 0 18 2 0 0 20 0 15 0 154486067 14318440448 10041 33554432000 4194304 4196468 140725970948848 140658441346032 140658421216606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25120] ppid=25116 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25120/stat : 25120 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 10041 33554432000 4194304 4196468 140725970948848 140658033211792 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25121] ppid=25116 vsize=13982852 memory=139924540808273 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25121/stat : 25121 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 10041 33554432000 4194304 4196468 140725970948848 140658032158992 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25122] ppid=25116 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25122/stat : 25122 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 10041 33554432000 4194304 4196468 140725970948848 140658031106704 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25123] ppid=25116 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25123/stat : 25123 (java) S 25116 25116 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 10041 33554432000 4194304 4196468 140725970948848 140658030053904 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25124] ppid=25116 vsize=13982852 memory=139924540065408 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25124/stat : 25124 (java) S 25116 25116 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154486069 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657978501744 140658437147266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25125] ppid=25116 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25125/stat : 25125 (java) S 25116 25116 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154486070 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657977447712 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25126] ppid=25116 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154486070 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657976395376 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) R 25116 25116 21109 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 15 0 154486072 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) S 25116 25116 21109 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 154486072 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657973237744 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13982852 memory=139924540065408 CPUtime=0.07 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) R 25116 25116 21109 0 -1 4202560 692 0 0 0 7 0 0 0 20 0 15 0 154486072 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657972185456 140658429377509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486073 14318440448 10041 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41544 KiB
[startup+0.310379 s]*
/proc/loadavg: 1.72 1.73 1.77 4/218 25132
/proc/meminfo: memFree=26411804/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
[pid=25118] ppid=25116 vsize=13982852 memory=47804 CPUtime=0.5 cores=1,3,5,7
/proc/25118/stat : 25118 (java) S 25116 25116 21109 0 -1 1077944320 8581 0 0 0 47 3 0 0 20 0 15 0 154486067 14318440448 11951 33554432000 4194304 4196468 140725970948848 140725970931392 140658437136119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
/proc/25118/statm: 3495713 11951 3118 1 0 3482966 0
[pid=25118/tid=25119] ppid=25116 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25118/task/25119/stat : 25119 (java) R 25116 25116 21109 0 -1 4202560 5412 0 0 0 28 2 0 0 20 0 15 0 154486067 14318440448 11951 33554432000 4194304 4196468 140725970948848 140658441375736 140658437158045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25120] ppid=25116 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25120/stat : 25120 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 11951 33554432000 4194304 4196468 140725970948848 140658033211792 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25121] ppid=25116 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25121/stat : 25121 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 11951 33554432000 4194304 4196468 140725970948848 140658032158992 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25122] ppid=25116 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25122/stat : 25122 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 11951 33554432000 4194304 4196468 140725970948848 140658031106704 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25123] ppid=25116 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25123/stat : 25123 (java) S 25116 25116 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154486068 14318440448 11951 33554432000 4194304 4196468 140725970948848 140658030053904 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25124] ppid=25116 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25124/stat : 25124 (java) S 25116 25116 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154486069 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657978501744 140658437147266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25125] ppid=25116 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25125/stat : 25125 (java) S 25116 25116 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154486070 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657977447712 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25126] ppid=25116 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154486070 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657976395376 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) R 25116 25116 21109 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 15 0 154486072 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) R 25116 25116 21109 0 -1 4202560 488 0 0 0 3 0 0 0 20 0 15 0 154486072 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657973237744 140658437143475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) S 25116 25116 21109 0 -1 1077944384 805 0 0 0 12 0 0 0 20 0 15 0 154486072 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657972185456 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486073 14318440448 11951 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49184 KiB
[startup+0.701792 s]
/proc/loadavg: 1.72 1.73 1.77 6/218 25132
/proc/meminfo: memFree=26351984/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
[pid=25118] ppid=25116 vsize=13982928 memory=202172 CPUtime=1.55 cores=1,3,5,7
/proc/25118/stat : 25118 (java) S 25116 25116 21109 0 -1 1077944320 11472 0 0 0 148 7 0 0 20 0 15 0 154486067 14318518272 50543 33554432000 4194304 4196468 140725970948848 140725970931392 140658437136119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
/proc/25118/statm: 3495732 50543 3204 1 0 3482966 0
[pid=25118/tid=25119] ppid=25116 vsize=13982928 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/25118/task/25119/stat : 25119 (java) R 25116 25116 21109 0 -1 4202560 5766 0 0 0 62 4 0 0 20 0 15 0 154486067 14318518272 50543 33554432000 4194304 4196468 140725970948848 140658441374040 140658051132139 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25120] ppid=25116 vsize=13982928 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25120/stat : 25120 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486068 14318518272 50543 33554432000 4194304 4196468 140725970948848 140658033211792 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25121] ppid=25116 vsize=13982928 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25121/stat : 25121 (java) S 25116 25116 21109 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 154486068 14318518272 50543 33554432000 4194304 4196468 140725970948848 140658032158992 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25122] ppid=25116 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25122/stat : 25122 (java) S 25116 25116 21109 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 154486068 14318518272 50543 33554432000 4194304 4196468 140725970948848 140658031106704 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25123] ppid=25116 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25123/stat : 25123 (java) S 25116 25116 21109 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 154486068 14318518272 50543 33554432000 4194304 4196468 140725970948848 140658030053904 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25124] ppid=25116 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25124/stat : 25124 (java) S 25116 25116 21109 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 154486069 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657978501744 140658437147266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25125] ppid=25116 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25125/stat : 25125 (java) S 25116 25116 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154486070 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657977447712 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25126] ppid=25116 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154486070 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657976395376 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13982928 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) S 25116 25116 21109 0 -1 1077944384 1706 0 0 0 30 0 0 0 20 0 15 0 154486072 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13982928 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) S 25116 25116 21109 0 -1 1077944384 1479 0 0 0 30 0 0 0 20 0 15 0 154486072 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657973237744 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13982928 memory=7378976819168963689 CPUtime=0.22 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) S 25116 25116 21109 0 -1 1077944384 1091 0 0 0 22 0 0 0 20 0 15 0 154486072 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657972185456 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13982928 memory=7738993309122904172 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13982928 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154486073 14318518272 50543 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 203552 KiB
[startup+1.50077 s]
/proc/loadavg: 1.72 1.73 1.77 3/218 25132
/proc/meminfo: memFree=26256416/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154486070 14320615424 111298 33554432000 4194304 4196468 140725970948848 140657976395392 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13984976 memory=42732 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14320615424 111298 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13984976 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) S 25116 25116 21109 0 -1 1077944384 7452 0 0 0 128 1 0 0 20 0 15 0 154486072 14320615424 111298 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13984976 memory=92 CPUtime=1.72 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) S 25116 25116 21109 0 -1 1077944384 8401 0 0 0 171 1 0 0 20 0 15 0 154486072 14320615424 111298 33554432000 4194304 4196468 140725970948848 140657973237744 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13984976 memory=445192 CPUtime=0.48 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) S 25116 25116 21109 0 -1 1077944384 4397 0 0 0 47 1 0 0 20 0 15 0 154486072 14320615424 111298 33554432000 4194304 4196468 140725970948848 140657972185456 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14320615424 111298 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13984976 memory=445192 CPUtime=0.06 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 626 0 0 0 3 3 0 0 20 0 15 0 154486073 14320615424 111298 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 106.2 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 446572 KiB
[startup+162.301 s]
/proc/loadavg: 1.79 1.77 1.78 3/218 25134
/proc/meminfo: memFree=26107020/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
[pid=25118] ppid=25116 vsize=13984976 memory=445208 CPUtime=166.24 cores=1,3,5,7
/proc/25118/stat : 25118 (java) S 25116 25116 21109 0 -1 1077944320 34708 0 0 0 16595 29 0 0 20 0 15 0 154486067 14320615424 111302 33554432000 4194304 4196468 140725970948848 140725970931392 140658437136119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
/proc/25118/statm: 3496244 111302 3245 1 0 3483478 0
[pid=25118/tid=25119] ppid=25116 vsize=13984976 memory=445208 CPUtime=162.12 cores=1,3,5,7
/proc/25118/task/25119/stat : 25119 (java) R 25116 25116 21109 0 -1 4202560 10155 0 0 0 16206 6 0 0 20 0 15 0 154486067 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658441372440 140658053237649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25120] ppid=25116 vsize=13984976 memory=445208 CPUtime=0.1 cores=1,3,5,7
/proc/25118/task/25120/stat : 25120 (java) S 25116 25116 21109 0 -1 1077944384 323 0 0 0 7 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658033211792 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25121] ppid=25116 vsize=13984976 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25121/stat : 25121 (java) S 25116 25116 21109 0 -1 1077944384 371 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658032158992 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25122] ppid=25116 vsize=13984976 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25122/stat : 25122 (java) S 25116 25116 21109 0 -1 1077944384 216 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658031106704 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25123] ppid=25116 vsize=13984976 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25123/stat : 25123 (java) S 25116 25116 21109 0 -1 1077944384 225 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658030053904 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25124] ppid=25116 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25124/stat : 25124 (java) S 25116 25116 21109 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 154486069 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657978501744 140658437147266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25125] ppid=25116 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25125/stat : 25125 (java) S 25116 25116 21109 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154486070 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657977447776 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25126] ppid=25116 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154486070 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657976395392 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13984976 memory=11108 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13984976 memory=796 CPUtime=1.3 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) S 25116 25116 21109 0 -1 1077944384 7934 0 0 0 129 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13984976 memory=1692 CPUtime=1.72 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) S 25116 25116 21109 0 -1 1077944384 8404 0 0 0 171 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657973237744 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13984976 memory=916 CPUtime=0.48 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) S 25116 25116 21109 0 -1 1077944384 4418 0 0 0 47 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657972185456 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13984976 memory=445208 CPUtime=0.09 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 675 0 0 0 5 4 0 0 20 0 15 0 154486073 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 166.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 446588 KiB
[startup+222.301 s]
/proc/loadavg: 1.66 1.74 1.76 5/217 25216
/proc/meminfo: memFree=26185120/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
[pid=25118] ppid=25116 vsize=13984976 memory=445208 CPUtime=226.26 cores=1,3,5,7
/proc/25118/stat : 25118 (java) S 25116 25116 21109 0 -1 1077944320 35142 0 0 0 22595 31 0 0 20 0 15 0 154486067 14320615424 111302 33554432000 4194304 4196468 140725970948848 140725970931392 140658437136119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
/proc/25118/statm: 3496244 111302 3245 1 0 3483478 0
[pid=25118/tid=25119] ppid=25116 vsize=13984976 memory=15876 CPUtime=222.11 cores=1,3,5,7
/proc/25118/task/25119/stat : 25119 (java) R 25116 25116 21109 0 -1 4202560 10486 0 0 0 22205 6 0 0 20 0 15 0 154486067 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658441374328 140658053237930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25120] ppid=25116 vsize=13984976 memory=445208 CPUtime=0.1 cores=1,3,5,7
/proc/25118/task/25120/stat : 25120 (java) S 25116 25116 21109 0 -1 1077944384 323 0 0 0 7 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658033211792 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25121] ppid=25116 vsize=13984976 memory=445208 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25121/stat : 25121 (java) S 25116 25116 21109 0 -1 1077944384 371 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658032158992 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25122] ppid=25116 vsize=13984976 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25122/stat : 25122 (java) S 25116 25116 21109 0 -1 1077944384 216 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658031106704 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25123] ppid=25116 vsize=13984976 memory=445208 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25123/stat : 25123 (java) S 25116 25116 21109 0 -1 1077944384 225 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658030053904 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25124] ppid=25116 vsize=13984976 memory=445208 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25124/stat : 25124 (java) S 25116 25116 21109 0 -1 1077944384 676 0 0 0 0 0 0 0 20 0 15 0 154486069 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657978501744 140658437147266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25125] ppid=25116 vsize=13984976 memory=445208 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25125/stat : 25125 (java) S 25116 25116 21109 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154486070 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657977447776 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25126] ppid=25116 vsize=13984976 memory=445208 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154486070 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657976395392 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13984976 memory=445208 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13984976 memory=445208 CPUtime=1.3 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) S 25116 25116 21109 0 -1 1077944384 7937 0 0 0 129 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13984976 memory=1380 CPUtime=1.72 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) S 25116 25116 21109 0 -1 1077944384 8412 0 0 0 171 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657973237744 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13984976 memory=1380 CPUtime=0.48 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) S 25116 25116 21109 0 -1 1077944384 4459 0 0 0 47 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657972185456 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13984976 memory=7523920017346608233 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13984976 memory=445208 CPUtime=0.12 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 716 0 0 0 6 6 0 0 20 0 15 0 154486073 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 226.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 446588 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.76 1.76 1.77 3/217 25216
/proc/meminfo: memFree=26183752/32770624 swapFree=67108860/67108860
[pid=25116] ppid=25113 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp3-exec) S 25113 25116 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154486067 9740288 345 33554432000 4194304 5098028 140730239094496 140730239092600 140096540664444 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37748736 140730239095925 140730239096128 140730239096128 140730239098859 0
/proc/25116/statm: 2378 345 289 221 0 87 0
[pid=25118] ppid=25116 vsize=13984976 memory=445208 CPUtime=243.98 cores=1,3,5,7
/proc/25118/stat : 25118 (java) S 25116 25116 21109 0 -1 1077944320 35142 0 0 0 24367 31 0 0 20 0 15 0 154486067 14320615424 111302 33554432000 4194304 4196468 140725970948848 140725970931392 140658437136119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
/proc/25118/statm: 3496244 111302 3245 1 0 3483478 0
[pid=25118/tid=25119] ppid=25116 vsize=13984976 memory=6791534058613427641 CPUtime=239.82 cores=1,3,5,7
/proc/25118/task/25119/stat : 25119 (java) R 25116 25116 21109 0 -1 4202560 10486 0 0 0 23976 6 0 0 20 0 15 0 154486067 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658441374328 140658053236941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25120] ppid=25116 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/25118/task/25120/stat : 25120 (java) S 25116 25116 21109 0 -1 1077944384 323 0 0 0 7 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658033211792 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25121] ppid=25116 vsize=13984976 memory=445208 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25121/stat : 25121 (java) S 25116 25116 21109 0 -1 1077944384 371 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658032158992 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25122] ppid=25116 vsize=13984976 memory=1720 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25122/stat : 25122 (java) S 25116 25116 21109 0 -1 1077944384 216 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658031106704 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25123] ppid=25116 vsize=13984976 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/25118/task/25123/stat : 25123 (java) S 25116 25116 21109 0 -1 1077944384 225 0 0 0 8 3 0 0 20 0 15 0 154486068 14320615424 111302 33554432000 4194304 4196468 140725970948848 140658030053904 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25124] ppid=25116 vsize=13984976 memory=2728 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25124/stat : 25124 (java) S 25116 25116 21109 0 -1 1077944384 676 0 0 0 0 0 0 0 20 0 15 0 154486069 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657978501744 140658437147266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25125] ppid=25116 vsize=13984976 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25125/stat : 25125 (java) S 25116 25116 21109 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154486070 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657977447776 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25126] ppid=25116 vsize=13984976 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25126/stat : 25126 (java) S 25116 25116 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154486070 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657976395392 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25127] ppid=25116 vsize=13984976 memory=3120 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25127/stat : 25127 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657975343696 140658437154715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25128] ppid=25116 vsize=13984976 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/25118/task/25128/stat : 25128 (java) S 25116 25116 21109 0 -1 1077944384 7937 0 0 0 129 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657974290544 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25129] ppid=25116 vsize=13984976 memory=445208 CPUtime=1.72 cores=1,3,5,7
/proc/25118/task/25129/stat : 25129 (java) S 25116 25116 21109 0 -1 1077944384 8412 0 0 0 171 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657973237744 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25130] ppid=25116 vsize=13984976 memory=1156 CPUtime=0.48 cores=1,3,5,7
/proc/25118/task/25130/stat : 25130 (java) S 25116 25116 21109 0 -1 1077944384 4459 0 0 0 47 1 0 0 20 0 15 0 154486072 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657972185456 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25131] ppid=25116 vsize=13984976 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/25118/task/25131/stat : 25131 (java) S 25116 25116 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154486073 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657971132896 140658437146325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
[pid=25118/tid=25132] ppid=25116 vsize=13984976 memory=1384 CPUtime=0.13 cores=1,3,5,7
/proc/25118/task/25132/stat : 25132 (java) S 25116 25116 21109 0 -1 1077944384 716 0 0 0 6 7 0 0 20 0 15 0 154486073 14320615424 111302 33554432000 4194304 4196468 140725970948848 140657970080688 140658437147266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23367680 140725970953373 140725970953548 140725970953548 140725970956239 0
Current children cumulated CPU time: 243.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 446588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 25116 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000933 s, system=0.000933 s
[startup+240.022 s]
# the end of solver process 25118 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.684 s, system=0.324029 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.022
CPU time (s): 244.008
CPU user time (s): 243.684
CPU system time (s): 0.324029
CPU usage (%): 101.661
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 446588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.684
system time used= 0.324029
maximum resident set size= 445820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36246
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7651
involuntary context switches= 216
# summary of solver processes directly reported to runsolver:
# pid: 25116,25118
# total CPU time (s): 244.008
# total CPU user time (s): 243.684
# total CPU system time (s): 0.324029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4194 second user time and 2.4159 second system time
The end