0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271806-1502644900.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271806-1502644900.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
55.43/43.77 c solve instance...
66.14/45.33 o 2425
66.14/45.36 o 2414
66.48/45.44 o 2404
66.48/45.47 o 2381
66.93/45.57 o 2375
67.18/45.69 o 2373
68.97/46.00 o 2369
69.41/46.02 o 2365
69.80/46.17 o 2360
70.09/46.26 o 2358
71.81/47.45 o 2348
71.81/47.47 o 2346
72.08/47.59 o 2340
72.26/47.68 o 2338
72.71/47.82 o 654
72.71/47.89 o 653
73.08/47.95 o 652
73.29/48.07 o 650
73.50/48.16 o 646
73.71/48.24 o 645
73.71/48.27 o 643
74.08/48.37 o 635
74.33/48.47 o 631
74.60/48.50 o 630
74.82/48.64 o 627
75.10/48.75 o 626
75.29/48.89 o 625
75.48/49.00 o 624
75.69/49.09 o 623
76.03/49.18 o 621
77.36/49.43 o 586
77.65/49.56 o 578
77.89/49.63 o 577
78.11/49.70 o 576
78.11/49.75 o 573
1682.14/252.08 s SATISFIABLE
1682.14/252.08 v <instantiation>
1682.14/252.08 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>
1682.14/252.08 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>
1682.14/252.08 v </instantiation>
1682.14/252.08 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 (12926 MiB free)
memory of node 1: 16384 MiB (14992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271806-1502644900/watcher-4271806-1502644900 -o /tmp/evaluation-result-4271806-1502644900/solver-4271806-1502644900 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2021976891 HOME/instance-4271806-1502644900.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15904, runsolver pid=15901
[startup+0.100137 s]*
/proc/loadavg: 8.38 8.30 7.17 2/199 15925
/proc/meminfo: memFree=28573232/32770624 swapFree=67108860/67108860
[pid=15904] ppid=15901 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15904/stat : 15904 (xcsp3-exec) S 15901 15904 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97577914 9740288 345 33554432000 4194304 5098028 140729181253008 140729181251112 139901430923900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22462464 140729181254762 140729181254972 140729181254972 140729181257707 0
/proc/15904/statm: 2378 345 289 221 0 87 0
[pid=15906] ppid=15904 vsize=25999808 memory=26124 CPUtime=0.11 cores=0-7
/proc/15906/stat : 15906 (java) S 15904 15904 4410 0 -1 1077944320 5470 0 0 0 10 1 0 0 20 0 20 0 97577914 26623803392 6531 33554432000 4194304 4196468 140731154579760 140731154562304 140240462913271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
/proc/15906/statm: 6499952 6531 2842 1 0 6488269 0
[pid=15906/tid=15907] ppid=15904 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15906/task/15907/stat : 15907 (java) R 15904 15904 4410 0 -1 4202560 3482 0 0 0 8 1 0 0 20 0 20 0 97577914 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240467146544 140240462925206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15908] ppid=15904 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15906/task/15908/stat : 15908 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240415533968 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15909] ppid=15904 vsize=25999808 memory=140164584052352 CPUtime=0 cores=0-7
/proc/15906/task/15909/stat : 15909 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240414481168 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15910] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15910/stat : 15910 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240019127440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15911] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15911/stat : 15911 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240018074640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15912] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15912/stat : 15912 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240017021328 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15913] ppid=15904 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15906/task/15913/stat : 15913 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240015968528 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15914] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15914/stat : 15914 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240014916240 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15915] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15915/stat : 15915 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97577915 26623803392 6531 33554432000 4194304 4196468 140731154579760 140240013863440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15916] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15916/stat : 15916 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577917 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238668081776 140240462924418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15917] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15917/stat : 15917 (java) S 15904 15904 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97577917 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238667027744 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15918] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15918/stat : 15918 (java) S 15904 15904 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97577917 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238665975408 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15919] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15919/stat : 15919 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577920 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238664923728 140240462931867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15920] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15920/stat : 15920 (java) S 15904 15904 4410 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 97577920 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238663870576 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15921] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15921/stat : 15921 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577920 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238662817776 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15922] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15922/stat : 15922 (java) S 15904 15904 4410 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97577920 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238661765488 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15923] ppid=15904 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15906/task/15923/stat : 15923 (java) S 15904 15904 4410 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 97577920 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238660712688 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15924] ppid=15904 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15924/stat : 15924 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97577920 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238659660640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15925] ppid=15904 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15906/task/15925/stat : 15925 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577920 26623803392 6531 33554432000 4194304 4196468 140731154579760 140238658607920 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27504 KiB
[startup+0.210538 s]*
/proc/loadavg: 8.38 8.30 7.17 2/199 15925
/proc/meminfo: memFree=28562192/32770624 swapFree=67108860/67108860
[pid=15904] ppid=15901 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15904/stat : 15904 (xcsp3-exec) S 15901 15904 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97577914 9740288 345 33554432000 4194304 5098028 140729181253008 140729181251112 139901430923900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22462464 140729181254762 140729181254972 140729181254972 140729181257707 0
/proc/15904/statm: 2378 345 289 221 0 87 0
[pid=15906] ppid=15904 vsize=26004064 memory=38584 CPUtime=0.33 cores=0-7
/proc/15906/stat : 15906 (java) S 15904 15904 4410 0 -1 1077944320 8214 0 0 0 30 3 0 0 20 0 20 0 97577914 26628161536 9646 33554432000 4194304 4196468 140731154579760 140731154562304 140240462913271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
/proc/15906/statm: 6501016 9646 3038 1 0 6488269 0
[pid=15906/tid=15907] ppid=15904 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15906/task/15907/stat : 15907 (java) R 15904 15904 4410 0 -1 4202560 5397 0 0 0 18 2 0 0 20 0 20 0 97577914 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240467136176 140240446993758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15908] ppid=15904 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/15906/task/15908/stat : 15908 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240415533968 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15909] ppid=15904 vsize=26004064 memory=140164584065443 CPUtime=0 cores=0-7
/proc/15906/task/15909/stat : 15909 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240414481168 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15910] ppid=15904 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15906/task/15910/stat : 15910 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240019127440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15911] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15911/stat : 15911 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240018074640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15912] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15912/stat : 15912 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240017021328 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15913] ppid=15904 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15906/task/15913/stat : 15913 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240015968528 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15914] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15914/stat : 15914 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240014916240 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15915] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15915/stat : 15915 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 9646 33554432000 4194304 4196468 140731154579760 140240013863440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15916] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15916/stat : 15916 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577917 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238668081776 140240462924418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15917] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15917/stat : 15917 (java) S 15904 15904 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97577917 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238667027744 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15918] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15918/stat : 15918 (java) S 15904 15904 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97577917 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238665975408 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15919] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15919/stat : 15919 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577920 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238664923728 140240462931867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15920] ppid=15904 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/15906/task/15920/stat : 15920 (java) S 15904 15904 4410 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 20 0 97577920 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238663870576 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15921] ppid=15904 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15906/task/15921/stat : 15921 (java) S 15904 15904 4410 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 97577920 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238662817776 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15922] ppid=15904 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/15906/task/15922/stat : 15922 (java) S 15904 15904 4410 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 97577920 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238661765488 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15923] ppid=15904 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/15906/task/15923/stat : 15923 (java) R 15904 15904 4410 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 97577920 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238660712688 140240441932566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15924] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15924/stat : 15924 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97577920 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238659660640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15925] ppid=15904 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15906/task/15925/stat : 15925 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577920 26628161536 9646 33554432000 4194304 4196468 140731154579760 140238658607920 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39964 KiB
[startup+0.310348 s]*
/proc/loadavg: 8.38 8.30 7.17 4/199 15925
/proc/meminfo: memFree=28554904/32770624 swapFree=67108860/67108860
[pid=15904] ppid=15901 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15904/stat : 15904 (xcsp3-exec) S 15901 15904 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97577914 9740288 345 33554432000 4194304 5098028 140729181253008 140729181251112 139901430923900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22462464 140729181254762 140729181254972 140729181254972 140729181257707 0
/proc/15904/statm: 2378 345 289 221 0 87 0
[pid=15906] ppid=15904 vsize=26004064 memory=45556 CPUtime=0.5 cores=0-7
/proc/15906/stat : 15906 (java) S 15904 15904 4410 0 -1 1077944320 9172 0 0 0 47 3 0 0 20 0 20 0 97577914 26628161536 11389 33554432000 4194304 4196468 140731154579760 140731154562304 140240462913271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
/proc/15906/statm: 6501016 11389 3099 1 0 6488269 0
[pid=15906/tid=15907] ppid=15904 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15906/task/15907/stat : 15907 (java) R 15904 15904 4410 0 -1 4202560 6067 0 0 0 27 2 0 0 20 0 20 0 97577914 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240467150784 140240094331284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15908] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15908/stat : 15908 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240415533968 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15909] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15909/stat : 15909 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240414481168 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15910] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15910/stat : 15910 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240019127440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15911] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15911/stat : 15911 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240018074640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15912] ppid=15904 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15906/task/15912/stat : 15912 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240017021328 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15913] ppid=15904 vsize=26004064 memory=140164445860783 CPUtime=0 cores=0-7
/proc/15906/task/15913/stat : 15913 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240015968528 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15914] ppid=15904 vsize=26004064 memory=140164445863088 CPUtime=0 cores=0-7
/proc/15906/task/15914/stat : 15914 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240014916240 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15915] ppid=15904 vsize=26004064 memory=140164445865392 CPUtime=0 cores=0-7
/proc/15906/task/15915/stat : 15915 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97577915 26628161536 11389 33554432000 4194304 4196468 140731154579760 140240013863440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15916] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15916/stat : 15916 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577917 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238668081776 140240462924418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15917] ppid=15904 vsize=26004064 memory=280328891737744 CPUtime=0 cores=0-7
/proc/15906/task/15917/stat : 15917 (java) S 15904 15904 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97577917 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238667027744 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15918] ppid=15904 vsize=26004064 memory=280328891744656 CPUtime=0 cores=0-7
/proc/15906/task/15918/stat : 15918 (java) S 15904 15904 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97577917 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238665975408 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15919] ppid=15904 vsize=26004064 memory=280328891685936 CPUtime=0 cores=0-7
/proc/15906/task/15919/stat : 15919 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577920 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238664923728 140240462931867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15920] ppid=15904 vsize=26004064 memory=280328891758480 CPUtime=0.02 cores=0-7
/proc/15906/task/15920/stat : 15920 (java) S 15904 15904 4410 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 97577920 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238663870576 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15921] ppid=15904 vsize=26004064 memory=280328891765392 CPUtime=0.02 cores=0-7
/proc/15906/task/15921/stat : 15921 (java) R 15904 15904 4410 0 -1 4202560 229 0 0 0 2 0 0 0 20 0 20 0 97577920 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238662808160 140240448977486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15922] ppid=15904 vsize=26004064 memory=280328891763088 CPUtime=0.02 cores=0-7
/proc/15906/task/15922/stat : 15922 (java) S 15904 15904 4410 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 20 0 97577920 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238661765488 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15923] ppid=15904 vsize=26004064 memory=280328891779248 CPUtime=0.12 cores=0-7
/proc/15906/task/15923/stat : 15923 (java) R 15904 15904 4410 0 -1 4202560 857 0 0 0 12 0 0 0 20 0 20 0 97577920 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238660712688 140240448078835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15924] ppid=15904 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15924/stat : 15924 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97577920 26628161536 11389 33554432000 4194304 4196468 140731154579760 140238659660640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15925] ppid=15904 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15906/task/15925/stat : 15925 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577920 26628161536 11455 33554432000 4194304 4196468 140731154579760 140238658607920 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46936 KiB
[startup+0.700977 s]
/proc/loadavg: 8.38 8.30 7.17 6/199 15925
/proc/meminfo: memFree=28513212/32770624 swapFree=67108860/67108860
[pid=15904] ppid=15901 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15904/stat : 15904 (xcsp3-exec) S 15901 15904 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97577914 9740288 345 33554432000 4194304 5098028 140729181253008 140729181251112 139901430923900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22462464 140729181254762 140729181254972 140729181254972 140729181257707 0
/proc/15904/statm: 2378 345 289 221 0 87 0
[pid=15906] ppid=15904 vsize=26004140 memory=90636 CPUtime=1.59 cores=0-7
/proc/15906/stat : 15906 (java) S 15904 15904 4410 0 -1 1077944320 13162 0 0 0 154 5 0 0 20 0 20 0 97577914 26628239360 22659 33554432000 4194304 4196468 140731154579760 140731154562304 140240462913271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
/proc/15906/statm: 6501035 22659 3192 1 0 6488269 0
[pid=15906/tid=15907] ppid=15904 vsize=26004140 memory=280328892137136 CPUtime=0.67 cores=0-7
/proc/15906/task/15907/stat : 15907 (java) R 15904 15904 4410 0 -1 4202560 6407 0 0 0 64 3 0 0 20 0 20 0 97577914 26628239360 22659 33554432000 4194304 4196468 140731154579760 140240467151704 140240096591378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15908] ppid=15904 vsize=26004140 memory=140164446069616 CPUtime=0 cores=0-7
/proc/15906/task/15908/stat : 15908 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628239360 22659 33554432000 4194304 4196468 140731154579760 140240415533968 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15909] ppid=15904 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/15906/task/15909/stat : 15909 (java) S 15904 15904 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97577915 26628239360 22659 33554432000 4194304 4196468 140731154579760 140240414481168 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15910] ppid=15904 vsize=26004140 memory=11008 CPUtime=0 cores=0-7
/proc/15906/task/15910/stat : 15910 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97577915 26628239360 22659 33554432000 4194304 4196468 140731154579760 140240019127440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
################
# More data... #
################
[pid=15906/tid=16213] ppid=15904 vsize=26539728 memory=1380 CPUtime=109.21 cores=0-7
/proc/15906/task/16213/stat : 16213 (java) R 15904 15904 4410 0 -1 4202560 4781 0 0 0 10910 11 0 0 20 0 28 0 97582890 27176681472 990652 33554432000 4194304 4196468 140731154579760 140238645333912 140240100072817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
Current children cumulated CPU time: 966.75 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 3963988 KiB
[startup+222.302 s]
/proc/loadavg: 8.23 7.82 7.16 9/208 16220
/proc/meminfo: memFree=24614808/32770624 swapFree=67108860/67108860
[pid=15904] ppid=15901 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15904/stat : 15904 (xcsp3-exec) S 15901 15904 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97577914 9740288 345 33554432000 4194304 5098028 140729181253008 140729181251112 139901430923900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22462464 140729181254762 140729181254972 140729181254972 140729181257707 0
/proc/15904/statm: 2378 345 289 221 0 87 0
[pid=15906] ppid=15904 vsize=26539728 memory=3980544 CPUtime=1445.15 cores=0-7
/proc/15906/stat : 15906 (java) S 15904 15904 4410 0 -1 1077944320 359034 0 0 0 143625 890 0 0 20 0 28 0 97577914 27176681472 995136 33554432000 4194304 4196468 140731154579760 140731154562304 140240462913271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
/proc/15906/statm: 6634932 995136 3301 1 0 6622166 0
[pid=15906/tid=15907] ppid=15904 vsize=26539728 memory=1380 CPUtime=41.82 cores=0-7
/proc/15906/task/15907/stat : 15907 (java) S 15904 15904 4410 0 -1 1077944384 13448 0 0 0 4173 9 0 0 20 0 28 0 97577914 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240467154048 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15908] ppid=15904 vsize=26539728 memory=3980544 CPUtime=3.66 cores=0-7
/proc/15906/task/15908/stat : 15908 (java) S 15904 15904 4410 0 -1 1077944384 10283 0 0 0 281 85 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240415533968 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15909] ppid=15904 vsize=26539728 memory=3980544 CPUtime=3.6 cores=0-7
/proc/15906/task/15909/stat : 15909 (java) S 15904 15904 4410 0 -1 1077944384 9280 0 0 0 280 80 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240414481168 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15910] ppid=15904 vsize=26539728 memory=3980544 CPUtime=3.68 cores=0-7
/proc/15906/task/15910/stat : 15910 (java) S 15904 15904 4410 0 -1 1077944384 8392 0 0 0 284 84 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240019127440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15911] ppid=15904 vsize=26539728 memory=3980640 CPUtime=3.65 cores=0-7
/proc/15906/task/15911/stat : 15911 (java) S 15904 15904 4410 0 -1 1077944384 7599 0 0 0 278 87 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240018074640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15912] ppid=15904 vsize=26539728 memory=2428 CPUtime=3.64 cores=0-7
/proc/15906/task/15912/stat : 15912 (java) S 15904 15904 4410 0 -1 1077944384 7665 0 0 0 286 78 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240017021328 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15913] ppid=15904 vsize=26539728 memory=3980640 CPUtime=3.67 cores=0-7
/proc/15906/task/15913/stat : 15913 (java) S 15904 15904 4410 0 -1 1077944384 8802 0 0 0 285 82 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240015968528 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15914] ppid=15904 vsize=26539728 memory=0 CPUtime=3.66 cores=0-7
/proc/15906/task/15914/stat : 15914 (java) S 15904 15904 4410 0 -1 1077944384 9665 0 0 0 285 81 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240014916240 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15915] ppid=15904 vsize=26539728 memory=4140 CPUtime=3.59 cores=0-7
/proc/15906/task/15915/stat : 15915 (java) S 15904 15904 4410 0 -1 1077944384 8409 0 0 0 283 76 0 0 20 0 28 0 97577915 27176681472 995136 33554432000 4194304 4196468 140731154579760 140240013863440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15916] ppid=15904 vsize=26539728 memory=28156 CPUtime=1.77 cores=0-7
/proc/15906/task/15916/stat : 15916 (java) S 15904 15904 4410 0 -1 1077944384 14160 0 0 0 175 2 0 0 20 0 28 0 97577917 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238668081776 140240462924418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15917] ppid=15904 vsize=26539728 memory=4100 CPUtime=0 cores=0-7
/proc/15906/task/15917/stat : 15917 (java) S 15904 15904 4410 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 97577917 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238667027808 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15918] ppid=15904 vsize=26539728 memory=1156 CPUtime=0 cores=0-7
/proc/15906/task/15918/stat : 15918 (java) S 15904 15904 4410 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 97577917 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238665975424 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15919] ppid=15904 vsize=26539728 memory=3980692 CPUtime=0 cores=0-7
/proc/15906/task/15919/stat : 15919 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97577920 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238664923728 140240462931867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15920] ppid=15904 vsize=26539728 memory=1380 CPUtime=2.76 cores=0-7
/proc/15906/task/15920/stat : 15920 (java) S 15904 15904 4410 0 -1 1077944384 22670 0 0 0 271 5 0 0 20 0 28 0 97577920 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238663870576 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15921] ppid=15904 vsize=26539728 memory=1380 CPUtime=2.55 cores=0-7
/proc/15906/task/15921/stat : 15921 (java) S 15904 15904 4410 0 -1 1077944384 22334 0 0 0 251 4 0 0 20 0 28 0 97577920 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238662817776 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15922] ppid=15904 vsize=26539728 memory=3980856 CPUtime=2.17 cores=0-7
/proc/15906/task/15922/stat : 15922 (java) S 15904 15904 4410 0 -1 1077944384 14530 0 0 0 213 4 0 0 20 0 28 0 97577920 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238661765488 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15923] ppid=15904 vsize=26539728 memory=410 CPUtime=0.91 cores=0-7
/proc/15906/task/15923/stat : 15923 (java) S 15904 15904 4410 0 -1 1077944384 14273 0 0 0 88 3 0 0 20 0 28 0 97577920 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238660712688 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15924] ppid=15904 vsize=26539728 memory=127 CPUtime=0 cores=0-7
/proc/15906/task/15924/stat : 15924 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97577920 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238659660640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15925] ppid=15904 vsize=26539728 memory=1380 CPUtime=0.1 cores=0-7
/proc/15906/task/15925/stat : 15925 (java) S 15904 15904 4410 0 -1 1077944384 2081 0 0 0 3 7 0 0 20 0 28 0 97577920 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238658607920 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16206] ppid=15904 vsize=26539728 memory=3980692 CPUtime=168.25 cores=0-7
/proc/15906/task/16206/stat : 16206 (java) R 15904 15904 4410 0 -1 4202560 55194 0 0 0 16797 28 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238650596704 140240100073290 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16207] ppid=15904 vsize=26539728 memory=3980856 CPUtime=169.08 cores=0-7
/proc/15906/task/16207/stat : 16207 (java) R 15904 15904 4410 0 -1 4202560 6236 0 0 0 16896 12 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238642176112 140240100073059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16208] ppid=15904 vsize=26539728 memory=1380 CPUtime=168.76 cores=0-7
/proc/15906/task/16208/stat : 16208 (java) R 15904 15904 4410 0 -1 4202560 9368 0 0 0 16859 17 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238646386408 140240100073059 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16209] ppid=15904 vsize=26539728 memory=3980796 CPUtime=168.59 cores=0-7
/proc/15906/task/16209/stat : 16209 (java) R 15904 15904 4410 0 -1 4202560 9314 0 0 0 16818 41 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238649544296 140240100073059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16210] ppid=15904 vsize=26539728 memory=1380 CPUtime=169.08 cores=0-7
/proc/15906/task/16210/stat : 16210 (java) R 15904 15904 4410 0 -1 4202560 9769 0 0 0 16882 26 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238647439336 140240100073079 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16211] ppid=15904 vsize=26539728 memory=1380 CPUtime=168.76 cores=0-7
/proc/15906/task/16211/stat : 16211 (java) R 15904 15904 4410 0 -1 4202560 67365 0 0 0 16848 28 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238648491568 140240100530187 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16212] ppid=15904 vsize=26539728 memory=3980544 CPUtime=168.1 cores=0-7
/proc/15906/task/16212/stat : 16212 (java) R 15904 15904 4410 0 -1 4202560 6298 0 0 0 16803 7 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238644281312 140240100073059 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16213] ppid=15904 vsize=26539728 memory=1380 CPUtime=168.81 cores=0-7
/proc/15906/task/16213/stat : 16213 (java) R 15904 15904 4410 0 -1 4202560 7939 0 0 0 16868 13 0 0 20 0 28 0 97582890 27176681472 995136 33554432000 4194304 4196468 140731154579760 140238645333960 140240100073059 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
Current children cumulated CPU time: 1445.15 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 3981924 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.48 7.91 7.21 9/208 16220
/proc/meminfo: memFree=24616000/32770624 swapFree=67108860/67108860
[pid=15904] ppid=15901 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/15904/stat : 15904 (xcsp3-exec) S 15901 15904 4410 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97577914 9740288 345 33554432000 4194304 5098028 140729181253008 140729181251112 139901430923900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22462464 140729181254762 140729181254972 140729181254972 140729181257707 0
/proc/15904/statm: 2378 345 289 221 0 87 0
[pid=15906] ppid=15904 vsize=26539728 memory=3980368 CPUtime=1682.14 cores=0-7
/proc/15906/stat : 15906 (java) S 15904 15904 4410 0 -1 1077944320 371542 0 0 0 167317 897 0 0 20 0 28 0 97577914 27176681472 995092 33554432000 4194304 4196468 140731154579760 140731154562304 140240462913271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
/proc/15906/statm: 6634932 995092 3301 1 0 6622166 0
[pid=15906/tid=15907] ppid=15904 vsize=26539728 memory=6791534058613427641 CPUtime=41.82 cores=0-7
/proc/15906/task/15907/stat : 15907 (java) S 15904 15904 4410 0 -1 1077944384 13448 0 0 0 4173 9 0 0 20 0 28 0 97577914 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240467154048 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15908] ppid=15904 vsize=26539728 memory=4872558044660077418 CPUtime=3.72 cores=0-7
/proc/15906/task/15908/stat : 15908 (java) S 15904 15904 4410 0 -1 1077944384 10532 0 0 0 287 85 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240415533968 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15909] ppid=15904 vsize=26539728 memory=952 CPUtime=3.67 cores=0-7
/proc/15906/task/15909/stat : 15909 (java) S 15904 15904 4410 0 -1 1077944384 9571 0 0 0 287 80 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240414481168 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15910] ppid=15904 vsize=26539728 memory=2340 CPUtime=3.74 cores=0-7
/proc/15906/task/15910/stat : 15910 (java) S 15904 15904 4410 0 -1 1077944384 8626 0 0 0 290 84 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240019127440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15911] ppid=15904 vsize=26539728 memory=1580 CPUtime=3.72 cores=0-7
/proc/15906/task/15911/stat : 15911 (java) S 15904 15904 4410 0 -1 1077944384 8224 0 0 0 285 87 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240018074640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15912] ppid=15904 vsize=26539728 memory=928 CPUtime=3.7 cores=0-7
/proc/15906/task/15912/stat : 15912 (java) S 15904 15904 4410 0 -1 1077944384 8377 0 0 0 292 78 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240017021328 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15913] ppid=15904 vsize=26539728 memory=2240 CPUtime=3.74 cores=0-7
/proc/15906/task/15913/stat : 15913 (java) S 15904 15904 4410 0 -1 1077944384 9267 0 0 0 291 83 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240015968528 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15914] ppid=15904 vsize=26539728 memory=4128 CPUtime=3.71 cores=0-7
/proc/15906/task/15914/stat : 15914 (java) S 15904 15904 4410 0 -1 1077944384 9817 0 0 0 290 81 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240014916240 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15915] ppid=15904 vsize=26539728 memory=2196 CPUtime=3.65 cores=0-7
/proc/15906/task/15915/stat : 15915 (java) S 15904 15904 4410 0 -1 1077944384 9030 0 0 0 289 76 0 0 20 0 28 0 97577915 27176681472 995092 33554432000 4194304 4196468 140731154579760 140240013863440 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15916] ppid=15904 vsize=26539728 memory=3980408 CPUtime=1.77 cores=0-7
/proc/15906/task/15916/stat : 15916 (java) S 15904 15904 4410 0 -1 1077944384 14432 0 0 0 175 2 0 0 20 0 28 0 97577917 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238668081776 140240462924418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15917] ppid=15904 vsize=26539728 memory=4616 CPUtime=0 cores=0-7
/proc/15906/task/15917/stat : 15917 (java) S 15904 15904 4410 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 97577917 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238667027808 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15918] ppid=15904 vsize=26539728 memory=1008 CPUtime=0 cores=0-7
/proc/15906/task/15918/stat : 15918 (java) S 15904 15904 4410 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 97577917 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238665975424 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15919] ppid=15904 vsize=26539728 memory=11008 CPUtime=0 cores=0-7
/proc/15906/task/15919/stat : 15919 (java) S 15904 15904 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97577920 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238664923728 140240462931867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15920] ppid=15904 vsize=26539728 memory=1228 CPUtime=2.76 cores=0-7
/proc/15906/task/15920/stat : 15920 (java) S 15904 15904 4410 0 -1 1077944384 22673 0 0 0 271 5 0 0 20 0 28 0 97577920 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238663870576 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15921] ppid=15904 vsize=26539728 memory=1420 CPUtime=2.55 cores=0-7
/proc/15906/task/15921/stat : 15921 (java) S 15904 15904 4410 0 -1 1077944384 22338 0 0 0 251 4 0 0 20 0 28 0 97577920 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238662817776 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15922] ppid=15904 vsize=26539728 memory=15872 CPUtime=2.17 cores=0-7
/proc/15906/task/15922/stat : 15922 (java) S 15904 15904 4410 0 -1 1077944384 14533 0 0 0 213 4 0 0 20 0 28 0 97577920 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238661765488 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15923] ppid=15904 vsize=26539728 memory=1156 CPUtime=0.91 cores=0-7
/proc/15906/task/15923/stat : 15923 (java) S 15904 15904 4410 0 -1 1077944384 14456 0 0 0 88 3 0 0 20 0 28 0 97577920 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238660712688 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15924] ppid=15904 vsize=26539728 memory=3780 CPUtime=0 cores=0-7
/proc/15906/task/15924/stat : 15924 (java) S 15904 15904 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97577920 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238659660640 140240462923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=15925] ppid=15904 vsize=26539728 memory=1380 CPUtime=0.11 cores=0-7
/proc/15906/task/15925/stat : 15925 (java) S 15904 15904 4410 0 -1 1077944384 2106 0 0 0 3 8 0 0 20 0 28 0 97577920 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238658607920 140240462924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16206] ppid=15904 vsize=26539728 memory=3980408 CPUtime=197.37 cores=0-7
/proc/15906/task/16206/stat : 16206 (java) R 15904 15904 4410 0 -1 4202560 57443 0 0 0 19708 29 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238650596952 140240097880930 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16207] ppid=15904 vsize=26539728 memory=1228 CPUtime=198.72 cores=0-7
/proc/15906/task/16207/stat : 16207 (java) R 15904 15904 4410 0 -1 4202560 6466 0 0 0 19859 13 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238642176584 140240100221104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16208] ppid=15904 vsize=26539728 memory=1420 CPUtime=198.4 cores=0-7
/proc/15906/task/16208/stat : 16208 (java) R 15904 15904 4410 0 -1 4202560 10229 0 0 0 19822 18 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238646386160 140240100073231 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16209] ppid=15904 vsize=26539728 memory=1380 CPUtime=198.22 cores=0-7
/proc/15906/task/16209/stat : 16209 (java) R 15904 15904 4410 0 -1 4202560 9760 0 0 0 19780 42 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238649544520 140240100530145 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16210] ppid=15904 vsize=26539728 memory=8552 CPUtime=198.72 cores=0-7
/proc/15906/task/16210/stat : 16210 (java) R 15904 15904 4410 0 -1 4202560 10234 0 0 0 19845 27 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238647439320 140240097881068 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16211] ppid=15904 vsize=26539728 memory=5516 CPUtime=198.4 cores=0-7
/proc/15906/task/16211/stat : 16211 (java) R 15904 15904 4410 0 -1 4202560 70858 0 0 0 19811 29 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238648491880 140240100073059 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16212] ppid=15904 vsize=26539728 memory=4616 CPUtime=197.73 cores=0-7
/proc/15906/task/16212/stat : 16212 (java) R 15904 15904 4410 0 -1 4202560 6723 0 0 0 19766 7 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238644283856 140240100073079 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
[pid=15906/tid=16213] ppid=15904 vsize=26539728 memory=1008 CPUtime=198.35 cores=0-7
/proc/15906/task/16213/stat : 16213 (java) R 15904 15904 4410 0 -1 4202560 8439 0 0 0 19821 14 0 0 20 0 28 0 97582890 27176681472 995092 33554432000 4194304 4196468 140731154579760 140238645333736 140240101447839 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27865088 140731154584728 140731154584904 140731154584904 140731154587599 0
Current children cumulated CPU time: 1682.14 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 3981748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.044 s]
# the end of solver process 15904 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001935 s, system=0 s
[startup+252.125 s]
# the end of solver process 15906 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1673.89 s, system=8.99565 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): 252.125
CPU time (s): 1682.89
CPU user time (s): 1673.89
CPU system time (s): 8.99565
CPU usage (%): 667.481
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 3982236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.89
system time used= 8.99565
maximum resident set size= 3980976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18187
involuntary context switches= 19748
# summary of solver processes directly reported to runsolver:
# pid: 15904,15906
# total CPU time (s): 1682.89
# total CPU user time (s): 1673.89
# total CPU system time (s): 8.99565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07838 second user time and 3.09925 second system time
The end
Begin job on node104 at 2017-08-13 19:07:22
IDJOB=4271806
IDBENCH=135794
IDSOLVER=2663
FILE ID=node104/4271806-1502644900
RUNJOBID= node104-1502637289-4437
PBS_JOBID= 20628328
Free space on /tmp= 61864 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-4271806-1502644900/watcher-4271806-1502644900 -o /tmp/evaluation-result-4271806-1502644900/solver-4271806-1502644900 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2021976891 HOME/instance-4271806-1502644900.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 97b5a288822c02a27c7c951fc8651369
RANDOM SEED=2021976891
node104.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.43
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.43
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.43
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.43
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: 28588864 kB
MemAvailable: 31982532 kB
Buffers: 163448 kB
Cached: 3511472 kB
SwapCached: 0 kB
Active: 402772 kB
Inactive: 3323348 kB
Active(anon): 54056 kB
Inactive(anon): 25024 kB
Active(file): 348716 kB
Inactive(file): 3298324 kB
Unevictable: 6532 kB
Mlocked: 6532 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7916 kB
Writeback: 0 kB
AnonPages: 57312 kB
Mapped: 43708 kB
Shmem: 25228 kB
Slab: 150552 kB
SReclaimable: 124928 kB
SUnreclaim: 25624 kB
KernelStack: 3184 kB
PageTables: 5112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 61856 MiB
End job on node104 at 2017-08-13 19:11:34