0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280626-1503160740.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4280626-1503160740.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
55.78/44.63 c solve instance...
66.55/46.41 o 2425
67.87/46.67 o 2414
69.70/47.94 o 2404
70.00/48.05 o 2381
72.21/48.43 o 2375
72.44/48.52 o 2373
72.44/48.56 o 2369
72.74/48.64 o 2365
72.94/48.74 o 2360
73.15/48.89 o 2358
73.33/48.91 o 2348
73.33/49.00 o 2346
73.66/49.02 o 2340
73.66/49.05 o 2338
74.32/49.18 o 654
74.56/49.26 o 653
74.79/49.35 o 652
75.00/49.44 o 650
75.19/49.55 o 646
75.41/49.66 o 645
75.65/49.70 o 643
75.65/49.79 o 635
75.94/49.89 o 631
76.23/49.91 o 630
76.23/49.94 o 627
76.65/50.07 o 626
76.87/50.17 o 625
77.21/50.34 o 624
77.44/50.45 o 623
78.70/50.71 o 621
78.70/50.73 o 586
79.01/50.83 o 578
79.23/50.95 o 577
79.51/51.09 o 576
79.69/51.17 o 573
19764.31/2520.10 s SATISFIABLE
19764.31/2520.10 v <instantiation>
19764.31/2520.10 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] </list>
19764.31/2520.10 v <values>68 69 80 88 87 92 102 103 104 143 136 128 123 116 115 113 122 135 134 149 148 133 121 146 145 142 127 120 119 126 130 141 140 139 138 132 118 124 125 114 109 100 97 98 85 81 79 75 78 66 61 50 38 45 44 41 24 27 23 19 2 0 6 1 10 11 22 21 16 20 28 31 34 32 25 29 35 52 54 60 62 65 67 58 55 47 48 51 39 42 26 15 9 8 5 4 13 12 17 7 3 14 46 76 86 91 95 99 94 101 107 108 110 82 84 93 83 71 57 49 40 18 112 131 147 144 137 129 117 111 106 105 96 90 89 74 72 70 59 53 37 36 30 33 43 56 64 77 73 63 3 5 4 3 4 3 3 2 13 1 3 3 2 3 1 3 4 2 5 4 5 4 11 5 2 4 1 1 6 3 3 2 3 4 3 3 1 1 3 3 2 1 6 4 2 2 2 3 5 2 5 4 2 3 2 5 2 3 1 5 1 6 6 5 2 2 2 2 2 4 3 1 1 2 1 2 5 4 3 1 6 4 4 1 5 1 1 4 1 5 6 4 2 2 1 4 2 2 3 1 9 10 11 4 2 1 1 4 3 2 1 1 9 13 6 4 6 5 4 2 9 31 7 5 2 1 3 3 3 2 2 2 3 1 5 1 1 4 2 6 32 4 3 6 4 3 9 1 4 2 </values>
19764.31/2520.10 v </instantiation>
19764.31/2520.10 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 (12741 MiB free)
memory of node 1: 16384 MiB (13960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280626-1503160740/watcher-4280626-1503160740 -o /tmp/evaluation-result-4280626-1503160740/solver-4280626-1503160740 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503155882-15633 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 768922669 HOME/instance-4280626-1503160740.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16958, runsolver pid=16955
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 8.86 8.39 7.89 2/200 16979
/proc/meminfo: memFree=27327952/32770624 swapFree=67108860/67108860
[pid=16958] ppid=16955 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16958/stat : 16958 (xcsp3-exec) S 16955 16958 15606 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149161625 9740288 345 33554432000 4194304 5098028 140724217548128 140724217546232 140703742055036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33079296 140724217549925 140724217550135 140724217550135 140724217552875 0
/proc/16958/statm: 2378 345 289 221 0 87 0
[pid=16960] ppid=16958 vsize=25999808 memory=26660 CPUtime=0.12 cores=0-7
/proc/16960/stat : 16960 (java) S 16958 16958 15606 0 -1 1077944320 5480 0 0 0 11 1 0 0 20 0 20 0 149161625 26623803392 6665 33554432000 4194304 4196468 140728131704752 140728131687296 139792109407991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
/proc/16960/statm: 6499952 6665 2901 1 0 6488269 0
[pid=16960/tid=16961] ppid=16958 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16960/task/16961/stat : 16961 (java) R 16958 16958 15606 0 -1 4202560 3490 0 0 0 8 0 0 0 20 0 20 0 149161625 26623803392 6665 33554432000 4194304 4196468 140728131704752 139792113641264 139792109429917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16962] ppid=16958 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16960/task/16962/stat : 16962 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139792062028944 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16963] ppid=16958 vsize=25999808 memory=140354584479360 CPUtime=0 cores=0-7
/proc/16960/task/16963/stat : 16963 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139792060976144 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16964] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16964/stat : 16964 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139792059923344 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16965] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16965/stat : 16965 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791664806672 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16966] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16966/stat : 16966 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791663753872 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16967] ppid=16958 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16960/task/16967/stat : 16967 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791662701072 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16968] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16968/stat : 16968 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791661648272 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16969] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16969/stat : 16969 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791660595472 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16970] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16970/stat : 16970 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161628 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791438093168 139792109419138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16971] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16971/stat : 16971 (java) S 16958 16958 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149161628 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791437039136 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16972] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16972/stat : 16972 (java) S 16958 16958 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149161628 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791435986288 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16973] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16973/stat : 16973 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161631 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791434934608 139792109426587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16974] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16974/stat : 16974 (java) S 16958 16958 15606 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 149161631 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791433881968 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16975] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16975/stat : 16975 (java) R 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161631 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791432829168 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16976] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16976/stat : 16976 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161631 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791431776368 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16977] ppid=16958 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16960/task/16977/stat : 16977 (java) R 16958 16958 15606 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 149161631 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791430723568 139792109419926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16978] ppid=16958 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16978/stat : 16978 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161631 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791429672032 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16979] ppid=16958 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16960/task/16979/stat : 16979 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161631 26623803392 6665 33554432000 4194304 4196468 140728131704752 139791428619312 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28040 KiB
[startup+0.210343 s]*
/proc/loadavg: 8.86 8.39 7.89 2/200 16979
/proc/meminfo: memFree=27316168/32770624 swapFree=67108860/67108860
[pid=16958] ppid=16955 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16958/stat : 16958 (xcsp3-exec) S 16955 16958 15606 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149161625 9740288 345 33554432000 4194304 5098028 140724217548128 140724217546232 140703742055036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33079296 140724217549925 140724217550135 140724217550135 140724217552875 0
/proc/16958/statm: 2378 345 289 221 0 87 0
[pid=16960] ppid=16958 vsize=26004064 memory=38544 CPUtime=0.33 cores=0-7
/proc/16960/stat : 16960 (java) S 16958 16958 15606 0 -1 1077944320 8245 0 0 0 31 2 0 0 20 0 20 0 149161625 26628161536 9636 33554432000 4194304 4196468 140728131704752 140728131687296 139792109407991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
/proc/16960/statm: 6501016 9636 3039 1 0 6488269 0
[pid=16960/tid=16961] ppid=16958 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16960/task/16961/stat : 16961 (java) R 16958 16958 15606 0 -1 4202560 5390 0 0 0 19 1 0 0 20 0 20 0 149161625 26628161536 9636 33554432000 4194304 4196468 140728131704752 139792113628192 139792093488478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16962] ppid=16958 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/16960/task/16962/stat : 16962 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139792062028944 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16963] ppid=16958 vsize=26004064 memory=140354584496572 CPUtime=0 cores=0-7
/proc/16960/task/16963/stat : 16963 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139792060976144 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16964] ppid=16958 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16960/task/16964/stat : 16964 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139792059923344 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16965] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16965/stat : 16965 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791664806672 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16966] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16966/stat : 16966 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791663753872 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16967] ppid=16958 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16960/task/16967/stat : 16967 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791662701072 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16968] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16968/stat : 16968 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791661648272 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16969] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16969/stat : 16969 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791660595472 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16970] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16970/stat : 16970 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161628 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791438093168 139792109419138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16971] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16971/stat : 16971 (java) S 16958 16958 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149161628 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791437039136 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16972] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16972/stat : 16972 (java) S 16958 16958 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149161628 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791435986288 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16973] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16973/stat : 16973 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161631 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791434934608 139792109426587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16974] ppid=16958 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/16960/task/16974/stat : 16974 (java) S 16958 16958 15606 0 -1 1077944384 639 0 0 0 2 0 0 0 20 0 20 0 149161631 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791433881968 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16975] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16975/stat : 16975 (java) S 16958 16958 15606 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 149161631 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791432829168 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16976] ppid=16958 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/16960/task/16976/stat : 16976 (java) S 16958 16958 15606 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 149161631 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791431776368 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16977] ppid=16958 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16960/task/16977/stat : 16977 (java) S 16958 16958 15606 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 20 0 149161631 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791430723568 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16978] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16978/stat : 16978 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161631 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791429672032 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16979] ppid=16958 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16960/task/16979/stat : 16979 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161631 26628161536 9636 33554432000 4194304 4196468 140728131704752 139791428619312 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39924 KiB
[startup+0.31032 s]*
/proc/loadavg: 8.86 8.39 7.89 3/200 16979
/proc/meminfo: memFree=27309220/32770624 swapFree=67108860/67108860
[pid=16958] ppid=16955 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16958/stat : 16958 (xcsp3-exec) S 16955 16958 15606 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149161625 9740288 345 33554432000 4194304 5098028 140724217548128 140724217546232 140703742055036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33079296 140724217549925 140724217550135 140724217550135 140724217552875 0
/proc/16958/statm: 2378 345 289 221 0 87 0
[pid=16960] ppid=16958 vsize=26004064 memory=46020 CPUtime=0.51 cores=0-7
/proc/16960/stat : 16960 (java) S 16958 16958 15606 0 -1 1077944320 9232 0 0 0 48 3 0 0 20 0 20 0 149161625 26628161536 11505 33554432000 4194304 4196468 140728131704752 140728131687296 139792109407991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
/proc/16960/statm: 6501016 11505 3117 1 0 6488269 0
[pid=16960/tid=16961] ppid=16958 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16960/task/16961/stat : 16961 (java) R 16958 16958 15606 0 -1 4202560 6058 0 0 0 28 1 0 0 20 0 20 0 149161625 26628161536 11571 33554432000 4194304 4196468 140728131704752 139792113645504 139792109419926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16962] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16962/stat : 16962 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139792062028944 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16963] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16963/stat : 16963 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139792060976144 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16964] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16964/stat : 16964 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139792059923344 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16965] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16965/stat : 16965 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791664806672 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16966] ppid=16958 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16960/task/16966/stat : 16966 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791663753872 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16967] ppid=16958 vsize=26004064 memory=140354431054767 CPUtime=0 cores=0-7
/proc/16960/task/16967/stat : 16967 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791662701072 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16968] ppid=16958 vsize=26004064 memory=140354431057072 CPUtime=0 cores=0-7
/proc/16960/task/16968/stat : 16968 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791661648272 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16969] ppid=16958 vsize=26004064 memory=140354431059376 CPUtime=0 cores=0-7
/proc/16960/task/16969/stat : 16969 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791660595472 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16970] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16970/stat : 16970 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161628 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791438093168 139792109419138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16971] ppid=16958 vsize=26004064 memory=280708862125712 CPUtime=0 cores=0-7
/proc/16960/task/16971/stat : 16971 (java) S 16958 16958 15606 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149161628 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791437039136 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16972] ppid=16958 vsize=26004064 memory=280708862132624 CPUtime=0 cores=0-7
/proc/16960/task/16972/stat : 16972 (java) S 16958 16958 15606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149161628 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791435986288 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16973] ppid=16958 vsize=26004064 memory=280708862073904 CPUtime=0 cores=0-7
/proc/16960/task/16973/stat : 16973 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161631 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791434934608 139792109426587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16974] ppid=16958 vsize=26004064 memory=280708862146448 CPUtime=0.02 cores=0-7
/proc/16960/task/16974/stat : 16974 (java) S 16958 16958 15606 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 20 0 149161631 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791433881968 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16975] ppid=16958 vsize=26004064 memory=280708862153360 CPUtime=0.01 cores=0-7
/proc/16960/task/16975/stat : 16975 (java) S 16958 16958 15606 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 149161631 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791432829168 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16976] ppid=16958 vsize=26004064 memory=280708862151056 CPUtime=0.02 cores=0-7
/proc/16960/task/16976/stat : 16976 (java) R 16958 16958 15606 0 -1 4202560 242 0 0 0 2 0 0 0 20 0 20 0 149161631 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791431766752 139792090108288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16977] ppid=16958 vsize=26004064 memory=280708862167216 CPUtime=0.12 cores=0-7
/proc/16960/task/16977/stat : 16977 (java) R 16958 16958 15606 0 -1 4202560 890 0 0 0 12 0 0 0 20 0 20 0 149161631 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791430721376 139792093488478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16978] ppid=16958 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16978/stat : 16978 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149161631 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791429672032 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16979] ppid=16958 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16960/task/16979/stat : 16979 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149161631 26628161536 11571 33554432000 4194304 4196468 140728131704752 139791428619312 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47400 KiB
[startup+0.70096 s]
/proc/loadavg: 8.86 8.39 7.89 6/200 16979
/proc/meminfo: memFree=27267652/32770624 swapFree=67108860/67108860
[pid=16958] ppid=16955 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16958/stat : 16958 (xcsp3-exec) S 16955 16958 15606 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149161625 9740288 345 33554432000 4194304 5098028 140724217548128 140724217546232 140703742055036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33079296 140724217549925 140724217550135 140724217550135 140724217552875 0
/proc/16958/statm: 2378 345 289 221 0 87 0
[pid=16960] ppid=16958 vsize=26004140 memory=90348 CPUtime=1.6 cores=0-7
/proc/16960/stat : 16960 (java) S 16958 16958 15606 0 -1 1077944320 13097 0 0 0 155 5 0 0 20 0 20 0 149161625 26628239360 22587 33554432000 4194304 4196468 140728131704752 140728131687296 139792109407991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
/proc/16960/statm: 6501035 22587 3192 1 0 6488269 0
[pid=16960/tid=16961] ppid=16958 vsize=26004140 memory=280708862525104 CPUtime=0.67 cores=0-7
/proc/16960/task/16961/stat : 16961 (java) R 16958 16958 15606 0 -1 4202560 6394 0 0 0 65 2 0 0 20 0 20 0 149161625 26628239360 22587 33554432000 4194304 4196468 140728131704752 139792113636528 139792091870715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16962] ppid=16958 vsize=26004140 memory=140354431263600 CPUtime=0 cores=0-7
/proc/16960/task/16962/stat : 16962 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628239360 22587 33554432000 4194304 4196468 140728131704752 139792062028944 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16963] ppid=16958 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16963/stat : 16963 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628239360 22587 33554432000 4194304 4196468 140728131704752 139792060976144 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16964] ppid=16958 vsize=26004140 memory=4620 CPUtime=0 cores=0-7
/proc/16960/task/16964/stat : 16964 (java) S 16958 16958 15606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149161626 26628239360 22587 33554432000 4194304 4196468 140728131704752 139792059923344 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
################
# More data... #
################
/proc/meminfo: memFree=22330416/32770624 swapFree=67108860/67108860
[pid=16958] ppid=16955 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16958/stat : 16958 (xcsp3-exec) S 16955 16958 15606 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149161625 9740288 345 33554432000 4194304 5098028 140724217548128 140724217546232 140703742055036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33079296 140724217549925 140724217550135 140724217550135 140724217552875 0
/proc/16958/statm: 2378 345 289 221 0 87 0
[pid=16960] ppid=16958 vsize=26539728 memory=5015496 CPUtime=19623.1 cores=0-7
/proc/16960/stat : 16960 (java) S 16958 16958 15606 0 -1 1077944320 590300 0 0 0 1960807 1504 0 0 20 0 28 0 149161625 27176681472 1253874 33554432000 4194304 4196468 140728131704752 140728131687296 139792109407991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
/proc/16960/statm: 6634932 1253874 3303 1 0 6622166 0
[pid=16960/tid=16961] ppid=16958 vsize=26539728 memory=5015484 CPUtime=42.79 cores=0-7
/proc/16960/task/16961/stat : 16961 (java) S 16958 16958 15606 0 -1 1077944384 13026 0 0 0 4269 10 0 0 20 0 28 0 149161625 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139792113648768 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16962] ppid=16958 vsize=26539728 memory=1380 CPUtime=8.79 cores=0-7
/proc/16960/task/16962/stat : 16962 (java) S 16958 16958 15606 0 -1 1077944384 24388 0 0 0 773 106 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139792062028944 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16963] ppid=16958 vsize=26539728 memory=5015484 CPUtime=8.83 cores=0-7
/proc/16960/task/16963/stat : 16963 (java) S 16958 16958 15606 0 -1 1077944384 26254 0 0 0 765 118 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139792060976144 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16964] ppid=16958 vsize=26539728 memory=5015484 CPUtime=8.78 cores=0-7
/proc/16960/task/16964/stat : 16964 (java) S 16958 16958 15606 0 -1 1077944384 23210 0 0 0 756 122 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139792059923344 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16965] ppid=16958 vsize=26539728 memory=5015484 CPUtime=8.89 cores=0-7
/proc/16960/task/16965/stat : 16965 (java) S 16958 16958 15606 0 -1 1077944384 23152 0 0 0 765 124 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791664806672 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16966] ppid=16958 vsize=26539728 memory=5015484 CPUtime=8.77 cores=0-7
/proc/16960/task/16966/stat : 16966 (java) S 16958 16958 15606 0 -1 1077944384 20039 0 0 0 759 118 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791663753872 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16967] ppid=16958 vsize=26539728 memory=1380 CPUtime=8.74 cores=0-7
/proc/16960/task/16967/stat : 16967 (java) S 16958 16958 15606 0 -1 1077944384 17985 0 0 0 768 106 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791662701072 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16968] ppid=16958 vsize=26539728 memory=1380 CPUtime=8.89 cores=0-7
/proc/16960/task/16968/stat : 16968 (java) S 16958 16958 15606 0 -1 1077944384 21441 0 0 0 767 122 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791661648272 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16969] ppid=16958 vsize=26539728 memory=1380 CPUtime=8.76 cores=0-7
/proc/16960/task/16969/stat : 16969 (java) S 16958 16958 15606 0 -1 1077944384 19933 0 0 0 762 114 0 0 20 0 28 0 149161626 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791660595472 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16970] ppid=16958 vsize=26539728 memory=1380 CPUtime=1.58 cores=0-7
/proc/16960/task/16970/stat : 16970 (java) S 16958 16958 15606 0 -1 1077944384 30574 0 0 0 149 9 0 0 20 0 28 0 149161628 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791438093168 139792109419138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16971] ppid=16958 vsize=26539728 memory=1380 CPUtime=0 cores=0-7
/proc/16960/task/16971/stat : 16971 (java) S 16958 16958 15606 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 149161628 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791437039200 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16972] ppid=16958 vsize=26539728 memory=97 CPUtime=0 cores=0-7
/proc/16960/task/16972/stat : 16972 (java) S 16958 16958 15606 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 149161628 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791435986304 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16973] ppid=16958 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/16960/task/16973/stat : 16973 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149161631 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791434934608 139792109426587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16974] ppid=16958 vsize=26539728 memory=1380 CPUtime=2.77 cores=0-7
/proc/16960/task/16974/stat : 16974 (java) S 16958 16958 15606 0 -1 1077944384 28787 0 0 0 271 6 0 0 20 0 28 0 149161631 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791433881968 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16975] ppid=16958 vsize=26539728 memory=33 CPUtime=2.74 cores=0-7
/proc/16960/task/16975/stat : 16975 (java) S 16958 16958 15606 0 -1 1077944384 30232 0 0 0 269 5 0 0 20 0 28 0 149161631 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791432829168 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16976] ppid=16958 vsize=26539728 memory=4140 CPUtime=3.09 cores=0-7
/proc/16960/task/16976/stat : 16976 (java) S 16958 16958 15606 0 -1 1077944384 27361 0 0 0 305 4 0 0 20 0 28 0 149161631 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791431776368 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16977] ppid=16958 vsize=26539728 memory=41372 CPUtime=0.97 cores=0-7
/proc/16960/task/16977/stat : 16977 (java) S 16958 16958 15606 0 -1 1077944384 20542 0 0 0 95 2 0 0 20 0 28 0 149161631 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791430723568 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16978] ppid=16958 vsize=26539728 memory=1380 CPUtime=0 cores=0-7
/proc/16960/task/16978/stat : 16978 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149161631 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791429672032 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16979] ppid=16958 vsize=26539728 memory=5015484 CPUtime=0.96 cores=0-7
/proc/16960/task/16979/stat : 16979 (java) S 16958 16958 15606 0 -1 1077944384 3706 0 0 0 62 34 0 0 20 0 28 0 149161631 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791428619312 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17261] ppid=16958 vsize=26539728 memory=1380 CPUtime=2430.21 cores=0-7
/proc/16960/task/17261/stat : 17261 (java) R 16958 16958 15606 0 -1 4202560 34406 0 0 0 242919 102 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791415344112 139791745678988 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17262] ppid=16958 vsize=26539728 memory=5015484 CPUtime=2438.04 cores=0-7
/proc/16960/task/17262/stat : 17262 (java) R 16958 16958 15606 0 -1 4202560 22365 0 0 0 243732 72 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791419555944 139791745678704 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17263] ppid=16958 vsize=26539728 memory=5015484 CPUtime=2429.24 cores=0-7
/proc/16960/task/17263/stat : 17263 (java) R 16958 16958 15606 0 -1 4202560 24966 0 0 0 242871 53 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791417450336 139791743621322 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17264] ppid=16958 vsize=26539728 memory=1380 CPUtime=2440.21 cores=0-7
/proc/16960/task/17264/stat : 17264 (java) R 16958 16958 15606 0 -1 4202560 31442 0 0 0 243925 96 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791416397536 139791745678896 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17265] ppid=16958 vsize=26539728 memory=5015484 CPUtime=2432.44 cores=0-7
/proc/16960/task/17265/stat : 17265 (java) R 16958 16958 15606 0 -1 4202560 43403 0 0 0 243206 38 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791414292064 139791745678704 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17266] ppid=16958 vsize=26539728 memory=5015484 CPUtime=2441.5 cores=0-7
/proc/16960/task/17266/stat : 17266 (java) R 16958 16958 15606 0 -1 4202560 32910 0 0 0 244078 72 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791413239152 139791742413981 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17267] ppid=16958 vsize=26539728 memory=1380 CPUtime=2429.02 cores=0-7
/proc/16960/task/17267/stat : 17267 (java) R 16958 16958 15606 0 -1 4202560 22241 0 0 0 242860 42 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791420611168 139791746325738 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17268] ppid=16958 vsize=26539728 memory=5015484 CPUtime=2441.33 cores=0-7
/proc/16960/task/17268/stat : 17268 (java) R 16958 16958 15606 0 -1 4202560 40138 0 0 0 244098 35 0 0 20 0 28 0 149166742 27176681472 1253874 33554432000 4194304 4196468 140728131704752 139791412187008 139791745678577 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
Current children cumulated CPU time: 19623.1 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 5016876 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.48 8.29 8.23 9/207 17322
/proc/meminfo: memFree=22330796/32770624 swapFree=67108860/67108860
[pid=16958] ppid=16955 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16958/stat : 16958 (xcsp3-exec) S 16955 16958 15606 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 149161625 9740288 345 33554432000 4194304 5098028 140724217548128 140724217546232 140703742055036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33079296 140724217549925 140724217550135 140724217550135 140724217552875 0
/proc/16958/statm: 2378 345 289 221 0 87 0
[pid=16960] ppid=16958 vsize=26539728 memory=5015012 CPUtime=19764.3 cores=0-7
/proc/16960/stat : 16960 (java) S 16958 16958 15606 0 -1 1077944320 600146 0 0 0 1974918 1513 0 0 20 0 28 0 149161625 27176681472 1253753 33554432000 4194304 4196468 140728131704752 140728131687296 139792109407991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
/proc/16960/statm: 6634932 1253753 3303 1 0 6622166 0
[pid=16960/tid=16961] ppid=16958 vsize=26539728 memory=6791534058613427641 CPUtime=42.79 cores=0-7
/proc/16960/task/16961/stat : 16961 (java) S 16958 16958 15606 0 -1 1077944384 13026 0 0 0 4269 10 0 0 20 0 28 0 149161625 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139792113648768 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16962] ppid=16958 vsize=26539728 memory=4872558044660077418 CPUtime=8.87 cores=0-7
/proc/16960/task/16962/stat : 16962 (java) S 16958 16958 15606 0 -1 1077944384 24589 0 0 0 781 106 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139792062028944 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16963] ppid=16958 vsize=26539728 memory=4048 CPUtime=8.91 cores=0-7
/proc/16960/task/16963/stat : 16963 (java) S 16958 16958 15606 0 -1 1077944384 26564 0 0 0 773 118 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139792060976144 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16964] ppid=16958 vsize=26539728 memory=18488 CPUtime=8.85 cores=0-7
/proc/16960/task/16964/stat : 16964 (java) S 16958 16958 15606 0 -1 1077944384 23306 0 0 0 763 122 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139792059923344 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16965] ppid=16958 vsize=26539728 memory=1796 CPUtime=8.97 cores=0-7
/proc/16960/task/16965/stat : 16965 (java) S 16958 16958 15606 0 -1 1077944384 23290 0 0 0 773 124 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791664806672 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16966] ppid=16958 vsize=26539728 memory=1236 CPUtime=8.85 cores=0-7
/proc/16960/task/16966/stat : 16966 (java) S 16958 16958 15606 0 -1 1077944384 20353 0 0 0 767 118 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791663753872 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16967] ppid=16958 vsize=26539728 memory=640 CPUtime=8.83 cores=0-7
/proc/16960/task/16967/stat : 16967 (java) S 16958 16958 15606 0 -1 1077944384 18197 0 0 0 777 106 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791662701072 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16968] ppid=16958 vsize=26539728 memory=956 CPUtime=8.97 cores=0-7
/proc/16960/task/16968/stat : 16968 (java) S 16958 16958 15606 0 -1 1077944384 21916 0 0 0 775 122 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791661648272 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16969] ppid=16958 vsize=26539728 memory=2424 CPUtime=8.84 cores=0-7
/proc/16960/task/16969/stat : 16969 (java) S 16958 16958 15606 0 -1 1077944384 20003 0 0 0 770 114 0 0 20 0 28 0 149161626 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791660595472 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16970] ppid=16958 vsize=26539728 memory=2240 CPUtime=1.59 cores=0-7
/proc/16960/task/16970/stat : 16970 (java) S 16958 16958 15606 0 -1 1077944384 31101 0 0 0 149 10 0 0 20 0 28 0 149161628 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791438093168 139792109419138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16971] ppid=16958 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16960/task/16971/stat : 16971 (java) S 16958 16958 15606 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 149161628 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791437039200 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16972] ppid=16958 vsize=26539728 memory=5015012 CPUtime=0 cores=0-7
/proc/16960/task/16972/stat : 16972 (java) S 16958 16958 15606 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 149161628 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791435986304 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16973] ppid=16958 vsize=26539728 memory=1576 CPUtime=0 cores=0-7
/proc/16960/task/16973/stat : 16973 (java) S 16958 16958 15606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149161631 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791434934608 139792109426587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16974] ppid=16958 vsize=26539728 memory=2196 CPUtime=2.77 cores=0-7
/proc/16960/task/16974/stat : 16974 (java) S 16958 16958 15606 0 -1 1077944384 28799 0 0 0 271 6 0 0 20 0 28 0 149161631 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791433881968 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16975] ppid=16958 vsize=26539728 memory=8040 CPUtime=2.74 cores=0-7
/proc/16960/task/16975/stat : 16975 (java) S 16958 16958 15606 0 -1 1077944384 30237 0 0 0 269 5 0 0 20 0 28 0 149161631 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791432829168 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16976] ppid=16958 vsize=26539728 memory=840 CPUtime=3.09 cores=0-7
/proc/16960/task/16976/stat : 16976 (java) S 16958 16958 15606 0 -1 1077944384 27366 0 0 0 305 4 0 0 20 0 28 0 149161631 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791431776368 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16977] ppid=16958 vsize=26539728 memory=1696 CPUtime=0.97 cores=0-7
/proc/16960/task/16977/stat : 16977 (java) S 16958 16958 15606 0 -1 1077944384 20548 0 0 0 95 2 0 0 20 0 28 0 149161631 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791430723568 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16978] ppid=16958 vsize=26539728 memory=920 CPUtime=0 cores=0-7
/proc/16960/task/16978/stat : 16978 (java) S 16958 16958 15606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149161631 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791429672032 139792109418197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=16979] ppid=16958 vsize=26539728 memory=6791534058613427641 CPUtime=0.98 cores=0-7
/proc/16960/task/16979/stat : 16979 (java) S 16958 16958 15606 0 -1 1077944384 3765 0 0 0 63 35 0 0 20 0 28 0 149161631 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791428619312 139792109419138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17261] ppid=16958 vsize=26539728 memory=277 CPUtime=2447.83 cores=0-7
/proc/16960/task/17261/stat : 17261 (java) R 16958 16958 15606 0 -1 4202560 35518 0 0 0 244679 104 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791415344000 139791745938217 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17262] ppid=16958 vsize=26539728 memory=274 CPUtime=2455.59 cores=0-7
/proc/16960/task/17262/stat : 17262 (java) R 16958 16958 15606 0 -1 4202560 23019 0 0 0 245486 73 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791419555944 139791746324081 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17263] ppid=16958 vsize=26539728 memory=309 CPUtime=2446.78 cores=0-7
/proc/16960/task/17263/stat : 17263 (java) R 16958 16958 15606 0 -1 4202560 25521 0 0 0 244624 54 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791417450472 139791742414273 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17264] ppid=16958 vsize=26539728 memory=97 CPUtime=2457.81 cores=0-7
/proc/16960/task/17264/stat : 17264 (java) R 16958 16958 15606 0 -1 4202560 32146 0 0 0 245685 96 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791416397672 139791745678988 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17265] ppid=16958 vsize=26539728 memory=0 CPUtime=2449.97 cores=0-7
/proc/16960/task/17265/stat : 17265 (java) R 16958 16958 15606 0 -1 4202560 45025 0 0 0 244957 40 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791414292200 139791745678704 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17266] ppid=16958 vsize=26539728 memory=96 CPUtime=2459.11 cores=0-7
/proc/16960/task/17266/stat : 17266 (java) R 16958 16958 15606 0 -1 4202560 33551 0 0 0 245838 73 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791413239624 139791745678724 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17267] ppid=16958 vsize=26539728 memory=244385 CPUtime=2446.51 cores=0-7
/proc/16960/task/17267/stat : 17267 (java) R 16958 16958 15606 0 -1 4202560 23023 0 0 0 244607 44 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791420608680 139791745678704 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
[pid=16960/tid=17268] ppid=16958 vsize=26539728 memory=245162 CPUtime=2458.94 cores=0-7
/proc/16960/task/17268/stat : 17268 (java) R 16958 16958 15606 0 -1 4202560 41485 0 0 0 245858 36 0 0 20 0 28 0 149166742 27176681472 1253753 33554432000 4194304 4196468 140728131704752 139791412189632 139791745678704 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9322496 140728131708050 140728131708227 140728131708227 140728131710927 0
Current children cumulated CPU time: 19764.3 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 5016392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 16958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001873 s, system=0 s
[startup+2520.15 s]
# the end of solver process 16960 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19750.1 s, system=15.161 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
[startup+2520.13 s]*
/proc/loadavg: 8.48 8.29 8.23 2/180 17324
/proc/meminfo: memFree=24027644/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001873 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.15
CPU time (s): 19765.2
CPU user time (s): 19750.1
CPU system time (s): 15.161
CPU usage (%): 784.29
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 5202820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19750.1
system time used= 15.161
maximum resident set size= 5201528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81993
involuntary context switches= 204265
# summary of solver processes directly reported to runsolver:
# pid: 16958,16960
# total CPU time (s): 19765.2
# total CPU user time (s): 19750.1
# total CPU system time (s): 15.161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4181 second user time and 31.1961 second system time
The end
Begin job on node106 at 2017-08-19 18:24:40
IDJOB=4280626
IDBENCH=135794
IDSOLVER=2675
FILE ID=node106/4280626-1503160740
RUNJOBID= node106-1503155882-15633
PBS_JOBID= 20630818
Free space on /tmp= 61820 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-15.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-4280626-1503160740/watcher-4280626-1503160740 -o /tmp/evaluation-result-4280626-1503160740/solver-4280626-1503160740 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503155882-15633 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 768922669 HOME/instance-4280626-1503160740.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 97b5a288822c02a27c7c951fc8651369
RANDOM SEED=768922669
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: 27343832 kB
MemAvailable: 31970952 kB
Buffers: 236408 kB
Cached: 4682920 kB
SwapCached: 0 kB
Active: 1064680 kB
Inactive: 3910428 kB
Active(anon): 11836 kB
Inactive(anon): 80012 kB
Active(file): 1052844 kB
Inactive(file): 3830416 kB
Unevictable: 7764 kB
Mlocked: 7764 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7576 kB
Writeback: 4 kB
AnonPages: 63760 kB
Mapped: 51204 kB
Shmem: 33420 kB
Slab: 146200 kB
SReclaimable: 119392 kB
SUnreclaim: 26808 kB
KernelStack: 3168 kB
PageTables: 4724 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 334328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-19 19:06:40