0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270596-1502759663.xml" -tl '20160s' -p 8 -x 0
0.10/0.15 c [HOME/instance-4270596-1502759663.xml, -tl, 20160s, -p, 8, -x, 0]
0.10/0.20 c 8 solvers in parallel
0.32/0.26 c parse instance...
0.74/0.43 c solve instance...
0.74/0.46 o 504
0.74/0.46 o 535
0.74/0.46 o 577
0.74/0.47 o 586
0.74/0.47 o 756
0.74/0.48 o 815
0.74/0.52 o 818
1.19/0.52 o 825
1.19/0.57 o 861
1.19/0.57 o 908
4.09/0.92 o 912
4.09/0.96 o 917
4.09/0.96 o 929
4.09/0.96 o 934
4.09/0.97 o 954
109.86/18.22 s OPTIMUM FOUND
109.86/18.22 v <instantiation>
109.86/18.22 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] x[36] x[37] x[38] x[39] </list>
109.86/18.22 v <values>1 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 </values>
109.86/18.22 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 (11609 MiB free)
memory of node 1: 16384 MiB (14877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270596-1502759663/watcher-4270596-1502759663 -o /tmp/evaluation-result-4270596-1502759663/solver-4270596-1502759663 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502750590-3336 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1749381075 HOME/instance-4270596-1502759663.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=7121, runsolver pid=7118
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 8.44 7.92 8.16 2/199 7142
/proc/meminfo: memFree=27107272/32770624 swapFree=67108860/67108860
[pid=7121] ppid=7118 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7121/stat : 7121 (xcsp3-exec) S 7118 7121 3309 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109047432 9740288 346 33554432000 4194304 5098028 140730000045552 140730000043656 140253703357052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140730000053348 140730000053559 140730000053559 140730000056299 0
/proc/7121/statm: 2378 346 289 221 0 87 0
[pid=7123] ppid=7121 vsize=25999808 memory=26184 CPUtime=0.1 cores=0-7
/proc/7123/stat : 7123 (java) S 7121 7121 3309 0 -1 1077944320 5448 0 0 0 9 1 0 0 20 0 20 0 109047432 26623803392 6546 33554432000 4194304 4196468 140728910157312 140728910139856 140162038857463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
/proc/7123/statm: 6499952 6546 2841 1 0 6488269 0
[pid=7123/tid=7124] ppid=7121 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7123/task/7124/stat : 7124 (java) R 7121 7121 3309 0 -1 4202560 3459 0 0 0 7 1 0 0 20 0 20 0 109047433 26623803392 6546 33554432000 4194304 4196468 140728910157312 140162043081264 140162038869398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7125] ppid=7121 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7123/task/7125/stat : 7125 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161991478032 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7126] ppid=7121 vsize=25999808 memory=140704954644096 CPUtime=0 cores=0-7
/proc/7123/task/7126/stat : 7126 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161990425488 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7127] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7127/stat : 7127 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161989372944 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7128] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7128/stat : 7128 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161988320400 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7129] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7129/stat : 7129 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161987266832 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7130] ppid=7121 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7123/task/7130/stat : 7130 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161986214288 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7131] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7131/stat : 7131 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161985161744 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7132] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7132/stat : 7132 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26623803392 6546 33554432000 4194304 4196468 140728910157312 140161984109200 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7133] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7133/stat : 7133 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047435 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160355736048 140162038868610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7134] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7134/stat : 7134 (java) S 7121 7121 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109047436 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160354682272 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7135] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7135/stat : 7135 (java) S 7121 7121 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109047436 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160353629680 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7136] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7136/stat : 7136 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047438 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160239954640 140162038876059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7137] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7137/stat : 7137 (java) S 7121 7121 3309 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 109047438 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160238901232 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7138] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7138/stat : 7138 (java) S 7121 7121 3309 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 109047438 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160237848688 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7139] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7139/stat : 7139 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047438 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160236796144 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7140] ppid=7121 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7123/task/7140/stat : 7140 (java) R 7121 7121 3309 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 109047438 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160235743600 140162038878810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7141] ppid=7121 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7141/stat : 7141 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109047439 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160234691296 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7142] ppid=7121 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7123/task/7142/stat : 7142 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047439 26623803392 6546 33554432000 4194304 4196468 140728910157312 140160233638832 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27568 KiB
[startup+0.210634 s]*
/proc/loadavg: 8.44 7.92 8.16 2/199 7142
/proc/meminfo: memFree=27096784/32770624 swapFree=67108860/67108860
[pid=7121] ppid=7118 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7121/stat : 7121 (xcsp3-exec) S 7118 7121 3309 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109047432 9740288 346 33554432000 4194304 5098028 140730000045552 140730000043656 140253703357052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140730000053348 140730000053559 140730000053559 140730000056299 0
/proc/7121/statm: 2378 346 289 221 0 87 0
[pid=7123] ppid=7121 vsize=26004064 memory=39016 CPUtime=0.32 cores=0-7
/proc/7123/stat : 7123 (java) S 7121 7121 3309 0 -1 1077944320 8318 0 0 0 29 3 0 0 20 0 20 0 109047432 26628161536 9754 33554432000 4194304 4196468 140728910157312 140728910139856 140162038857463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
/proc/7123/statm: 6501016 9754 3072 1 0 6488269 0
[pid=7123/tid=7124] ppid=7121 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7123/task/7124/stat : 7124 (java) R 7121 7121 3309 0 -1 4202560 5371 0 0 0 18 2 0 0 20 0 20 0 109047433 26628161536 9754 33554432000 4194304 4196468 140728910157312 140162043080368 140162038879389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7125] ppid=7121 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/7123/task/7125/stat : 7125 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161991478032 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7126] ppid=7121 vsize=26004064 memory=140704954652300 CPUtime=0 cores=0-7
/proc/7123/task/7126/stat : 7126 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161990425488 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7127] ppid=7121 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7123/task/7127/stat : 7127 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161989372944 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7128] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7128/stat : 7128 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161988320400 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7129] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7129/stat : 7129 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161987266832 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7130] ppid=7121 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7123/task/7130/stat : 7130 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161986214288 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7131] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7131/stat : 7131 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161985161744 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7132] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7132/stat : 7132 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 9754 33554432000 4194304 4196468 140728910157312 140161984109200 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7133] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7133/stat : 7133 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047435 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160355736048 140162038868610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7134] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7134/stat : 7134 (java) S 7121 7121 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109047436 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160354682272 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7135] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7135/stat : 7135 (java) S 7121 7121 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109047436 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160353629680 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7136] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7136/stat : 7136 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047438 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160239954640 140162038876059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7137] ppid=7121 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/7123/task/7137/stat : 7137 (java) S 7121 7121 3309 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 109047438 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160238901232 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7138] ppid=7121 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7123/task/7138/stat : 7138 (java) S 7121 7121 3309 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 109047438 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160237848688 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7139] ppid=7121 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7123/task/7139/stat : 7139 (java) S 7121 7121 3309 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 109047438 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160236796144 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7140] ppid=7121 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/7123/task/7140/stat : 7140 (java) S 7121 7121 3309 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 109047438 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160235743600 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7141] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7141/stat : 7141 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109047439 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160234691296 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7142] ppid=7121 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7123/task/7142/stat : 7142 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047439 26628161536 9754 33554432000 4194304 4196468 140728910157312 140160233638832 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40400 KiB
[startup+0.310462 s]*
/proc/loadavg: 8.44 7.92 8.16 2/199 7142
/proc/meminfo: memFree=27088160/32770624 swapFree=67108860/67108860
[pid=7121] ppid=7118 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7121/stat : 7121 (xcsp3-exec) S 7118 7121 3309 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109047432 9740288 346 33554432000 4194304 5098028 140730000045552 140730000043656 140253703357052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140730000053348 140730000053559 140730000053559 140730000056299 0
/proc/7121/statm: 2378 346 289 221 0 87 0
[pid=7123] ppid=7121 vsize=26004064 memory=45684 CPUtime=0.47 cores=0-7
/proc/7123/stat : 7123 (java) S 7121 7121 3309 0 -1 1077944320 9186 0 0 0 43 4 0 0 20 0 20 0 109047432 26628161536 11421 33554432000 4194304 4196468 140728910157312 140728910139856 140162038857463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
/proc/7123/statm: 6501016 11421 3088 1 0 6488269 0
[pid=7123/tid=7124] ppid=7121 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7123/task/7124/stat : 7124 (java) R 7121 7121 3309 0 -1 4202560 6129 0 0 0 26 3 0 0 20 0 20 0 109047433 26628161536 11444 33554432000 4194304 4196468 140728910157312 140162043094976 140162022937950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7125] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7125/stat : 7125 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161991478032 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7126] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7126/stat : 7126 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161990425488 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7127] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7127/stat : 7127 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161989372944 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7128] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7128/stat : 7128 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161988320400 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7129] ppid=7121 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7123/task/7129/stat : 7129 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161987266832 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7130] ppid=7121 vsize=26004064 memory=140704806433711 CPUtime=0 cores=0-7
/proc/7123/task/7130/stat : 7130 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161986214288 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7131] ppid=7121 vsize=26004064 memory=140704806436016 CPUtime=0 cores=0-7
/proc/7123/task/7131/stat : 7131 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161985161744 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7132] ppid=7121 vsize=26004064 memory=140704806438320 CPUtime=0 cores=0-7
/proc/7123/task/7132/stat : 7132 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047434 26628161536 11444 33554432000 4194304 4196468 140728910157312 140161984109200 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7133] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7133/stat : 7133 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047435 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160355736048 140162038868610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7134] ppid=7121 vsize=26004064 memory=281409612883600 CPUtime=0 cores=0-7
/proc/7123/task/7134/stat : 7134 (java) S 7121 7121 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109047436 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160354682272 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7135] ppid=7121 vsize=26004064 memory=281409612890512 CPUtime=0 cores=0-7
/proc/7123/task/7135/stat : 7135 (java) S 7121 7121 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109047436 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160353629680 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7136] ppid=7121 vsize=26004064 memory=281409612831792 CPUtime=0 cores=0-7
/proc/7123/task/7136/stat : 7136 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109047438 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160239954640 140162038876059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7137] ppid=7121 vsize=26004064 memory=281409612904336 CPUtime=0.04 cores=0-7
/proc/7123/task/7137/stat : 7137 (java) S 7121 7121 3309 0 -1 1077944384 459 0 0 0 4 0 0 0 20 0 20 0 109047438 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160238901232 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7138] ppid=7121 vsize=26004064 memory=281409612911248 CPUtime=0.01 cores=0-7
/proc/7123/task/7138/stat : 7138 (java) S 7121 7121 3309 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 109047438 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160237848688 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7139] ppid=7121 vsize=26004064 memory=281409612908944 CPUtime=0 cores=0-7
/proc/7123/task/7139/stat : 7139 (java) S 7121 7121 3309 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 109047438 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160236796144 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7140] ppid=7121 vsize=26004064 memory=281409612925104 CPUtime=0.11 cores=0-7
/proc/7123/task/7140/stat : 7140 (java) S 7121 7121 3309 0 -1 1077944384 826 0 0 0 11 0 0 0 20 0 20 0 109047438 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160235743600 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7141] ppid=7121 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7141/stat : 7141 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109047439 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160234691296 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7142] ppid=7121 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7123/task/7142/stat : 7142 (java) S 7121 7121 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109047439 26628161536 11444 33554432000 4194304 4196468 140728910157312 140160233638832 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47068 KiB
[startup+0.701751 s]
/proc/loadavg: 8.44 7.92 8.16 8/207 7198
/proc/meminfo: memFree=26973384/32770624 swapFree=67108860/67108860
[pid=7121] ppid=7118 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7121/stat : 7121 (xcsp3-exec) S 7118 7121 3309 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109047432 9740288 346 33554432000 4194304 5098028 140730000045552 140730000043656 140253703357052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140730000053348 140730000053559 140730000053559 140730000056299 0
/proc/7121/statm: 2378 346 289 221 0 87 0
[pid=7123] ppid=7121 vsize=26605264 memory=180364 CPUtime=2.53 cores=0-7
/proc/7123/stat : 7123 (java) S 7121 7121 3309 0 -1 1077944320 16912 0 0 0 244 9 0 0 20 0 28 0 109047432 27243790336 45091 33554432000 4194304 4196468 140728910157312 140728910139856 140162038857463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
/proc/7123/statm: 6651316 45091 3233 1 0 6638550 0
[pid=7123/tid=7124] ppid=7121 vsize=26605264 memory=281409613282992 CPUtime=0.41 cores=0-7
/proc/7123/task/7124/stat : 7124 (java) S 7121 7121 3309 0 -1 1077944384 6692 0 0 0 38 3 0 0 20 0 28 0 109047433 27243790336 45091 33554432000 4194304 4196468 140728910157312 140162043098240 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7125] ppid=7121 vsize=26605264 memory=140704806642544 CPUtime=0 cores=0-7
/proc/7123/task/7125/stat : 7125 (java) S 7121 7121 3309 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 109047434 27243790336 45096 33554432000 4194304 4196468 140728910157312 140161991478032 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7126] ppid=7121 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7126/stat : 7126 (java) S 7121 7121 3309 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 109047434 27243790336 45096 33554432000 4194304 4196468 140728910157312 140161990425488 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7127] ppid=7121 vsize=26605264 memory=1716 CPUtime=0 cores=0-7
/proc/7123/task/7127/stat : 7127 (java) S 7121 7121 3309 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 109047434 27243790336 45096 33554432000 4194304 4196468 140728910157312 140161989372944 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
################
# More data... #
################
[pid=7123/tid=7140] ppid=7121 vsize=26605264 memory=6009602256086264421 CPUtime=0.39 cores=0-7
/proc/7123/task/7140/stat : 7140 (java) S 7121 7121 3309 0 -1 1077944384 2995 0 0 0 39 0 0 0 20 0 28 0 109047438 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160235743600 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7141] ppid=7121 vsize=26605264 memory=7523917839311923313 CPUtime=0 cores=0-7
/proc/7123/task/7141/stat : 7141 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109047439 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160234691296 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7142] ppid=7121 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7142/stat : 7142 (java) S 7121 7121 3309 0 -1 1077944384 702 0 0 0 0 0 0 0 20 0 28 0 109047439 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160233638832 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7263] ppid=7121 vsize=26605264 memory=0 CPUtime=12.39 cores=0-7
/proc/7123/task/7263/stat : 7263 (java) R 7121 7121 3309 0 -1 4202560 135 0 0 0 1191 48 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140159075994944 140162038878810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7264] ppid=7121 vsize=26605264 memory=7305209605228162150 CPUtime=12.2 cores=0-7
/proc/7123/task/7264/stat : 7264 (java) R 7121 7121 3309 0 -1 4202560 203 0 0 0 1168 52 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140159077048816 140161648145452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7265] ppid=7121 vsize=26605264 memory=8112282956445269571 CPUtime=12.34 cores=0-7
/proc/7123/task/7265/stat : 7265 (java) S 7121 7121 3309 0 -1 1077944384 156 0 0 0 1184 50 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160220368496 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7266] ppid=7121 vsize=26605264 memory=11040 CPUtime=12.47 cores=0-7
/proc/7123/task/7266/stat : 7266 (java) R 7121 7121 3309 0 -1 1077944384 266 0 0 0 1203 44 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160219315952 140162038867669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7267] ppid=7121 vsize=26605264 memory=5700 CPUtime=11.91 cores=0-7
/proc/7123/task/7267/stat : 7267 (java) S 7121 7121 3309 0 -1 1077944384 173 0 0 0 1137 54 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160223526768 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7268] ppid=7121 vsize=26605264 memory=4616 CPUtime=13.23 cores=0-7
/proc/7123/task/7268/stat : 7268 (java) S 7121 7121 3309 0 -1 1077944384 525 0 0 0 1294 29 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160222474224 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7269] ppid=7121 vsize=26605264 memory=792 CPUtime=13.14 cores=0-7
/proc/7123/task/7269/stat : 7269 (java) R 7121 7121 3309 0 -1 4202560 898 0 0 0 1274 40 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160221421680 140728910653640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7270] ppid=7121 vsize=26605264 memory=1424 CPUtime=12.14 cores=0-7
/proc/7123/task/7270/stat : 7270 (java) R 7121 7121 3309 0 -1 4202560 145 0 0 0 1154 60 0 0 20 0 28 0 109047531 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160224579824 140161647580993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
Current children cumulated CPU time: 106.05 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 218056 KiB
[startup+18.0011 s]*
/proc/loadavg: 8.19 7.89 8.14 7/207 7270
/proc/meminfo: memFree=26917060/32770624 swapFree=67108860/67108860
[pid=7121] ppid=7118 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7121/stat : 7121 (xcsp3-exec) S 7118 7121 3309 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109047432 9740288 346 33554432000 4194304 5098028 140730000045552 140730000043656 140253703357052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140730000053348 140730000053559 140730000053559 140730000056299 0
/proc/7121/statm: 2378 346 289 221 0 87 0
[pid=7123] ppid=7121 vsize=26605264 memory=217696 CPUtime=108.64 cores=0-7
/proc/7123/stat : 7123 (java) S 7121 7121 3309 0 -1 1077944320 29358 0 0 0 10446 418 0 0 20 0 28 0 109047432 27243790336 54424 33554432000 4194304 4196468 140728910157312 140728910139856 140162038857463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
/proc/7123/statm: 6651316 54424 3257 1 0 6638550 0
[pid=7123/tid=7124] ppid=7121 vsize=26605264 memory=8112282956445269571 CPUtime=0.42 cores=0-7
/proc/7123/task/7124/stat : 7124 (java) S 7121 7121 3309 0 -1 1077944384 6692 0 0 0 39 3 0 0 20 0 28 0 109047433 27243790336 54424 33554432000 4194304 4196468 140728910157312 140162043098240 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7125] ppid=7121 vsize=26605264 memory=0 CPUtime=0.03 cores=0-7
/proc/7123/task/7125/stat : 7125 (java) S 7121 7121 3309 0 -1 1077944384 127 0 0 0 2 1 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161991478032 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7126] ppid=7121 vsize=26605264 memory=0 CPUtime=0.04 cores=0-7
/proc/7123/task/7126/stat : 7126 (java) S 7121 7121 3309 0 -1 1077944384 125 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161990425488 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7127] ppid=7121 vsize=26605264 memory=7815263158104752195 CPUtime=0.03 cores=0-7
/proc/7123/task/7127/stat : 7127 (java) S 7121 7121 3309 0 -1 1077944384 638 0 0 0 2 1 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161989372944 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7128] ppid=7121 vsize=26605264 memory=4126316290023845779 CPUtime=0.04 cores=0-7
/proc/7123/task/7128/stat : 7128 (java) S 7121 7121 3309 0 -1 1077944384 135 0 0 0 2 2 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161988320400 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7129] ppid=7121 vsize=26605264 memory=0 CPUtime=0.03 cores=0-7
/proc/7123/task/7129/stat : 7129 (java) S 7121 7121 3309 0 -1 1077944384 398 0 0 0 2 1 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161987266832 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7130] ppid=7121 vsize=26605264 memory=0 CPUtime=0.04 cores=0-7
/proc/7123/task/7130/stat : 7130 (java) S 7121 7121 3309 0 -1 1077944384 129 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161986214288 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7131] ppid=7121 vsize=26605264 memory=62414464760002 CPUtime=0.04 cores=0-7
/proc/7123/task/7131/stat : 7131 (java) S 7121 7121 3309 0 -1 1077944384 180 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161985161744 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7132] ppid=7121 vsize=26605264 memory=0 CPUtime=0.04 cores=0-7
/proc/7123/task/7132/stat : 7132 (java) S 7121 7121 3309 0 -1 1077944384 544 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54424 33554432000 4194304 4196468 140728910157312 140161984109200 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7133] ppid=7121 vsize=26605264 memory=0 CPUtime=0.02 cores=0-7
/proc/7123/task/7133/stat : 7133 (java) S 7121 7121 3309 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 28 0 109047435 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160355736048 140162038868610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7134] ppid=7121 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7134/stat : 7134 (java) S 7121 7121 3309 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 109047436 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160354682336 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7135] ppid=7121 vsize=26605264 memory=-6152298109710726336 CPUtime=0 cores=0-7
/proc/7123/task/7135/stat : 7135 (java) S 7121 7121 3309 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 109047436 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160353629696 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7136] ppid=7121 vsize=26605264 memory=-9001734043636558696 CPUtime=0 cores=0-7
/proc/7123/task/7136/stat : 7136 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109047438 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160239954640 140162038876059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7137] ppid=7121 vsize=26605264 memory=6944656592455350634 CPUtime=0.84 cores=0-7
/proc/7123/task/7137/stat : 7137 (java) S 7121 7121 3309 0 -1 1077944384 3748 0 0 0 83 1 0 0 20 0 28 0 109047438 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160238901232 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7138] ppid=7121 vsize=26605264 memory=-7025452035940392864 CPUtime=0.77 cores=0-7
/proc/7123/task/7138/stat : 7138 (java) S 7121 7121 3309 0 -1 1077944384 3284 0 0 0 76 1 0 0 20 0 28 0 109047438 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160237848688 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7139] ppid=7121 vsize=26605264 memory=6944656592455360560 CPUtime=0.83 cores=0-7
/proc/7123/task/7139/stat : 7139 (java) S 7121 7121 3309 0 -1 1077944384 2845 0 0 0 82 1 0 0 20 0 28 0 109047438 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160236796144 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7140] ppid=7121 vsize=26605264 memory=3054156605268465310 CPUtime=0.39 cores=0-7
/proc/7123/task/7140/stat : 7140 (java) S 7121 7121 3309 0 -1 1077944384 2997 0 0 0 39 0 0 0 20 0 28 0 109047438 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160235743600 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7141] ppid=7121 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7141/stat : 7141 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109047439 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160234691296 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7142] ppid=7121 vsize=26605264 memory=-7529836568103122112 CPUtime=0 cores=0-7
/proc/7123/task/7142/stat : 7142 (java) S 7121 7121 3309 0 -1 1077944384 702 0 0 0 0 0 0 0 20 0 28 0 109047439 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160233638832 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7263] ppid=7121 vsize=26605264 memory=-7750001083477550754 CPUtime=12.72 cores=0-7
/proc/7123/task/7263/stat : 7263 (java) R 7121 7121 3309 0 -1 4202560 135 0 0 0 1222 50 0 0 20 0 28 0 109047530 27243790336 54424 33554432000 4194304 4196468 140728910157312 140159075994944 140161647275927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7264] ppid=7121 vsize=26605264 memory=140704954687665 CPUtime=12.52 cores=0-7
/proc/7123/task/7264/stat : 7264 (java) R 7121 7121 3309 0 -1 4202560 203 0 0 0 1199 53 0 0 20 0 28 0 109047530 27243790336 54424 33554432000 4194304 4196468 140728910157312 140159077048816 140161648502084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7265] ppid=7121 vsize=26605264 memory=565 CPUtime=12.66 cores=0-7
/proc/7123/task/7265/stat : 7265 (java) R 7121 7121 3309 0 -1 4202560 156 0 0 0 1214 52 0 0 20 0 28 0 109047530 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160220368496 140161647416388 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7266] ppid=7121 vsize=26605264 memory=6293050847276651881 CPUtime=12.79 cores=0-7
/proc/7123/task/7266/stat : 7266 (java) R 7121 7121 3309 0 -1 4202560 267 0 0 0 1233 46 0 0 20 0 28 0 109047530 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160219315952 140161647953632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7267] ppid=7121 vsize=26605264 memory=7157152547689747815 CPUtime=12.22 cores=0-7
/proc/7123/task/7267/stat : 7267 (java) S 7121 7121 3309 0 -1 1077944384 173 0 0 0 1168 54 0 0 20 0 28 0 109047530 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160223526768 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7268] ppid=7121 vsize=26605264 memory=1716 CPUtime=13.57 cores=0-7
/proc/7123/task/7268/stat : 7268 (java) R 7121 7121 3309 0 -1 4202560 526 0 0 0 1327 30 0 0 20 0 28 0 109047530 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160222474224 140161648627975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7269] ppid=7121 vsize=26605264 memory=2241 CPUtime=13.47 cores=0-7
/proc/7123/task/7269/stat : 7269 (java) S 7121 7121 3309 0 -1 1077944384 900 0 0 0 1306 41 0 0 20 0 28 0 109047530 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160221421680 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7270] ppid=7121 vsize=26605264 memory=1384 CPUtime=12.46 cores=0-7
/proc/7123/task/7270/stat : 7270 (java) R 7121 7121 3309 0 -1 1077944384 145 0 0 0 1184 62 0 0 20 0 28 0 109047531 27243790336 54424 33554432000 4194304 4196468 140728910157312 140160224579824 140162038867669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
Current children cumulated CPU time: 108.64 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 219080 KiB
[startup+18.2011 s]
/proc/loadavg: 8.19 7.89 8.14 7/207 7270
/proc/meminfo: memFree=26917060/32770624 swapFree=67108860/67108860
[pid=7121] ppid=7118 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7121/stat : 7121 (xcsp3-exec) S 7118 7121 3309 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109047432 9740288 346 33554432000 4194304 5098028 140730000045552 140730000043656 140253703357052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140730000053348 140730000053559 140730000053559 140730000056299 0
/proc/7121/statm: 2378 346 289 221 0 87 0
[pid=7123] ppid=7121 vsize=26605264 memory=216672 CPUtime=109.86 cores=0-7
/proc/7123/stat : 7123 (java) S 7121 7121 3309 0 -1 1077944320 29362 0 0 0 10565 421 0 0 20 0 28 0 109047432 27243790336 54168 33554432000 4194304 4196468 140728910157312 140728910139856 140162038857463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
/proc/7123/statm: 6651316 54168 3257 1 0 6638550 0
[pid=7123/tid=7124] ppid=7121 vsize=26605264 memory=16099269136353863 CPUtime=0.42 cores=0-7
/proc/7123/task/7124/stat : 7124 (java) S 7121 7121 3309 0 -1 1077944384 6692 0 0 0 39 3 0 0 20 0 28 0 109047433 27243790336 54168 33554432000 4194304 4196468 140728910157312 140162043098240 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7125] ppid=7121 vsize=26605264 memory=1004 CPUtime=0.03 cores=0-7
/proc/7123/task/7125/stat : 7125 (java) S 7121 7121 3309 0 -1 1077944384 127 0 0 0 2 1 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161991478032 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7126] ppid=7121 vsize=26605264 memory=11040 CPUtime=0.04 cores=0-7
/proc/7123/task/7126/stat : 7126 (java) S 7121 7121 3309 0 -1 1077944384 126 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161990425488 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7127] ppid=7121 vsize=26605264 memory=5700 CPUtime=0.03 cores=0-7
/proc/7123/task/7127/stat : 7127 (java) S 7121 7121 3309 0 -1 1077944384 639 0 0 0 2 1 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161989372944 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7128] ppid=7121 vsize=26605264 memory=6438155977929 CPUtime=0.04 cores=0-7
/proc/7123/task/7128/stat : 7128 (java) S 7121 7121 3309 0 -1 1077944384 135 0 0 0 2 2 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161988320400 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7129] ppid=7121 vsize=26605264 memory=288230596050944315 CPUtime=0.03 cores=0-7
/proc/7123/task/7129/stat : 7129 (java) S 7121 7121 3309 0 -1 1077944384 398 0 0 0 2 1 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161987266832 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7130] ppid=7121 vsize=26605264 memory=16099269136353863 CPUtime=0.04 cores=0-7
/proc/7123/task/7130/stat : 7130 (java) S 7121 7121 3309 0 -1 1077944384 129 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161986214288 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7131] ppid=7121 vsize=26605264 memory=173 CPUtime=0.04 cores=0-7
/proc/7123/task/7131/stat : 7131 (java) S 7121 7121 3309 0 -1 1077944384 180 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161985161744 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7132] ppid=7121 vsize=26605264 memory=0 CPUtime=0.04 cores=0-7
/proc/7123/task/7132/stat : 7132 (java) S 7121 7121 3309 0 -1 1077944384 544 0 0 0 3 1 0 0 20 0 28 0 109047434 27243790336 54168 33554432000 4194304 4196468 140728910157312 140161984109200 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7133] ppid=7121 vsize=26605264 memory=0 CPUtime=0.02 cores=0-7
/proc/7123/task/7133/stat : 7133 (java) S 7121 7121 3309 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 28 0 109047435 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160355736048 140162038868610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7134] ppid=7121 vsize=26605264 memory=7014751519734059876 CPUtime=0 cores=0-7
/proc/7123/task/7134/stat : 7134 (java) S 7121 7121 3309 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 109047436 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160354682336 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7135] ppid=7121 vsize=26605264 memory=7589527888977422420 CPUtime=0 cores=0-7
/proc/7123/task/7135/stat : 7135 (java) S 7121 7121 3309 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 109047436 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160353629696 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7136] ppid=7121 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7136/stat : 7136 (java) S 7121 7121 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109047438 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160239954640 140162038876059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7137] ppid=7121 vsize=26605264 memory=0 CPUtime=0.84 cores=0-7
/proc/7123/task/7137/stat : 7137 (java) S 7121 7121 3309 0 -1 1077944384 3748 0 0 0 83 1 0 0 20 0 28 0 109047438 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160238901232 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7138] ppid=7121 vsize=26605264 memory=11 CPUtime=0.77 cores=0-7
/proc/7123/task/7138/stat : 7138 (java) S 7121 7121 3309 0 -1 1077944384 3284 0 0 0 76 1 0 0 20 0 28 0 109047438 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160237848688 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7139] ppid=7121 vsize=26605264 memory=38 CPUtime=0.83 cores=0-7
/proc/7123/task/7139/stat : 7139 (java) S 7121 7121 3309 0 -1 1077944384 2845 0 0 0 82 1 0 0 20 0 28 0 109047438 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160236796144 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7140] ppid=7121 vsize=26605264 memory=3 CPUtime=0.39 cores=0-7
/proc/7123/task/7140/stat : 7140 (java) S 7121 7121 3309 0 -1 1077944384 2997 0 0 0 39 0 0 0 20 0 28 0 109047438 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160235743600 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7141] ppid=7121 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7141/stat : 7141 (java) S 7121 7121 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109047439 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160234691296 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7142] ppid=7121 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7123/task/7142/stat : 7142 (java) S 7121 7121 3309 0 -1 1077944384 702 0 0 0 0 0 0 0 20 0 28 0 109047439 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160233638832 140162038868610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7263] ppid=7121 vsize=26605264 memory=0 CPUtime=12.86 cores=0-7
/proc/7123/task/7263/stat : 7263 (java) R 7121 7121 3309 0 -1 4202560 135 0 0 0 1236 50 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140159075994944 140162038869398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7264] ppid=7121 vsize=26605264 memory=0 CPUtime=12.68 cores=0-7
/proc/7123/task/7264/stat : 7264 (java) R 7121 7121 3309 0 -1 4202560 204 0 0 0 1214 54 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140159077048816 140161647686976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7265] ppid=7121 vsize=26605264 memory=0 CPUtime=12.81 cores=0-7
/proc/7123/task/7265/stat : 7265 (java) S 7121 7121 3309 0 -1 1077944384 157 0 0 0 1229 52 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160220368496 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7266] ppid=7121 vsize=26605264 memory=0 CPUtime=12.93 cores=0-7
/proc/7123/task/7266/stat : 7266 (java) R 7121 7121 3309 0 -1 1077944384 267 0 0 0 1247 46 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160219315952 140162038867669 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7267] ppid=7121 vsize=26605264 memory=0 CPUtime=12.37 cores=0-7
/proc/7123/task/7267/stat : 7267 (java) R 7121 7121 3309 0 -1 4202560 173 0 0 0 1183 54 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160223526768 140161647378400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7268] ppid=7121 vsize=26605264 memory=0 CPUtime=13.72 cores=0-7
/proc/7123/task/7268/stat : 7268 (java) S 7121 7121 3309 0 -1 1077944384 526 0 0 0 1342 30 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160222474224 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7269] ppid=7121 vsize=26605264 memory=0 CPUtime=13.63 cores=0-7
/proc/7123/task/7269/stat : 7269 (java) S 7121 7121 3309 0 -1 1077944384 900 0 0 0 1322 41 0 0 20 0 28 0 109047530 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160221421680 140162038867669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
[pid=7123/tid=7270] ppid=7121 vsize=26605264 memory=0 CPUtime=12.6 cores=0-7
/proc/7123/task/7270/stat : 7270 (java) R 7121 7121 3309 0 -1 4202560 145 0 0 0 1198 62 0 0 20 0 28 0 109047531 27243790336 54168 33554432000 4194304 4196468 140728910157312 140160224579824 140161647581068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26099712 140728910165138 140728910165315 140728910165315 140728910168015 0
Current children cumulated CPU time: 109.86 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 218056 KiB
Child status: 0
Real time (s): 18.2336
CPU time (s): 110.035
CPU user time (s): 105.799
CPU system time (s): 4.23622
CPU usage (%): 603.473
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 221832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.799
system time used= 4.23622
maximum resident set size= 222496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1744280
involuntary context switches= 281
# summary of solver processes directly reported to runsolver:
# pid: 7121
# total CPU time (s): 110.035
# total CPU user time (s): 105.799
# total CPU system time (s): 4.23622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173402 second user time and 0.250038 second system time
The end
Begin job on node150 at 2017-08-15 03:00:04
IDJOB=4270596
IDBENCH=133516
IDSOLVER=2662
FILE ID=node150/4270596-1502759663
RUNJOBID= node150-1502750590-3336
PBS_JOBID= 20629076
Free space on /tmp= 61636 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-12.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-4270596-1502759663/watcher-4270596-1502759663 -o /tmp/evaluation-result-4270596-1502759663/solver-4270596-1502759663 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502750590-3336 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1749381075 HOME/instance-4270596-1502759663.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= bf7ce9a6e5c92622f49c68f6563ab950
RANDOM SEED=1749381075
node150.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 : 5332.89
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 : 5332.89
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 : 5332.89
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 : 5332.89
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: 27122624 kB
MemAvailable: 31971296 kB
Buffers: 285552 kB
Cached: 4838400 kB
SwapCached: 0 kB
Active: 742932 kB
Inactive: 4436044 kB
Active(anon): 57732 kB
Inactive(anon): 25068 kB
Active(file): 685200 kB
Inactive(file): 4410976 kB
Unevictable: 6228 kB
Mlocked: 6228 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7852 kB
Writeback: 0 kB
AnonPages: 60572 kB
Mapped: 45864 kB
Shmem: 25224 kB
Slab: 163428 kB
SReclaimable: 136660 kB
SUnreclaim: 26768 kB
KernelStack: 3264 kB
PageTables: 5596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 61628 MiB
End job on node150 at 2017-08-15 03:00:23