0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280484-1503125028.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280484-1503125028.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.32/0.26 c parse instance...
1.39/0.67 c solve instance...
3.36/0.98 o 240297
3.36/0.99 o 239734
3.36/0.99 o 235990
3.36/1.00 o 234678
4.09/1.03 o 231708
4.09/1.05 o 231318
4.09/1.06 o 230981
4.09/1.08 o 230561
4.09/1.08 o 230527
4.09/1.09 o 229149
4.72/1.13 o 227064
5.23/1.21 o 225417
5.23/1.25 o 223524
5.23/1.27 o 220352
5.92/1.40 o 218842
6.71/1.50 o 213608
20.68/3.21 o 213550
20.68/3.23 o 212001
24.51/3.73 o 211977
56.13/7.73 o 210147
112.95/17.66 o 208756
136.36/20.64 o 208294
136.36/20.70 o 204325
271.41/50.76 o 203068
380.62/64.54 o 200835
464.79/75.14 o 200413
1415.49/211.81 o 199495
1534.52/227.28 o 196933
2111.12/322.85 o 196492
19493.16/2520.09 s SATISFIABLE
19493.16/2520.09 v <instantiation>
19493.16/2520.09 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] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][12] d[3][13] d[3][14] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[10][11] d[10][12] d[10][13] d[10][14] d[11][12] d[11][13] d[11][14] d[12][13] d[12][14] d[13][14] </list>
19493.16/2520.09 v <values>2 10 5 14 12 9 6 7 8 1 0 3 4 11 13 91 26 39 18 45 69 56 86 79 95 35 82 59 76 4 65 74 90 35 21 90 12 63 71 30 96 45 2 27 50 93 56 1 35 41 57 6 36 85 71 83 61 85 29 11 75 40 83 77 41 20 72 3 26 44 29 76 40 14 11 58 94 84 4 21 74 66 15 1 15 9 6 36 71 11 21 80 1 25 61 8 76 44 85 10 36 77 51 48 21 0 89 0 91 82 56 6 40 18 11 82 89 76 54 </values>
19493.16/2520.09 v </instantiation>
19493.16/2520.09 c Unexpected resolution interruption!
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 (12772 MiB free)
memory of node 1: 16384 MiB (13976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280484-1503125028/watcher-4280484-1503125028 -o /tmp/evaluation-result-4280484-1503125028/solver-4280484-1503125028 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 10641576 HOME/instance-4280484-1503125028.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
Current StackSize limit: 8192 KiB
solver pid=5520, runsolver pid=5517
[startup+0.100144 s]*
/proc/loadavg: 7.39 8.13 8.23 2/199 5541
/proc/meminfo: memFree=27375600/32770624 swapFree=67108860/67108860
[pid=5520] ppid=5517 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5520/stat : 5520 (xcsp3-exec) S 5517 5520 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145590433 9740288 346 33554432000 4194304 5098028 140734868074272 140734868072376 140047825285756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22077440 140734868079718 140734868079927 140734868079927 140734868082667 0
/proc/5520/statm: 2378 346 289 221 0 87 0
[pid=5522] ppid=5520 vsize=25999808 memory=26320 CPUtime=0.11 cores=0-7
/proc/5522/stat : 5522 (java) S 5520 5520 4731 0 -1 1077944320 5517 0 0 0 10 1 0 0 20 0 20 0 145590433 26623803392 6580 33554432000 4194304 4196468 140733331997824 140733331980368 139871569518327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
/proc/5522/statm: 6499952 6580 2845 1 0 6488269 0
[pid=5522/tid=5523] ppid=5520 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5522/task/5523/stat : 5523 (java) R 5520 5520 4731 0 -1 4202560 3528 0 0 0 8 1 0 0 20 0 20 0 145590433 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871573750656 139871569530262 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5524] ppid=5520 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5522/task/5524/stat : 5524 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871522139024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5525] ppid=5520 vsize=25999808 memory=139743543826048 CPUtime=0 cores=0-7
/proc/5522/task/5525/stat : 5525 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871521086224 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5526] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5526/stat : 5526 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871520033936 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5527] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5527/stat : 5527 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871518981136 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5528] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5528/stat : 5528 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871517927824 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5529] ppid=5520 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5522/task/5529/stat : 5529 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871516875024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5530] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5530/stat : 5530 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871121701520 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5531] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5531/stat : 5531 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26623803392 6580 33554432000 4194304 4196468 140733331997824 139871120648720 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5532] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5532/stat : 5532 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590436 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870291278448 139871569529474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5533] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5533/stat : 5533 (java) S 5520 5520 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145590436 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870290224416 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5534] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5534/stat : 5534 (java) S 5520 5520 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145590436 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870289172080 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5535] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5535/stat : 5535 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590439 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870288120400 139871569536923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5536] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5536/stat : 5536 (java) S 5520 5520 4731 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 145590439 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870287067248 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5537] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5537/stat : 5537 (java) S 5520 5520 4731 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145590439 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870286014448 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5538] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5538/stat : 5538 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590439 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870284962160 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5539] ppid=5520 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5522/task/5539/stat : 5539 (java) R 5520 5520 4731 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 145590439 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870283909360 139871569539674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5540] ppid=5520 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5540/stat : 5540 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145590439 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870282857312 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5541] ppid=5520 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5522/task/5541/stat : 5541 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590439 26623803392 6580 33554432000 4194304 4196468 140733331997824 139870281804592 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27704 KiB
[startup+0.210102 s]*
/proc/loadavg: 7.39 8.13 8.23 2/199 5541
/proc/meminfo: memFree=27364220/32770624 swapFree=67108860/67108860
[pid=5520] ppid=5517 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5520/stat : 5520 (xcsp3-exec) S 5517 5520 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145590433 9740288 346 33554432000 4194304 5098028 140734868074272 140734868072376 140047825285756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22077440 140734868079718 140734868079927 140734868079927 140734868082667 0
/proc/5520/statm: 2378 346 289 221 0 87 0
[pid=5522] ppid=5520 vsize=26004064 memory=39228 CPUtime=0.32 cores=0-7
/proc/5522/stat : 5522 (java) S 5520 5520 4731 0 -1 1077944320 8362 0 0 0 30 2 0 0 20 0 20 0 145590433 26628161536 9807 33554432000 4194304 4196468 140733331997824 140733331980368 139871569518327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
/proc/5522/statm: 6501016 9807 3073 1 0 6488269 0
[pid=5522/tid=5523] ppid=5520 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5522/task/5523/stat : 5523 (java) D 5520 5520 4731 0 -1 1077944384 5448 0 0 0 18 1 0 0 20 0 20 0 145590433 26628161536 9828 33554432000 4194304 4196468 140733331997824 139871573729136 139871562197549 0 4 0 16800975 18446744072101707300 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5524] ppid=5520 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/5522/task/5524/stat : 5524 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 9828 33554432000 4194304 4196468 140733331997824 139871522139024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5525] ppid=5520 vsize=26004064 memory=139743543855081 CPUtime=0 cores=0-7
/proc/5522/task/5525/stat : 5525 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 9828 33554432000 4194304 4196468 140733331997824 139871521086224 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5526] ppid=5520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5522/task/5526/stat : 5526 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 9828 33554432000 4194304 4196468 140733331997824 139871520033936 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5527] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5527/stat : 5527 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 9828 33554432000 4194304 4196468 140733331997824 139871518981136 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5528] ppid=5520 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5528/stat : 5528 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590434 26628194304 9828 33554432000 4194304 4196468 140733331997824 139871517927824 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5529] ppid=5520 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/5522/task/5529/stat : 5529 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628194304 9828 33554432000 4194304 4196468 140733331997824 139871516875024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5530] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5530/stat : 5530 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 9828 33554432000 4194304 4196468 140733331997824 139871121701520 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5531] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5531/stat : 5531 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 9828 33554432000 4194304 4196468 140733331997824 139871120648720 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5532] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5532/stat : 5532 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590436 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870291278448 139871569529474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5533] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5533/stat : 5533 (java) S 5520 5520 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145590436 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870290224416 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5534] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5534/stat : 5534 (java) S 5520 5520 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145590436 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870289172080 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5535] ppid=5520 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5535/stat : 5535 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590439 26628194304 9828 33554432000 4194304 4196468 140733331997824 139870288120400 139871569536923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5536] ppid=5520 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/5522/task/5536/stat : 5536 (java) S 5520 5520 4731 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 145590439 26628194304 9828 33554432000 4194304 4196468 140733331997824 139870287067248 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5537] ppid=5520 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5522/task/5537/stat : 5537 (java) S 5520 5520 4731 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 145590439 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870286014448 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5538] ppid=5520 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/5522/task/5538/stat : 5538 (java) S 5520 5520 4731 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 145590439 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870284962160 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5539] ppid=5520 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5522/task/5539/stat : 5539 (java) S 5520 5520 4731 0 -1 1077944384 732 0 0 0 7 0 0 0 20 0 20 0 145590439 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870283909360 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5540] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5540/stat : 5540 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145590439 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870282857312 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5541] ppid=5520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5522/task/5541/stat : 5541 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590439 26628161536 9828 33554432000 4194304 4196468 140733331997824 139870281804592 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40612 KiB
[startup+0.309441 s]*
/proc/loadavg: 7.39 8.13 8.23 3/199 5541
/proc/meminfo: memFree=27357644/32770624 swapFree=67108860/67108860
[pid=5520] ppid=5517 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5520/stat : 5520 (xcsp3-exec) S 5517 5520 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145590433 9740288 346 33554432000 4194304 5098028 140734868074272 140734868072376 140047825285756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22077440 140734868079718 140734868079927 140734868079927 140734868082667 0
/proc/5520/statm: 2378 346 289 221 0 87 0
[pid=5522] ppid=5520 vsize=26004064 memory=46184 CPUtime=0.49 cores=0-7
/proc/5522/stat : 5522 (java) S 5520 5520 4731 0 -1 1077944320 9309 0 0 0 46 3 0 0 20 0 20 0 145590433 26628161536 11546 33554432000 4194304 4196468 140733331997824 140733331980368 139871569518327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
/proc/5522/statm: 6501016 11546 3110 1 0 6488269 0
[pid=5522/tid=5523] ppid=5520 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5522/task/5523/stat : 5523 (java) R 5520 5520 4731 0 -1 4202560 6178 0 0 0 27 2 0 0 20 0 20 0 145590433 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871573746736 139871553598814 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5524] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5524/stat : 5524 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871522139024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5525] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5525/stat : 5525 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871521086224 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5526] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5526/stat : 5526 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871520033936 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5527] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5527/stat : 5527 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871518981136 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5528] ppid=5520 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5522/task/5528/stat : 5528 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871517927824 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5529] ppid=5520 vsize=26004064 memory=139743404848047 CPUtime=0 cores=0-7
/proc/5522/task/5529/stat : 5529 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871516875024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5530] ppid=5520 vsize=26004064 memory=139743404850352 CPUtime=0 cores=0-7
/proc/5522/task/5530/stat : 5530 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871121701520 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5531] ppid=5520 vsize=26004064 memory=139743404852656 CPUtime=0 cores=0-7
/proc/5522/task/5531/stat : 5531 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590434 26628161536 11606 33554432000 4194304 4196468 140733331997824 139871120648720 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5532] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5532/stat : 5532 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145590436 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870291278448 139871569529474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5533] ppid=5520 vsize=26004064 memory=279486809712272 CPUtime=0 cores=0-7
/proc/5522/task/5533/stat : 5533 (java) S 5520 5520 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145590436 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870290224416 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5534] ppid=5520 vsize=26004064 memory=279486809719184 CPUtime=0 cores=0-7
/proc/5522/task/5534/stat : 5534 (java) S 5520 5520 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145590436 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870289172080 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5535] ppid=5520 vsize=26004064 memory=279486809660464 CPUtime=0 cores=0-7
/proc/5522/task/5535/stat : 5535 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590439 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870288120400 139871569536923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5536] ppid=5520 vsize=26004064 memory=279486809733008 CPUtime=0.02 cores=0-7
/proc/5522/task/5536/stat : 5536 (java) S 5520 5520 4731 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 145590439 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870287067248 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5537] ppid=5520 vsize=26004064 memory=279486809739920 CPUtime=0.01 cores=0-7
/proc/5522/task/5537/stat : 5537 (java) S 5520 5520 4731 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 145590439 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870286014448 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5538] ppid=5520 vsize=26004064 memory=279486809737616 CPUtime=0.02 cores=0-7
/proc/5522/task/5538/stat : 5538 (java) S 5520 5520 4731 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 145590439 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870284962160 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5539] ppid=5520 vsize=26004064 memory=279486809753776 CPUtime=0.12 cores=0-7
/proc/5522/task/5539/stat : 5539 (java) S 5520 5520 4731 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 20 0 145590439 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870283909360 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5540] ppid=5520 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5540/stat : 5540 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145590439 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870282857312 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5541] ppid=5520 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5522/task/5541/stat : 5541 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145590439 26628161536 11606 33554432000 4194304 4196468 140733331997824 139870281804592 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47568 KiB
[startup+0.701485 s]
/proc/loadavg: 7.39 8.13 8.23 6/199 5541
/proc/meminfo: memFree=27342572/32770624 swapFree=67108860/67108860
[pid=5520] ppid=5517 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5520/stat : 5520 (xcsp3-exec) S 5517 5520 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145590433 9740288 346 33554432000 4194304 5098028 140734868074272 140734868072376 140047825285756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22077440 140734868079718 140734868079927 140734868079927 140734868082667 0
/proc/5520/statm: 2378 346 289 221 0 87 0
[pid=5522] ppid=5520 vsize=26538700 memory=102696 CPUtime=1.84 cores=0-7
/proc/5522/stat : 5522 (java) S 5520 5520 4731 0 -1 1077944320 12993 0 0 0 178 6 0 0 20 0 28 0 145590433 27175628800 25674 33554432000 4194304 4196468 140733331997824 140733331980368 139871569518327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
/proc/5522/statm: 6634675 25674 3205 1 0 6621909 0
[pid=5522/tid=5523] ppid=5520 vsize=26538700 memory=279486810111664 CPUtime=0.65 cores=0-7
/proc/5522/task/5523/stat : 5523 (java) S 5520 5520 4731 0 -1 1077944384 6900 0 0 0 62 3 0 0 20 0 28 0 145590433 27175628800 25674 33554432000 4194304 4196468 140733331997824 139871573759104 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5524] ppid=5520 vsize=26538700 memory=139743405056880 CPUtime=0 cores=0-7
/proc/5522/task/5524/stat : 5524 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145590434 27175628800 25674 33554432000 4194304 4196468 140733331997824 139871522139024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5525] ppid=5520 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5522/task/5525/stat : 5525 (java) S 5520 5520 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145590434 27175628800 25674 33554432000 4194304 4196468 140733331997824 139871521086224 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5526] ppid=5520 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/5522/task/5526/stat : 5526 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145590434 27175628800 25674 33554432000 4194304 4196468 140733331997824 139871520033936 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
################
# More data... #
################
[pid=5522/tid=5788] ppid=5520 vsize=26605264 memory=1384 CPUtime=2086.64 cores=0-7
/proc/5522/task/5788/stat : 5788 (java) R 5520 5520 4731 0 -1 4202560 80365 0 0 0 208620 44 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870266428032 139871204689379 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
Current children cumulated CPU time: 18876.2 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 608044 KiB
[startup+2502.3 s]
/proc/loadavg: 8.07 8.20 8.21 9/208 5842
/proc/meminfo: memFree=26798520/32770624 swapFree=67108860/67108860
[pid=5520] ppid=5517 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5520/stat : 5520 (xcsp3-exec) S 5517 5520 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145590433 9740288 346 33554432000 4194304 5098028 140734868074272 140734868072376 140047825285756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22077440 140734868079718 140734868079927 140734868079927 140734868082667 0
/proc/5520/statm: 2378 346 289 221 0 87 0
[pid=5522] ppid=5520 vsize=26605264 memory=606660 CPUtime=19352.7 cores=0-7
/proc/5522/stat : 5522 (java) S 5520 5520 4731 0 -1 1077944320 737272 0 0 0 1933996 1271 0 0 20 0 28 0 145590433 27243790336 151665 33554432000 4194304 4196468 140733331997824 140733331980368 139871569518327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
/proc/5522/statm: 6651316 151665 3285 1 0 6638550 0
[pid=5522/tid=5523] ppid=5520 vsize=26605264 memory=606908 CPUtime=0.67 cores=0-7
/proc/5522/task/5523/stat : 5523 (java) S 5520 5520 4731 0 -1 1077944384 8188 0 0 0 63 4 0 0 20 0 28 0 145590433 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871573759104 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5524] ppid=5520 vsize=26605264 memory=606616 CPUtime=13.33 cores=0-7
/proc/5522/task/5524/stat : 5524 (java) S 5520 5520 4731 0 -1 1077944384 39241 0 0 0 1303 30 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871522139024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5525] ppid=5520 vsize=26605264 memory=606624 CPUtime=13.31 cores=0-7
/proc/5522/task/5525/stat : 5525 (java) S 5520 5520 4731 0 -1 1077944384 27721 0 0 0 1303 28 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871521086224 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5526] ppid=5520 vsize=26605264 memory=0 CPUtime=13.24 cores=0-7
/proc/5522/task/5526/stat : 5526 (java) S 5520 5520 4731 0 -1 1077944384 31340 0 0 0 1297 27 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871520033936 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5527] ppid=5520 vsize=26605264 memory=586692 CPUtime=13.28 cores=0-7
/proc/5522/task/5527/stat : 5527 (java) S 5520 5520 4731 0 -1 1077944384 29372 0 0 0 1299 29 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871518981136 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5528] ppid=5520 vsize=26605264 memory=607284 CPUtime=13.24 cores=0-7
/proc/5522/task/5528/stat : 5528 (java) S 5520 5520 4731 0 -1 1077944384 28751 0 0 0 1295 29 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871517927824 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5529] ppid=5520 vsize=26605264 memory=1384 CPUtime=13.22 cores=0-7
/proc/5522/task/5529/stat : 5529 (java) S 5520 5520 4731 0 -1 1077944384 32250 0 0 0 1297 25 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871516875024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5530] ppid=5520 vsize=26605264 memory=1384 CPUtime=13.26 cores=0-7
/proc/5522/task/5530/stat : 5530 (java) S 5520 5520 4731 0 -1 1077944384 32405 0 0 0 1299 27 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871121701520 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5531] ppid=5520 vsize=26605264 memory=4140 CPUtime=13.35 cores=0-7
/proc/5522/task/5531/stat : 5531 (java) S 5520 5520 4731 0 -1 1077944384 31401 0 0 0 1308 27 0 0 20 0 28 0 145590434 27243790336 151665 33554432000 4194304 4196468 140733331997824 139871120648720 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5532] ppid=5520 vsize=26605264 memory=1384 CPUtime=16.36 cores=0-7
/proc/5522/task/5532/stat : 5532 (java) S 5520 5520 4731 0 -1 1077944384 76300 0 0 0 754 882 0 0 20 0 28 0 145590436 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870291278448 139871569529474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5533] ppid=5520 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/5522/task/5533/stat : 5533 (java) S 5520 5520 4731 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 145590436 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870290224480 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5534] ppid=5520 vsize=26605264 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5522/task/5534/stat : 5534 (java) S 5520 5520 4731 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 145590436 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870289172096 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5535] ppid=5520 vsize=26605264 memory=40288 CPUtime=0 cores=0-7
/proc/5522/task/5535/stat : 5535 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145590439 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870288120400 139871569536923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5536] ppid=5520 vsize=26605264 memory=605124 CPUtime=2.32 cores=0-7
/proc/5522/task/5536/stat : 5536 (java) S 5520 5520 4731 0 -1 1077944384 12674 0 0 0 230 2 0 0 20 0 28 0 145590439 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870287067248 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5537] ppid=5520 vsize=26605264 memory=1384 CPUtime=2.29 cores=0-7
/proc/5522/task/5537/stat : 5537 (java) S 5520 5520 4731 0 -1 1077944384 12897 0 0 0 226 3 0 0 20 0 28 0 145590439 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870286014448 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5538] ppid=5520 vsize=26605264 memory=606616 CPUtime=2.3 cores=0-7
/proc/5522/task/5538/stat : 5538 (java) S 5520 5520 4731 0 -1 1077944384 13583 0 0 0 228 2 0 0 20 0 28 0 145590439 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870284962160 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5539] ppid=5520 vsize=26605264 memory=1384 CPUtime=0.81 cores=0-7
/proc/5522/task/5539/stat : 5539 (java) S 5520 5520 4731 0 -1 1077944384 12686 0 0 0 79 2 0 0 20 0 28 0 145590439 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870283909360 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5540] ppid=5520 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/5522/task/5540/stat : 5540 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145590439 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870282857312 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5541] ppid=5520 vsize=26605264 memory=1384 CPUtime=0.51 cores=0-7
/proc/5522/task/5541/stat : 5541 (java) S 5520 5520 4731 0 -1 1077944384 5212 0 0 0 19 32 0 0 20 0 28 0 145590439 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870281804592 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5781] ppid=5520 vsize=26605264 memory=1384 CPUtime=2142.91 cores=0-7
/proc/5522/task/5781/stat : 5781 (java) R 5520 5520 4731 0 -1 4202560 15275 0 0 0 214278 13 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870271687536 139871203368238 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5782] ppid=5520 vsize=26605264 memory=606964 CPUtime=2141.1 cores=0-7
/proc/5522/task/5782/stat : 5782 (java) R 5520 5520 4731 0 -1 4202560 15373 0 0 0 214098 12 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870270636424 139871202102212 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5783] ppid=5520 vsize=26605264 memory=0 CPUtime=2142.98 cores=0-7
/proc/5522/task/5783/stat : 5783 (java) R 5520 5520 4731 0 -1 4202560 23621 0 0 0 214284 14 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870273793800 139871203533219 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5784] ppid=5520 vsize=26605264 memory=56 CPUtime=2137.38 cores=0-7
/proc/5522/task/5784/stat : 5784 (java) R 5520 5520 4731 0 -1 4202560 67053 0 0 0 213696 42 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870268533152 139871205955056 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5785] ppid=5520 vsize=26605264 memory=4872558044660077418 CPUtime=2138.58 cores=0-7
/proc/5522/task/5785/stat : 5785 (java) R 5520 5520 4731 0 -1 4202560 25119 0 0 0 213844 14 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870272741248 139871202214893 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5786] ppid=5520 vsize=26605264 memory=607136 CPUtime=2141.08 cores=0-7
/proc/5522/task/5786/stat : 5786 (java) R 5520 5520 4731 0 -1 4202560 12433 0 0 0 214097 11 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870269583104 139871203287060 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5787] ppid=5520 vsize=26605264 memory=1008 CPUtime=2139.57 cores=0-7
/proc/5522/task/5787/stat : 5787 (java) R 5520 5520 4731 0 -1 4202560 41896 0 0 0 213940 17 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870267477904 139871202214076 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5788] ppid=5520 vsize=26605264 memory=1384 CPUtime=2145.71 cores=0-7
/proc/5522/task/5788/stat : 5788 (java) R 5520 5520 4731 0 -1 4202560 90167 0 0 0 214523 48 0 0 20 0 28 0 145622719 27243790336 151665 33554432000 4194304 4196468 140733331997824 139870266424736 139871204645628 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
Current children cumulated CPU time: 19352.7 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 608044 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.05 8.19 8.20 9/208 5842
/proc/meminfo: memFree=26796668/32770624 swapFree=67108860/67108860
[pid=5520] ppid=5517 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5520/stat : 5520 (xcsp3-exec) S 5517 5520 4731 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145590433 9740288 346 33554432000 4194304 5098028 140734868074272 140734868072376 140047825285756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22077440 140734868079718 140734868079927 140734868079927 140734868082667 0
/proc/5520/statm: 2378 346 289 221 0 87 0
[pid=5522] ppid=5520 vsize=26605264 memory=608980 CPUtime=19493.2 cores=0-7
/proc/5522/stat : 5522 (java) S 5520 5520 4731 0 -1 1077944320 743208 0 0 0 1948039 1277 0 0 20 0 28 0 145590433 27243790336 152245 33554432000 4194304 4196468 140733331997824 140733331980368 139871569518327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
/proc/5522/statm: 6651316 152245 3285 1 0 6638550 0
[pid=5522/tid=5523] ppid=5520 vsize=26605264 memory=8112282956445269571 CPUtime=0.67 cores=0-7
/proc/5522/task/5523/stat : 5523 (java) S 5520 5520 4731 0 -1 1077944384 8188 0 0 0 63 4 0 0 20 0 28 0 145590433 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871573759104 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5524] ppid=5520 vsize=26605264 memory=4872558044660077418 CPUtime=13.42 cores=0-7
/proc/5522/task/5524/stat : 5524 (java) S 5520 5520 4731 0 -1 1077944384 39337 0 0 0 1312 30 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871522139024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5525] ppid=5520 vsize=26605264 memory=4048 CPUtime=13.41 cores=0-7
/proc/5522/task/5525/stat : 5525 (java) S 5520 5520 4731 0 -1 1077944384 27959 0 0 0 1313 28 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871521086224 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5526] ppid=5520 vsize=26605264 memory=18488 CPUtime=13.34 cores=0-7
/proc/5522/task/5526/stat : 5526 (java) S 5520 5520 4731 0 -1 1077944384 31473 0 0 0 1307 27 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871520033936 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5527] ppid=5520 vsize=26605264 memory=1796 CPUtime=13.37 cores=0-7
/proc/5522/task/5527/stat : 5527 (java) S 5520 5520 4731 0 -1 1077944384 29431 0 0 0 1308 29 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871518981136 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5528] ppid=5520 vsize=26605264 memory=8112282956445269571 CPUtime=13.35 cores=0-7
/proc/5522/task/5528/stat : 5528 (java) S 5520 5520 4731 0 -1 1077944384 28795 0 0 0 1305 30 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871517927824 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5529] ppid=5520 vsize=26605264 memory=-7175204567652784766 CPUtime=13.31 cores=0-7
/proc/5522/task/5529/stat : 5529 (java) S 5520 5520 4731 0 -1 1077944384 32752 0 0 0 1306 25 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871516875024 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5530] ppid=5520 vsize=26605264 memory=3054156605268465310 CPUtime=13.36 cores=0-7
/proc/5522/task/5530/stat : 5530 (java) S 5520 5520 4731 0 -1 1077944384 32595 0 0 0 1309 27 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871121701520 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5531] ppid=5520 vsize=26605264 memory=8514726395714825349 CPUtime=13.44 cores=0-7
/proc/5522/task/5531/stat : 5531 (java) S 5520 5520 4731 0 -1 1077944384 31482 0 0 0 1317 27 0 0 20 0 28 0 145590434 27243790336 152245 33554432000 4194304 4196468 140733331997824 139871120648720 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5532] ppid=5520 vsize=26605264 memory=7822038051842261661 CPUtime=16.43 cores=0-7
/proc/5522/task/5532/stat : 5532 (java) S 5520 5520 4731 0 -1 1077944384 77632 0 0 0 759 884 0 0 20 0 28 0 145590436 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870291278448 139871569529474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5533] ppid=5520 vsize=26605264 memory=-6520471753822164382 CPUtime=0 cores=0-7
/proc/5522/task/5533/stat : 5533 (java) S 5520 5520 4731 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 145590436 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870290224480 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5534] ppid=5520 vsize=26605264 memory=9047017150487036575 CPUtime=0 cores=0-7
/proc/5522/task/5534/stat : 5534 (java) S 5520 5520 4731 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 145590436 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870289172096 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5535] ppid=5520 vsize=26605264 memory=4715433313220523562 CPUtime=0 cores=0-7
/proc/5522/task/5535/stat : 5535 (java) S 5520 5520 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145590439 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870288120400 139871569536923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5536] ppid=5520 vsize=26605264 memory=8600 CPUtime=2.32 cores=0-7
/proc/5522/task/5536/stat : 5536 (java) S 5520 5520 4731 0 -1 1077944384 12678 0 0 0 230 2 0 0 20 0 28 0 145590439 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870287067248 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5537] ppid=5520 vsize=26605264 memory=1384 CPUtime=2.29 cores=0-7
/proc/5522/task/5537/stat : 5537 (java) S 5520 5520 4731 0 -1 1077944384 12899 0 0 0 226 3 0 0 20 0 28 0 145590439 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870286014448 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5538] ppid=5520 vsize=26605264 memory=1384 CPUtime=2.3 cores=0-7
/proc/5522/task/5538/stat : 5538 (java) S 5520 5520 4731 0 -1 1077944384 13585 0 0 0 228 2 0 0 20 0 28 0 145590439 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870284962160 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5539] ppid=5520 vsize=26605264 memory=24456 CPUtime=0.81 cores=0-7
/proc/5522/task/5539/stat : 5539 (java) S 5520 5520 4731 0 -1 1077944384 12688 0 0 0 79 2 0 0 20 0 28 0 145590439 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870283909360 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5540] ppid=5520 vsize=26605264 memory=4048 CPUtime=0 cores=0-7
/proc/5522/task/5540/stat : 5540 (java) S 5520 5520 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145590439 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870282857312 139871569528533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5541] ppid=5520 vsize=26605264 memory=18488 CPUtime=0.51 cores=0-7
/proc/5522/task/5541/stat : 5541 (java) S 5520 5520 4731 0 -1 1077944384 5235 0 0 0 19 32 0 0 20 0 28 0 145590439 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870281804592 139871569529474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5781] ppid=5520 vsize=26605264 memory=1796 CPUtime=2160.35 cores=0-7
/proc/5522/task/5781/stat : 5781 (java) R 5520 5520 4731 0 -1 4202560 15354 0 0 0 216021 14 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870271691792 139871202214419 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5782] ppid=5520 vsize=26605264 memory=1236 CPUtime=2158.55 cores=0-7
/proc/5522/task/5782/stat : 5782 (java) R 5520 5520 4731 0 -1 4202560 15432 0 0 0 215843 12 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870270636888 139871202049473 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5783] ppid=5520 vsize=26605264 memory=640 CPUtime=2160.46 cores=0-7
/proc/5522/task/5783/stat : 5783 (java) R 5520 5520 4731 0 -1 4202560 23763 0 0 0 216032 14 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870273793400 139871204445051 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5784] ppid=5520 vsize=26605264 memory=956 CPUtime=2154.69 cores=0-7
/proc/5522/task/5784/stat : 5784 (java) R 5520 5520 4731 0 -1 4202560 67757 0 0 0 215426 43 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870268530248 139871205956341 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5785] ppid=5520 vsize=26605264 memory=2424 CPUtime=2156.09 cores=0-7
/proc/5522/task/5785/stat : 5785 (java) R 5520 5520 4731 0 -1 4202560 25320 0 0 0 215595 14 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870272741848 139871203506051 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5786] ppid=5520 vsize=26605264 memory=2240 CPUtime=2158.52 cores=0-7
/proc/5522/task/5786/stat : 5786 (java) R 5520 5520 4731 0 -1 4202560 12491 0 0 0 215841 11 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870269587240 139871202049586 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5787] ppid=5520 vsize=26605264 memory=4128 CPUtime=2157.05 cores=0-7
/proc/5522/task/5787/stat : 5787 (java) R 5520 5520 4731 0 -1 4202560 42221 0 0 0 215688 17 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870267477792 139871202214710 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
[pid=5522/tid=5788] ppid=5520 vsize=26605264 memory=928 CPUtime=2163.23 cores=0-7
/proc/5522/task/5788/stat : 5788 (java) R 5520 5520 4731 0 -1 4202560 91827 0 0 0 216274 49 0 0 20 0 28 0 145622719 27243790336 152245 33554432000 4194304 4196468 140733331997824 139870266428488 139871205956254 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 9138176 140733332006034 140733332006211 140733332006211 140733332008911 0
Current children cumulated CPU time: 19493.2 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 610364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 5520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000976 s, system=0.000976 s
[startup+2520.11 s]
# the end of solver process 5522 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19481.1 s, system=12.7775 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.11
CPU time (s): 19493.9
CPU user time (s): 19481.1
CPU system time (s): 12.7775
CPU usage (%): 773.535
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 665172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19481.1
system time used= 12.7775
maximum resident set size= 663788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 743842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 348064
involuntary context switches= 239356
# summary of solver processes directly reported to runsolver:
# pid: 5520,5522
# total CPU time (s): 19493.9
# total CPU user time (s): 19481.1
# total CPU system time (s): 12.7775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1633 second user time and 27.4472 second system time
The end
Begin job on node106 at 2017-08-19 08:29:28
IDJOB=4280484
IDBENCH=123042
IDSOLVER=2675
FILE ID=node106/4280484-1503125028
RUNJOBID= node106-1503124150-4758
PBS_JOBID= 20630776
Free space on /tmp= 61820 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai15a.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-4280484-1503125028/watcher-4280484-1503125028 -o /tmp/evaluation-result-4280484-1503125028/solver-4280484-1503125028 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 10641576 HOME/instance-4280484-1503125028.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 01e5f10d01ef86069967703c8ffb230e
RANDOM SEED=10641576
node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 27391640 kB
MemAvailable: 31970356 kB
Buffers: 230652 kB
Cached: 4641068 kB
SwapCached: 0 kB
Active: 1042952 kB
Inactive: 3885256 kB
Active(anon): 12332 kB
Inactive(anon): 80268 kB
Active(file): 1030620 kB
Inactive(file): 3804988 kB
Unevictable: 7764 kB
Mlocked: 7764 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7960 kB
Writeback: 0 kB
AnonPages: 69328 kB
Mapped: 50272 kB
Shmem: 33420 kB
Slab: 144768 kB
SReclaimable: 117888 kB
SUnreclaim: 26880 kB
KernelStack: 3440 kB
PageTables: 5128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-19 09:11:28