0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271333-1502777375.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271333-1502777375.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.32/0.27 c parse instance...
19.94/14.60 c solve instance...
25.32/15.36 s SATISFIABLE
25.32/15.36 v <instantiation>
25.32/15.36 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list>
25.32/15.36 v <values>182 0 5 10 2 15 13 7 19 9 14 8 12 3 20 18 16 17 1 4 11 6 2 5 3 3 24 18 17 11 5 8 13 22 26 3 3 4 0 3 4 8 7 10 13 37 55 72 83 88 96 109 131 157 160 163 167 167 170 174 182 </values>
25.32/15.36 v </instantiation>
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 (13320 MiB free)
memory of node 1: 16384 MiB (13786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271333-1502777375/watcher-4271333-1502777375 -o /tmp/evaluation-result-4271333-1502777375/solver-4271333-1502777375 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502773987-13167 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 363397194 HOME/instance-4271333-1502777375.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13519, runsolver pid=13516
Current StackSize limit: 8192 KiB
[startup+0.102278 s]*
/proc/loadavg: 8.03 8.16 8.25 2/199 13540
/proc/meminfo: memFree=27741656/32770624 swapFree=67108860/67108860
[pid=13519] ppid=13516 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13519/stat : 13519 (xcsp3-exec) S 13516 13519 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110818316 9740288 346 33554432000 4194304 5098028 140735972360016 140735972358120 140002570101372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16740352 140735972365413 140735972365623 140735972365623 140735972368363 0
/proc/13519/statm: 2378 346 289 221 0 87 0
[pid=13521] ppid=13519 vsize=25999808 memory=26616 CPUtime=0.12 cores=0-7
/proc/13521/stat : 13521 (java) S 13519 13519 13140 0 -1 1077944320 5525 0 0 0 11 1 0 0 20 0 20 0 110818317 26623803392 6654 33554432000 4194304 4196468 140726747076864 140726747059408 140049592516343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
/proc/13521/statm: 6499952 6654 2862 1 0 6488269 0
[pid=13521/tid=13522] ppid=13519 vsize=25999808 memory=8041065467809274521 CPUtime=0.09 cores=0-7
/proc/13521/task/13522/stat : 13522 (java) R 13519 13519 13140 0 -1 4202560 3523 0 0 0 9 0 0 0 20 0 20 0 110818317 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049596750880 140049592528278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13523] ppid=13519 vsize=25999808 memory=732370491699190757 CPUtime=0 cores=0-7
/proc/13521/task/13523/stat : 13523 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049151032336 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13524] ppid=13519 vsize=25999808 memory=140353361737344 CPUtime=0 cores=0-7
/proc/13521/task/13524/stat : 13524 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049149979792 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13525] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13525/stat : 13525 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049148926736 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13526] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13526/stat : 13526 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049147874192 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13527] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13527/stat : 13527 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049146821136 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13528] ppid=13519 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13521/task/13528/stat : 13528 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049145768592 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13529] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13529/stat : 13529 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049144715536 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13530] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13530/stat : 13530 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818318 26623803392 6654 33554432000 4194304 4196468 140726747076864 140049143662992 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13531] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13531/stat : 13531 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818319 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048988261104 140049592527490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13532] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13532/stat : 13532 (java) S 13519 13519 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110818320 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048987207328 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13533] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13533/stat : 13533 (java) S 13519 13519 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110818320 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048986154224 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13534] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13534/stat : 13534 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818322 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048985102800 140049592534939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13535] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13535/stat : 13535 (java) S 13519 13519 13140 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 110818322 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048984049904 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13536] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13536/stat : 13536 (java) S 13519 13519 13140 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 110818322 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048982997360 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13537] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13537/stat : 13537 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818322 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048981944304 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13538] ppid=13519 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13521/task/13538/stat : 13538 (java) R 13519 13519 13140 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 20 0 110818322 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048980891760 140049573775498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13539] ppid=13519 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13539/stat : 13539 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818323 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048979839968 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13540] ppid=13519 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13521/task/13540/stat : 13540 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818323 26623803392 6654 33554432000 4194304 4196468 140726747076864 140048978787504 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28000 KiB
[startup+0.210427 s]*
/proc/loadavg: 8.03 8.16 8.25 2/199 13540
/proc/meminfo: memFree=27730988/32770624 swapFree=67108860/67108860
[pid=13519] ppid=13516 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13519/stat : 13519 (xcsp3-exec) S 13516 13519 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110818316 9740288 346 33554432000 4194304 5098028 140735972360016 140735972358120 140002570101372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16740352 140735972365413 140735972365623 140735972365623 140735972368363 0
/proc/13519/statm: 2378 346 289 221 0 87 0
[pid=13521] ppid=13519 vsize=26004064 memory=39112 CPUtime=0.32 cores=0-7
/proc/13521/stat : 13521 (java) S 13519 13519 13140 0 -1 1077944320 8303 0 0 0 31 1 0 0 20 0 20 0 110818317 26628161536 9778 33554432000 4194304 4196468 140726747076864 140726747059408 140049592516343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
/proc/13521/statm: 6501016 9778 3074 1 0 6488269 0
[pid=13521/tid=13522] ppid=13519 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/13521/task/13522/stat : 13522 (java) R 13519 13519 13140 0 -1 4202560 5464 0 0 0 19 1 0 0 20 0 20 0 110818317 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049596753184 140049576596830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13523] ppid=13519 vsize=26004064 memory=280706584737528 CPUtime=0 cores=0-7
/proc/13521/task/13523/stat : 13523 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049151032336 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13524] ppid=13519 vsize=26004064 memory=140353361737344 CPUtime=0 cores=0-7
/proc/13521/task/13524/stat : 13524 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049149979792 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13525] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13525/stat : 13525 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049148926736 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13526] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13526/stat : 13526 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049147874192 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13527] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13527/stat : 13527 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049146821136 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13528] ppid=13519 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13521/task/13528/stat : 13528 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049145768592 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13529] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13529/stat : 13529 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049144715536 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13530] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13530/stat : 13530 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 9778 33554432000 4194304 4196468 140726747076864 140049143662992 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13531] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13531/stat : 13531 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818319 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048988261104 140049592527490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13532] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13532/stat : 13532 (java) S 13519 13519 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110818320 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048987207328 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13533] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13533/stat : 13533 (java) S 13519 13519 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110818320 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048986154224 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13534] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13534/stat : 13534 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818322 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048985102800 140049592534939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13535] ppid=13519 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13521/task/13535/stat : 13535 (java) S 13519 13519 13140 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 110818322 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048984049904 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13536] ppid=13519 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13521/task/13536/stat : 13536 (java) S 13519 13519 13140 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 110818322 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048982997360 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13537] ppid=13519 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13521/task/13537/stat : 13537 (java) S 13519 13519 13140 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 110818322 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048981944304 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13538] ppid=13519 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/13521/task/13538/stat : 13538 (java) R 13519 13519 13140 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 20 0 110818322 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048980891760 140049572728538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13539] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13539/stat : 13539 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818323 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048979839968 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13540] ppid=13519 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13521/task/13540/stat : 13540 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818323 26628161536 9778 33554432000 4194304 4196468 140726747076864 140048978787504 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40496 KiB
[startup+0.310215 s]*
/proc/loadavg: 8.03 8.16 8.25 3/199 13540
/proc/meminfo: memFree=27725840/32770624 swapFree=67108860/67108860
[pid=13519] ppid=13516 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13519/stat : 13519 (xcsp3-exec) S 13516 13519 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110818316 9740288 346 33554432000 4194304 5098028 140735972360016 140735972358120 140002570101372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16740352 140735972365413 140735972365623 140735972365623 140735972368363 0
/proc/13519/statm: 2378 346 289 221 0 87 0
[pid=13521] ppid=13519 vsize=26004064 memory=46372 CPUtime=0.5 cores=0-7
/proc/13521/stat : 13521 (java) S 13519 13519 13140 0 -1 1077944320 9275 0 0 0 48 2 0 0 20 0 20 0 110818317 26628161536 11593 33554432000 4194304 4196468 140726747076864 140726747059408 140049592516343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
/proc/13521/statm: 6501016 11593 3116 1 0 6488269 0
[pid=13521/tid=13522] ppid=13519 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13521/task/13522/stat : 13522 (java) R 13519 13519 13140 0 -1 4202560 6149 0 0 0 28 1 0 0 20 0 20 0 110818317 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049596752384 140049592538269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13523] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13523/stat : 13523 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049151032336 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13524] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13524/stat : 13524 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049149979792 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13525] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13525/stat : 13525 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049148926736 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13526] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13526/stat : 13526 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049147874192 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13527] ppid=13519 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13521/task/13527/stat : 13527 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049146821136 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13528] ppid=13519 vsize=26004064 memory=140353223095215 CPUtime=0 cores=0-7
/proc/13521/task/13528/stat : 13528 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049145768592 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13529] ppid=13519 vsize=26004064 memory=140353223097520 CPUtime=0 cores=0-7
/proc/13521/task/13529/stat : 13529 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049144715536 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13530] ppid=13519 vsize=26004064 memory=140353223099824 CPUtime=0 cores=0-7
/proc/13521/task/13530/stat : 13530 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818318 26628161536 11593 33554432000 4194304 4196468 140726747076864 140049143662992 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13531] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13531/stat : 13531 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818319 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048988261104 140049592527490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13532] ppid=13519 vsize=26004064 memory=280706446206608 CPUtime=0 cores=0-7
/proc/13521/task/13532/stat : 13532 (java) S 13519 13519 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110818320 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048987207328 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13533] ppid=13519 vsize=26004064 memory=280706446213520 CPUtime=0 cores=0-7
/proc/13521/task/13533/stat : 13533 (java) S 13519 13519 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110818320 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048986154224 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13534] ppid=13519 vsize=26004064 memory=280706446154800 CPUtime=0 cores=0-7
/proc/13521/task/13534/stat : 13534 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818322 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048985102800 140049592534939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13535] ppid=13519 vsize=26004064 memory=280706446227344 CPUtime=0.02 cores=0-7
/proc/13521/task/13535/stat : 13535 (java) R 13519 13519 13140 0 -1 4202560 477 0 0 0 2 0 0 0 20 0 20 0 110818322 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048984049904 140049592528278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13536] ppid=13519 vsize=26004064 memory=280706446234256 CPUtime=0.02 cores=0-7
/proc/13521/task/13536/stat : 13536 (java) R 13519 13519 13140 0 -1 4202560 275 0 0 0 2 0 0 0 20 0 20 0 110818322 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048982997360 140049592527490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13537] ppid=13519 vsize=26004064 memory=280706446231952 CPUtime=0.01 cores=0-7
/proc/13521/task/13537/stat : 13537 (java) R 13519 13519 13140 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 110818322 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048981944400 140049584753470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13538] ppid=13519 vsize=26004064 memory=280706446248112 CPUtime=0.12 cores=0-7
/proc/13521/task/13538/stat : 13538 (java) R 13519 13519 13140 0 -1 4202560 831 0 0 0 12 0 0 0 20 0 20 0 110818322 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048980891888 140049571006000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13539] ppid=13519 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13539/stat : 13539 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818323 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048979839968 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13540] ppid=13519 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13521/task/13540/stat : 13540 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818323 26628161536 11593 33554432000 4194304 4196468 140726747076864 140048978787504 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47756 KiB
[startup+0.701001 s]
/proc/loadavg: 8.03 8.16 8.25 6/199 13540
/proc/meminfo: memFree=27685640/32770624 swapFree=67108860/67108860
[pid=13519] ppid=13516 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13519/stat : 13519 (xcsp3-exec) S 13516 13519 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110818316 9740288 346 33554432000 4194304 5098028 140735972360016 140735972358120 140002570101372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16740352 140735972365413 140735972365623 140735972365623 140735972368363 0
/proc/13519/statm: 2378 346 289 221 0 87 0
[pid=13521] ppid=13519 vsize=26006188 memory=99664 CPUtime=1.73 cores=0-7
/proc/13521/stat : 13521 (java) S 13519 13519 13140 0 -1 1077944320 13866 0 0 0 169 4 0 0 20 0 20 0 110818317 26630336512 24916 33554432000 4194304 4196468 140726747076864 140726747059408 140049592516343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
/proc/13521/statm: 6501547 24916 3200 1 0 6488781 0
[pid=13521/tid=13522] ppid=13519 vsize=26006188 memory=280706446542976 CPUtime=0.67 cores=0-7
/proc/13521/task/13522/stat : 13522 (java) R 13519 13519 13140 0 -1 4202560 6573 0 0 0 65 2 0 0 20 0 20 0 110818317 26630336512 24916 33554432000 4194304 4196468 140726747076864 140049596753232 140049233903583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13523] ppid=13519 vsize=26006188 memory=5080946312342 CPUtime=0 cores=0-7
/proc/13521/task/13523/stat : 13523 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26630336512 24916 33554432000 4194304 4196468 140726747076864 140049151032336 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13524] ppid=13519 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13524/stat : 13524 (java) S 13519 13519 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110818318 26630336512 24916 33554432000 4194304 4196468 140726747076864 140049149979792 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13525] ppid=13519 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13525/stat : 13525 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818318 26630336512 24916 33554432000 4194304 4196468 140726747076864 140049148926736 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
################
# More data... #
################
[pid=13521/tid=13527] ppid=13519 vsize=26006188 memory=844 CPUtime=0.28 cores=0-7
/proc/13521/task/13527/stat : 13527 (java) S 13519 13519 13140 0 -1 1077944384 1694 0 0 0 15 13 0 0 20 0 20 0 110818318 26630336512 190208 33554432000 4194304 4196468 140726747076864 140049146821136 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13528] ppid=13519 vsize=26006188 memory=4100 CPUtime=0.27 cores=0-7
/proc/13521/task/13528/stat : 13528 (java) S 13519 13519 13140 0 -1 1077944384 1123 0 0 0 14 13 0 0 20 0 20 0 110818318 26630336512 190208 33554432000 4194304 4196468 140726747076864 140049145768592 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13529] ppid=13519 vsize=26006188 memory=1696 CPUtime=0.28 cores=0-7
/proc/13521/task/13529/stat : 13529 (java) S 13519 13519 13140 0 -1 1077944384 1479 0 0 0 14 14 0 0 20 0 20 0 110818318 26630336512 190208 33554432000 4194304 4196468 140726747076864 140049144715536 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13530] ppid=13519 vsize=26006188 memory=920 CPUtime=0.27 cores=0-7
/proc/13521/task/13530/stat : 13530 (java) S 13519 13519 13140 0 -1 1077944384 1328 0 0 0 12 15 0 0 20 0 20 0 110818318 26630336512 190208 33554432000 4194304 4196468 140726747076864 140049143662992 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13531] ppid=13519 vsize=26006188 memory=1384 CPUtime=0.05 cores=0-7
/proc/13521/task/13531/stat : 13531 (java) S 13519 13519 13140 0 -1 1077944384 2114 0 0 0 5 0 0 0 20 0 20 0 110818319 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048988261104 140049592527490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13532] ppid=13519 vsize=26006188 memory=769024 CPUtime=0 cores=0-7
/proc/13521/task/13532/stat : 13532 (java) S 13519 13519 13140 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 110818320 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048987207392 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13533] ppid=13519 vsize=26006188 memory=932 CPUtime=0 cores=0-7
/proc/13521/task/13533/stat : 13533 (java) S 13519 13519 13140 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 110818320 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048986154240 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13534] ppid=13519 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/13521/task/13534/stat : 13534 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818322 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048985102800 140049592534939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13535] ppid=13519 vsize=26006188 memory=760832 CPUtime=0.43 cores=0-7
/proc/13521/task/13535/stat : 13535 (java) S 13519 13519 13140 0 -1 1077944384 2800 0 0 0 42 1 0 0 20 0 20 0 110818322 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048984049904 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13536] ppid=13519 vsize=26006188 memory=4124 CPUtime=1.36 cores=0-7
/proc/13521/task/13536/stat : 13536 (java) S 13519 13519 13140 0 -1 1077944384 6296 0 0 0 135 1 0 0 20 0 20 0 110818322 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048982997360 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13537] ppid=13519 vsize=26006188 memory=8616 CPUtime=1.1 cores=0-7
/proc/13521/task/13537/stat : 13537 (java) S 13519 13519 13140 0 -1 1077944384 6235 0 0 0 109 1 0 0 20 0 20 0 110818322 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048981944304 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13538] ppid=13519 vsize=26006188 memory=4620 CPUtime=0.45 cores=0-7
/proc/13521/task/13538/stat : 13538 (java) S 13519 13519 13140 0 -1 1077944384 3456 0 0 0 45 0 0 0 20 0 20 0 110818322 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048980891760 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13539] ppid=13519 vsize=26006188 memory=1196 CPUtime=0 cores=0-7
/proc/13521/task/13539/stat : 13539 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818323 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048979839968 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13540] ppid=13519 vsize=26006188 memory=15872 CPUtime=0 cores=0-7
/proc/13521/task/13540/stat : 13540 (java) S 13519 13519 13140 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 20 0 110818323 26630336512 190208 33554432000 4194304 4196468 140726747076864 140048978787504 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
Current children cumulated CPU time: 19.74 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 762216 KiB
[startup+15.2091 s]
/proc/loadavg: 6.47 7.81 8.13 13/207 13548
/proc/meminfo: memFree=26998120/32770624 swapFree=67108860/67108860
[pid=13519] ppid=13516 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13519/stat : 13519 (xcsp3-exec) S 13516 13519 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110818316 9740288 346 33554432000 4194304 5098028 140735972360016 140735972358120 140002570101372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16740352 140735972365413 140735972365623 140735972365623 140735972368363 0
/proc/13519/statm: 2378 346 289 221 0 87 0
[pid=13521] ppid=13519 vsize=26538700 memory=779932 CPUtime=24.53 cores=0-7
/proc/13521/stat : 13521 (java) S 13519 13519 13140 0 -1 1077944320 53378 0 0 0 2323 130 0 0 20 0 28 0 110818317 27175628800 194983 33554432000 4194304 4196468 140726747076864 140726747059408 140049592516343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
/proc/13521/statm: 6634675 194983 3256 1 0 6621909 0
[pid=13521/tid=13522] ppid=13519 vsize=26538700 memory=1792 CPUtime=14.23 cores=0-7
/proc/13521/task/13522/stat : 13522 (java) S 13519 13519 13140 0 -1 1077944384 11238 0 0 0 1417 6 0 0 20 0 28 0 110818317 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049596757120 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13523] ppid=13519 vsize=26538700 memory=648 CPUtime=0.27 cores=0-7
/proc/13521/task/13523/stat : 13523 (java) S 13519 13519 13140 0 -1 1077944384 1591 0 0 0 12 15 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049151032336 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13524] ppid=13519 vsize=26538700 memory=1240 CPUtime=0.28 cores=0-7
/proc/13521/task/13524/stat : 13524 (java) S 13519 13519 13140 0 -1 1077944384 1220 0 0 0 13 15 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049149979792 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13525] ppid=13519 vsize=26538700 memory=2408 CPUtime=0.26 cores=0-7
/proc/13521/task/13525/stat : 13525 (java) S 13519 13519 13140 0 -1 1077944384 1027 0 0 0 15 11 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049148926736 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13526] ppid=13519 vsize=26538700 memory=1732 CPUtime=0.27 cores=0-7
/proc/13521/task/13526/stat : 13526 (java) S 13519 13519 13140 0 -1 1077944384 1224 0 0 0 14 13 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049147874192 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13527] ppid=13519 vsize=26538700 memory=1224 CPUtime=0.28 cores=0-7
/proc/13521/task/13527/stat : 13527 (java) S 13519 13519 13140 0 -1 1077944384 1694 0 0 0 15 13 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049146821136 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13528] ppid=13519 vsize=26538700 memory=12032 CPUtime=0.27 cores=0-7
/proc/13521/task/13528/stat : 13528 (java) S 13519 13519 13140 0 -1 1077944384 1123 0 0 0 14 13 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049145768592 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13529] ppid=13519 vsize=26538700 memory=5792 CPUtime=0.28 cores=0-7
/proc/13521/task/13529/stat : 13529 (java) S 13519 13519 13140 0 -1 1077944384 1479 0 0 0 14 14 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049144715536 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13530] ppid=13519 vsize=26538700 memory=796 CPUtime=0.27 cores=0-7
/proc/13521/task/13530/stat : 13530 (java) S 13519 13519 13140 0 -1 1077944384 1328 0 0 0 12 15 0 0 20 0 28 0 110818318 27175628800 194983 33554432000 4194304 4196468 140726747076864 140049143662992 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13531] ppid=13519 vsize=26538700 memory=1436 CPUtime=0.05 cores=0-7
/proc/13521/task/13531/stat : 13531 (java) S 13519 13519 13140 0 -1 1077944384 2120 0 0 0 5 0 0 0 20 0 28 0 110818319 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048988261104 140049592527490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13532] ppid=13519 vsize=26538700 memory=1012 CPUtime=0 cores=0-7
/proc/13521/task/13532/stat : 13532 (java) S 13519 13519 13140 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 110818320 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048987207392 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13533] ppid=13519 vsize=26538700 memory=1712 CPUtime=0 cores=0-7
/proc/13521/task/13533/stat : 13533 (java) S 13519 13519 13140 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 110818320 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048986154240 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13534] ppid=13519 vsize=26538700 memory=1952 CPUtime=0 cores=0-7
/proc/13521/task/13534/stat : 13534 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110818322 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048985102800 140049592534939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13535] ppid=13519 vsize=26538700 memory=8616 CPUtime=0.89 cores=0-7
/proc/13521/task/13535/stat : 13535 (java) R 13519 13519 13140 0 -1 4202560 5269 0 0 0 88 1 0 0 20 0 28 0 110818322 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048984030920 140049575927296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13536] ppid=13519 vsize=26538700 memory=6791534058613427641 CPUtime=1.78 cores=0-7
/proc/13521/task/13536/stat : 13536 (java) R 13519 13519 13140 0 -1 4202560 7939 0 0 0 176 2 0 0 20 0 28 0 110818322 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048982989848 140049578532177 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13537] ppid=13519 vsize=26538700 memory=41 CPUtime=1.61 cores=0-7
/proc/13521/task/13537/stat : 13537 (java) R 13519 13519 13140 0 -1 4202560 9464 0 0 0 159 2 0 0 20 0 28 0 110818322 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048981930080 140049584805725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13538] ppid=13519 vsize=26538700 memory=154 CPUtime=0.56 cores=0-7
/proc/13521/task/13538/stat : 13538 (java) R 13519 13519 13140 0 -1 1077944384 4291 0 0 0 55 1 0 0 20 0 28 0 110818322 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048980891760 140049592527490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13539] ppid=13519 vsize=26538700 memory=85 CPUtime=0 cores=0-7
/proc/13521/task/13539/stat : 13539 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110818323 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048979839968 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13540] ppid=13519 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13521/task/13540/stat : 13540 (java) S 13519 13519 13140 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 28 0 110818323 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048978787504 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13541] ppid=13519 vsize=26538700 memory=512 CPUtime=0.51 cores=0-7
/proc/13521/task/13541/stat : 13541 (java) R 13519 13519 13140 0 -1 4202560 88 0 0 0 51 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048970777704 140049236186804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13542] ppid=13519 vsize=26538700 memory=1072 CPUtime=0.42 cores=0-7
/proc/13521/task/13542/stat : 13542 (java) R 13519 13519 13140 0 -1 1077944384 78 0 0 0 42 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048969723872 140049592526549 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13543] ppid=13519 vsize=26538700 memory=257 CPUtime=0.32 cores=0-7
/proc/13521/task/13543/stat : 13543 (java) R 13519 13519 13140 0 -1 4202560 74 0 0 0 32 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048968673096 140049236185024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13544] ppid=13519 vsize=26538700 memory=39 CPUtime=0.33 cores=0-7
/proc/13521/task/13544/stat : 13544 (java) R 13519 13519 13140 0 -1 4202560 32 0 0 0 33 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048967618368 140049236186142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13545] ppid=13519 vsize=26538700 memory=78 CPUtime=0.36 cores=0-7
/proc/13521/task/13545/stat : 13545 (java) R 13519 13519 13140 0 -1 4202560 54 0 0 0 36 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048966565656 140049236185079 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13546] ppid=13519 vsize=26538700 memory=22244 CPUtime=0.34 cores=0-7
/proc/13521/task/13546/stat : 13546 (java) R 13519 13519 13140 0 -1 4202560 75 0 0 0 34 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048965514800 140049236186142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13547] ppid=13519 vsize=26538700 memory=8242832241811678803 CPUtime=0.34 cores=0-7
/proc/13521/task/13547/stat : 13547 (java) R 13519 13519 13140 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048964461080 140049236510877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13548] ppid=13519 vsize=26538700 memory=4620 CPUtime=0.4 cores=0-7
/proc/13521/task/13548/stat : 13548 (java) R 13519 13519 13140 0 -1 4202560 74 0 0 0 40 0 0 0 20 0 28 0 110819778 27175628800 194983 33554432000 4194304 4196468 140726747076864 140048963410600 140049236186142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
Current children cumulated CPU time: 24.53 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 781316 KiB
[startup+15.4012 s]
/proc/loadavg: 6.47 7.81 8.13 13/207 13548
/proc/meminfo: memFree=26998120/32770624 swapFree=67108860/67108860
[pid=13519] ppid=13516 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13519/stat : 13519 (xcsp3-exec) S 13516 13519 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110818316 9740288 346 33554432000 4194304 5098028 140735972360016 140735972358120 140002570101372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16740352 140735972365413 140735972365623 140735972365623 140735972368363 0
/proc/13519/statm: 2378 346 289 221 0 87 0
[pid=13521] ppid=13519 vsize=26538700 memory=828424 CPUtime=26.04 cores=0-7
/proc/13521/stat : 13521 (java) S 13519 13519 13140 0 -1 1077944320 54442 0 0 0 2468 136 0 0 20 0 20 0 110818317 27175628800 207106 33554432000 4194304 4196468 140726747076864 140726747059408 140049592516343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
/proc/13521/statm: 6634675 207106 3278 1 0 6621909 0
[pid=13521/tid=13522] ppid=13519 vsize=26538700 memory=18476 CPUtime=14.23 cores=0-7
/proc/13521/task/13522/stat : 13522 (java) S 13519 13519 13140 0 -1 1077944384 11240 0 0 0 1417 6 0 0 20 0 20 0 110818317 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049596757936 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13523] ppid=13519 vsize=26538700 memory=18656 CPUtime=0.3 cores=0-7
/proc/13521/task/13523/stat : 13523 (java) R 13519 13519 13140 0 -1 4202560 1632 0 0 0 14 16 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049151032336 140049585616043 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13524] ppid=13519 vsize=26538700 memory=4048 CPUtime=0.3 cores=0-7
/proc/13521/task/13524/stat : 13524 (java) R 13519 13519 13140 0 -1 4202560 1247 0 0 0 15 15 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049149979680 140049585613044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13525] ppid=13519 vsize=26538700 memory=1792 CPUtime=0.29 cores=0-7
/proc/13521/task/13525/stat : 13525 (java) R 13519 13519 13140 0 -1 4202560 1069 0 0 0 17 12 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049148926936 140049585616043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13526] ppid=13519 vsize=26538700 memory=648 CPUtime=0.31 cores=0-7
/proc/13521/task/13526/stat : 13526 (java) R 13519 13519 13140 0 -1 4202560 1267 0 0 0 17 14 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049147874192 140049585616043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13527] ppid=13519 vsize=26538700 memory=1240 CPUtime=0.31 cores=0-7
/proc/13521/task/13527/stat : 13527 (java) R 13519 13519 13140 0 -1 4202560 1733 0 0 0 17 14 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049146821136 140049585613044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13528] ppid=13519 vsize=26538700 memory=960 CPUtime=0.3 cores=0-7
/proc/13521/task/13528/stat : 13528 (java) R 13519 13519 13140 0 -1 4202560 1144 0 0 0 17 13 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049145768792 140049585616043 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13529] ppid=13519 vsize=26538700 memory=2424 CPUtime=0.31 cores=0-7
/proc/13521/task/13529/stat : 13529 (java) R 13519 13519 13140 0 -1 4202560 1523 0 0 0 17 14 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049144715736 140049585616043 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13530] ppid=13519 vsize=26538700 memory=932 CPUtime=0.31 cores=0-7
/proc/13521/task/13530/stat : 13530 (java) R 13519 13519 13140 0 -1 4202560 1370 0 0 0 15 16 0 0 20 0 20 0 110818318 27175628800 207106 33554432000 4194304 4196468 140726747076864 140049143662992 140049585616043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13531] ppid=13519 vsize=26538700 memory=1572 CPUtime=0.05 cores=0-7
/proc/13521/task/13531/stat : 13531 (java) S 13519 13519 13140 0 -1 1077944384 2121 0 0 0 5 0 0 0 20 0 20 0 110818319 27175628800 207106 33554432000 4194304 4196468 140726747076864 140048988259616 140049592526549 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13532] ppid=13519 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/13521/task/13532/stat : 13532 (java) S 13519 13519 13140 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 110818320 27175628800 207106 33554432000 4194304 4196468 140726747076864 140048987207392 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13533] ppid=13519 vsize=26538700 memory=4124 CPUtime=0 cores=0-7
/proc/13521/task/13533/stat : 13533 (java) S 13519 13519 13140 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 110818320 27175628800 207106 33554432000 4194304 4196468 140726747076864 140048986154240 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13534] ppid=13519 vsize=26538700 memory=2208 CPUtime=0 cores=0-7
/proc/13521/task/13534/stat : 13534 (java) S 13519 13519 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110818322 27175628800 207618 33554432000 4194304 4196468 140726747076864 140048985102800 140049592534939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13535] ppid=13519 vsize=26538700 memory=6508 CPUtime=1.04 cores=0-7
/proc/13521/task/13535/stat : 13535 (java) S 13519 13519 13140 0 -1 1077944384 5816 0 0 0 103 1 0 0 20 0 20 0 110818322 27175628800 207618 33554432000 4194304 4196468 140726747076864 140048984034896 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13536] ppid=13519 vsize=26538700 memory=844 CPUtime=1.86 cores=0-7
/proc/13521/task/13536/stat : 13536 (java) S 13519 13519 13140 0 -1 1077944384 8031 0 0 0 184 2 0 0 20 0 20 0 110818322 27175628800 207618 33554432000 4194304 4196468 140726747076864 140048982997360 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13537] ppid=13519 vsize=26538700 memory=4100 CPUtime=1.72 cores=0-7
/proc/13521/task/13537/stat : 13537 (java) S 13519 13519 13140 0 -1 1077944384 9545 0 0 0 170 2 0 0 20 0 20 0 110818322 27175628800 207618 33554432000 4194304 4196468 140726747076864 140048981929296 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13538] ppid=13519 vsize=26538700 memory=1696 CPUtime=0.58 cores=0-7
/proc/13521/task/13538/stat : 13538 (java) S 13519 13519 13140 0 -1 1077944384 4316 0 0 0 57 1 0 0 20 0 20 0 110818322 27175628800 207618 33554432000 4194304 4196468 140726747076864 140048980887632 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13539] ppid=13519 vsize=26538700 memory=920 CPUtime=0 cores=0-7
/proc/13521/task/13539/stat : 13539 (java) S 13519 13519 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110818323 27175628800 207618 33554432000 4194304 4196468 140726747076864 140048979839968 140049592526549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
[pid=13521/tid=13540] ppid=13519 vsize=26538700 memory=4116 CPUtime=0 cores=0-7
/proc/13521/task/13540/stat : 13540 (java) S 13519 13519 13140 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 20 0 110818323 27175628800 207618 33554432000 4194304 4196468 140726747076864 140048978787504 140049592527490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 7397376 140726747079826 140726747080003 140726747080003 140726747082703 0
Current children cumulated CPU time: 26.04 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 829808 KiB
[startup+15.5014 s]
/proc/loadavg: 6.47 7.81 8.13 13/207 13548
/proc/meminfo: memFree=26998120/32770624 swapFree=67108860/67108860
[pid=13519] ppid=13516 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13519/stat : 13519 (xcsp3-exec) S 13516 13519 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110818316 9740288 346 33554432000 4194304 5098028 140735972360016 140735972358120 140002570101372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16740352 140735972365413 140735972365623 140735972365623 140735972368363 0
/proc/13519/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 15.5084
CPU time (s): 26.5962
CPU user time (s): 24.8859
CPU system time (s): 1.7103
CPU usage (%): 171.496
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 829808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.8859
system time used= 1.7103
maximum resident set size= 961984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4690
involuntary context switches= 248
# summary of solver processes directly reported to runsolver:
# pid: 13519
# total CPU time (s): 26.5962
# total CPU user time (s): 24.8859
# total CPU system time (s): 1.7103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.120688 second user time and 0.211918 second system time
The end
Begin job on node149 at 2017-08-15 07:55:16
IDJOB=4271333
IDBENCH=135684
IDSOLVER=2662
FILE ID=node149/4271333-1502777375
RUNJOBID= node149-1502773987-13167
PBS_JOBID= 20629106
Free space on /tmp= 61936 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20/TravellingSalesman-20-076_X2.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271333-1502777375/watcher-4271333-1502777375 -o /tmp/evaluation-result-4271333-1502777375/solver-4271333-1502777375 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502773987-13167 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 363397194 HOME/instance-4271333-1502777375.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 63d95fcac4968a6897becae9cdc29854
RANDOM SEED=363397194
node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 27757384 kB
MemAvailable: 31971012 kB
Buffers: 315196 kB
Cached: 4170688 kB
SwapCached: 0 kB
Active: 1188516 kB
Inactive: 3351448 kB
Active(anon): 56880 kB
Inactive(anon): 24944 kB
Active(file): 1131636 kB
Inactive(file): 3326504 kB
Unevictable: 6360 kB
Mlocked: 6360 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7612 kB
Writeback: 0 kB
AnonPages: 60448 kB
Mapped: 45692 kB
Shmem: 25224 kB
Slab: 169428 kB
SReclaimable: 142644 kB
SUnreclaim: 26784 kB
KernelStack: 3184 kB
PageTables: 4780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 97664 kB
DirectMap2M: 33447936 kB
Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-15 07:55:31