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 (12808 MiB free)
memory of node 1: 16384 MiB (12965 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284563-1503213890/watcher-4284563-1503213890 -o /tmp/evaluation-result-4284563-1503213890/solver-4284563-1503213890 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1870105672 HOME/instance-4284563-1503213890.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11302, runsolver pid=11299
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 2.16 1.89 1.84 4/219 11318
/proc/meminfo: memFree=26377480/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
[pid=11304] ppid=11302 vsize=13978596 memory=27020 CPUtime=0.12 cores=1,3,5,7
/proc/11304/stat : 11304 (java) S 11302 11302 8036 0 -1 1077944320 5594 0 0 0 10 2 0 0 20 0 15 0 154476440 14314082304 6755 33554432000 4194304 4196468 140732247399216 140732247381760 140269973552887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
/proc/11304/statm: 3494649 6755 2875 1 0 3482966 0
[pid=11304/tid=11305] ppid=11302 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/11304/task/11305/stat : 11305 (java) R 11302 11302 8036 0 -1 4202560 3580 0 0 0 8 1 0 0 20 0 15 0 154476440 14314082304 6755 33554432000 4194304 4196468 140732247399216 140269977773696 140269973574813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11306] ppid=11302 vsize=13978596 memory=3472467977012643024 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11306/stat : 11306 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14314082304 6755 33554432000 4194304 4196468 140732247399216 140269569637520 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11307] ppid=11302 vsize=13978596 memory=139848117491328 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11307/stat : 11307 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14314082304 6755 33554432000 4194304 4196468 140732247399216 140269568584720 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11308] ppid=11302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11308/stat : 11308 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14314082304 6755 33554432000 4194304 4196468 140732247399216 140269567531920 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11309] ppid=11302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11309/stat : 11309 (java) S 11302 11302 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154476441 14314082304 6755 33554432000 4194304 4196468 140732247399216 140269566479120 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11310] ppid=11302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11310/stat : 11310 (java) S 11302 11302 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154476442 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268953069936 140269973564034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11311] ppid=11302 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11311/stat : 11311 (java) S 11302 11302 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154476443 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268952015904 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11312] ppid=11302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154476443 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) R 11302 11302 8036 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 154476445 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268948859760 140269973564034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268947806960 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13978596 memory=139848117491328 CPUtime=0.01 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) R 11302 11302 8036 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 154476445 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268946754160 140269973574234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13978596 memory=139848117491328 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476446 14314082304 6755 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28404 KiB
[startup+0.210715 s]*
/proc/loadavg: 2.16 1.89 1.84 4/219 11318
/proc/meminfo: memFree=26365812/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
[pid=11304] ppid=11302 vsize=13982852 memory=39204 CPUtime=0.34 cores=1,3,5,7
/proc/11304/stat : 11304 (java) S 11302 11302 8036 0 -1 1077944320 8376 0 0 0 31 3 0 0 20 0 15 0 154476440 14318440448 9801 33554432000 4194304 4196468 140732247399216 140732247381760 140269973552887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
/proc/11304/statm: 3495713 9801 3033 1 0 3482966 0
[pid=11304/tid=11305] ppid=11302 vsize=13982852 memory=5855082630820233377 CPUtime=0.2 cores=1,3,5,7
/proc/11304/task/11305/stat : 11305 (java) R 11302 11302 8036 0 -1 4202560 5359 0 0 0 18 2 0 0 20 0 15 0 154476440 14318440448 9801 33554432000 4194304 4196468 140732247399216 140269977774880 140269966230901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11306] ppid=11302 vsize=13982852 memory=3472467977012643024 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11306/stat : 11306 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 9801 33554432000 4194304 4196468 140732247399216 140269569637520 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11307] ppid=11302 vsize=13982852 memory=139848117491328 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11307/stat : 11307 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 9801 33554432000 4194304 4196468 140732247399216 140269568584720 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11308] ppid=11302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11308/stat : 11308 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 9801 33554432000 4194304 4196468 140732247399216 140269567531920 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11309] ppid=11302 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11309/stat : 11309 (java) S 11302 11302 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 9801 33554432000 4194304 4196468 140732247399216 140269566479120 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11310] ppid=11302 vsize=13982852 memory=139848117491328 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11310/stat : 11310 (java) S 11302 11302 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154476442 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268953069936 140269973564034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11311] ppid=11302 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11311/stat : 11311 (java) S 11302 11302 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154476443 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268952015904 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11312] ppid=11302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154476443 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) S 11302 11302 8036 0 -1 1077944384 644 0 0 0 3 0 0 0 20 0 15 0 154476445 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268948859760 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) S 11302 11302 8036 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 15 0 154476445 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268947806960 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13982852 memory=139848117491328 CPUtime=0.08 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) R 11302 11302 8036 0 -1 4202560 889 0 0 0 8 0 0 0 20 0 15 0 154476445 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268946754160 140269966649723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13982852 memory=139848117491328 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476446 14318440448 9801 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40588 KiB
[startup+0.31056 s]*
/proc/loadavg: 2.16 1.89 1.84 5/219 11318
/proc/meminfo: memFree=26358404/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
[pid=11304] ppid=11302 vsize=13982852 memory=46140 CPUtime=0.5 cores=1,3,5,7
/proc/11304/stat : 11304 (java) S 11302 11302 8036 0 -1 1077944320 9281 0 0 0 46 4 0 0 20 0 15 0 154476440 14318440448 11535 33554432000 4194304 4196468 140732247399216 140732247381760 140269973552887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
/proc/11304/statm: 3495713 11535 3092 1 0 3482966 0
[pid=11304/tid=11305] ppid=11302 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=1,3,5,7
/proc/11304/task/11305/stat : 11305 (java) R 11302 11302 8036 0 -1 4202560 6085 0 0 0 27 3 0 0 20 0 15 0 154476440 14318440448 11600 33554432000 4194304 4196468 140732247399216 140269977787440 140269957633374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11306] ppid=11302 vsize=13982852 memory=3472467977012643024 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11306/stat : 11306 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 11600 33554432000 4194304 4196468 140732247399216 140269569637520 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11307] ppid=11302 vsize=13982852 memory=139848117491328 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11307/stat : 11307 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 11600 33554432000 4194304 4196468 140732247399216 140269568584720 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11308] ppid=11302 vsize=13982852 memory=2 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11308/stat : 11308 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 11600 33554432000 4194304 4196468 140732247399216 140269567531920 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11309] ppid=11302 vsize=13982852 memory=139847960504351 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11309/stat : 11309 (java) S 11302 11302 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154476441 14318440448 11600 33554432000 4194304 4196468 140732247399216 140269566479120 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11310] ppid=11302 vsize=13982852 memory=279695920969472 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11310/stat : 11310 (java) S 11302 11302 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154476442 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268953069936 140269973564034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11311] ppid=11302 vsize=13982852 memory=139847960481295 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11311/stat : 11311 (java) S 11302 11302 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154476443 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268952015904 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11312] ppid=11302 vsize=13982852 memory=279696077981792 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154476443 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13982852 memory=139847960485903 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) S 11302 11302 8036 0 -1 1077944384 653 0 0 0 3 0 0 0 20 0 15 0 154476445 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268948859760 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) S 11302 11302 8036 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 15 0 154476445 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268947806960 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13982852 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) S 11302 11302 8036 0 -1 1077944384 1014 0 0 0 11 0 0 0 20 0 15 0 154476445 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268946754160 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476446 14318440448 11600 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47524 KiB
[startup+0.701614 s]
/proc/loadavg: 2.16 1.89 1.84 4/219 11318
/proc/meminfo: memFree=26343144/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
[pid=11304] ppid=11302 vsize=13984976 memory=72072 CPUtime=1.52 cores=1,3,5,7
/proc/11304/stat : 11304 (java) S 11302 11302 8036 0 -1 1077944320 12178 0 0 0 146 6 0 0 20 0 15 0 154476440 14320615424 18018 33554432000 4194304 4196468 140732247399216 140732247381760 140269973552887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
/proc/11304/statm: 3496244 18018 3205 1 0 3483478 0
[pid=11304/tid=11305] ppid=11302 vsize=13984976 memory=279695920795504 CPUtime=0.67 cores=1,3,5,7
/proc/11304/task/11305/stat : 11305 (java) R 11302 11302 8036 0 -1 4202560 6719 0 0 0 63 4 0 0 20 0 15 0 154476440 14320615424 18018 33554432000 4194304 4196468 140732247399216 140269977790816 140269614543584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11306] ppid=11302 vsize=13984976 memory=3835163037842756688 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11306/stat : 11306 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14320615424 18018 33554432000 4194304 4196468 140732247399216 140269569637520 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11307] ppid=11302 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11307/stat : 11307 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14320615424 18018 33554432000 4194304 4196468 140732247399216 140269568584720 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11308] ppid=11302 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11308/stat : 11308 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476441 14320615424 18018 33554432000 4194304 4196468 140732247399216 140269567531920 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11309] ppid=11302 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11309/stat : 11309 (java) S 11302 11302 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154476441 14320615424 18018 33554432000 4194304 4196468 140732247399216 140269566479120 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11310] ppid=11302 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11310/stat : 11310 (java) S 11302 11302 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154476442 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268953069936 140269973564034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11311] ppid=11302 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11311/stat : 11311 (java) S 11302 11302 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268952015904 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11312] ppid=11302 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13984976 memory=7452706766398776640 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13984976 memory=7881696724453321575 CPUtime=0.26 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) R 11302 11302 8036 0 -1 4202560 1278 0 0 0 26 0 0 0 20 0 15 0 154476445 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268948859760 140269953247636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13984976 memory=7440065680911650896 CPUtime=0.25 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) R 11302 11302 8036 0 -1 4202560 1063 0 0 0 25 0 0 0 20 0 15 0 154476445 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268947787976 140269957049675 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) S 11302 11302 8036 0 -1 1077944384 1811 0 0 0 30 0 0 0 20 0 15 0 154476445 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268946754160 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13984976 memory=42608 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154476446 14320615424 18018 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73456 KiB
[startup+1.50322 s]
/proc/loadavg: 2.16 1.89 1.84 5/219 11318
/proc/meminfo: memFree=26316972/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 76684 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14320615424 76684 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13984976 memory=42608 CPUtime=4.37 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) S 11302 11302 8036 0 -1 1077944384 23635 0 0 0 435 2 0 0 20 0 15 0 154476445 14320615424 76684 33554432000 4194304 4196468 140732247399216 140268948859760 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13984976 memory=1292 CPUtime=4.25 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) S 11302 11302 8036 0 -1 1077944384 18764 0 0 0 423 2 0 0 20 0 15 0 154476445 14320615424 76684 33554432000 4194304 4196468 140732247399216 140268947806960 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13984976 memory=2448 CPUtime=0.81 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) S 11302 11302 8036 0 -1 1077944384 10625 0 0 0 78 3 0 0 20 0 15 0 154476445 14320615424 76684 33554432000 4194304 4196468 140732247399216 140268946754160 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13984976 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14320615424 76684 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13984976 memory=1732 CPUtime=0.03 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 631 0 0 0 1 2 0 0 20 0 15 0 154476446 14320615424 76684 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 113.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 308120 KiB
[startup+162.301 s]
/proc/loadavg: 1.44 1.66 1.77 3/219 11320
/proc/meminfo: memFree=25862256/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
[pid=11304] ppid=11302 vsize=13984976 memory=461692 CPUtime=174.71 cores=1,3,5,7
/proc/11304/stat : 11304 (java) S 11302 11302 8036 0 -1 1077944320 85026 0 0 0 17409 62 0 0 20 0 15 0 154476440 14320615424 115423 33554432000 4194304 4196468 140732247399216 140732247381760 140269973552887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
/proc/11304/statm: 3496244 115423 3266 1 0 3483478 0
[pid=11304/tid=11305] ppid=11302 vsize=13984976 memory=454020 CPUtime=161.13 cores=1,3,5,7
/proc/11304/task/11305/stat : 11305 (java) R 11302 11302 8036 0 -1 4202560 14883 0 0 0 16107 6 0 0 20 0 15 0 154476440 14320615424 115423 33554432000 4194304 4196468 140732247399216 140269977792480 140269617192008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11306] ppid=11302 vsize=13984976 memory=448712 CPUtime=0.94 cores=1,3,5,7
/proc/11304/task/11306/stat : 11306 (java) S 11302 11302 8036 0 -1 1077944384 1864 0 0 0 84 10 0 0 20 0 15 0 154476441 14320615424 115423 33554432000 4194304 4196468 140732247399216 140269569637520 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11307] ppid=11302 vsize=13984976 memory=458112 CPUtime=0.94 cores=1,3,5,7
/proc/11304/task/11307/stat : 11307 (java) S 11302 11302 8036 0 -1 1077944384 1351 0 0 0 84 10 0 0 20 0 15 0 154476441 14320615424 115423 33554432000 4194304 4196468 140732247399216 140269568584720 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11308] ppid=11302 vsize=13984976 memory=461692 CPUtime=0.93 cores=1,3,5,7
/proc/11304/task/11308/stat : 11308 (java) S 11302 11302 8036 0 -1 1077944384 3388 0 0 0 83 10 0 0 20 0 15 0 154476441 14320615424 115423 33554432000 4194304 4196468 140732247399216 140269567531920 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11309] ppid=11302 vsize=13984976 memory=1384 CPUtime=0.93 cores=1,3,5,7
/proc/11304/task/11309/stat : 11309 (java) S 11302 11302 8036 0 -1 1077944384 3092 0 0 0 83 10 0 0 20 0 15 0 154476441 14320615424 115423 33554432000 4194304 4196468 140732247399216 140269566479120 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11310] ppid=11302 vsize=13984976 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11304/task/11310/stat : 11310 (java) S 11302 11302 8036 0 -1 1077944384 1569 0 0 0 8 1 0 0 20 0 15 0 154476442 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268953069936 140269973564034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11311] ppid=11302 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11311/stat : 11311 (java) S 11302 11302 8036 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268952015904 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11312] ppid=11302 vsize=13984976 memory=42608 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13984976 memory=443592 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13984976 memory=42608 CPUtime=4.41 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) S 11302 11302 8036 0 -1 1077944384 25050 0 0 0 439 2 0 0 20 0 15 0 154476445 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268948859760 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13984976 memory=1384 CPUtime=4.34 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) S 11302 11302 8036 0 -1 1077944384 20390 0 0 0 432 2 0 0 20 0 15 0 154476445 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268947806960 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13984976 memory=330160 CPUtime=0.82 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) S 11302 11302 8036 0 -1 1077944384 11344 0 0 0 79 3 0 0 20 0 15 0 154476445 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268946754160 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13984976 memory=452296 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 735 0 0 0 3 3 0 0 20 0 15 0 154476446 14320615424 115423 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 174.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 463076 KiB
[startup+222.301 s]
/proc/loadavg: 1.61 1.68 1.77 3/219 11402
/proc/meminfo: memFree=25871628/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
[pid=11304] ppid=11302 vsize=13984976 memory=327264 CPUtime=236.1 cores=1,3,5,7
/proc/11304/stat : 11304 (java) S 11302 11302 8036 0 -1 1077944320 91135 0 0 0 23538 72 0 0 20 0 15 0 154476440 14320615424 81816 33554432000 4194304 4196468 140732247399216 140732247381760 140269973552887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
/proc/11304/statm: 3496244 81816 3282 1 0 3483478 0
[pid=11304/tid=11305] ppid=11302 vsize=13984976 memory=327776 CPUtime=220.58 cores=1,3,5,7
/proc/11304/task/11305/stat : 11305 (java) R 11302 11302 8036 0 -1 4202560 16350 0 0 0 22052 6 0 0 20 0 15 0 154476440 14320615424 81816 33554432000 4194304 4196468 140732247399216 140269977792400 140269617261205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11306] ppid=11302 vsize=13984976 memory=328288 CPUtime=1.41 cores=1,3,5,7
/proc/11304/task/11306/stat : 11306 (java) S 11302 11302 8036 0 -1 1077944384 2386 0 0 0 129 12 0 0 20 0 15 0 154476441 14320615424 81816 33554432000 4194304 4196468 140732247399216 140269569637520 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11307] ppid=11302 vsize=13984976 memory=327776 CPUtime=1.41 cores=1,3,5,7
/proc/11304/task/11307/stat : 11307 (java) S 11302 11302 8036 0 -1 1077944384 2272 0 0 0 129 12 0 0 20 0 15 0 154476441 14320615424 81816 33554432000 4194304 4196468 140732247399216 140269568584720 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11308] ppid=11302 vsize=13984976 memory=327264 CPUtime=1.4 cores=1,3,5,7
/proc/11304/task/11308/stat : 11308 (java) S 11302 11302 8036 0 -1 1077944384 3997 0 0 0 128 12 0 0 20 0 15 0 154476441 14320615424 81816 33554432000 4194304 4196468 140732247399216 140269567531920 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11309] ppid=11302 vsize=13984976 memory=1384 CPUtime=1.39 cores=1,3,5,7
/proc/11304/task/11309/stat : 11309 (java) S 11302 11302 8036 0 -1 1077944384 3704 0 0 0 127 12 0 0 20 0 15 0 154476441 14320615424 81816 33554432000 4194304 4196468 140732247399216 140269566479120 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11310] ppid=11302 vsize=13984976 memory=14 CPUtime=0.14 cores=1,3,5,7
/proc/11304/task/11310/stat : 11310 (java) S 11302 11302 8036 0 -1 1077944384 3465 0 0 0 12 2 0 0 20 0 15 0 154476442 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268953069936 140269973564034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11311] ppid=11302 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11311/stat : 11311 (java) S 11302 11302 8036 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268952015904 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11312] ppid=11302 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13984976 memory=330852 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13984976 memory=1384 CPUtime=4.41 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) S 11302 11302 8036 0 -1 1077944384 25053 0 0 0 439 2 0 0 20 0 15 0 154476445 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268948859760 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13984976 memory=1384 CPUtime=4.35 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) S 11302 11302 8036 0 -1 1077944384 20461 0 0 0 433 2 0 0 20 0 15 0 154476445 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268947806960 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13984976 memory=1384 CPUtime=0.82 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) S 11302 11302 8036 0 -1 1077944384 11346 0 0 0 79 3 0 0 20 0 15 0 154476445 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268946754160 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13984976 memory=327776 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 741 0 0 0 4 4 0 0 20 0 15 0 154476446 14320615424 81816 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 236.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 328648 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.002 s]*
/proc/loadavg: 1.66 1.68 1.77 3/219 11402
/proc/meminfo: memFree=25772444/32770624 swapFree=67108860/67108860
[pid=11302] ppid=11299 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (xcsp3-exec) S 11299 11302 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154476440 9740288 346 33554432000 4194304 5098028 140723159505056 140723159503160 139775185789564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33042432 140723159512180 140723159512384 140723159512384 140723159515115 0
/proc/11302/statm: 2378 346 289 221 0 87 0
[pid=11304] ppid=11302 vsize=13984976 memory=362444 CPUtime=254.43 cores=1,3,5,7
/proc/11304/stat : 11304 (java) S 11302 11302 8036 0 -1 1077944320 96915 0 0 0 25365 78 0 0 20 0 15 0 154476440 14320615424 90611 33554432000 4194304 4196468 140732247399216 140732247381760 140269973552887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
/proc/11304/statm: 3496244 90611 3282 1 0 3483478 0
[pid=11304/tid=11305] ppid=11302 vsize=13984976 memory=6791534058613427641 CPUtime=238.07 cores=1,3,5,7
/proc/11304/task/11305/stat : 11305 (java) R 11302 11302 8036 0 -1 4202560 16379 0 0 0 23801 6 0 0 20 0 15 0 154476440 14320615424 90611 33554432000 4194304 4196468 140732247399216 140269977790072 140269616216072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11306] ppid=11302 vsize=13984976 memory=1384 CPUtime=1.59 cores=1,3,5,7
/proc/11304/task/11306/stat : 11306 (java) S 11302 11302 8036 0 -1 1077944384 2894 0 0 0 146 13 0 0 20 0 15 0 154476441 14320615424 90611 33554432000 4194304 4196468 140732247399216 140269569637520 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11307] ppid=11302 vsize=13984976 memory=492128 CPUtime=1.6 cores=1,3,5,7
/proc/11304/task/11307/stat : 11307 (java) S 11302 11302 8036 0 -1 1077944384 2762 0 0 0 146 14 0 0 20 0 15 0 154476441 14320615424 90611 33554432000 4194304 4196468 140732247399216 140269568584720 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11308] ppid=11302 vsize=13984976 memory=3072 CPUtime=1.59 cores=1,3,5,7
/proc/11304/task/11308/stat : 11308 (java) S 11302 11302 8036 0 -1 1077944384 4442 0 0 0 145 14 0 0 20 0 15 0 154476441 14320615424 90611 33554432000 4194304 4196468 140732247399216 140269567531920 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11309] ppid=11302 vsize=13984976 memory=-7003737579269690708 CPUtime=1.58 cores=1,3,5,7
/proc/11304/task/11309/stat : 11309 (java) S 11302 11302 8036 0 -1 1077944384 4168 0 0 0 144 14 0 0 20 0 15 0 154476441 14320615424 90611 33554432000 4194304 4196468 140732247399216 140269566479120 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11310] ppid=11302 vsize=13984976 memory=42608 CPUtime=0.15 cores=1,3,5,7
/proc/11304/task/11310/stat : 11310 (java) S 11302 11302 8036 0 -1 1077944384 5396 0 0 0 13 2 0 0 20 0 15 0 154476442 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268953069936 140269973564034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11311] ppid=11302 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11311/stat : 11311 (java) S 11302 11302 8036 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268952015904 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11312] ppid=11302 vsize=13984976 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11312/stat : 11312 (java) S 11302 11302 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154476443 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268950963056 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11313] ppid=11302 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11313/stat : 11313 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476445 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268949911376 140269973571483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11314] ppid=11302 vsize=13984976 memory=1948 CPUtime=4.48 cores=1,3,5,7
/proc/11304/task/11314/stat : 11314 (java) S 11302 11302 8036 0 -1 1077944384 26633 0 0 0 446 2 0 0 20 0 15 0 154476445 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268948859760 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11315] ppid=11302 vsize=13984976 memory=800 CPUtime=4.35 cores=1,3,5,7
/proc/11304/task/11315/stat : 11315 (java) S 11302 11302 8036 0 -1 1077944384 20546 0 0 0 433 2 0 0 20 0 15 0 154476445 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268947806960 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11316] ppid=11302 vsize=13984976 memory=12132 CPUtime=0.82 cores=1,3,5,7
/proc/11304/task/11316/stat : 11316 (java) S 11302 11302 8036 0 -1 1077944384 11591 0 0 0 79 3 0 0 20 0 15 0 154476445 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268946754160 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11317] ppid=11302 vsize=13984976 memory=4472 CPUtime=0 cores=1,3,5,7
/proc/11304/task/11317/stat : 11317 (java) S 11302 11302 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154476446 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268945701600 140269973563093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
[pid=11304/tid=11318] ppid=11302 vsize=13984976 memory=1236 CPUtime=0.09 cores=1,3,5,7
/proc/11304/task/11318/stat : 11318 (java) S 11302 11302 8036 0 -1 1077944384 744 0 0 0 4 5 0 0 20 0 15 0 154476446 14320615424 90611 33554432000 4194304 4196468 140732247399216 140268944648880 140269973564034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6709248 140732247401629 140732247401804 140732247401804 140732247404495 0
Current children cumulated CPU time: 254.43 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 363828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.021 s]
# the end of solver process 11302 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00087 s, system=0.001264 s
[startup+240.025 s]
# the end of solver process 11304 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.66 s, system=0.79781 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.025
CPU time (s): 254.458
CPU user time (s): 253.66
CPU system time (s): 0.79781
CPU usage (%): 106.013
Max. virtual memory (cumulated for all children) (KiB): 13996620
Max. memory (cumulated for all children) (KiB): 520468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.66
system time used= 0.79781
maximum resident set size= 537944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11398
involuntary context switches= 486
# summary of solver processes directly reported to runsolver:
# pid: 11302,11304
# total CPU time (s): 254.458
# total CPU user time (s): 253.66
# total CPU system time (s): 0.79781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44969 second user time and 2.46706 second system time
The end