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 (12484 MiB free)
memory of node 1: 16384 MiB (13263 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284259-1503211769/watcher-4284259-1503211769 -o /tmp/evaluation-result-4284259-1503211769/solver-4284259-1503211769 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25961 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2101200605 HOME/instance-4284259-1503211769.xml
running on 4 cores: 0,2,4,6
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=28216, runsolver pid=28213
[startup+0.100058 s]*
/proc/loadavg: 1.81 1.79 1.69 3/217 28232
/proc/meminfo: memFree=26348960/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
[pid=28218] ppid=28216 vsize=13978596 memory=28288 CPUtime=0.12 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28216 25930 0 -1 1077944320 5433 0 0 0 11 1 0 0 20 0 15 0 154264530 14314082304 7072 33554432000 4194304 4196468 140731700419136 140731700401680 139664694587127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
/proc/28218/statm: 3494649 7072 2874 1 0 3482966 0
[pid=28218/tid=28219] ppid=28216 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28216 25930 0 -1 4202560 3443 0 0 0 8 0 0 0 20 0 15 0 154264530 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664698816304 140731701036801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28220] ppid=28216 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664624675728 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28221] ppid=28216 vsize=13978596 memory=140484652971648 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664623622928 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28222] ppid=28216 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664622570640 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28223] ppid=28216 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664621517840 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28224] ppid=28216 vsize=13978596 memory=140484652971648 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264532 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664168695920 139664694598274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28225] ppid=28216 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28216 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264533 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664167641888 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28226] ppid=28216 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264533 14314082304 7137 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14314082304 7203 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28216 25930 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 154264535 14314082304 7203 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264535 14314082304 7203 33554432000 4194304 4196468 140731700419136 139664163432944 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13978596 memory=140484652971648 CPUtime=0.01 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) R 28216 28216 25930 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 15 0 154264535 14314082304 7203 33554432000 4194304 4196468 140731700419136 139664162380656 139664673531769 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14314082304 7203 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13978596 memory=140484652971648 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264536 14314082304 7203 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29668 KiB
[startup+0.211175 s]*
/proc/loadavg: 1.81 1.79 1.69 4/217 28232
/proc/meminfo: memFree=26338168/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
[pid=28218] ppid=28216 vsize=13982884 memory=40148 CPUtime=0.33 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28216 25930 0 -1 1077944320 8156 0 0 0 31 2 0 0 20 0 15 0 154264530 14318473216 10037 33554432000 4194304 4196468 140731700419136 140731700401680 139664694587127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
/proc/28218/statm: 3495713 10037 3052 1 0 3482966 0
[pid=28218/tid=28219] ppid=28216 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28216 25930 0 -1 4202560 5388 0 0 0 18 1 0 0 20 0 15 0 154264530 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664698798032 139664678667614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28220] ppid=28216 vsize=13982852 memory=13599 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664624675728 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28221] ppid=28216 vsize=13982852 memory=3546225141888988832 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664623622928 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28222] ppid=28216 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664622570640 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28223] ppid=28216 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664621517840 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28224] ppid=28216 vsize=13982852 memory=140484652971648 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264532 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664168695920 139664694598274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28225] ppid=28216 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28216 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264533 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664167641888 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28226] ppid=28216 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264533 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28216 25930 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 154264535 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28216 25930 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 154264535 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664163432944 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13982852 memory=140484652971648 CPUtime=0.08 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) S 28216 28216 25930 0 -1 1077944384 728 0 0 0 8 0 0 0 20 0 15 0 154264535 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664162380656 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264536 14318440448 10037 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41528 KiB
[startup+0.310535 s]*
/proc/loadavg: 1.81 1.79 1.69 5/217 28232
/proc/meminfo: memFree=26331336/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
[pid=28218] ppid=28216 vsize=13982852 memory=47284 CPUtime=0.51 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28216 25930 0 -1 1077944320 8931 0 0 0 48 3 0 0 20 0 15 0 154264530 14318440448 11821 33554432000 4194304 4196468 140731700419136 140731700401680 139664694587127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
/proc/28218/statm: 3495713 11821 3128 1 0 3482966 0
[pid=28218/tid=28219] ppid=28216 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28216 25930 0 -1 4202560 5923 0 0 0 27 2 0 0 20 0 15 0 154264530 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664698824592 139664300329997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28220] ppid=28216 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664624675728 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28221] ppid=28216 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664623622928 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28222] ppid=28216 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664622570640 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28223] ppid=28216 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664621517840 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28224] ppid=28216 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264532 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664168695920 139664694598274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28225] ppid=28216 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28216 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264533 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664167641888 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28226] ppid=28216 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264533 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) R 28216 28216 25930 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 15 0 154264535 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) R 28216 28216 25930 0 -1 4202560 291 0 0 0 4 0 0 0 20 0 15 0 154264535 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664163432944 139664672327600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) R 28216 28216 25930 0 -1 4202560 885 0 0 0 13 0 0 0 20 0 15 0 154264535 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664162380656 139664687683963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264536 14318440448 11821 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48664 KiB
[startup+0.700765 s]
/proc/loadavg: 1.81 1.79 1.69 5/217 28232
/proc/meminfo: memFree=26294888/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
[pid=28218] ppid=28216 vsize=13984976 memory=129148 CPUtime=1.77 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28216 25930 0 -1 1077944320 12562 0 0 0 172 5 0 0 20 0 15 0 154264530 14320615424 32287 33554432000 4194304 4196468 140731700419136 140731700401680 139664694587127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
/proc/28218/statm: 3496244 32287 3209 1 0 3483478 0
[pid=28218/tid=28219] ppid=28216 vsize=13984976 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28216 25930 0 -1 4202560 6431 0 0 0 63 3 0 0 20 0 15 0 154264530 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664698824448 139664694599062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28220] ppid=28216 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664624675728 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28221] ppid=28216 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664623622928 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28222] ppid=28216 vsize=13984976 memory=42832 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264531 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664622570640 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28223] ppid=28216 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28216 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154264531 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664621517840 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28224] ppid=28216 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28216 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154264532 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664168695920 139664694598274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28225] ppid=28216 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28216 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664167641888 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28226] ppid=28216 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13984976 memory=1956 CPUtime=0.36 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28216 25930 0 -1 1077944384 1934 0 0 0 36 0 0 0 20 0 15 0 154264535 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13984976 memory=8608 CPUtime=0.37 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) R 28216 28216 25930 0 -1 1077944384 1226 0 0 0 37 0 0 0 20 0 15 0 154264535 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664163432944 139664694598274 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13984976 memory=1228 CPUtime=0.33 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) R 28216 28216 25930 0 -1 4202560 1667 0 0 0 33 0 0 0 20 0 15 0 154264535 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664162380656 139664687686974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154264536 14320615424 32289 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 130528 KiB
[startup+1.50092 s]
/proc/loadavg: 1.81 1.79 1.69 5/217 28232
/proc/meminfo: memFree=26210556/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 151975 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14320615424 151975 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13984976 memory=630228 CPUtime=2.08 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28216 25930 0 -1 1077944384 8582 0 0 0 207 1 0 0 20 0 15 0 154264535 14320615424 151975 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13984976 memory=25840 CPUtime=2.16 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28216 25930 0 -1 1077944384 9073 0 0 0 215 1 0 0 20 0 15 0 154264535 14320615424 151975 33554432000 4194304 4196468 140731700419136 139664163432944 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13984976 memory=1008 CPUtime=0.7 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) S 28216 28216 25930 0 -1 1077944384 6973 0 0 0 69 1 0 0 20 0 15 0 154264535 14320615424 151975 33554432000 4194304 4196468 140731700419136 139664162380656 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14320615424 151975 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13984976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 448 0 0 0 3 2 0 0 20 0 15 0 154264536 14320615424 151975 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 108.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 609280 KiB
[startup+162.301 s]
/proc/loadavg: 1.76 1.77 1.70 4/217 28234
/proc/meminfo: memFree=26087324/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
[pid=28218] ppid=28216 vsize=13984976 memory=537564 CPUtime=169.08 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28216 25930 0 -1 1077944320 58738 0 0 0 16866 42 0 0 20 0 15 0 154264530 14320615424 134391 33554432000 4194304 4196468 140731700419136 140731700401680 139664694587127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
/proc/28218/statm: 3496244 134391 3261 1 0 3483478 0
[pid=28218/tid=28219] ppid=28216 vsize=13984976 memory=557584 CPUtime=161.88 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28216 25930 0 -1 4202560 16347 0 0 0 16178 10 0 0 20 0 15 0 154264530 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664698823552 139664307021052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28220] ppid=28216 vsize=13984976 memory=537564 CPUtime=0.32 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28216 25930 0 -1 1077944384 1908 0 0 0 26 6 0 0 20 0 15 0 154264531 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664624675728 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28221] ppid=28216 vsize=13984976 memory=537564 CPUtime=0.31 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28216 25930 0 -1 1077944384 1228 0 0 0 26 5 0 0 20 0 15 0 154264531 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664623622928 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28222] ppid=28216 vsize=13984976 memory=537564 CPUtime=0.32 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28216 25930 0 -1 1077944384 1430 0 0 0 26 6 0 0 20 0 15 0 154264531 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664622570640 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28223] ppid=28216 vsize=13984976 memory=537564 CPUtime=0.32 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28216 25930 0 -1 1077944384 2547 0 0 0 26 6 0 0 20 0 15 0 154264531 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664621517840 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28224] ppid=28216 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28216 25930 0 -1 1077944384 1416 0 0 0 2 0 0 0 20 0 15 0 154264532 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664168695920 139664694598274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28225] ppid=28216 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28216 25930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664167641952 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28226] ppid=28216 vsize=13984976 memory=252 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13984976 memory=1380 CPUtime=2.43 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28216 25930 0 -1 1077944384 10977 0 0 0 242 1 0 0 20 0 15 0 154264535 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13984976 memory=1380 CPUtime=2.55 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28216 25930 0 -1 1077944384 12125 0 0 0 254 1 0 0 20 0 15 0 154264535 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664163432944 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13984976 memory=537564 CPUtime=0.74 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) S 28216 28216 25930 0 -1 1077944384 8895 0 0 0 73 1 0 0 20 0 15 0 154264535 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664162380656 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13984976 memory=546804 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13984976 memory=42832 CPUtime=0.08 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 505 0 0 0 4 4 0 0 20 0 15 0 154264536 14320615424 134391 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 169.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 538944 KiB
[startup+222.301 s]
/proc/loadavg: 1.65 1.74 1.69 3/217 28313
/proc/meminfo: memFree=26134784/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
[pid=28218] ppid=28216 vsize=13984976 memory=451400 CPUtime=229.7 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28216 25930 0 -1 1077944320 63382 0 0 0 22923 47 0 0 20 0 15 0 154264530 14320615424 112850 33554432000 4194304 4196468 140731700419136 140731700401680 139664694587127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
/proc/28218/statm: 3496244 112850 3261 1 0 3483478 0
[pid=28218/tid=28219] ppid=28216 vsize=13984976 memory=457560 CPUtime=221.77 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28216 25930 0 -1 4202560 17382 0 0 0 22167 10 0 0 20 0 15 0 154264530 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664698826272 139664307021958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28220] ppid=28216 vsize=13984976 memory=457560 CPUtime=0.41 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28216 25930 0 -1 1077944384 2049 0 0 0 35 6 0 0 20 0 15 0 154264531 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664624675728 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28221] ppid=28216 vsize=13984976 memory=1380 CPUtime=0.41 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28216 25930 0 -1 1077944384 1522 0 0 0 36 5 0 0 20 0 15 0 154264531 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664623622928 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28222] ppid=28216 vsize=13984976 memory=1380 CPUtime=0.42 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28216 25930 0 -1 1077944384 1484 0 0 0 35 7 0 0 20 0 15 0 154264531 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664622570640 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28223] ppid=28216 vsize=13984976 memory=451400 CPUtime=0.42 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28216 25930 0 -1 1077944384 3020 0 0 0 35 7 0 0 20 0 15 0 154264531 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664621517840 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28224] ppid=28216 vsize=13984976 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28216 25930 0 -1 1077944384 1636 0 0 0 3 1 0 0 20 0 15 0 154264532 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664168695920 139664694598274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28225] ppid=28216 vsize=13984976 memory=10 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28216 25930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664167641952 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28226] ppid=28216 vsize=13984976 memory=464228 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13984976 memory=2353 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13984976 memory=451400 CPUtime=2.59 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28216 25930 0 -1 1077944384 11440 0 0 0 258 1 0 0 20 0 15 0 154264535 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13984976 memory=451400 CPUtime=2.69 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28216 25930 0 -1 1077944384 13007 0 0 0 268 1 0 0 20 0 15 0 154264535 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664163432944 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13984976 memory=4140 CPUtime=0.75 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) S 28216 28216 25930 0 -1 1077944384 9820 0 0 0 74 1 0 0 20 0 15 0 154264535 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664162380656 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13984976 memory=451400 CPUtime=0.12 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 662 0 0 0 6 6 0 0 20 0 15 0 154264536 14320615424 112850 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 229.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 452780 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.61 1.72 1.68 3/217 28313
/proc/meminfo: memFree=25808228/32770624 swapFree=67108860/67108860
[pid=28216] ppid=28213 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (xcsp3-exec) S 28213 28216 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154264530 9740288 345 33554432000 4194304 5098028 140728562195360 140728562193464 139940797035132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11624448 140728562201716 140728562201920 140728562201920 140728562204651 0
/proc/28216/statm: 2378 345 289 221 0 87 0
[pid=28218] ppid=28216 vsize=13984976 memory=434084 CPUtime=247.53 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28216 25930 0 -1 1077944320 63957 0 0 0 24705 48 0 0 20 0 15 0 154264530 14320615424 108521 33554432000 4194304 4196468 140731700419136 140731700401680 139664694587127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
/proc/28218/statm: 3496244 108521 3261 1 0 3483478 0
[pid=28218/tid=28219] ppid=28216 vsize=13984976 memory=6791534058613427641 CPUtime=239.43 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28216 25930 0 -1 4202560 17441 0 0 0 23933 10 0 0 20 0 15 0 154264530 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664698826272 139664307726331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28220] ppid=28216 vsize=13984976 memory=4872558044660077418 CPUtime=0.46 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28216 25930 0 -1 1077944384 2076 0 0 0 39 7 0 0 20 0 15 0 154264531 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664624675728 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28221] ppid=28216 vsize=13984976 memory=1428 CPUtime=0.45 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28216 25930 0 -1 1077944384 1553 0 0 0 40 5 0 0 20 0 15 0 154264531 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664623622928 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28222] ppid=28216 vsize=13984976 memory=1204 CPUtime=0.45 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28216 25930 0 -1 1077944384 1565 0 0 0 38 7 0 0 20 0 15 0 154264531 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664622570640 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28223] ppid=28216 vsize=13984976 memory=15880 CPUtime=0.45 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28216 25930 0 -1 1077944384 3030 0 0 0 38 7 0 0 20 0 15 0 154264531 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664621517840 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28224] ppid=28216 vsize=13984976 memory=25840 CPUtime=0.04 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28216 25930 0 -1 1077944384 1638 0 0 0 3 1 0 0 20 0 15 0 154264532 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664168695920 139664694598274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28225] ppid=28216 vsize=13984976 memory=434084 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28216 25930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664167641952 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28226] ppid=28216 vsize=13984976 memory=434084 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28216 25930 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154264533 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664166589552 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28227] ppid=28216 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264535 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664165537872 139664694605723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28228] ppid=28216 vsize=13984976 memory=1380 CPUtime=2.59 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28216 25930 0 -1 1077944384 11761 0 0 0 258 1 0 0 20 0 15 0 154264535 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664164485744 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28229] ppid=28216 vsize=13984976 memory=434084 CPUtime=2.69 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28216 25930 0 -1 1077944384 13007 0 0 0 268 1 0 0 20 0 15 0 154264535 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664163432944 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28230] ppid=28216 vsize=13984976 memory=4872558044660077418 CPUtime=0.75 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) S 28216 28216 25930 0 -1 1077944384 9864 0 0 0 74 1 0 0 20 0 15 0 154264535 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664162380656 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28231] ppid=28216 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28216 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154264536 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664161328096 139664694597333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
[pid=28218/tid=28232] ppid=28216 vsize=13984976 memory=1380 CPUtime=0.12 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28216 25930 0 -1 1077944384 662 0 0 0 6 6 0 0 20 0 15 0 154264536 14320615424 108521 33554432000 4194304 4196468 140731700419136 139664160274864 139664694598274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35262464 140731700425885 140731700426060 140731700426060 140731700428751 0
Current children cumulated CPU time: 247.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 435464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 28216 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000902 s, system=0.000902 s
[startup+240.023 s]
# the end of solver process 28218 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.061 s, system=0.49015 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): 247.551
CPU user time (s): 247.061
CPU system time (s): 0.49015
CPU usage (%): 103.136
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 676588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.061
system time used= 0.49015
maximum resident set size= 685988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8618
involuntary context switches= 361
# summary of solver processes directly reported to runsolver:
# pid: 28216,28218
# total CPU time (s): 247.551
# total CPU user time (s): 247.061
# total CPU system time (s): 0.49015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59153 second user time and 2.34677 second system time
The end