0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271162-1502819179.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4271162-1502819179.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
3.44/1.14 c solve instance...
32.40/4.82 s SATISFIABLE
32.40/4.82 v <instantiation>
32.40/4.82 v <list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] </list>
32.40/4.82 v <values>20 7 41 21 35 22 29 0 17 28 37 39 46 49 12 48 16 13 23 14 45 8 32 47 25 36 33 26 40 31 10 15 24 1 42 38 6 27 19 43 34 4 2 9 11 3 5 44 30 18 </values>
32.40/4.82 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 (15018 MiB free)
memory of node 1: 16384 MiB (15657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271162-1502819179/watcher-4271162-1502819179 -o /tmp/evaluation-result-4271162-1502819179/solver-4271162-1502819179 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502808215-16353 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1681787296 HOME/instance-4271162-1502819179.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=18266, runsolver pid=18263
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 7.11 8.98 8.16 2/200 18287
/proc/meminfo: memFree=31395616/32770624 swapFree=67108860/67108860
[pid=18266] ppid=18263 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18266/stat : 18266 (xcsp3-exec) S 18263 18266 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 115005647 9740288 345 33554432000 4194304 5098028 140728969392080 140728969390184 140376232985212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37322752 140728969393252 140728969393463 140728969393463 140728969396203 0
/proc/18266/statm: 2378 345 289 221 0 87 0
[pid=18268] ppid=18266 vsize=25999808 memory=27032 CPUtime=0.11 cores=0-7
/proc/18268/stat : 18268 (java) S 18266 18266 16326 0 -1 1077944320 5621 0 0 0 10 1 0 0 20 0 20 0 115005647 26623803392 6758 33554432000 4194304 4196468 140736073998512 140736073981056 139901732392695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
/proc/18268/statm: 6499952 6758 2891 1 0 6488269 0
[pid=18268/tid=18269] ppid=18266 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/18268/task/18269/stat : 18269 (java) R 18266 18266 16326 0 -1 4202560 3622 0 0 0 8 0 0 0 20 0 20 0 115005647 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901736608848 139901732404630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18270] ppid=18266 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18268/task/18270/stat : 18270 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901654973072 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18271] ppid=18266 vsize=25999808 memory=140255124342400 CPUtime=0 cores=0-7
/proc/18268/task/18271/stat : 18271 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901653920272 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18272] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18272/stat : 18272 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901652867472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18273] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18273/stat : 18273 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901651814672 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18274] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18274/stat : 18274 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901650762896 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18275] ppid=18266 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18268/task/18275/stat : 18275 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901649710096 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18276] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18276/stat : 18276 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901648657296 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18277] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18277/stat : 18277 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901283621648 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18278] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18278/stat : 18278 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005649 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901127367024 139901732403842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18279] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18279/stat : 18279 (java) S 18266 18266 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115005650 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901126312992 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18280] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18280/stat : 18280 (java) S 18266 18266 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115005650 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901125260144 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18281] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18281/stat : 18281 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005653 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901124208464 139901732411291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18282] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18282/stat : 18282 (java) S 18266 18266 16326 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 115005653 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901123156848 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18283] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18283/stat : 18283 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005653 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901122104048 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18284] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18284/stat : 18284 (java) S 18266 18266 16326 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 115005653 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901121051248 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18285] ppid=18266 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/18268/task/18285/stat : 18285 (java) R 18266 18266 16326 0 -1 4202560 245 0 0 0 1 0 0 0 20 0 20 0 115005653 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901119998448 139901716584467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18286] ppid=18266 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18286/stat : 18286 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115005653 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901118945888 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18287] ppid=18266 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18268/task/18287/stat : 18287 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005653 26623803392 6758 33554432000 4194304 4196468 140736073998512 139901117893168 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28412 KiB
[startup+0.210003 s]*
/proc/loadavg: 7.11 8.98 8.16 2/200 18287
/proc/meminfo: memFree=31387368/32770624 swapFree=67108860/67108860
[pid=18266] ppid=18263 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18266/stat : 18266 (xcsp3-exec) S 18263 18266 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 115005647 9740288 345 33554432000 4194304 5098028 140728969392080 140728969390184 140376232985212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37322752 140728969393252 140728969393463 140728969393463 140728969396203 0
/proc/18266/statm: 2378 345 289 221 0 87 0
[pid=18268] ppid=18266 vsize=26004064 memory=38800 CPUtime=0.33 cores=0-7
/proc/18268/stat : 18268 (java) S 18266 18266 16326 0 -1 1077944320 8282 0 0 0 31 2 0 0 20 0 20 0 115005647 26628161536 9700 33554432000 4194304 4196468 140736073998512 140736073981056 139901732392695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
/proc/18268/statm: 6501016 9700 3050 1 0 6488269 0
[pid=18268/tid=18269] ppid=18266 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18268/task/18269/stat : 18269 (java) R 18266 18266 16326 0 -1 4202560 5441 0 0 0 18 1 0 0 20 0 20 0 115005647 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901736606672 139901732414621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18270] ppid=18266 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/18268/task/18270/stat : 18270 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901654973072 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18271] ppid=18266 vsize=26004064 memory=3546784568057087648 CPUtime=0 cores=0-7
/proc/18268/task/18271/stat : 18271 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901653920272 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18272] ppid=18266 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18268/task/18272/stat : 18272 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901652867472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18273] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18273/stat : 18273 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901651814672 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18274] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18274/stat : 18274 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901650762896 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18275] ppid=18266 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18268/task/18275/stat : 18275 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901649710096 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18276] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18276/stat : 18276 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901648657296 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18277] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18277/stat : 18277 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901283621648 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18278] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18278/stat : 18278 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005649 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901127367024 139901732403842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18279] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18279/stat : 18279 (java) S 18266 18266 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115005650 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901126312992 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18280] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18280/stat : 18280 (java) S 18266 18266 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115005650 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901125260144 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18281] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18281/stat : 18281 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005653 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901124208464 139901732411291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18282] ppid=18266 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18268/task/18282/stat : 18282 (java) S 18266 18266 16326 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 20 0 115005653 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901123156848 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18283] ppid=18266 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18268/task/18283/stat : 18283 (java) S 18266 18266 16326 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 115005653 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901122104048 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18284] ppid=18266 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/18268/task/18284/stat : 18284 (java) S 18266 18266 16326 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 115005653 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901121051248 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18285] ppid=18266 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/18268/task/18285/stat : 18285 (java) S 18266 18266 16326 0 -1 1077944384 695 0 0 0 7 0 0 0 20 0 20 0 115005653 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901119998448 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18286] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18286/stat : 18286 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115005653 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901118945888 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18287] ppid=18266 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18268/task/18287/stat : 18287 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005653 26628161536 9700 33554432000 4194304 4196468 140736073998512 139901117893168 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40180 KiB
[startup+0.309817 s]*
/proc/loadavg: 7.11 8.98 8.16 3/200 18287
/proc/meminfo: memFree=31379940/32770624 swapFree=67108860/67108860
[pid=18266] ppid=18263 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18266/stat : 18266 (xcsp3-exec) S 18263 18266 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 115005647 9740288 345 33554432000 4194304 5098028 140728969392080 140728969390184 140376232985212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37322752 140728969393252 140728969393463 140728969393463 140728969396203 0
/proc/18266/statm: 2378 345 289 221 0 87 0
[pid=18268] ppid=18266 vsize=26004064 memory=43960 CPUtime=0.5 cores=0-7
/proc/18268/stat : 18268 (java) S 18266 18266 16326 0 -1 1077944320 9193 0 0 0 47 3 0 0 20 0 20 0 115005647 26628161536 10990 33554432000 4194304 4196468 140736073998512 140736073981056 139901732392695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
/proc/18268/statm: 6501016 10990 3077 1 0 6488269 0
[pid=18268/tid=18269] ppid=18266 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/18268/task/18269/stat : 18269 (java) R 18266 18266 16326 0 -1 4202560 6112 0 0 0 27 1 0 0 20 0 20 0 115005647 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901736626640 139901328837631 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18270] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18270/stat : 18270 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901654973072 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18271] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18271/stat : 18271 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901653920272 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18272] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18272/stat : 18272 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901652867472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18273] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18273/stat : 18273 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901651814672 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18274] ppid=18266 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/18268/task/18274/stat : 18274 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901650762896 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18275] ppid=18266 vsize=26004064 memory=140254975718319 CPUtime=0 cores=0-7
/proc/18268/task/18275/stat : 18275 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901649710096 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18276] ppid=18266 vsize=26004064 memory=140254975720624 CPUtime=0 cores=0-7
/proc/18268/task/18276/stat : 18276 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901648657296 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18277] ppid=18266 vsize=26004064 memory=140254975722928 CPUtime=0 cores=0-7
/proc/18268/task/18277/stat : 18277 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901283621648 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18278] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18278/stat : 18278 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005649 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901127367024 139901732403842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18279] ppid=18266 vsize=26004064 memory=280509951452816 CPUtime=0 cores=0-7
/proc/18268/task/18279/stat : 18279 (java) S 18266 18266 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115005650 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901126312992 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18280] ppid=18266 vsize=26004064 memory=280509951459728 CPUtime=0 cores=0-7
/proc/18268/task/18280/stat : 18280 (java) S 18266 18266 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115005650 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901125260144 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18281] ppid=18266 vsize=26004064 memory=280509951401008 CPUtime=0 cores=0-7
/proc/18268/task/18281/stat : 18281 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005653 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901124208464 139901732411291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18282] ppid=18266 vsize=26004064 memory=280509951473552 CPUtime=0.02 cores=0-7
/proc/18268/task/18282/stat : 18282 (java) S 18266 18266 16326 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 20 0 115005653 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901123156848 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18283] ppid=18266 vsize=26004064 memory=280509951480464 CPUtime=0.02 cores=0-7
/proc/18268/task/18283/stat : 18283 (java) S 18266 18266 16326 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 20 0 115005653 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901122104048 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18284] ppid=18266 vsize=26004064 memory=280509951478160 CPUtime=0.01 cores=0-7
/proc/18268/task/18284/stat : 18284 (java) S 18266 18266 16326 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 115005653 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901121051248 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18285] ppid=18266 vsize=26004064 memory=280509951494320 CPUtime=0.12 cores=0-7
/proc/18268/task/18285/stat : 18285 (java) R 18266 18266 16326 0 -1 4202560 821 0 0 0 12 0 0 0 20 0 20 0 115005653 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901119994816 139901711318327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18286] ppid=18266 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18286/stat : 18286 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115005653 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901118945888 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18287] ppid=18266 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18268/task/18287/stat : 18287 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005653 26628161536 10990 33554432000 4194304 4196468 140736073998512 139901117893168 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45340 KiB
[startup+0.700983 s]
/proc/loadavg: 7.11 8.98 8.16 6/200 18287
/proc/meminfo: memFree=31357360/32770624 swapFree=67108860/67108860
[pid=18266] ppid=18263 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18266/stat : 18266 (xcsp3-exec) S 18263 18266 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 115005647 9740288 345 33554432000 4194304 5098028 140728969392080 140728969390184 140376232985212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37322752 140728969393252 140728969393463 140728969393463 140728969396203 0
/proc/18266/statm: 2378 345 289 221 0 87 0
[pid=18268] ppid=18266 vsize=26006188 memory=89500 CPUtime=1.79 cores=0-7
/proc/18268/stat : 18268 (java) S 18266 18266 16326 0 -1 1077944320 13477 0 0 0 175 4 0 0 20 0 20 0 115005647 26630336512 22375 33554432000 4194304 4196468 140736073998512 140736073981056 139901732392695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
/proc/18268/statm: 6501547 22375 3206 1 0 6488781 0
[pid=18268/tid=18269] ppid=18266 vsize=26006188 memory=280509951852208 CPUtime=0.66 cores=0-7
/proc/18268/task/18269/stat : 18269 (java) R 18266 18266 16326 0 -1 4202560 6801 0 0 0 64 2 0 0 20 0 20 0 115005647 26630336512 22375 33554432000 4194304 4196468 140736073998512 139901736629584 139901725070709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18270] ppid=18266 vsize=26006188 memory=140254975927152 CPUtime=0 cores=0-7
/proc/18268/task/18270/stat : 18270 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115005648 26630336512 22375 33554432000 4194304 4196468 140736073998512 139901654973072 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18271] ppid=18266 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18271/stat : 18271 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26630336512 22375 33554432000 4194304 4196468 140736073998512 139901653920272 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18272] ppid=18266 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/18268/task/18272/stat : 18272 (java) S 18266 18266 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115005648 26630336512 22375 33554432000 4194304 4196468 140736073998512 139901652867472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
################
# More data... #
################
[pid=18268/tid=18285] ppid=18266 vsize=26538700 memory=0 CPUtime=0.77 cores=0-7
/proc/18268/task/18285/stat : 18285 (java) R 18266 18266 16326 0 -1 1077944384 5237 0 0 0 75 2 0 0 20 0 28 0 115005653 27175628800 70959 33554432000 4194304 4196468 140736073998512 139901119998448 139901732403842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18286] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18286/stat : 18286 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 70959 33554432000 4194304 4196468 140736073998512 139901118945888 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18287] ppid=18266 vsize=26538700 memory=67 CPUtime=0 cores=0-7
/proc/18268/task/18287/stat : 18287 (java) S 18266 18266 16326 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 70959 33554432000 4194304 4196468 140736073998512 139901117893168 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18288] ppid=18266 vsize=26538700 memory=1152 CPUtime=2.03 cores=0-7
/proc/18268/task/18288/stat : 18288 (java) R 18266 18266 16326 0 -1 4202560 120 0 0 0 203 0 0 0 20 0 28 0 115005763 27175628800 70959 33554432000 4194304 4196468 140736073998512 139901112474352 139901328764224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18289] ppid=18266 vsize=26538700 memory=2436 CPUtime=1.94 cores=0-7
/proc/18268/task/18289/stat : 18289 (java) R 18266 18266 16326 0 -1 4202560 254 0 0 0 194 0 0 0 20 0 28 0 115005763 27175628800 70959 33554432000 4194304 4196468 140736073998512 139900907145888 139901328836181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18290] ppid=18266 vsize=26538700 memory=1380 CPUtime=2.22 cores=0-7
/proc/18268/task/18290/stat : 18290 (java) R 18266 18266 16326 0 -1 4202560 78 0 0 0 222 0 0 0 20 0 28 0 115005763 27175628800 70959 33554432000 4194304 4196468 140736073998512 139900906094768 139901328797824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18291] ppid=18266 vsize=26538700 memory=230356 CPUtime=2.32 cores=0-7
/proc/18268/task/18291/stat : 18291 (java) R 18266 18266 16326 0 -1 4202560 224 0 0 0 232 0 0 0 20 0 28 0 115005763 27175628800 70970 33554432000 4194304 4196468 140736073998512 139900905045472 139901335607333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18292] ppid=18266 vsize=26538700 memory=6791534058613427641 CPUtime=2.12 cores=0-7
/proc/18268/task/18292/stat : 18292 (java) R 18266 18266 16326 0 -1 4202560 392 0 0 0 212 0 0 0 20 0 28 0 115005763 27175628800 70970 33554432000 4194304 4196468 140736073998512 139900903990184 139901732404630 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18293] ppid=18266 vsize=26538700 memory=4872558044660077418 CPUtime=2.16 cores=0-7
/proc/18268/task/18293/stat : 18293 (java) R 18266 18266 16326 0 -1 4202560 148 0 0 0 216 0 0 0 20 0 28 0 115005763 27175628800 70970 33554432000 4194304 4196468 140736073998512 139900902937304 139901335607114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18294] ppid=18266 vsize=26538700 memory=0 CPUtime=2.31 cores=0-7
/proc/18268/task/18294/stat : 18294 (java) R 18266 18266 16326 0 -1 4202560 87 0 0 0 230 1 0 0 20 0 28 0 115005763 27175628800 70970 33554432000 4194304 4196468 140736073998512 139900901883736 139901335582078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18295] ppid=18266 vsize=26538700 memory=0 CPUtime=2.08 cores=0-7
/proc/18268/task/18295/stat : 18295 (java) R 18266 18266 16326 0 -1 4202560 331 0 0 0 208 0 0 0 20 0 28 0 115005763 27175628800 70970 33554432000 4194304 4196468 140736073998512 139900900830688 139901335582724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
Current children cumulated CPU time: 26.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 285216 KiB
[startup+4.40165 s]
/proc/loadavg: 7.10 8.95 8.16 11/208 18295
/proc/meminfo: memFree=31138220/32770624 swapFree=67108860/67108860
[pid=18266] ppid=18263 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18266/stat : 18266 (xcsp3-exec) S 18263 18266 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 115005647 9740288 345 33554432000 4194304 5098028 140728969392080 140728969390184 140376232985212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37322752 140728969393252 140728969393463 140728969393463 140728969396203 0
/proc/18266/statm: 2378 345 289 221 0 87 0
[pid=18268] ppid=18266 vsize=26538700 memory=283964 CPUtime=29.21 cores=0-7
/proc/18268/stat : 18268 (java) S 18266 18266 16326 0 -1 1077944320 33748 0 0 0 2890 31 0 0 20 0 28 0 115005647 27175628800 70991 33554432000 4194304 4196468 140736073998512 140736073981056 139901732392695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
/proc/18268/statm: 6634675 70991 3276 1 0 6621909 0
[pid=18268/tid=18269] ppid=18266 vsize=26538700 memory=111 CPUtime=1.11 cores=0-7
/proc/18268/task/18269/stat : 18269 (java) S 18266 18266 16326 0 -1 1077944384 6948 0 0 0 107 4 0 0 20 0 28 0 115005647 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901736633472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18270] ppid=18266 vsize=26538700 memory=3 CPUtime=0.03 cores=0-7
/proc/18268/task/18270/stat : 18270 (java) S 18266 18266 16326 0 -1 1077944384 42 0 0 0 2 1 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901654973072 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18271] ppid=18266 vsize=26538700 memory=4 CPUtime=0.04 cores=0-7
/proc/18268/task/18271/stat : 18271 (java) S 18266 18266 16326 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901653920272 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18272] ppid=18266 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/18268/task/18272/stat : 18272 (java) S 18266 18266 16326 0 -1 1077944384 46 0 0 0 3 1 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901652867472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18273] ppid=18266 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/18268/task/18273/stat : 18273 (java) S 18266 18266 16326 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901651814672 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18274] ppid=18266 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/18268/task/18274/stat : 18274 (java) S 18266 18266 16326 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901650762896 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18275] ppid=18266 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/18268/task/18275/stat : 18275 (java) S 18266 18266 16326 0 -1 1077944384 33 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901649710096 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18276] ppid=18266 vsize=26538700 memory=140259419309695 CPUtime=0.04 cores=0-7
/proc/18268/task/18276/stat : 18276 (java) S 18266 18266 16326 0 -1 1077944384 37 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901648657296 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18277] ppid=18266 vsize=26538700 memory=26743167189 CPUtime=0.04 cores=0-7
/proc/18268/task/18277/stat : 18277 (java) S 18266 18266 16326 0 -1 1077944384 41 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901283621648 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18278] ppid=18266 vsize=26538700 memory=26743167189 CPUtime=0 cores=0-7
/proc/18268/task/18278/stat : 18278 (java) S 18266 18266 16326 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 28 0 115005649 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901127367024 139901732403842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18279] ppid=18266 vsize=26538700 memory=8836 CPUtime=0 cores=0-7
/proc/18268/task/18279/stat : 18279 (java) S 18266 18266 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 115005650 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901126313056 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18280] ppid=18266 vsize=26538700 memory=2625 CPUtime=0 cores=0-7
/proc/18268/task/18280/stat : 18280 (java) S 18266 18266 16326 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 115005650 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901125260160 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18281] ppid=18266 vsize=26538700 memory=288230604624114949 CPUtime=0 cores=0-7
/proc/18268/task/18281/stat : 18281 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901124208464 139901732411291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18282] ppid=18266 vsize=26538700 memory=14132268587311239 CPUtime=2.25 cores=0-7
/proc/18268/task/18282/stat : 18282 (java) R 18266 18266 16326 0 -1 1077944384 6830 0 0 0 223 2 0 0 20 0 28 0 115005653 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901123156848 139901732403842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18283] ppid=18266 vsize=26538700 memory=0 CPUtime=2.5 cores=0-7
/proc/18268/task/18283/stat : 18283 (java) R 18266 18266 16326 0 -1 4202560 5211 0 0 0 249 1 0 0 20 0 28 0 115005653 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901122089888 139901717314521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18284] ppid=18266 vsize=26538700 memory=0 CPUtime=2.2 cores=0-7
/proc/18268/task/18284/stat : 18284 (java) S 18266 18266 16326 0 -1 1077944384 5857 0 0 0 219 1 0 0 20 0 28 0 115005653 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901121051248 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18285] ppid=18266 vsize=26538700 memory=0 CPUtime=0.78 cores=0-7
/proc/18268/task/18285/stat : 18285 (java) S 18266 18266 16326 0 -1 1077944384 5283 0 0 0 76 2 0 0 20 0 28 0 115005653 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901119998448 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18286] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18286/stat : 18286 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901118945888 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18287] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18287/stat : 18287 (java) S 18266 18266 16326 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901117893168 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18288] ppid=18266 vsize=26538700 memory=288230621820748097 CPUtime=2.42 cores=0-7
/proc/18268/task/18288/stat : 18288 (java) R 18266 18266 16326 0 -1 4202560 121 0 0 0 241 1 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139901112475128 139901336523505 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18289] ppid=18266 vsize=26538700 memory=280509952437152 CPUtime=2.29 cores=0-7
/proc/18268/task/18289/stat : 18289 (java) R 18266 18266 16326 0 -1 4202560 268 0 0 0 229 0 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139900907146744 139901337180287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18290] ppid=18266 vsize=26538700 memory=140254976213632 CPUtime=2.6 cores=0-7
/proc/18268/task/18290/stat : 18290 (java) R 18266 18266 16326 0 -1 4202560 78 0 0 0 260 0 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139900906096744 139901336231453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18291] ppid=18266 vsize=26538700 memory=0 CPUtime=2.59 cores=0-7
/proc/18268/task/18291/stat : 18291 (java) R 18266 18266 16326 0 -1 4202560 230 0 0 0 259 0 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139900905041632 139901336233053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18292] ppid=18266 vsize=26538700 memory=0 CPUtime=2.48 cores=0-7
/proc/18268/task/18292/stat : 18292 (java) R 18266 18266 16326 0 -1 4202560 392 0 0 0 248 0 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139900903990344 139901335583436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18293] ppid=18266 vsize=26538700 memory=0 CPUtime=2.48 cores=0-7
/proc/18268/task/18293/stat : 18293 (java) R 18266 18266 16326 0 -1 4202560 151 0 0 0 248 0 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139900902937320 139901335607114 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18294] ppid=18266 vsize=26538700 memory=0 CPUtime=2.65 cores=0-7
/proc/18268/task/18294/stat : 18294 (java) R 18266 18266 16326 0 -1 4202560 90 0 0 0 264 1 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139900901884664 139901336610481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18295] ppid=18266 vsize=26538700 memory=0 CPUtime=2.4 cores=0-7
/proc/18268/task/18295/stat : 18295 (java) R 18266 18266 16326 0 -1 4202560 337 0 0 0 240 0 0 0 20 0 28 0 115005763 27175628800 70991 33554432000 4194304 4196468 140736073998512 139900900831896 139901337665093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
Current children cumulated CPU time: 29.21 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 285344 KiB
[startup+4.80164 s]
/proc/loadavg: 7.10 8.95 8.16 11/208 18295
/proc/meminfo: memFree=31138220/32770624 swapFree=67108860/67108860
[pid=18266] ppid=18263 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18266/stat : 18266 (xcsp3-exec) S 18263 18266 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 115005647 9740288 345 33554432000 4194304 5098028 140728969392080 140728969390184 140376232985212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37322752 140728969393252 140728969393463 140728969393463 140728969396203 0
/proc/18266/statm: 2378 345 289 221 0 87 0
[pid=18268] ppid=18266 vsize=26538700 memory=284328 CPUtime=32.4 cores=0-7
/proc/18268/stat : 18268 (java) S 18266 18266 16326 0 -1 1077944320 33945 0 0 0 3209 31 0 0 20 0 28 0 115005647 27175628800 71082 33554432000 4194304 4196468 140736073998512 140736073981056 139901732392695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
/proc/18268/statm: 6634675 71082 3277 1 0 6621909 0
[pid=18268/tid=18269] ppid=18266 vsize=26538700 memory=236316 CPUtime=1.11 cores=0-7
/proc/18268/task/18269/stat : 18269 (java) S 18266 18266 16326 0 -1 1077944384 6948 0 0 0 107 4 0 0 20 0 28 0 115005647 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901736633472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18270] ppid=18266 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/18268/task/18270/stat : 18270 (java) S 18266 18266 16326 0 -1 1077944384 42 0 0 0 2 1 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901654973072 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18271] ppid=18266 vsize=26538700 memory=74 CPUtime=0.04 cores=0-7
/proc/18268/task/18271/stat : 18271 (java) S 18266 18266 16326 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901653920272 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18272] ppid=18266 vsize=26538700 memory=55 CPUtime=0.04 cores=0-7
/proc/18268/task/18272/stat : 18272 (java) S 18266 18266 16326 0 -1 1077944384 46 0 0 0 3 1 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901652867472 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18273] ppid=18266 vsize=26538700 memory=67 CPUtime=0.03 cores=0-7
/proc/18268/task/18273/stat : 18273 (java) S 18266 18266 16326 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901651814672 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18274] ppid=18266 vsize=26538700 memory=75 CPUtime=0.04 cores=0-7
/proc/18268/task/18274/stat : 18274 (java) S 18266 18266 16326 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901650762896 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18275] ppid=18266 vsize=26538700 memory=1380 CPUtime=0.04 cores=0-7
/proc/18268/task/18275/stat : 18275 (java) S 18266 18266 16326 0 -1 1077944384 33 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901649710096 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18276] ppid=18266 vsize=26538700 memory=283932 CPUtime=0.04 cores=0-7
/proc/18268/task/18276/stat : 18276 (java) S 18266 18266 16326 0 -1 1077944384 37 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901648657296 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18277] ppid=18266 vsize=26538700 memory=14979992052304174 CPUtime=0.04 cores=0-7
/proc/18268/task/18277/stat : 18277 (java) S 18266 18266 16326 0 -1 1077944384 41 0 0 0 2 2 0 0 20 0 28 0 115005648 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901283621648 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18278] ppid=18266 vsize=26538700 memory=9857 CPUtime=0 cores=0-7
/proc/18268/task/18278/stat : 18278 (java) S 18266 18266 16326 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 28 0 115005649 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901127367024 139901732403842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18279] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18279/stat : 18279 (java) S 18266 18266 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 115005650 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901126313056 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18280] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18280/stat : 18280 (java) S 18266 18266 16326 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 115005650 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901125260160 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18281] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18281/stat : 18281 (java) S 18266 18266 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901124208464 139901732411291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18282] ppid=18266 vsize=26538700 memory=0 CPUtime=2.36 cores=0-7
/proc/18268/task/18282/stat : 18282 (java) R 18266 18266 16326 0 -1 1077944384 6932 0 0 0 234 2 0 0 20 0 28 0 115005653 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901123156848 139901732403842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18283] ppid=18266 vsize=26538700 memory=6791534058613427641 CPUtime=2.52 cores=0-7
/proc/18268/task/18283/stat : 18283 (java) R 18266 18266 16326 0 -1 4202560 5221 0 0 0 251 1 0 0 20 0 28 0 115005653 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901122104048 139901711661632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18284] ppid=18266 vsize=26538700 memory=0 CPUtime=2.3 cores=0-7
/proc/18268/task/18284/stat : 18284 (java) R 18266 18266 16326 0 -1 4202560 5905 0 0 0 229 1 0 0 20 0 28 0 115005653 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901121037792 139901711639620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18285] ppid=18266 vsize=26538700 memory=0 CPUtime=0.8 cores=0-7
/proc/18268/task/18285/stat : 18285 (java) S 18266 18266 16326 0 -1 1077944384 5316 0 0 0 78 2 0 0 20 0 28 0 115005653 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901119998448 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18286] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18286/stat : 18286 (java) S 18266 18266 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901118945888 139901732402901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18287] ppid=18266 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18268/task/18287/stat : 18287 (java) S 18266 18266 16326 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 115005653 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901117893168 139901732403842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18288] ppid=18266 vsize=26538700 memory=0 CPUtime=2.81 cores=0-7
/proc/18268/task/18288/stat : 18288 (java) R 18266 18266 16326 0 -1 4202560 121 0 0 0 280 1 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139901112475064 139901336522982 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18289] ppid=18266 vsize=26538700 memory=0 CPUtime=2.65 cores=0-7
/proc/18268/task/18289/stat : 18289 (java) R 18266 18266 16326 0 -1 4202560 270 0 0 0 265 0 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139900907148888 139901337780797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18290] ppid=18266 vsize=26538700 memory=0 CPUtime=3 cores=0-7
/proc/18268/task/18290/stat : 18290 (java) R 18266 18266 16326 0 -1 4202560 78 0 0 0 300 0 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139900906096368 139901337665191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18291] ppid=18266 vsize=26538700 memory=0 CPUtime=2.97 cores=0-7
/proc/18268/task/18291/stat : 18291 (java) R 18266 18266 16326 0 -1 4202560 230 0 0 0 297 0 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139900905042472 139901336765086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18292] ppid=18266 vsize=26538700 memory=0 CPUtime=2.88 cores=0-7
/proc/18268/task/18292/stat : 18292 (java) R 18266 18266 16326 0 -1 4202560 394 0 0 0 288 0 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139900903990344 139901337665336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18293] ppid=18266 vsize=26538700 memory=0 CPUtime=2.76 cores=0-7
/proc/18268/task/18293/stat : 18293 (java) R 18266 18266 16326 0 -1 4202560 151 0 0 0 276 0 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139900902937128 139901336520576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18294] ppid=18266 vsize=26538700 memory=0 CPUtime=2.96 cores=0-7
/proc/18268/task/18294/stat : 18294 (java) R 18266 18266 16326 0 -1 4202560 90 0 0 0 295 1 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139900901886632 139901335581960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
[pid=18268/tid=18295] ppid=18266 vsize=26538700 memory=0 CPUtime=2.8 cores=0-7
/proc/18268/task/18295/stat : 18295 (java) R 18266 18266 16326 0 -1 4202560 337 0 0 0 280 0 0 0 20 0 28 0 115005763 27175628800 71082 33554432000 4194304 4196468 140736073998512 139900900831896 139901335607659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15740928 140736074007698 140736074007875 140736074007875 140736074010575 0
Current children cumulated CPU time: 32.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 285708 KiB
Child status: 0
Real time (s): 4.83191
CPU time (s): 32.5679
CPU user time (s): 32.239
CPU system time (s): 0.328901
CPU usage (%): 674.017
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 289392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.239
system time used= 0.328901
maximum resident set size= 288124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4100
involuntary context switches= 985
# summary of solver processes directly reported to runsolver:
# pid: 18266
# total CPU time (s): 32.5679
# total CPU user time (s): 32.239
# total CPU system time (s): 0.328901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054268 second user time and 0.100938 second system time
The end
Begin job on node106 at 2017-08-15 19:32:00
IDJOB=4271162
IDBENCH=138783
IDSOLVER=2662
FILE ID=node106/4271162-1502819179
RUNJOBID= node106-1502808215-16353
PBS_JOBID= 20629821
Free space on /tmp= 61776 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0050-m1.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-4271162-1502819179/watcher-4271162-1502819179 -o /tmp/evaluation-result-4271162-1502819179/solver-4271162-1502819179 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502808215-16353 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1681787296 HOME/instance-4271162-1502819179.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 92365aeced42a91cd8bf53135301f3e3
RANDOM SEED=1681787296
node106.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.86
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.86
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.86
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.86
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: 31412684 kB
MemAvailable: 31983612 kB
Buffers: 186836 kB
Cached: 670508 kB
SwapCached: 0 kB
Active: 459440 kB
Inactive: 454084 kB
Active(anon): 12080 kB
Inactive(anon): 72108 kB
Active(file): 447360 kB
Inactive(file): 381976 kB
Unevictable: 6472 kB
Mlocked: 6472 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7652 kB
Writeback: 0 kB
AnonPages: 62604 kB
Mapped: 46112 kB
Shmem: 25228 kB
Slab: 140744 kB
SReclaimable: 114856 kB
SUnreclaim: 25888 kB
KernelStack: 3152 kB
PageTables: 4624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61768 MiB
End job on node106 at 2017-08-15 19:32:05