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 (10858 MiB free)
memory of node 1: 16384 MiB (11775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292455-1532340625/watcher-4292455-1532340625 -o /tmp/evaluation-result-4292455-1532340625/solver-4292455-1532340625 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11339 --watchdog 2560 HOME/xcsp3-exec -seed 497741714 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292455-1532340625.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=13113, runsolver pid=13110
[startup+0.100143 s]*
/proc/loadavg: 1.83 1.79 1.68 3/219 13129
/proc/meminfo: memFree=23160924/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
[pid=13115] ppid=13113 vsize=14082840 memory=27924 CPUtime=0.12 cores=1,3,5,7
/proc/13115/stat : 13115 (java) S 13113 13113 11307 0 -1 1077944320 5301 0 0 0 11 1 0 0 20 0 15 0 51625721 14420828160 6981 33554432000 4194304 4196468 140723957989008 140723957971552 139750819229431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
/proc/13115/statm: 3520710 6981 3020 1 0 3483008 0
[pid=13115/tid=13116] ppid=13113 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/13115/task/13116/stat : 13116 (java) R 13113 13113 11307 0 -1 4202560 3296 0 0 0 8 0 0 0 20 0 15 0 51625722 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750823448408 139750819241366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13117] ppid=13113 vsize=14082840 memory=3472468831381705936 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13117/stat : 13117 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750415465232 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13118] ppid=13113 vsize=14082840 memory=140702486554240 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13118/stat : 13118 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750414412688 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13119] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13119/stat : 13119 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750413360144 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13120] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13120/stat : 13120 (java) S 13113 13113 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750412307600 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13121] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13121/stat : 13121 (java) S 13113 13113 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51625724 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750159210480 139750819240578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13122] ppid=13113 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13122/stat : 13122 (java) S 13113 13113 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51625724 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750158156704 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13123] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51625725 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750157104112 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) S 13113 13113 11307 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750155000304 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750153947760 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14082840 memory=140702486554240 CPUtime=0.01 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) R 13113 13113 11307 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 15 0 51625727 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750152895216 139750819250778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14082840 memory=140702486554240 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 6981 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29376 KiB
[startup+0.210663 s]*
/proc/loadavg: 1.83 1.79 1.68 3/219 13129
/proc/meminfo: memFree=23149512/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
[pid=13115] ppid=13113 vsize=14082840 memory=39772 CPUtime=0.33 cores=1,3,5,7
/proc/13115/stat : 13115 (java) S 13113 13113 11307 0 -1 1077944320 7997 0 0 0 31 2 0 0 20 0 15 0 51625721 14420828160 9943 33554432000 4194304 4196468 140723957989008 140723957971552 139750819229431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
/proc/13115/statm: 3520710 9943 3183 1 0 3483008 0
[pid=13115/tid=13116] ppid=13113 vsize=14082840 memory=5854518564242424225 CPUtime=0.19 cores=1,3,5,7
/proc/13115/task/13116/stat : 13116 (java) R 13113 13113 11307 0 -1 4202560 4994 0 0 0 18 1 0 0 20 0 15 0 51625722 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750823464416 139750803309918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13117] ppid=13113 vsize=14082840 memory=3472468831381705936 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13117/stat : 13117 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750415465232 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13118] ppid=13113 vsize=14082840 memory=140702486554240 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13118/stat : 13118 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750414412688 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13119] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13119/stat : 13119 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750413360144 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13120] ppid=13113 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13120/stat : 13120 (java) S 13113 13113 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51625723 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750412307600 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13121] ppid=13113 vsize=14082840 memory=140702486554240 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13121/stat : 13121 (java) S 13113 13113 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 51625724 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750159210480 139750819240578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13122] ppid=13113 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13122/stat : 13122 (java) S 13113 13113 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51625724 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750158156704 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13123] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51625725 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750157104112 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14082840 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) S 13113 13113 11307 0 -1 1077944384 759 0 0 0 3 0 0 0 20 0 15 0 51625727 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750155000304 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14082840 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) S 13113 13113 11307 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 51625727 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750153947760 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14082840 memory=140702486554240 CPUtime=0.07 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) S 13113 13113 11307 0 -1 1077944384 895 0 0 0 7 0 0 0 20 0 15 0 51625727 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750152895216 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14082840 memory=140702486554240 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625727 14420828160 9943 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41224 KiB
[startup+0.310446 s]*
/proc/loadavg: 1.83 1.79 1.68 3/219 13129
/proc/meminfo: memFree=23143060/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
[pid=13115] ppid=13113 vsize=14087096 memory=46740 CPUtime=0.51 cores=1,3,5,7
/proc/13115/stat : 13115 (java) S 13113 13113 11307 0 -1 1077944320 8898 0 0 0 48 3 0 0 20 0 15 0 51625721 14425186304 11685 33554432000 4194304 4196468 140723957989008 140723957971552 139750819229431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
/proc/13115/statm: 3521774 11685 3230 1 0 3483008 0
[pid=13115/tid=13116] ppid=13113 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/13115/task/13116/stat : 13116 (java) R 13113 13113 11307 0 -1 4202560 5705 0 0 0 27 2 0 0 20 0 15 0 51625722 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750823463216 139750819251357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13117] ppid=13113 vsize=14087096 memory=3472468831381705936 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13117/stat : 13117 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750415465232 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13118] ppid=13113 vsize=14087096 memory=140702486554240 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13118/stat : 13118 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750414412688 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13119] ppid=13113 vsize=14087096 memory=8 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13119/stat : 13119 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750413360144 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13120] ppid=13113 vsize=14087096 memory=140702323451935 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13120/stat : 13120 (java) S 13113 13113 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51625723 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750412307600 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13121] ppid=13113 vsize=14087096 memory=281404646864640 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13121/stat : 13121 (java) S 13113 13113 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 51625724 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750159210480 139750819240578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13122] ppid=13113 vsize=14087096 memory=140702323428879 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13122/stat : 13122 (java) S 13113 13113 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51625724 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750158156704 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13123] ppid=13113 vsize=14087096 memory=281404809992288 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51625725 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750157104112 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14087096 memory=140702323433487 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) S 13113 13113 11307 0 -1 1077944384 782 0 0 0 5 0 0 0 20 0 15 0 51625727 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750155000304 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) S 13113 13113 11307 0 -1 1077944384 67 0 0 0 3 0 0 0 20 0 15 0 51625727 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750153947760 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14087096 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) S 13113 13113 11307 0 -1 1077944384 1045 0 0 0 11 0 0 0 20 0 15 0 51625727 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750152895216 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625727 14425186304 11685 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48192 KiB
[startup+0.704144 s]
/proc/loadavg: 1.83 1.79 1.68 5/219 13129
/proc/meminfo: memFree=23105152/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
[pid=13115] ppid=13113 vsize=14089220 memory=153116 CPUtime=1.72 cores=1,3,5,7
/proc/13115/stat : 13115 (java) S 13113 13113 11307 0 -1 1077944320 12435 0 0 0 167 5 0 0 20 0 15 0 51625721 14427361280 38279 33554432000 4194304 4196468 140723957989008 140723957971552 139750819229431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
/proc/13115/statm: 3522305 38279 3309 1 0 3483520 0
[pid=13115/tid=13116] ppid=13113 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/13115/task/13116/stat : 13116 (java) R 13113 13113 11307 0 -1 4202560 6162 0 0 0 64 3 0 0 20 0 15 0 51625722 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750823465456 139750457051184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13117] ppid=13113 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13117/stat : 13117 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750415465232 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13118] ppid=13113 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13118/stat : 13118 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750414412688 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13119] ppid=13113 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13119/stat : 13119 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625723 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750413360144 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13120] ppid=13113 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13120/stat : 13120 (java) S 13113 13113 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51625723 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750412307600 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13121] ppid=13113 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13121/stat : 13121 (java) S 13113 13113 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 51625724 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750159210480 139750819240578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13122] ppid=13113 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13122/stat : 13122 (java) S 13113 13113 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51625724 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750158156704 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13123] ppid=13113 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51625725 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750157104112 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14089220 memory=16716 CPUtime=0.4 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) R 13113 13113 11307 0 -1 4202560 2195 0 0 0 40 0 0 0 20 0 15 0 51625727 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750155000304 139750802616181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14089220 memory=1296 CPUtime=0.37 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) R 13113 13113 11307 0 -1 4202560 1059 0 0 0 37 0 0 0 20 0 15 0 51625727 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750153947760 139750804141832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14089220 memory=2412 CPUtime=0.24 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) R 13113 13113 11307 0 -1 4202560 1711 0 0 0 24 0 0 0 20 0 15 0 51625727 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750152893176 139750811267084 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14089220 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14089220 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51625727 14427361280 38279 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 154568 KiB
[startup+1.50118 s]
/proc/loadavg: 1.83 1.79 1.68 5/219 13129
/proc/meminfo: memFree=22950440/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 51625725 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750157104128 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14091268 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14091268 memory=2588 CPUtime=3.17 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) S 13113 13113 11307 0 -1 1077944384 17353 0 0 0 315 2 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750155000304 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14091268 memory=2588 CPUtime=3.39 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) S 13113 13113 11307 0 -1 1077944384 20847 0 0 0 336 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750153947760 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14091268 memory=1408 CPUtime=0.87 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) S 13113 13113 11307 0 -1 1077944384 12234 0 0 0 84 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750152895216 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14091268 memory=228324 CPUtime=1.47 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1573 0 0 0 62 85 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 2272.32 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 861140 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.01 1.95 3/217 13292
/proc/meminfo: memFree=22288252/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
[pid=13115] ppid=13113 vsize=14091268 memory=859688 CPUtime=2332.38 cores=1,3,5,7
/proc/13115/stat : 13115 (java) S 13113 13113 11307 0 -1 1077944320 92588 0 0 0 233098 140 0 0 20 0 15 0 51625721 14429458432 214922 33554432000 4194304 4196468 140723957989008 140723957971552 139750819229431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
/proc/13115/statm: 3522817 214922 3405 1 0 3484032 0
[pid=13115/tid=13116] ppid=13113 vsize=14091268 memory=15540717229443787 CPUtime=2321.94 cores=1,3,5,7
/proc/13115/task/13116/stat : 13116 (java) R 13113 13113 11307 0 -1 4202560 35551 0 0 0 232182 12 0 0 20 0 15 0 51625722 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750823466968 139750465747640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13117] ppid=13113 vsize=14091268 memory=952 CPUtime=0.34 cores=1,3,5,7
/proc/13115/task/13117/stat : 13117 (java) S 13113 13113 11307 0 -1 1077944384 500 0 0 0 25 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750415465232 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13118] ppid=13113 vsize=14091268 memory=1240 CPUtime=0.33 cores=1,3,5,7
/proc/13115/task/13118/stat : 13118 (java) S 13113 13113 11307 0 -1 1077944384 424 0 0 0 24 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750414412688 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13119] ppid=13113 vsize=14091268 memory=2340 CPUtime=0.31 cores=1,3,5,7
/proc/13115/task/13119/stat : 13119 (java) S 13113 13113 11307 0 -1 1077944384 326 0 0 0 23 8 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750413360144 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13120] ppid=13113 vsize=14091268 memory=1568 CPUtime=0.34 cores=1,3,5,7
/proc/13115/task/13120/stat : 13120 (java) S 13113 13113 11307 0 -1 1077944384 688 0 0 0 25 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750412307600 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13121] ppid=13113 vsize=14091268 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/13115/task/13121/stat : 13121 (java) S 13113 13113 11307 0 -1 1077944384 1550 0 0 0 3 4 0 0 20 0 15 0 51625724 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750159210480 139750819240578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13122] ppid=13113 vsize=14091268 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13122/stat : 13122 (java) S 13113 13113 11307 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 51625724 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750158156768 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13123] ppid=13113 vsize=14091268 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 51625725 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750157104128 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14091268 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14091268 memory=7392 CPUtime=3.18 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) S 13113 13113 11307 0 -1 1077944384 17498 0 0 0 316 2 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750155000304 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14091268 memory=1452 CPUtime=3.39 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) S 13113 13113 11307 0 -1 1077944384 20849 0 0 0 336 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750153947760 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14091268 memory=859688 CPUtime=0.87 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) S 13113 13113 11307 0 -1 1077944384 12307 0 0 0 84 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750152895216 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14091268 memory=16776 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14091268 memory=1296 CPUtime=1.51 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1590 0 0 0 64 87 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 2332.38 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 861140 KiB
[startup+2382.3 s]
/proc/loadavg: 2.91 2.27 2.05 3/218 13301
/proc/meminfo: memFree=22293524/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
[pid=13115] ppid=13113 vsize=14091268 memory=859688 CPUtime=2392.42 cores=1,3,5,7
/proc/13115/stat : 13115 (java) S 13113 13113 11307 0 -1 1077944320 92952 0 0 0 239100 142 0 0 20 0 15 0 51625721 14429458432 214922 33554432000 4194304 4196468 140723957989008 140723957971552 139750819229431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
/proc/13115/statm: 3522817 214922 3405 1 0 3484032 0
[pid=13115/tid=13116] ppid=13113 vsize=14091268 memory=15540717229443787 CPUtime=2381.94 cores=1,3,5,7
/proc/13115/task/13116/stat : 13116 (java) R 13113 13113 11307 0 -1 4202560 35869 0 0 0 238182 12 0 0 20 0 15 0 51625722 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750823466968 139750465747433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13117] ppid=13113 vsize=14091268 memory=2588 CPUtime=0.34 cores=1,3,5,7
/proc/13115/task/13117/stat : 13117 (java) S 13113 13113 11307 0 -1 1077944384 500 0 0 0 25 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750415465232 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13118] ppid=13113 vsize=14091268 memory=2588 CPUtime=0.33 cores=1,3,5,7
/proc/13115/task/13118/stat : 13118 (java) S 13113 13113 11307 0 -1 1077944384 424 0 0 0 24 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750414412688 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13119] ppid=13113 vsize=14091268 memory=1408 CPUtime=0.31 cores=1,3,5,7
/proc/13115/task/13119/stat : 13119 (java) S 13113 13113 11307 0 -1 1077944384 326 0 0 0 23 8 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750413360144 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13120] ppid=13113 vsize=14091268 memory=3328 CPUtime=0.34 cores=1,3,5,7
/proc/13115/task/13120/stat : 13120 (java) S 13113 13113 11307 0 -1 1077944384 688 0 0 0 25 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750412307600 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13121] ppid=13113 vsize=14091268 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/13115/task/13121/stat : 13121 (java) S 13113 13113 11307 0 -1 1077944384 1556 0 0 0 4 4 0 0 20 0 15 0 51625724 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750159210480 139750819240578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13122] ppid=13113 vsize=14091268 memory=859688 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13122/stat : 13122 (java) S 13113 13113 11307 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 51625724 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750158156768 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13123] ppid=13113 vsize=14091268 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 51625725 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750157104128 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14091268 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14091268 memory=3256 CPUtime=3.18 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) S 13113 13113 11307 0 -1 1077944384 17500 0 0 0 316 2 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750155000304 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14091268 memory=1452 CPUtime=3.39 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) S 13113 13113 11307 0 -1 1077944384 20851 0 0 0 336 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750153947760 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14091268 memory=859688 CPUtime=0.87 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) S 13113 13113 11307 0 -1 1077944384 12310 0 0 0 84 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750152895216 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14091268 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14091268 memory=2588 CPUtime=1.54 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1623 0 0 0 65 89 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 2392.42 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 861140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389.9 s]
/proc/loadavg: 2.84 2.27 2.05 3/218 13301
/proc/meminfo: memFree=22293416/32770624 swapFree=67108860/67108860
[pid=13113] ppid=13110 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (xcsp3-exec) S 13110 13113 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51625721 115843072 363 33554432000 4194304 5098028 140733742121376 140733742119480 140388568478332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25407488 140733742130235 140733742130436 140733742130436 140733742133194 0
/proc/13113/statm: 28282 363 305 221 0 87 0
[pid=13115] ppid=13113 vsize=14091268 memory=859688 CPUtime=2400.02 cores=1,3,5,7
/proc/13115/stat : 13115 (java) S 13113 13113 11307 0 -1 1077944320 93180 0 0 0 239860 142 0 0 20 0 15 0 51625721 14429458432 214922 33554432000 4194304 4196468 140723957989008 140723957971552 139750819229431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
/proc/13115/statm: 3522817 214922 3405 1 0 3484032 0
[pid=13115/tid=13116] ppid=13113 vsize=14091268 memory=1196 CPUtime=2389.54 cores=1,3,5,7
/proc/13115/task/13116/stat : 13116 (java) R 13113 13113 11307 0 -1 4202560 36095 0 0 0 238942 12 0 0 20 0 15 0 51625722 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750823466968 139750466252962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13117] ppid=13113 vsize=14091268 memory=5300 CPUtime=0.34 cores=1,3,5,7
/proc/13115/task/13117/stat : 13117 (java) S 13113 13113 11307 0 -1 1077944384 500 0 0 0 25 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750415465232 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13118] ppid=13113 vsize=14091268 memory=-7003737579269690708 CPUtime=0.33 cores=1,3,5,7
/proc/13115/task/13118/stat : 13118 (java) S 13113 13113 11307 0 -1 1077944384 424 0 0 0 24 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750414412688 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13119] ppid=13113 vsize=14091268 memory=288230583166042426 CPUtime=0.31 cores=1,3,5,7
/proc/13115/task/13119/stat : 13119 (java) S 13113 13113 11307 0 -1 1077944384 326 0 0 0 23 8 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750413360144 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13120] ppid=13113 vsize=14091268 memory=15540717229443787 CPUtime=0.34 cores=1,3,5,7
/proc/13115/task/13120/stat : 13120 (java) S 13113 13113 11307 0 -1 1077944384 688 0 0 0 25 9 0 0 20 0 15 0 51625723 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750412307600 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13121] ppid=13113 vsize=14091268 memory=235375 CPUtime=0.08 cores=1,3,5,7
/proc/13115/task/13121/stat : 13121 (java) S 13113 13113 11307 0 -1 1077944384 1556 0 0 0 4 4 0 0 20 0 15 0 51625724 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750159210480 139750819240578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13122] ppid=13113 vsize=14091268 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13122/stat : 13122 (java) S 13113 13113 11307 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 51625724 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750158156768 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13123] ppid=13113 vsize=14091268 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13123/stat : 13123 (java) S 13113 13113 11307 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 51625725 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750157104128 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13124] ppid=13113 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13124/stat : 13124 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750156052688 139750819248027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13125] ppid=13113 vsize=14091268 memory=0 CPUtime=3.18 cores=1,3,5,7
/proc/13115/task/13125/stat : 13125 (java) S 13113 13113 11307 0 -1 1077944384 17500 0 0 0 316 2 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750155000304 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13126] ppid=13113 vsize=14091268 memory=0 CPUtime=3.39 cores=1,3,5,7
/proc/13115/task/13126/stat : 13126 (java) S 13113 13113 11307 0 -1 1077944384 20851 0 0 0 336 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750153947760 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13127] ppid=13113 vsize=14091268 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/13115/task/13127/stat : 13127 (java) S 13113 13113 11307 0 -1 1077944384 12310 0 0 0 84 3 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750152895216 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13128] ppid=13113 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13115/task/13128/stat : 13128 (java) S 13113 13113 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750151842912 139750819239637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
[pid=13115/tid=13129] ppid=13113 vsize=14091268 memory=281404648879872 CPUtime=1.55 cores=1,3,5,7
/proc/13115/task/13129/stat : 13129 (java) S 13113 13113 11307 0 -1 1077944384 1625 0 0 0 66 89 0 0 20 0 15 0 51625727 14429458432 214922 33554432000 4194304 4196468 140723957989008 139750150789424 139750819240578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28581888 140723957990529 140723957990705 140723957990705 140723957993423 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 861140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.91 s]
# the end of solver process 13113 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002294 s, system=0 s
[startup+2389.91 s]
# the end of solver process 13115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.62 s, system=1.4322 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): 2389.91
CPU time (s): 2400.05
CPU user time (s): 2398.62
CPU system time (s): 1.4322
CPU usage (%): 100.424
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 861140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.62
system time used= 1.4322
maximum resident set size= 860264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55270
involuntary context switches= 687
# summary of solver processes directly reported to runsolver:
# pid: 13113,13115
# total CPU time (s): 2400.05
# total CPU user time (s): 2398.62
# total CPU system time (s): 1.4322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8951 second user time and 23.5459 second system time
The end