0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270971-1502771034.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270971-1502771034.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
1.84/0.76 c solve instance...
7.03/1.44 s SATISFIABLE
7.03/1.44 v <instantiation>
7.03/1.44 v <list>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] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] </list>
7.03/1.44 v <values>0 8 4 15 2 6 14 1 9 5 16 29 33 25 12 20 31 18 7 3 11 22 35 27 19 30 26 34 23 10 21 17 28 32 24 13 </values>
7.03/1.44 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 (15205 MiB free)
memory of node 1: 16384 MiB (15568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270971-1502771034/watcher-4270971-1502771034 -o /tmp/evaluation-result-4270971-1502771034/solver-4270971-1502771034 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502767545-20967 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1138076541 HOME/instance-4270971-1502771034.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=21335, runsolver pid=21332
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 2.15 2.24 2.59 2/199 21356
/proc/meminfo: memFree=31496248/32770624 swapFree=67108860/67108860
[pid=21335] ppid=21332 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21335/stat : 21335 (xcsp3-exec) S 21332 21335 20940 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110191628 9740288 346 33554432000 4194304 5098028 140735375362192 140735375360296 140587015664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24031232 140735375369316 140735375369527 140735375369527 140735375372267 0
/proc/21335/statm: 2378 346 289 221 0 87 0
[pid=21337] ppid=21335 vsize=25999808 memory=26952 CPUtime=0.12 cores=0-7
/proc/21337/stat : 21337 (java) S 21335 21335 20940 0 -1 1077944320 5663 0 0 0 11 1 0 0 20 0 20 0 110191628 26623803392 6738 33554432000 4194304 4196468 140720969910896 140720969893440 140275366596343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
/proc/21337/statm: 6499952 6738 2840 1 0 6488269 0
[pid=21337/tid=21338] ppid=21335 vsize=25999808 memory=7896388429291626650 CPUtime=0.08 cores=0-7
/proc/21337/task/21338/stat : 21338 (java) R 21335 21335 20940 0 -1 4202560 3676 0 0 0 8 0 0 0 20 0 20 0 110191628 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275370829616 140275366608278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21339] ppid=21335 vsize=25999808 memory=732370413323246565 CPUtime=0 cores=0-7
/proc/21337/task/21339/stat : 21339 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275319217168 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21340] ppid=21335 vsize=25999808 memory=140274985793152 CPUtime=0 cores=0-7
/proc/21337/task/21340/stat : 21340 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275318164624 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21341] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21341/stat : 21341 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275317111568 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21342] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21342/stat : 21342 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275316059024 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21343] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21343/stat : 21343 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275315005968 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21344] ppid=21335 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21337/task/21344/stat : 21344 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275313953424 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21345] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21345/stat : 21345 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275312900368 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21346] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21346/stat : 21346 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191629 26623803392 6738 33554432000 4194304 4196468 140720969910896 140275311847824 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21347] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21347/stat : 21347 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191631 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274108734192 140275366607490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21348] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21348/stat : 21348 (java) S 21335 21335 20940 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110191631 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274107680416 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21349] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21349/stat : 21349 (java) S 21335 21335 20940 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110191631 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274106627312 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21350] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21350/stat : 21350 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191634 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274105575888 140275366614939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21351] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21351/stat : 21351 (java) R 21335 21335 20940 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 110191634 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274104522992 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21352] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21352/stat : 21352 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191634 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274103470448 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21353] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21353/stat : 21353 (java) S 21335 21335 20940 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 110191634 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274034534384 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21354] ppid=21335 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21337/task/21354/stat : 21354 (java) R 21335 21335 20940 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 110191634 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274033481840 140275350843647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21355] ppid=21335 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21355/stat : 21355 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110191634 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274032430048 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21356] ppid=21335 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21337/task/21356/stat : 21356 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191634 26623803392 6738 33554432000 4194304 4196468 140720969910896 140274031377584 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28336 KiB
[startup+0.210153 s]*
/proc/loadavg: 2.15 2.24 2.59 2/199 21356
/proc/meminfo: memFree=31485704/32770624 swapFree=67108860/67108860
[pid=21335] ppid=21332 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21335/stat : 21335 (xcsp3-exec) S 21332 21335 20940 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110191628 9740288 346 33554432000 4194304 5098028 140735375362192 140735375360296 140587015664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24031232 140735375369316 140735375369527 140735375369527 140735375372267 0
/proc/21335/statm: 2378 346 289 221 0 87 0
[pid=21337] ppid=21335 vsize=26004064 memory=38880 CPUtime=0.33 cores=0-7
/proc/21337/stat : 21337 (java) S 21335 21335 20940 0 -1 1077944320 8243 0 0 0 31 2 0 0 20 0 20 0 110191628 26628161536 9720 33554432000 4194304 4196468 140720969910896 140720969893440 140275366596343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
/proc/21337/statm: 6501016 9720 3067 1 0 6488269 0
[pid=21337/tid=21338] ppid=21335 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/21337/task/21338/stat : 21338 (java) R 21335 21335 20940 0 -1 4202560 5432 0 0 0 18 1 0 0 20 0 20 0 110191628 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275370810560 140275359274357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21339] ppid=21335 vsize=26004064 memory=732370413323246565 CPUtime=0 cores=0-7
/proc/21337/task/21339/stat : 21339 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275319217168 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21340] ppid=21335 vsize=26004064 memory=140274985793152 CPUtime=0 cores=0-7
/proc/21337/task/21340/stat : 21340 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275318164624 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21341] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21341/stat : 21341 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275317111568 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21342] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21342/stat : 21342 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275316059024 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21343] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21343/stat : 21343 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275315005968 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21344] ppid=21335 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21337/task/21344/stat : 21344 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275313953424 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21345] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21345/stat : 21345 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275312900368 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21346] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21346/stat : 21346 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 9720 33554432000 4194304 4196468 140720969910896 140275311847824 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21347] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21347/stat : 21347 (java) S 21335 21335 20940 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110191631 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274108734192 140275366607490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21348] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21348/stat : 21348 (java) S 21335 21335 20940 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110191631 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274107680416 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21349] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21349/stat : 21349 (java) S 21335 21335 20940 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110191631 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274106627312 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21350] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21350/stat : 21350 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191634 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274105575888 140275366614939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21351] ppid=21335 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21337/task/21351/stat : 21351 (java) S 21335 21335 20940 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 110191634 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274104522992 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21352] ppid=21335 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/21337/task/21352/stat : 21352 (java) S 21335 21335 20940 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 20 0 110191634 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274103470448 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21353] ppid=21335 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21337/task/21353/stat : 21353 (java) S 21335 21335 20940 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 110191634 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274034534384 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21354] ppid=21335 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/21337/task/21354/stat : 21354 (java) S 21335 21335 20940 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 20 0 110191634 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274033481840 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21355] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21355/stat : 21355 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110191634 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274032430048 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21356] ppid=21335 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21337/task/21356/stat : 21356 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191634 26628161536 9720 33554432000 4194304 4196468 140720969910896 140274031377584 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40264 KiB
[startup+0.309355 s]*
/proc/loadavg: 2.15 2.24 2.59 2/199 21356
/proc/meminfo: memFree=31478896/32770624 swapFree=67108860/67108860
[pid=21335] ppid=21332 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21335/stat : 21335 (xcsp3-exec) S 21332 21335 20940 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110191628 9740288 346 33554432000 4194304 5098028 140735375362192 140735375360296 140587015664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24031232 140735375369316 140735375369527 140735375369527 140735375372267 0
/proc/21335/statm: 2378 346 289 221 0 87 0
[pid=21337] ppid=21335 vsize=26004064 memory=46100 CPUtime=0.49 cores=0-7
/proc/21337/stat : 21337 (java) S 21335 21335 20940 0 -1 1077944320 9190 0 0 0 46 3 0 0 20 0 20 0 110191628 26628161536 11525 33554432000 4194304 4196468 140720969910896 140720969893440 140275366596343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
/proc/21337/statm: 6501016 11525 3095 1 0 6488269 0
[pid=21337/tid=21338] ppid=21335 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21337/task/21338/stat : 21338 (java) R 21335 21335 20940 0 -1 4202560 6209 0 0 0 27 2 0 0 20 0 20 0 110191628 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275370832304 140275350676830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21339] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21339/stat : 21339 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275319217168 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21340] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21340/stat : 21340 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275318164624 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21341] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21341/stat : 21341 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275317111568 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21342] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21342/stat : 21342 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275316059024 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21343] ppid=21335 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21337/task/21343/stat : 21343 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275315005968 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21344] ppid=21335 vsize=26004064 memory=140274839942063 CPUtime=0 cores=0-7
/proc/21337/task/21344/stat : 21344 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275313953424 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21345] ppid=21335 vsize=26004064 memory=140274839944368 CPUtime=0 cores=0-7
/proc/21337/task/21345/stat : 21345 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275312900368 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21346] ppid=21335 vsize=26004064 memory=140274839946672 CPUtime=0 cores=0-7
/proc/21337/task/21346/stat : 21346 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191629 26628161536 11525 33554432000 4194304 4196468 140720969910896 140275311847824 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21347] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21347/stat : 21347 (java) S 21335 21335 20940 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110191631 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274108734192 140275366607490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21348] ppid=21335 vsize=26004064 memory=280549679900304 CPUtime=0 cores=0-7
/proc/21337/task/21348/stat : 21348 (java) S 21335 21335 20940 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110191631 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274107680416 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21349] ppid=21335 vsize=26004064 memory=280549679907216 CPUtime=0 cores=0-7
/proc/21337/task/21349/stat : 21349 (java) S 21335 21335 20940 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110191631 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274106627312 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21350] ppid=21335 vsize=26004064 memory=280549679848496 CPUtime=0 cores=0-7
/proc/21337/task/21350/stat : 21350 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191634 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274105575888 140275366614939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21351] ppid=21335 vsize=26004064 memory=280549679921040 CPUtime=0.01 cores=0-7
/proc/21337/task/21351/stat : 21351 (java) S 21335 21335 20940 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 110191634 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274104522992 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21352] ppid=21335 vsize=26004064 memory=280549679927952 CPUtime=0.04 cores=0-7
/proc/21337/task/21352/stat : 21352 (java) S 21335 21335 20940 0 -1 1077944384 364 0 0 0 4 0 0 0 20 0 20 0 110191634 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274103470448 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21353] ppid=21335 vsize=26004064 memory=280549679925648 CPUtime=0.01 cores=0-7
/proc/21337/task/21353/stat : 21353 (java) S 21335 21335 20940 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 110191634 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274034534384 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21354] ppid=21335 vsize=26004064 memory=280549679941808 CPUtime=0.11 cores=0-7
/proc/21337/task/21354/stat : 21354 (java) R 21335 21335 20940 0 -1 4202560 803 0 0 0 11 0 0 0 20 0 20 0 110191634 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274033481840 140275345985647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21355] ppid=21335 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21355/stat : 21355 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110191634 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274032430048 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21356] ppid=21335 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21337/task/21356/stat : 21356 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110191634 26628161536 11525 33554432000 4194304 4196468 140720969910896 140274031377584 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47484 KiB
[startup+0.700942 s]
/proc/loadavg: 2.15 2.24 2.59 6/199 21356
/proc/meminfo: memFree=31456880/32770624 swapFree=67108860/67108860
[pid=21335] ppid=21332 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21335/stat : 21335 (xcsp3-exec) S 21332 21335 20940 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110191628 9740288 346 33554432000 4194304 5098028 140735375362192 140735375360296 140587015664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24031232 140735375369316 140735375369527 140735375369527 140735375372267 0
/proc/21335/statm: 2378 346 289 221 0 87 0
[pid=21337] ppid=21335 vsize=26006188 memory=86372 CPUtime=1.84 cores=0-7
/proc/21337/stat : 21337 (java) S 21335 21335 20940 0 -1 1077944320 14766 0 0 0 178 6 0 0 20 0 20 0 110191628 26630336512 21593 33554432000 4194304 4196468 140720969910896 140720969893440 140275366596343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
/proc/21337/statm: 6501547 21593 3206 1 0 6488781 0
[pid=21337/tid=21338] ppid=21335 vsize=26006188 memory=280549680236736 CPUtime=0.67 cores=0-7
/proc/21337/task/21338/stat : 21338 (java) R 21335 21335 20940 0 -1 4202560 6836 0 0 0 64 3 0 0 20 0 20 0 110191628 26630336512 21593 33554432000 4194304 4196468 140720969910896 140275370834800 140274991978614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21339] ppid=21335 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7
/proc/21337/task/21339/stat : 21339 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26630336512 21593 33554432000 4194304 4196468 140720969910896 140275319217168 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21340] ppid=21335 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21340/stat : 21340 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26630336512 21593 33554432000 4194304 4196468 140720969910896 140275318164624 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21341] ppid=21335 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21341/stat : 21341 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110191629 26630336512 21593 33554432000 4194304 4196468 140720969910896 140275317111568 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
################
# More data... #
################
[pid=21337/tid=21346] ppid=21335 vsize=26538700 memory=18476 CPUtime=0 cores=0-7
/proc/21337/task/21346/stat : 21346 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 27520 33554432000 4194304 4196468 140720969910896 140275311847824 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21347] ppid=21335 vsize=26538700 memory=17672 CPUtime=0 cores=0-7
/proc/21337/task/21347/stat : 21347 (java) S 21335 21335 20940 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274108734192 140275366607490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21348] ppid=21335 vsize=26538700 memory=4040 CPUtime=0 cores=0-7
/proc/21337/task/21348/stat : 21348 (java) S 21335 21335 20940 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274107680416 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21349] ppid=21335 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/21337/task/21349/stat : 21349 (java) S 21335 21335 20940 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274106627312 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21350] ppid=21335 vsize=26538700 memory=644 CPUtime=0 cores=0-7
/proc/21337/task/21350/stat : 21350 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274105575888 140275366614939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21351] ppid=21335 vsize=26538700 memory=1788 CPUtime=0.33 cores=0-7
/proc/21337/task/21351/stat : 21351 (java) S 21335 21335 20940 0 -1 1077944384 1603 0 0 0 33 0 0 0 20 0 28 0 110191634 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274104522992 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21352] ppid=21335 vsize=26538700 memory=0 CPUtime=0.37 cores=0-7
/proc/21337/task/21352/stat : 21352 (java) R 21335 21335 20940 0 -1 4202560 1712 0 0 0 37 0 0 0 20 0 28 0 110191634 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274103460272 140275344191120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21353] ppid=21335 vsize=26538700 memory=-2025810976467231676 CPUtime=0.31 cores=0-7
/proc/21337/task/21353/stat : 21353 (java) R 21335 21335 20940 0 -1 1077944384 1253 0 0 0 30 1 0 0 20 0 28 0 110191634 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274034534384 140275366607490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21354] ppid=21335 vsize=26538700 memory=56 CPUtime=0.38 cores=0-7
/proc/21337/task/21354/stat : 21354 (java) S 21335 21335 20940 0 -1 1077944384 2197 0 0 0 38 0 0 0 20 0 28 0 110191634 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274033481840 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21355] ppid=21335 vsize=26538700 memory=9242 CPUtime=0 cores=0-7
/proc/21337/task/21355/stat : 21355 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274032430048 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21356] ppid=21335 vsize=26538700 memory=25339 CPUtime=0 cores=0-7
/proc/21337/task/21356/stat : 21356 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 27520 33554432000 4194304 4196468 140720969910896 140274031377584 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 111464 KiB
[startup+1.20114 s]
/proc/loadavg: 2.15 2.24 2.59 13/207 21364
/proc/meminfo: memFree=31413536/32770624 swapFree=67108860/67108860
[pid=21335] ppid=21332 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21335/stat : 21335 (xcsp3-exec) S 21332 21335 20940 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110191628 9740288 346 33554432000 4194304 5098028 140735375362192 140735375360296 140587015664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24031232 140735375369316 140735375369527 140735375369527 140735375372267 0
/proc/21335/statm: 2378 346 289 221 0 87 0
[pid=21337] ppid=21335 vsize=26538700 memory=113428 CPUtime=5.39 cores=0-7
/proc/21337/stat : 21337 (java) S 21335 21335 20940 0 -1 1077944320 16162 0 0 0 532 7 0 0 20 0 28 0 110191628 27175628800 28357 33554432000 4194304 4196468 140720969910896 140720969893440 140275366596343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
/proc/21337/statm: 6634675 28357 3226 1 0 6621909 0
[pid=21337/tid=21338] ppid=21335 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/21337/task/21338/stat : 21338 (java) S 21335 21335 20940 0 -1 1077944384 6901 0 0 0 72 3 0 0 20 0 28 0 110191628 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275370837120 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21339] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21339/stat : 21339 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275319217168 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21340] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21340/stat : 21340 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275318164624 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21341] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21341/stat : 21341 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275317111568 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21342] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21342/stat : 21342 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275316059024 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21343] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21343/stat : 21343 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275315005968 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21344] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21344/stat : 21344 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275313953424 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21345] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21345/stat : 21345 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275312900368 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21346] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21346/stat : 21346 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28357 33554432000 4194304 4196468 140720969910896 140275311847824 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21347] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21347/stat : 21347 (java) S 21335 21335 20940 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274108734192 140275366607490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21348] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21348/stat : 21348 (java) S 21335 21335 20940 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274107680416 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21349] ppid=21335 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/21337/task/21349/stat : 21349 (java) S 21335 21335 20940 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274106627312 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21350] ppid=21335 vsize=26538700 memory=288230613214036277 CPUtime=0 cores=0-7
/proc/21337/task/21350/stat : 21350 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274105575888 140275366614939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21351] ppid=21335 vsize=26538700 memory=16106991470774530 CPUtime=0.62 cores=0-7
/proc/21337/task/21351/stat : 21351 (java) R 21335 21335 20940 0 -1 4202560 1665 0 0 0 62 0 0 0 20 0 28 0 110191634 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274104509216 140275348117327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21352] ppid=21335 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/21337/task/21352/stat : 21352 (java) R 21335 21335 20940 0 -1 4202560 1770 0 0 0 75 0 0 0 20 0 28 0 110191634 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274103456448 140275349981035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21353] ppid=21335 vsize=26538700 memory=0 CPUtime=0.68 cores=0-7
/proc/21337/task/21353/stat : 21353 (java) R 21335 21335 20940 0 -1 4202560 1682 0 0 0 67 1 0 0 20 0 28 0 110191634 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274034520784 140275344191248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21354] ppid=21335 vsize=26538700 memory=0 CPUtime=0.5 cores=0-7
/proc/21337/task/21354/stat : 21354 (java) R 21335 21335 20940 0 -1 1077944384 2447 0 0 0 50 0 0 0 20 0 28 0 110191634 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274033481840 140275366607490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21355] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21355/stat : 21355 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274032430048 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21356] ppid=21335 vsize=26538700 memory=4206186544037388384 CPUtime=0 cores=0-7
/proc/21337/task/21356/stat : 21356 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274031377584 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21357] ppid=21335 vsize=26538700 memory=6944656592455359580 CPUtime=0.27 cores=0-7
/proc/21337/task/21357/stat : 21357 (java) R 21335 21335 20940 0 -1 4202560 62 0 0 0 27 0 0 0 20 0 28 0 110191705 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274023862280 140274995637772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21358] ppid=21335 vsize=26538700 memory=9023629670928638048 CPUtime=0.23 cores=0-7
/proc/21337/task/21358/stat : 21358 (java) R 21335 21335 20940 0 -1 4202560 46 0 0 0 23 0 0 0 20 0 28 0 110191706 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274022805472 140274996310623 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21359] ppid=21335 vsize=26538700 memory=6944656592455097440 CPUtime=0.23 cores=0-7
/proc/21337/task/21359/stat : 21359 (java) R 21335 21335 20940 0 -1 4202560 79 0 0 0 23 0 0 0 20 0 28 0 110191706 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274021758952 140274995708064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21360] ppid=21335 vsize=26538700 memory=6944656592387989600 CPUtime=0.25 cores=0-7
/proc/21337/task/21360/stat : 21360 (java) R 21335 21335 20940 0 -1 4202560 41 0 0 0 25 0 0 0 20 0 28 0 110191706 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274020703136 140274990875329 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21361] ppid=21335 vsize=26538700 memory=6944656592455359580 CPUtime=0.32 cores=0-7
/proc/21337/task/21361/stat : 21361 (java) R 21335 21335 20940 0 -1 4202560 45 0 0 0 32 0 0 0 20 0 28 0 110191706 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274019649648 140274996370297 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21362] ppid=21335 vsize=26538700 memory=6944652177228980320 CPUtime=0.22 cores=0-7
/proc/21337/task/21362/stat : 21362 (java) R 21335 21335 20940 0 -1 4202560 31 0 0 0 22 0 0 0 20 0 28 0 110191706 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274018598984 140274996057985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21363] ppid=21335 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/21337/task/21363/stat : 21363 (java) R 21335 21335 20940 0 -1 4202560 31 0 0 0 25 0 0 0 20 0 28 0 110191706 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274017549296 140274995591060 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21364] ppid=21335 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/21337/task/21364/stat : 21364 (java) R 21335 21335 20940 0 -1 4202560 46 0 0 0 24 0 0 0 20 0 28 0 110191706 27175628800 28357 33554432000 4194304 4196468 140720969910896 140274016490096 140274994982919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 114812 KiB
[startup+1.40685 s]
/proc/loadavg: 2.15 2.24 2.59 13/207 21364
/proc/meminfo: memFree=31413536/32770624 swapFree=67108860/67108860
[pid=21335] ppid=21332 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21335/stat : 21335 (xcsp3-exec) S 21332 21335 20940 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 110191628 9740288 346 33554432000 4194304 5098028 140735375362192 140735375360296 140587015664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24031232 140735375369316 140735375369527 140735375369527 140735375372267 0
/proc/21335/statm: 2378 346 289 221 0 87 0
[pid=21337] ppid=21335 vsize=26538700 memory=114556 CPUtime=7.03 cores=0-7
/proc/21337/stat : 21337 (java) S 21335 21335 20940 0 -1 1077944320 16455 0 0 0 696 7 0 0 20 0 28 0 110191628 27175628800 28639 33554432000 4194304 4196468 140720969910896 140720969893440 140275366596343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
/proc/21337/statm: 6634675 28639 3233 1 0 6621909 0
[pid=21337/tid=21338] ppid=21335 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/21337/task/21338/stat : 21338 (java) S 21335 21335 20940 0 -1 1077944384 6901 0 0 0 72 3 0 0 20 0 28 0 110191628 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275370837120 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21339] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21339/stat : 21339 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275319217168 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21340] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21340/stat : 21340 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275318164624 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21341] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21341/stat : 21341 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275317111568 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21342] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21342/stat : 21342 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275316059024 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21343] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21343/stat : 21343 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275315005968 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21344] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21344/stat : 21344 (java) S 21335 21335 20940 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275313953424 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21345] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21345/stat : 21345 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275312900368 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21346] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21346/stat : 21346 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191629 27175628800 28639 33554432000 4194304 4196468 140720969910896 140275311847824 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21347] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21347/stat : 21347 (java) S 21335 21335 20940 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274108734192 140275366607490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21348] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21348/stat : 21348 (java) S 21335 21335 20940 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274107680416 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21349] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21349/stat : 21349 (java) S 21335 21335 20940 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 110191631 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274106627312 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21350] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21350/stat : 21350 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274105575888 140275366614939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21351] ppid=21335 vsize=26538700 memory=0 CPUtime=0.82 cores=0-7
/proc/21337/task/21351/stat : 21351 (java) R 21335 21335 20940 0 -1 4202560 1709 0 0 0 82 0 0 0 20 0 28 0 110191634 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274104508872 140275366617690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21352] ppid=21335 vsize=26538700 memory=0 CPUtime=0.94 cores=0-7
/proc/21337/task/21352/stat : 21352 (java) R 21335 21335 20940 0 -1 4202560 1937 0 0 0 94 0 0 0 20 0 28 0 110191634 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274103451856 140275366617690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21353] ppid=21335 vsize=26538700 memory=0 CPUtime=0.88 cores=0-7
/proc/21337/task/21353/stat : 21353 (java) R 21335 21335 20940 0 -1 4202560 1736 0 0 0 87 1 0 0 20 0 28 0 110191634 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274034520608 140275358885725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21354] ppid=21335 vsize=26538700 memory=0 CPUtime=0.52 cores=0-7
/proc/21337/task/21354/stat : 21354 (java) R 21335 21335 20940 0 -1 1077944384 2473 0 0 0 52 0 0 0 20 0 28 0 110191634 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274033481840 140275366607490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21355] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21355/stat : 21355 (java) S 21335 21335 20940 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274032430048 140275366606549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21356] ppid=21335 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21337/task/21356/stat : 21356 (java) S 21335 21335 20940 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110191634 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274031377584 140275366607490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21357] ppid=21335 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7
/proc/21337/task/21357/stat : 21357 (java) R 21335 21335 20940 0 -1 4202560 62 0 0 0 42 0 0 0 20 0 28 0 110191705 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274023860272 140274996309108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21358] ppid=21335 vsize=26538700 memory=0 CPUtime=0.38 cores=0-7
/proc/21337/task/21358/stat : 21358 (java) R 21335 21335 20940 0 -1 4202560 48 0 0 0 38 0 0 0 20 0 28 0 110191706 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274022806016 140274996309052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21359] ppid=21335 vsize=26538700 memory=0 CPUtime=0.37 cores=0-7
/proc/21337/task/21359/stat : 21359 (java) R 21335 21335 20940 0 -1 4202560 79 0 0 0 37 0 0 0 20 0 28 0 110191706 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274021755464 140274994982848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21360] ppid=21335 vsize=26538700 memory=0 CPUtime=0.37 cores=0-7
/proc/21337/task/21360/stat : 21360 (java) R 21335 21335 20940 0 -1 4202560 41 0 0 0 37 0 0 0 20 0 28 0 110191706 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274020703480 140274996308891 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21361] ppid=21335 vsize=26538700 memory=0 CPUtime=0.44 cores=0-7
/proc/21337/task/21361/stat : 21361 (java) R 21335 21335 20940 0 -1 1077944384 45 0 0 0 44 0 0 0 20 0 28 0 110191706 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274019649896 140275366617533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21362] ppid=21335 vsize=26538700 memory=0 CPUtime=0.35 cores=0-7
/proc/21337/task/21362/stat : 21362 (java) R 21335 21335 20940 0 -1 4202560 31 0 0 0 35 0 0 0 20 0 28 0 110191706 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274018598744 140274996307295 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21363] ppid=21335 vsize=26538700 memory=0 CPUtime=0.36 cores=0-7
/proc/21337/task/21363/stat : 21363 (java) R 21335 21335 20940 0 -1 4202560 33 0 0 0 36 0 0 0 20 0 28 0 110191706 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274017542512 140274996415692 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
[pid=21337/tid=21364] ppid=21335 vsize=26538700 memory=0 CPUtime=0.34 cores=0-7
/proc/21337/task/21364/stat : 21364 (java) R 21335 21335 20940 0 -1 4202560 48 0 0 0 34 0 0 0 20 0 28 0 110191706 27175628800 28639 33554432000 4194304 4196468 140720969910896 140274016494104 140274996874808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23257088 140720969917586 140720969917763 140720969917763 140720969920463 0
Current children cumulated CPU time: 7.03 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 115940 KiB
Child status: 0
Real time (s): 1.46364
CPU time (s): 7.35983
CPU user time (s): 7.27448
CPU system time (s): 0.085351
CPU usage (%): 502.844
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 115940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.27448
system time used= 0.085351
maximum resident set size= 118348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2618
involuntary context switches= 170
# summary of solver processes directly reported to runsolver:
# pid: 21335
# total CPU time (s): 7.35983
# total CPU user time (s): 7.27448
# total CPU system time (s): 0.085351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034704 second user time and 0.053077 second system time
The end
Begin job on node103 at 2017-08-15 06:09:36
IDJOB=4270971
IDBENCH=134595
IDSOLVER=2662
FILE ID=node103/4270971-1502771034
RUNJOBID= node103-1502767545-20967
PBS_JOBID= 20629098
Free space on /tmp= 61796 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-06-int.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-4270971-1502771034/watcher-4270971-1502771034 -o /tmp/evaluation-result-4270971-1502771034/solver-4270971-1502771034 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502767545-20967 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1138076541 HOME/instance-4270971-1502771034.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 587f81fa39009f68e82bfe1879633f99
RANDOM SEED=1138076541
node103.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.56
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.56
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.56
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.56
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: 31512360 kB
MemAvailable: 31984084 kB
Buffers: 171532 kB
Cached: 585900 kB
SwapCached: 0 kB
Active: 583056 kB
Inactive: 228824 kB
Active(anon): 3748 kB
Inactive(anon): 78580 kB
Active(file): 579308 kB
Inactive(file): 150244 kB
Unevictable: 6432 kB
Mlocked: 6432 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7764 kB
Writeback: 0 kB
AnonPages: 60924 kB
Mapped: 45556 kB
Shmem: 25228 kB
Slab: 142176 kB
SReclaimable: 116016 kB
SUnreclaim: 26160 kB
KernelStack: 3328 kB
PageTables: 4788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323388 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61788 MiB
End job on node103 at 2017-08-15 06:09:37