0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271592-1502644357.xml" -tl '2016s' -p 8 -x 0
0.12/0.15 c [HOME/instance-4271592-1502644357.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.32/0.27 c parse instance...
0.72/0.44 c solve instance...
0.72/0.47 o 508
0.72/0.47 o 514
0.72/0.47 o 534
0.72/0.48 o 546
0.72/0.48 o 567
0.72/0.49 o 574
0.72/0.49 o 634
0.72/0.50 o 666
0.72/0.50 o 769
0.72/0.50 o 775
0.72/0.50 o 804
1.20/0.53 o 806
1.20/0.53 o 809
1.20/0.53 o 812
1.20/0.54 o 841
1.20/0.54 o 854
1.20/0.54 o 890
1.83/0.63 o 896
1.83/0.65 o 923
1.83/0.68 o 973
1.83/0.68 o 1007
1.83/0.69 o 1063
2.51/0.71 o 1083
2.51/0.72 o 1098
3.20/0.81 o 1117
3.20/0.82 o 1142
3.20/0.86 o 1156
3.20/0.88 o 1157
3.20/0.90 o 1159
4.01/0.92 o 1162
4.01/0.94 o 1181
4.01/0.97 o 1194
4.01/0.99 o 1204
4.76/1.01 o 1207
4.76/1.03 o 1223
4.76/1.04 o 1229
4.76/1.06 o 1230
4.76/1.09 o 1245
4.76/1.11 o 1246
5.39/1.14 o 1255
5.98/1.21 o 1272
5.98/1.24 o 1283
5.98/1.28 o 1286
6.62/1.30 o 1289
7.26/1.41 o 1296
7.26/1.50 o 1324
7.91/1.51 o 1325
9.21/1.75 o 1332
13.36/2.37 o 1333
295.68/44.94 s OPTIMUM FOUND
295.68/44.94 v <instantiation>
295.68/44.94 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] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] </list>
295.68/44.94 v <values>0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 </values>
295.68/44.94 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 (15266 MiB free)
memory of node 1: 16384 MiB (15603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271592-1502644357/watcher-4271592-1502644357 -o /tmp/evaluation-result-4271592-1502644357/solver-4271592-1502644357 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1489064936 HOME/instance-4271592-1502644357.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=25770, runsolver pid=25767
[startup+0.100111 s]*
/proc/loadavg: 8.36 7.22 6.71 2/199 25791
/proc/meminfo: memFree=31593492/32770624 swapFree=67108860/67108860
[pid=25770] ppid=25767 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25770/stat : 25770 (xcsp3-exec) S 25767 25770 8183 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97523944 9740288 345 33554432000 4194304 5098028 140732045897792 140732045895896 140271991751292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140732045898858 140732045899068 140732045899068 140732045901803 0
/proc/25770/statm: 2378 345 289 221 0 87 0
[pid=25772] ppid=25770 vsize=25999808 memory=28408 CPUtime=0.12 cores=0-7
/proc/25772/stat : 25772 (java) S 25770 25770 8183 0 -1 1077944320 5443 0 0 0 10 2 0 0 20 0 20 0 97523945 26623803392 7102 33554432000 4194304 4196468 140721496495472 140721496478016 140696038735607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
/proc/25772/statm: 6499952 7102 2869 1 0 6488269 0
[pid=25772/tid=25773] ppid=25770 vsize=25999808 memory=8185744705350179742 CPUtime=0.09 cores=0-7
/proc/25772/task/25773/stat : 25773 (java) R 25770 25770 8183 0 -1 4202560 3471 0 0 0 8 1 0 0 20 0 20 0 97523945 26623803392 7102 33554432000 4194304 4196468 140721496495472 140696042963840 140696020604061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25774] ppid=25770 vsize=25999808 memory=732370273104063461 CPUtime=0 cores=0-7
/proc/25772/task/25774/stat : 25774 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7102 33554432000 4194304 4196468 140721496495472 140695961315984 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25775] ppid=25770 vsize=25999808 memory=140134766610048 CPUtime=0 cores=0-7
/proc/25772/task/25775/stat : 25775 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7102 33554432000 4194304 4196468 140721496495472 140695960263184 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25776] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25776/stat : 25776 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7102 33554432000 4194304 4196468 140721496495472 140695959210384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25777] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25777/stat : 25777 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7102 33554432000 4194304 4196468 140721496495472 140695958157584 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25778] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25778/stat : 25778 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7102 33554432000 4194304 4196468 140721496495472 140695957105808 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25779] ppid=25770 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25772/task/25779/stat : 25779 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7167 33554432000 4194304 4196468 140721496495472 140695956053008 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25780] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25780/stat : 25780 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7167 33554432000 4194304 4196468 140721496495472 140695955000208 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25781] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25781/stat : 25781 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523946 26623803392 7167 33554432000 4194304 4196468 140721496495472 140695953947408 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25782] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25782/stat : 25782 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523947 26623803392 7167 33554432000 4194304 4196468 140721496495472 140695546784112 140696038746754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25783] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25783/stat : 25783 (java) S 25770 25770 8183 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 97523948 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694354650144 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25784] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25784/stat : 25784 (java) S 25770 25770 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97523948 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694353597296 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25785] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25785/stat : 25785 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523951 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694352545616 140696038754203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25786] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25786/stat : 25786 (java) S 25770 25770 8183 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 97523951 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694351494000 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25787] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25787/stat : 25787 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523951 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694350441200 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25788] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25788/stat : 25788 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523951 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694349388400 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25789] ppid=25770 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25772/task/25789/stat : 25789 (java) R 25770 25770 8183 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 97523951 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694348335600 140696038747542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25790] ppid=25770 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25790/stat : 25790 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523951 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694347283040 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25791] ppid=25770 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25772/task/25791/stat : 25791 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523951 26623803392 7167 33554432000 4194304 4196468 140721496495472 140694346230320 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29788 KiB
[startup+0.210161 s]*
/proc/loadavg: 8.36 7.22 6.71 2/199 25791
/proc/meminfo: memFree=31583476/32770624 swapFree=67108860/67108860
[pid=25770] ppid=25767 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25770/stat : 25770 (xcsp3-exec) S 25767 25770 8183 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97523944 9740288 345 33554432000 4194304 5098028 140732045897792 140732045895896 140271991751292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140732045898858 140732045899068 140732045899068 140732045901803 0
/proc/25770/statm: 2378 345 289 221 0 87 0
[pid=25772] ppid=25770 vsize=26004064 memory=41132 CPUtime=0.32 cores=0-7
/proc/25772/stat : 25772 (java) S 25770 25770 8183 0 -1 1077944320 8274 0 0 0 30 2 0 0 20 0 20 0 97523945 26628161536 10283 33554432000 4194304 4196468 140721496495472 140721496478016 140696038735607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
/proc/25772/statm: 6501016 10283 3064 1 0 6488269 0
[pid=25772/tid=25773] ppid=25770 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/25772/task/25773/stat : 25773 (java) R 25770 25770 8183 0 -1 4202560 5381 0 0 0 18 1 0 0 20 0 20 0 97523945 26628161536 10283 33554432000 4194304 4196468 140721496495472 140696042956600 140696022816094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25774] ppid=25770 vsize=26004064 memory=732370273104063461 CPUtime=0 cores=0-7
/proc/25772/task/25774/stat : 25774 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695961315984 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25775] ppid=25770 vsize=26004064 memory=140134766610048 CPUtime=0 cores=0-7
/proc/25772/task/25775/stat : 25775 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695960263184 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25776] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25776/stat : 25776 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695959210384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25777] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25777/stat : 25777 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695958157584 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25778] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25778/stat : 25778 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695957105808 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25779] ppid=25770 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25772/task/25779/stat : 25779 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695956053008 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25780] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25780/stat : 25780 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695955000208 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25781] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25781/stat : 25781 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695953947408 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25782] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25782/stat : 25782 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523947 26628161536 10283 33554432000 4194304 4196468 140721496495472 140695546784112 140696038746754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25783] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25783/stat : 25783 (java) S 25770 25770 8183 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 97523948 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694354650144 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25784] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25784/stat : 25784 (java) S 25770 25770 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97523948 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694353597296 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25785] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25785/stat : 25785 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523951 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694352545616 140696038754203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25786] ppid=25770 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25772/task/25786/stat : 25786 (java) S 25770 25770 8183 0 -1 1077944384 614 0 0 0 1 0 0 0 20 0 20 0 97523951 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694351494000 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25787] ppid=25770 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25772/task/25787/stat : 25787 (java) S 25770 25770 8183 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 97523951 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694350441200 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25788] ppid=25770 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25772/task/25788/stat : 25788 (java) S 25770 25770 8183 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 97523951 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694349388400 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25789] ppid=25770 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/25772/task/25789/stat : 25789 (java) R 25770 25770 8183 0 -1 4202560 800 0 0 0 7 0 0 0 20 0 20 0 97523951 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694348335600 140696022816094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25790] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25790/stat : 25790 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523951 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694347283040 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25791] ppid=25770 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25772/task/25791/stat : 25791 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523951 26628161536 10283 33554432000 4194304 4196468 140721496495472 140694346230320 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42512 KiB
[startup+0.309485 s]*
/proc/loadavg: 8.36 7.22 6.71 2/199 25791
/proc/meminfo: memFree=31577388/32770624 swapFree=67108860/67108860
[pid=25770] ppid=25767 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25770/stat : 25770 (xcsp3-exec) S 25767 25770 8183 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97523944 9740288 345 33554432000 4194304 5098028 140732045897792 140732045895896 140271991751292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140732045898858 140732045899068 140732045899068 140732045901803 0
/proc/25770/statm: 2378 345 289 221 0 87 0
[pid=25772] ppid=25770 vsize=26004064 memory=47552 CPUtime=0.48 cores=0-7
/proc/25772/stat : 25772 (java) S 25770 25770 8183 0 -1 1077944320 9135 0 0 0 45 3 0 0 20 0 20 0 97523945 26628161536 11888 33554432000 4194304 4196468 140721496495472 140721496478016 140696038735607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
/proc/25772/statm: 6501016 11888 3077 1 0 6488269 0
[pid=25772/tid=25773] ppid=25770 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25772/task/25773/stat : 25773 (java) R 25770 25770 8183 0 -1 4202560 6119 0 0 0 27 2 0 0 20 0 20 0 97523945 26628161536 11888 33554432000 4194304 4196468 140721496495472 140696042972480 140696038757533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25774] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25774/stat : 25774 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695961315984 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25775] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25775/stat : 25775 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695960263184 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25776] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25776/stat : 25776 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695959210384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25777] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25777/stat : 25777 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695958157584 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25778] ppid=25770 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/25772/task/25778/stat : 25778 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695957105808 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25779] ppid=25770 vsize=26004064 memory=140134649525167 CPUtime=0 cores=0-7
/proc/25772/task/25779/stat : 25779 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695956053008 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25780] ppid=25770 vsize=26004064 memory=140134649527472 CPUtime=0 cores=0-7
/proc/25772/task/25780/stat : 25780 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695955000208 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25781] ppid=25770 vsize=26004064 memory=140134649529776 CPUtime=0 cores=0-7
/proc/25772/task/25781/stat : 25781 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523946 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695953947408 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25782] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25782/stat : 25782 (java) S 25770 25770 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97523947 26628161536 11888 33554432000 4194304 4196468 140721496495472 140695546784112 140696038746754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25783] ppid=25770 vsize=26004064 memory=280269299066512 CPUtime=0 cores=0-7
/proc/25772/task/25783/stat : 25783 (java) S 25770 25770 8183 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 97523948 26628161536 11888 33554432000 4194304 4196468 140721496495472 140694354650144 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25784] ppid=25770 vsize=26004064 memory=280269299073424 CPUtime=0 cores=0-7
/proc/25772/task/25784/stat : 25784 (java) S 25770 25770 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97523948 26628161536 11888 33554432000 4194304 4196468 140721496495472 140694353597296 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25785] ppid=25770 vsize=26004064 memory=280269299014704 CPUtime=0 cores=0-7
/proc/25772/task/25785/stat : 25785 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523951 26628161536 11888 33554432000 4194304 4196468 140721496495472 140694352545616 140696038754203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25786] ppid=25770 vsize=26004064 memory=280269299087248 CPUtime=0.02 cores=0-7
/proc/25772/task/25786/stat : 25786 (java) S 25770 25770 8183 0 -1 1077944384 616 0 0 0 2 0 0 0 20 0 20 0 97523951 26628161536 11888 33554432000 4194304 4196468 140721496495472 140694351494000 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25787] ppid=25770 vsize=26004064 memory=280269299094160 CPUtime=0.02 cores=0-7
/proc/25772/task/25787/stat : 25787 (java) S 25770 25770 8183 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 20 0 97523951 26628161536 11888 33554432000 4194304 4196468 140721496495472 140694350441200 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25788] ppid=25770 vsize=26004064 memory=280269299091856 CPUtime=0.01 cores=0-7
/proc/25772/task/25788/stat : 25788 (java) S 25770 25770 8183 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 97523951 26628161536 11952 33554432000 4194304 4196468 140721496495472 140694349388400 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25789] ppid=25770 vsize=26004064 memory=280269299108016 CPUtime=0.11 cores=0-7
/proc/25772/task/25789/stat : 25789 (java) S 25770 25770 8183 0 -1 1077944384 872 0 0 0 11 0 0 0 20 0 20 0 97523951 26628161536 11952 33554432000 4194304 4196468 140721496495472 140694348335600 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25790] ppid=25770 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25790/stat : 25790 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97523951 26628161536 11952 33554432000 4194304 4196468 140721496495472 140694347283040 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25791] ppid=25770 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25772/task/25791/stat : 25791 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97523951 26628161536 11952 33554432000 4194304 4196468 140721496495472 140694346230320 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48932 KiB
[startup+0.710381 s]
/proc/loadavg: 8.36 7.22 6.71 11/207 25887
/proc/meminfo: memFree=31453112/32770624 swapFree=67108860/67108860
[pid=25770] ppid=25767 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25770/stat : 25770 (xcsp3-exec) S 25767 25770 8183 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97523944 9740288 345 33554432000 4194304 5098028 140732045897792 140732045895896 140271991751292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140732045898858 140732045899068 140732045899068 140732045901803 0
/proc/25770/statm: 2378 345 289 221 0 87 0
[pid=25772] ppid=25770 vsize=26605264 memory=192304 CPUtime=2.51 cores=0-7
/proc/25772/stat : 25772 (java) S 25770 25770 8183 0 -1 1077944320 16249 0 0 0 241 10 0 0 20 0 28 0 97523945 27243790336 48076 33554432000 4194304 4196468 140721496495472 140721496478016 140696038735607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
/proc/25772/statm: 6651316 48076 3237 1 0 6638550 0
[pid=25772/tid=25773] ppid=25770 vsize=26605264 memory=280269299402944 CPUtime=0.44 cores=0-7
/proc/25772/task/25773/stat : 25773 (java) S 25770 25770 8183 0 -1 1077944384 6674 0 0 0 41 3 0 0 20 0 28 0 97523945 27243790336 48076 33554432000 4194304 4196468 140721496495472 140696042976384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25774] ppid=25770 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25774/stat : 25774 (java) S 25770 25770 8183 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 97523946 27243790336 48076 33554432000 4194304 4196468 140721496495472 140695961315984 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25775] ppid=25770 vsize=26605264 memory=2372 CPUtime=0 cores=0-7
/proc/25772/task/25775/stat : 25775 (java) S 25770 25770 8183 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 97523946 27243790336 48076 33554432000 4194304 4196468 140721496495472 140695960263184 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25776] ppid=25770 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/25772/task/25776/stat : 25776 (java) S 25770 25770 8183 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 97523946 27243790336 48076 33554432000 4194304 4196468 140721496495472 140695959210384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
################
# More data... #
################
[pid=25772/tid=25789] ppid=25770 vsize=26605264 memory=3272 CPUtime=0.43 cores=0-7
/proc/25772/task/25789/stat : 25789 (java) S 25770 25770 8183 0 -1 1077944384 3088 0 0 0 43 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694348335600 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25790] ppid=25770 vsize=26605264 memory=1380 CPUtime=0 cores=0-7
/proc/25772/task/25790/stat : 25790 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694347283040 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25791] ppid=25770 vsize=26605264 memory=340164 CPUtime=0 cores=0-7
/proc/25772/task/25791/stat : 25791 (java) S 25770 25770 8183 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694346230320 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26184] ppid=25770 vsize=26605264 memory=6791534058613427641 CPUtime=34.31 cores=0-7
/proc/25772/task/26184/stat : 26184 (java) S 25770 25770 8183 0 -1 1077944384 389 0 0 0 3274 157 0 0 20 0 28 0 97524181 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694225181440 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26185] ppid=25770 vsize=26605264 memory=-7003737579269690708 CPUtime=33.87 cores=0-7
/proc/25772/task/26185/stat : 26185 (java) R 25770 25770 8183 0 -1 1077944384 531 0 0 0 3234 153 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694220971712 140696038745813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26186] ppid=25770 vsize=26605264 memory=4116 CPUtime=34.48 cores=0-7
/proc/25772/task/26186/stat : 26186 (java) R 25770 25770 8183 0 -1 4202560 1318 0 0 0 3291 157 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694223077856 140695633102444 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26187] ppid=25770 vsize=26605264 memory=4100 CPUtime=34.7 cores=0-7
/proc/25772/task/26187/stat : 26187 (java) R 25770 25770 8183 0 -1 4202560 882 0 0 0 3344 126 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694217814464 140695633102337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26188] ppid=25770 vsize=26605264 memory=1156 CPUtime=34.95 cores=0-7
/proc/25772/task/26188/stat : 26188 (java) S 25770 25770 8183 0 -1 1077944384 1809 0 0 0 3354 141 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694218867008 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26189] ppid=25770 vsize=26605264 memory=15876 CPUtime=36.42 cores=0-7
/proc/25772/task/26189/stat : 26189 (java) R 25770 25770 8183 0 -1 4202560 3117 0 0 0 3556 86 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694219919552 140695633856486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26190] ppid=25770 vsize=26605264 memory=18476 CPUtime=35.05 cores=0-7
/proc/25772/task/26190/stat : 26190 (java) R 25770 25770 8183 0 -1 4202560 491 0 0 0 3344 161 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694216761408 140695633102492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26191] ppid=25770 vsize=26605264 memory=15812 CPUtime=33.71 cores=0-7
/proc/25772/task/26191/stat : 26191 (java) R 25770 25770 8183 0 -1 4202560 442 0 0 0 3187 184 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694222024640 140695630335727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
Current children cumulated CPU time: 292.32 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 343128 KiB
[startup+44.801 s]
/proc/loadavg: 7.26 7.09 6.69 7/207 26191
/proc/meminfo: memFree=31281232/32770624 swapFree=67108860/67108860
[pid=25770] ppid=25767 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25770/stat : 25770 (xcsp3-exec) S 25767 25770 8183 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97523944 9740288 345 33554432000 4194304 5098028 140732045897792 140732045895896 140271991751292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140732045898858 140732045899068 140732045899068 140732045901803 0
/proc/25770/statm: 2378 345 289 221 0 87 0
[pid=25772] ppid=25770 vsize=26605264 memory=341748 CPUtime=295.01 cores=0-7
/proc/25772/stat : 25772 (java) S 25770 25770 8183 0 -1 1077944320 49183 0 0 0 28260 1241 0 0 20 0 28 0 97523945 27243790336 85437 33554432000 4194304 4196468 140721496495472 140721496478016 140696038735607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
/proc/25772/statm: 6651316 85437 3262 1 0 6638550 0
[pid=25772/tid=25773] ppid=25770 vsize=26605264 memory=1012 CPUtime=0.45 cores=0-7
/proc/25772/task/25773/stat : 25773 (java) S 25770 25770 8183 0 -1 1077944384 6674 0 0 0 42 3 0 0 20 0 28 0 97523945 27243790336 85437 33554432000 4194304 4196468 140721496495472 140696042976384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25774] ppid=25770 vsize=26605264 memory=1716 CPUtime=0.06 cores=0-7
/proc/25772/task/25774/stat : 25774 (java) S 25770 25770 8183 0 -1 1077944384 319 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695961315984 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25775] ppid=25770 vsize=26605264 memory=5792 CPUtime=0.04 cores=0-7
/proc/25772/task/25775/stat : 25775 (java) S 25770 25770 8183 0 -1 1077944384 685 0 0 0 3 1 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695960263184 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25776] ppid=25770 vsize=26605264 memory=4616 CPUtime=0.06 cores=0-7
/proc/25772/task/25776/stat : 25776 (java) S 25770 25770 8183 0 -1 1077944384 1291 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695959210384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25777] ppid=25770 vsize=26605264 memory=792 CPUtime=0.06 cores=0-7
/proc/25772/task/25777/stat : 25777 (java) S 25770 25770 8183 0 -1 1077944384 857 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695958157584 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25778] ppid=25770 vsize=26605264 memory=1420 CPUtime=0.07 cores=0-7
/proc/25772/task/25778/stat : 25778 (java) S 25770 25770 8183 0 -1 1077944384 322 0 0 0 5 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695957105808 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25779] ppid=25770 vsize=26605264 memory=13040 CPUtime=0.06 cores=0-7
/proc/25772/task/25779/stat : 25779 (java) S 25770 25770 8183 0 -1 1077944384 1195 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695956053008 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25780] ppid=25770 vsize=26605264 memory=1944 CPUtime=0.05 cores=0-7
/proc/25772/task/25780/stat : 25780 (java) S 25770 25770 8183 0 -1 1077944384 316 0 0 0 4 1 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695955000208 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25781] ppid=25770 vsize=26605264 memory=1568 CPUtime=0.06 cores=0-7
/proc/25772/task/25781/stat : 25781 (java) S 25770 25770 8183 0 -1 1077944384 547 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695953947408 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25782] ppid=25770 vsize=26605264 memory=2240 CPUtime=0.05 cores=0-7
/proc/25772/task/25782/stat : 25782 (java) S 25770 25770 8183 0 -1 1077944384 2603 0 0 0 4 1 0 0 20 0 28 0 97523947 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695546784112 140696038746754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25783] ppid=25770 vsize=26605264 memory=4128 CPUtime=0 cores=0-7
/proc/25772/task/25783/stat : 25783 (java) S 25770 25770 8183 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97523948 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694354650208 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25784] ppid=25770 vsize=26605264 memory=2204 CPUtime=0 cores=0-7
/proc/25772/task/25784/stat : 25784 (java) S 25770 25770 8183 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97523948 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694353597312 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25785] ppid=25770 vsize=26605264 memory=6764 CPUtime=0 cores=0-7
/proc/25772/task/25785/stat : 25785 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694352545616 140696038754203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25786] ppid=25770 vsize=26605264 memory=840 CPUtime=0.7 cores=0-7
/proc/25772/task/25786/stat : 25786 (java) S 25770 25770 8183 0 -1 1077944384 3779 0 0 0 69 1 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694351494000 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25787] ppid=25770 vsize=26605264 memory=1692 CPUtime=0.74 cores=0-7
/proc/25772/task/25787/stat : 25787 (java) S 25770 25770 8183 0 -1 1077944384 4561 0 0 0 73 1 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694350441200 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25788] ppid=25770 vsize=26605264 memory=916 CPUtime=0.79 cores=0-7
/proc/25772/task/25788/stat : 25788 (java) S 25770 25770 8183 0 -1 1077944384 5260 0 0 0 78 1 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694349388400 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25789] ppid=25770 vsize=26605264 memory=4140 CPUtime=0.43 cores=0-7
/proc/25772/task/25789/stat : 25789 (java) S 25770 25770 8183 0 -1 1077944384 3088 0 0 0 43 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694348335600 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25790] ppid=25770 vsize=26605264 memory=28076 CPUtime=0 cores=0-7
/proc/25772/task/25790/stat : 25790 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694347283040 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25791] ppid=25770 vsize=26605264 memory=1296 CPUtime=0 cores=0-7
/proc/25772/task/25791/stat : 25791 (java) S 25770 25770 8183 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694346230320 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26184] ppid=25770 vsize=26605264 memory=2336 CPUtime=34.63 cores=0-7
/proc/25772/task/26184/stat : 26184 (java) S 25770 25770 8183 0 -1 1077944384 389 0 0 0 3305 158 0 0 20 0 28 0 97524181 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694225181440 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26185] ppid=25770 vsize=26605264 memory=1724 CPUtime=34.2 cores=0-7
/proc/25772/task/26185/stat : 26185 (java) R 25770 25770 8183 0 -1 4202560 531 0 0 0 3266 154 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694220971712 140695633029840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26186] ppid=25770 vsize=26605264 memory=1012 CPUtime=34.81 cores=0-7
/proc/25772/task/26186/stat : 26186 (java) R 25770 25770 8183 0 -1 4202560 1318 0 0 0 3323 158 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694223077952 140695633102503 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26187] ppid=25770 vsize=26605264 memory=1716 CPUtime=35.04 cores=0-7
/proc/25772/task/26187/stat : 26187 (java) R 25770 25770 8183 0 -1 4202560 883 0 0 0 3376 128 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694217814464 140695633102350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26188] ppid=25770 vsize=26605264 memory=5792 CPUtime=35.28 cores=0-7
/proc/25772/task/26188/stat : 26188 (java) R 25770 25770 8183 0 -1 4202560 1814 0 0 0 3385 143 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694218867008 140695633150511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26189] ppid=25770 vsize=26605264 memory=340728 CPUtime=36.77 cores=0-7
/proc/25772/task/26189/stat : 26189 (java) R 25770 25770 8183 0 -1 4202560 3128 0 0 0 3590 87 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694219919456 140695633584400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26190] ppid=25770 vsize=26605264 memory=280269301399072 CPUtime=35.39 cores=0-7
/proc/25772/task/26190/stat : 26190 (java) R 25770 25770 8183 0 -1 1077944384 491 0 0 0 3377 162 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694216761408 140696038745813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26191] ppid=25770 vsize=26605264 memory=3617996495707435410 CPUtime=34.05 cores=0-7
/proc/25772/task/26191/stat : 26191 (java) R 25770 25770 8183 0 -1 4202560 442 0 0 0 3219 186 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694222024640 140695633102259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
Current children cumulated CPU time: 295.01 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 343128 KiB
[startup+44.9011 s]
/proc/loadavg: 7.26 7.09 6.69 7/207 26191
/proc/meminfo: memFree=31281232/32770624 swapFree=67108860/67108860
[pid=25770] ppid=25767 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25770/stat : 25770 (xcsp3-exec) S 25767 25770 8183 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97523944 9740288 345 33554432000 4194304 5098028 140732045897792 140732045895896 140271991751292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140732045898858 140732045899068 140732045899068 140732045901803 0
/proc/25770/statm: 2378 345 289 221 0 87 0
[pid=25772] ppid=25770 vsize=26605264 memory=341748 CPUtime=295.68 cores=0-7
/proc/25772/stat : 25772 (java) S 25770 25770 8183 0 -1 1077944320 49186 0 0 0 28324 1244 0 0 20 0 28 0 97523945 27243790336 85437 33554432000 4194304 4196468 140721496495472 140721496478016 140696038735607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
/proc/25772/statm: 6651316 85437 3262 1 0 6638550 0
[pid=25772/tid=25773] ppid=25770 vsize=26605264 memory=341748 CPUtime=0.45 cores=0-7
/proc/25772/task/25773/stat : 25773 (java) S 25770 25770 8183 0 -1 1077944384 6674 0 0 0 42 3 0 0 20 0 28 0 97523945 27243790336 85437 33554432000 4194304 4196468 140721496495472 140696042976384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25774] ppid=25770 vsize=26605264 memory=1380 CPUtime=0.06 cores=0-7
/proc/25772/task/25774/stat : 25774 (java) S 25770 25770 8183 0 -1 1077944384 319 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695961315984 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25775] ppid=25770 vsize=26605264 memory=1380 CPUtime=0.04 cores=0-7
/proc/25772/task/25775/stat : 25775 (java) S 25770 25770 8183 0 -1 1077944384 685 0 0 0 3 1 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695960263184 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25776] ppid=25770 vsize=26605264 memory=339648 CPUtime=0.06 cores=0-7
/proc/25772/task/25776/stat : 25776 (java) S 25770 25770 8183 0 -1 1077944384 1291 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695959210384 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25777] ppid=25770 vsize=26605264 memory=-7003737579269690708 CPUtime=0.06 cores=0-7
/proc/25772/task/25777/stat : 25777 (java) S 25770 25770 8183 0 -1 1077944384 857 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695958157584 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25778] ppid=25770 vsize=26605264 memory=1380 CPUtime=0.07 cores=0-7
/proc/25772/task/25778/stat : 25778 (java) S 25770 25770 8183 0 -1 1077944384 322 0 0 0 5 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695957105808 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25779] ppid=25770 vsize=26605264 memory=0 CPUtime=0.06 cores=0-7
/proc/25772/task/25779/stat : 25779 (java) S 25770 25770 8183 0 -1 1077944384 1195 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695956053008 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25780] ppid=25770 vsize=26605264 memory=0 CPUtime=0.05 cores=0-7
/proc/25772/task/25780/stat : 25780 (java) S 25770 25770 8183 0 -1 1077944384 316 0 0 0 4 1 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695955000208 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25781] ppid=25770 vsize=26605264 memory=1380 CPUtime=0.06 cores=0-7
/proc/25772/task/25781/stat : 25781 (java) S 25770 25770 8183 0 -1 1077944384 547 0 0 0 4 2 0 0 20 0 28 0 97523946 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695953947408 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25782] ppid=25770 vsize=26605264 memory=338108 CPUtime=0.05 cores=0-7
/proc/25772/task/25782/stat : 25782 (java) S 25770 25770 8183 0 -1 1077944384 2603 0 0 0 4 1 0 0 20 0 28 0 97523947 27243790336 85437 33554432000 4194304 4196468 140721496495472 140695546784112 140696038746754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25783] ppid=25770 vsize=26605264 memory=7378427162541906278 CPUtime=0 cores=0-7
/proc/25772/task/25783/stat : 25783 (java) S 25770 25770 8183 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97523948 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694354650208 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25784] ppid=25770 vsize=26605264 memory=280269299062576 CPUtime=0 cores=0-7
/proc/25772/task/25784/stat : 25784 (java) S 25770 25770 8183 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97523948 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694353597312 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25785] ppid=25770 vsize=26605264 memory=1380 CPUtime=0 cores=0-7
/proc/25772/task/25785/stat : 25785 (java) S 25770 25770 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694352545616 140696038754203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25786] ppid=25770 vsize=26605264 memory=338580 CPUtime=0.7 cores=0-7
/proc/25772/task/25786/stat : 25786 (java) S 25770 25770 8183 0 -1 1077944384 3779 0 0 0 69 1 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694351494000 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25787] ppid=25770 vsize=26605264 memory=15823313175840883 CPUtime=0.74 cores=0-7
/proc/25772/task/25787/stat : 25787 (java) S 25770 25770 8183 0 -1 1077944384 4561 0 0 0 73 1 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694350441200 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25788] ppid=25770 vsize=26605264 memory=339524 CPUtime=0.79 cores=0-7
/proc/25772/task/25788/stat : 25788 (java) S 25770 25770 8183 0 -1 1077944384 5260 0 0 0 78 1 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694349388400 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25789] ppid=25770 vsize=26605264 memory=8548 CPUtime=0.43 cores=0-7
/proc/25772/task/25789/stat : 25789 (java) S 25770 25770 8183 0 -1 1077944384 3088 0 0 0 43 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694348335600 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25790] ppid=25770 vsize=26605264 memory=1228 CPUtime=0 cores=0-7
/proc/25772/task/25790/stat : 25790 (java) S 25770 25770 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694347283040 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=25791] ppid=25770 vsize=26605264 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25772/task/25791/stat : 25791 (java) S 25770 25770 8183 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 28 0 97523951 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694346230320 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26184] ppid=25770 vsize=26605264 memory=576461251985632562 CPUtime=34.72 cores=0-7
/proc/25772/task/26184/stat : 26184 (java) S 25770 25770 8183 0 -1 1077944384 389 0 0 0 3313 159 0 0 20 0 28 0 97524181 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694225181344 140696038746754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26185] ppid=25770 vsize=26605264 memory=28076 CPUtime=34.29 cores=0-7
/proc/25772/task/26185/stat : 26185 (java) R 25770 25770 8183 0 -1 4202560 532 0 0 0 3274 155 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694220971712 140695632845546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26186] ppid=25770 vsize=26605264 memory=1380 CPUtime=34.89 cores=0-7
/proc/25772/task/26186/stat : 26186 (java) R 25770 25770 8183 0 -1 4202560 1318 0 0 0 3331 158 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694223077952 140695632845418 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26187] ppid=25770 vsize=26605264 memory=1380 CPUtime=35.12 cores=0-7
/proc/25772/task/26187/stat : 26187 (java) S 25770 25770 8183 0 -1 1077944384 883 0 0 0 3384 128 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694217814464 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26188] ppid=25770 vsize=26605264 memory=340220 CPUtime=35.37 cores=0-7
/proc/25772/task/26188/stat : 26188 (java) S 25770 25770 8183 0 -1 1077944384 1814 0 0 0 3394 143 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694218867008 140696038745813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26189] ppid=25770 vsize=26605264 memory=250813205236056 CPUtime=36.86 cores=0-7
/proc/25772/task/26189/stat : 26189 (java) R 25770 25770 8183 0 -1 4202560 3128 0 0 0 3599 87 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694219919552 140695634186030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26190] ppid=25770 vsize=26605264 memory=250813205236057 CPUtime=35.48 cores=0-7
/proc/25772/task/26190/stat : 26190 (java) R 25770 25770 8183 0 -1 4202560 492 0 0 0 3385 163 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694216761312 140696023112727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
[pid=25772/tid=26191] ppid=25770 vsize=26605264 memory=1380 CPUtime=34.13 cores=0-7
/proc/25772/task/26191/stat : 26191 (java) R 25770 25770 8183 0 -1 1077944384 443 0 0 0 3227 186 0 0 20 0 28 0 97524182 27243790336 85437 33554432000 4194304 4196468 140721496495472 140694222024640 140696038745813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140721496499352 140721496499528 140721496499528 140721496502223 0
Current children cumulated CPU time: 295.68 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 343128 KiB
Child status: 0
Real time (s): 44.9504
CPU time (s): 295.97
CPU user time (s): 283.494
CPU system time (s): 12.476
CPU usage (%): 658.436
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 345004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.494
system time used= 12.476
maximum resident set size= 345672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4429101
involuntary context switches= 418
# summary of solver processes directly reported to runsolver:
# pid: 25770
# total CPU time (s): 295.97
# total CPU user time (s): 283.494
# total CPU system time (s): 12.476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.355993 second user time and 0.556909 second system time
The end
Begin job on node103 at 2017-08-13 18:58:19
IDJOB=4271592
IDBENCH=133498
IDSOLVER=2663
FILE ID=node103/4271592-1502644357
RUNJOBID= node103-1502637526-8210
PBS_JOBID= 20628330
Free space on /tmp= 61796 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-05.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-4271592-1502644357/watcher-4271592-1502644357 -o /tmp/evaluation-result-4271592-1502644357/solver-4271592-1502644357 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1489064936 HOME/instance-4271592-1502644357.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ec17c84eab1701ad56b983b1c216f3af
RANDOM SEED=1489064936
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: 31611208 kB
MemAvailable: 31994104 kB
Buffers: 109288 kB
Cached: 568184 kB
SwapCached: 0 kB
Active: 524552 kB
Inactive: 207608 kB
Active(anon): 3976 kB
Inactive(anon): 78632 kB
Active(file): 520576 kB
Inactive(file): 128976 kB
Unevictable: 6420 kB
Mlocked: 6420 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7788 kB
Writeback: 0 kB
AnonPages: 61096 kB
Mapped: 42992 kB
Shmem: 25228 kB
Slab: 124460 kB
SReclaimable: 98356 kB
SUnreclaim: 26104 kB
KernelStack: 3248 kB
PageTables: 5424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323380 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-13 18:59:04