Trace number 4247960

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)20 2400.82 327.834

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-13.xml
MD5SUM83249ccae4b5534eb2335929a7f4c3a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark19880.199
Satisfiable
(Un)Satisfiability was proved
Number of variables209
Number of constraints208
Number of domains2
Minimum domain size2
Maximum domain size169
Distribution of domain sizes[{"size":2,"count":39},{"size":169,"count":170}]
Minimum variable degree2
Maximum variable degree39
Distribution of variable degrees[{"degree":2,"count":41},{"degree":3,"count":128},{"degree":4,"count":39},{"degree":39,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":168},{"arity":3,"count":39},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints207
Distribution of constraint types[{"type":"intension","count":207},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247960-1500691006.xml"  -tl '2400s' -p 8 -x 0
0.00/0.24	c [HOME/instance-4247960-1500691006.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.31	c 8 solvers in parallel
0.00/0.39	c parse instance...
45.05/31.65	c solve instance...
766.66/122.41	o 27 
766.66/122.43	o 24 
766.66/122.50	o 23 
767.19/122.54	o 21 
2186.87/300.98	o 20 
2400.82/327.86	s SATISFIABLE
2400.82/327.86	v <instantiation>
2400.82/327.86	v 	<list>q x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] </list>
2400.82/327.86	v 	<values>36 106 81 66 39 14 41 56 29 4 31 58 83 108 133 158 143 118 91 80 53 26 1 16 43 70 59 32 7 34 61 86 101 126 151 162 147 120 93 78 105 132 117 144 159 148 121 94 67 52 79 104 131 156 145 160 149 124 139 166 155 140 125 114 87 60 45 72 97 122 107 82 55 28 3 18 33 22 11 38 49 74 85 96 69 54 27 0 15 30 5 20 47 62 89 100 111 84 109 136 163 152 167 142 115 90 75 64 37 12 23 48 73 46 21 6 17 42 57 68 95 110 99 88 63 36 9 24 51 76 103 128 113 98 71 44 19 8 35 10 25 50 77 102 129 154 165 138 127 116 141 168 153 164 137 112 123 134 161 150 135 146 157 130 119 92 65 40 13 2 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 </values>
2400.82/327.86	v </instantiation>
2400.82/327.86	c Unexpected resolution interruption!

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247960-1500691006/watcher-4247960-1500691006 -o /tmp/evaluation-result-4247960-1500691006/solver-4247960-1500691006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 301311375 HOME/instance-4247960-1500691006.xml 

pid=1236
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 13.63 14.54 12.08 10/270 1239
/proc/meminfo: memFree=30464920/32770624 swapFree=5892/121708
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0

[startup+0.100129 s]
/proc/loadavg: 13.63 14.54 12.08 10/270 1239
/proc/meminfo: memFree=30464920/32770624 swapFree=5892/121708
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200273 s]
/proc/loadavg: 13.63 14.54 12.08 10/270 1239
/proc/meminfo: memFree=30464920/32770624 swapFree=5892/121708
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300246 s]
/proc/loadavg: 13.63 14.54 12.08 10/270 1239
/proc/meminfo: memFree=30464920/32770624 swapFree=5892/121708
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700183 s]
/proc/loadavg: 13.63 14.54 12.08 10/270 1239
/proc/meminfo: memFree=30464920/32770624 swapFree=5892/121708
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5009 s]
/proc/loadavg: 13.50 14.50 12.08 12/291 1260
/proc/meminfo: memFree=30354880/32770624 swapFree=5892/121772
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
[pid=1240] ppid=1239 vsize=13269256 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/1240/stat : 1240 (java) S 1239 1239 15667 0 -1 1077944320 42261 0 0 0 349 9 0 0 20 0 20 0 4370308 13587718144 32189 33554432000 4194304 4196468 140734050893200 140734050875744 140323657293559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
/proc/1240/statm: 3317314 32189 3204 1 0 3304547 0
[pid=1240/tid=1241] ppid=1239 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1241/stat : 1241 (java) R 1239 1239 15667 0 -1 4202560 6539 0 0 0 144 3 0 0 20 0 20 0 4370308 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323661531016 140323297045903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1243] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1243/stat : 1243 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323629137040 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1244] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1244/stat : 1244 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323255856144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1245] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1245/stat : 1245 (java) S 1239 1239 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323254803344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1246] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1246/stat : 1246 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323253750544 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1247] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1247/stat : 1247 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323252697744 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1248] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1248/stat : 1248 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323251644944 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1249] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1249/stat : 1249 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323250592144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1250] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1250/stat : 1250 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 32189 33554432000 4194304 4196468 140734050893200 140323249539344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1251] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1251/stat : 1251 (java) S 1239 1239 15667 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 4370311 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322851146608 140323657304706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1252] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1252/stat : 1252 (java) S 1239 1239 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4370312 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322850092576 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1253] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1253/stat : 1253 (java) S 1239 1239 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4370312 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322849039728 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1254] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1254/stat : 1254 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370318 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322847988048 140323657312155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1255] ppid=1239 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1255/stat : 1255 (java) S 1239 1239 15667 0 -1 1077944384 13858 0 0 0 65 2 0 0 20 0 20 0 4370318 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322846935408 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1256] ppid=1239 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1256/stat : 1256 (java) S 1239 1239 15667 0 -1 1077944384 7316 0 0 0 53 1 0 0 20 0 20 0 4370318 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322845882608 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1257] ppid=1239 vsize=13269256 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1257/stat : 1257 (java) S 1239 1239 15667 0 -1 1077944384 10910 0 0 0 47 1 0 0 20 0 20 0 4370318 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322844829808 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1258] ppid=1239 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1258/stat : 1258 (java) S 1239 1239 15667 0 -1 1077944384 2309 0 0 0 37 0 0 0 20 0 20 0 4370318 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322843777008 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1259] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1259/stat : 1259 (java) S 1239 1239 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4370318 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322842725472 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1260] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1260/stat : 1260 (java) S 1239 1239 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4370318 13587718144 32189 33554432000 4194304 4196468 140734050893200 140322841672752 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 13278768

[startup+3.10124 s]
/proc/loadavg: 13.50 14.50 12.08 10/291 1260
/proc/meminfo: memFree=30310376/32770624 swapFree=5892/121772
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
[pid=1240] ppid=1239 vsize=13269256 CPUtime=5.77 cores=0,2,4,6,8,10,12,14
/proc/1240/stat : 1240 (java) S 1239 1239 15667 0 -1 1077944320 44584 0 0 0 567 10 0 0 20 0 20 0 4370308 13587718144 40513 33554432000 4194304 4196468 140734050893200 140734050875744 140323657293559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
/proc/1240/statm: 3317314 40513 3212 1 0 3304547 0
[pid=1240/tid=1241] ppid=1239 vsize=13269256 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1241/stat : 1241 (java) R 1239 1239 15667 0 -1 4202560 7644 0 0 0 303 4 0 0 20 0 20 0 4370308 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323661526024 140323297131175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1243] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1243/stat : 1243 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323629137040 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1244] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1244/stat : 1244 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323255856144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1245] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1245/stat : 1245 (java) S 1239 1239 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323254803344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1246] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1246/stat : 1246 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323253750544 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1247] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1247/stat : 1247 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323252697744 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1248] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1248/stat : 1248 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323251644944 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1249] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1249/stat : 1249 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323250592144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1250] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1250/stat : 1250 (java) S 1239 1239 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4370309 13587718144 40513 33554432000 4194304 4196468 140734050893200 140323249539344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1251] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1251/stat : 1251 (java) S 1239 1239 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4370311 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322851146608 140323657304706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1252] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1252/stat : 1252 (java) S 1239 1239 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4370312 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322850092576 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1253] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1253/stat : 1253 (java) S 1239 1239 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4370312 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322849039728 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1254] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1254/stat : 1254 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370318 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322847988048 140323657312155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1255] ppid=1239 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1255/stat : 1255 (java) S 1239 1239 15667 0 -1 1077944384 14060 0 0 0 93 2 0 0 20 0 20 0 4370318 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322846935408 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1256] ppid=1239 vsize=13269256 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1256/stat : 1256 (java) S 1239 1239 15667 0 -1 1077944384 7622 0 0 0 69 1 0 0 20 0 20 0 4370318 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322845882608 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1257] ppid=1239 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1257/stat : 1257 (java) S 1239 1239 15667 0 -1 1077944384 11258 0 0 0 61 1 0 0 20 0 20 0 4370318 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322844829808 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1258] ppid=1239 vsize=13269256 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1258/stat : 1258 (java) S 1239 1239 15667 0 -1 1077944384 2630 0 0 0 39 0 0 0 20 0 20 0 4370318 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322843777008 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1259] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1259/stat : 1259 (java) S 1239 1239 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4370318 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322842725472 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1260] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1260/stat : 1260 (java) S 1239 1239 15667 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 4370318 13587718144 40513 33554432000 4194304 4196468 140734050893200 140322841672752 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13278768

[startup+6.30087 s]
/proc/loadavg: 13.50 14.50 12.08 10/291 1260
/proc/meminfo: memFree=30002940/32770624 swapFree=5892/121772
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
[pid=1240] ppid=1239 vsize=13269256 CPUtime=10.08 cores=0,2,4,6,8,10,12,14
/proc/1240/stat : 1240 (java) S 1239 1239 15667 0 -1 1077944320 52666 0 0 0 944 64 0 0 20 0 20 0 4370308 13587718144 84535 33554432000 4194304 4196468 140734050893200 140734050875744 140323657293559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
/proc/1240/statm: 3317314 84535 3245 1 0 3304547 0
[pid=1240/tid=1241] ppid=1239 vsize=13269256 CPUtime=6.13 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1241/stat : 1241 (java) R 1239 1239 15667 0 -1 4202560 8505 0 0 0 608 5 0 0 20 0 20 0 4370308 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323661530472 140323298460563 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1243] ppid=1239 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1243/stat : 1243 (java) S 1239 1239 15667 0 -1 1077944384 114 0 0 0 3 6 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323629137040 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1244] ppid=1239 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1244/stat : 1244 (java) S 1239 1239 15667 0 -1 1077944384 84 0 0 0 4 5 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323255856144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1245] ppid=1239 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1245/stat : 1245 (java) S 1239 1239 15667 0 -1 1077944384 71 0 0 0 3 6 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323254803344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1246] ppid=1239 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1246/stat : 1246 (java) S 1239 1239 15667 0 -1 1077944384 269 0 0 0 3 6 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323253750544 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1247] ppid=1239 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1247/stat : 1247 (java) S 1239 1239 15667 0 -1 1077944384 69 0 0 0 2 5 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323252697744 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1248] ppid=1239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1248/stat : 1248 (java) S 1239 1239 15667 0 -1 1077944384 109 0 0 0 3 7 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323251644944 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1249] ppid=1239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1249/stat : 1249 (java) S 1239 1239 15667 0 -1 1077944384 113 0 0 0 3 7 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323250592144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1250] ppid=1239 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1250/stat : 1250 (java) S 1239 1239 15667 0 -1 1077944384 180 0 0 0 3 7 0 0 20 0 20 0 4370309 13587718144 84535 33554432000 4194304 4196468 140734050893200 140323249539344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1251] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1251/stat : 1251 (java) S 1239 1239 15667 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 20 0 4370311 13587718144 84535 33554432000 4194304 4196468 140734050893200 140322851146608 140323657304706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1252] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1252/stat : 1252 (java) S 1239 1239 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4370312 13587718144 84535 33554432000 4194304 4196468 140734050893200 140322850092576 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1253] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1253/stat : 1253 (java) S 1239 1239 15667 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4370312 13587718144 84535 33554432000 4194304 4196468 140734050893200 140322849039728 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1254] ppid=1239 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1254/stat : 1254 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4370318 13587718144 84535 33554432000 4194304 4196468 140734050893200 140322847988048 140323657312155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0

################
# More data... #
################

/proc/1240/task/1301/stat : 1301 (java) R 1239 1239 15667 0 -1 4202560 3779 0 0 0 9816 1 0 0 20 0 28 0 4382562 14201171968 766779 33554432000 4194304 4196468 140734050893200 140322830500136 140323301827631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1302] ppid=1239 vsize=13868332 CPUtime=99.31 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1302/stat : 1302 (java) R 1239 1239 15667 0 -1 4202560 3675 0 0 0 9931 0 0 0 20 0 28 0 4382562 14201171968 766779 33554432000 4194304 4196468 140734050893200 140322833657672 140323301762901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
Current children cumulated CPU time (s) 1561.35
Current children cumulated vsize (KiB) 13877844

[startup+282.301 s]
/proc/loadavg: 16.09 15.18 12.95 17/301 1312
/proc/meminfo: memFree=26118768/32770624 swapFree=5892/122096
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
[pid=1240] ppid=1239 vsize=13868332 CPUtime=2038.88 cores=0,2,4,6,8,10,12,14
/proc/1240/stat : 1240 (java) S 1239 1239 15667 0 -1 1077944320 276353 0 0 0 202966 922 0 0 20 0 28 0 4370308 14201171968 777043 33554432000 4194304 4196468 140734050893200 140734050875744 140323657293559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
/proc/1240/statm: 3467083 777043 3314 1 0 3454316 0
[pid=1240/tid=1241] ppid=1239 vsize=13868332 CPUtime=30.03 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1241/stat : 1241 (java) S 1239 1239 15667 0 -1 1077944384 11395 0 0 0 2996 7 0 0 20 0 28 0 4370308 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323661534336 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1243] ppid=1239 vsize=13868332 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1243/stat : 1243 (java) S 1239 1239 15667 0 -1 1077944384 6777 0 0 0 125 102 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323629137040 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1244] ppid=1239 vsize=13868332 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1244/stat : 1244 (java) S 1239 1239 15667 0 -1 1077944384 5936 0 0 0 128 102 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323255856144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1245] ppid=1239 vsize=13868332 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1245/stat : 1245 (java) S 1239 1239 15667 0 -1 1077944384 7143 0 0 0 125 102 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323254803344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1246] ppid=1239 vsize=13868332 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1246/stat : 1246 (java) S 1239 1239 15667 0 -1 1077944384 7875 0 0 0 125 106 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323253750544 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1247] ppid=1239 vsize=13868332 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1247/stat : 1247 (java) S 1239 1239 15667 0 -1 1077944384 6623 0 0 0 126 106 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323252697744 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1248] ppid=1239 vsize=13868332 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1248/stat : 1248 (java) S 1239 1239 15667 0 -1 1077944384 6752 0 0 0 131 107 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323251644944 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1249] ppid=1239 vsize=13868332 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1249/stat : 1249 (java) S 1239 1239 15667 0 -1 1077944384 6043 0 0 0 126 108 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323250592144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1250] ppid=1239 vsize=13868332 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1250/stat : 1250 (java) S 1239 1239 15667 0 -1 1077944384 7987 0 0 0 128 106 0 0 20 0 28 0 4370309 14201171968 777043 33554432000 4194304 4196468 140734050893200 140323249539344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1251] ppid=1239 vsize=13868332 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1251/stat : 1251 (java) S 1239 1239 15667 0 -1 1077944384 9496 0 0 0 29 9 0 0 20 0 28 0 4370311 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322851146608 140323657304706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1252] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1252/stat : 1252 (java) S 1239 1239 15667 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4370312 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322850092640 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1253] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1253/stat : 1253 (java) S 1239 1239 15667 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 4370312 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322849039744 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1254] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1254/stat : 1254 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4370318 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322847988048 140323657312155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1255] ppid=1239 vsize=13868332 CPUtime=4.75 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1255/stat : 1255 (java) S 1239 1239 15667 0 -1 1077944384 28416 0 0 0 471 4 0 0 20 0 28 0 4370318 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322846935408 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1256] ppid=1239 vsize=13868332 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1256/stat : 1256 (java) S 1239 1239 15667 0 -1 1077944384 25429 0 0 0 423 4 0 0 20 0 28 0 4370318 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322845882608 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1257] ppid=1239 vsize=13868332 CPUtime=4.72 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1257/stat : 1257 (java) S 1239 1239 15667 0 -1 1077944384 27930 0 0 0 469 3 0 0 20 0 28 0 4370318 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322844829808 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1258] ppid=1239 vsize=13868332 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1258/stat : 1258 (java) S 1239 1239 15667 0 -1 1077944384 13901 0 0 0 121 3 0 0 20 0 28 0 4370318 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322843777008 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1259] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1259/stat : 1259 (java) S 1239 1239 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4370318 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322842725472 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1260] ppid=1239 vsize=13868332 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1260/stat : 1260 (java) S 1239 1239 15667 0 -1 1077944384 3186 0 0 0 6 8 0 0 20 0 28 0 4370318 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322841672752 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 10 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1295] ppid=1239 vsize=13868332 CPUtime=158.63 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1295/stat : 1295 (java) R 1239 1239 15667 0 -1 4202560 4192 0 0 0 15861 2 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322829446136 140323302912668 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1296] ppid=1239 vsize=13868332 CPUtime=159.1 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1296/stat : 1296 (java) R 1239 1239 15667 0 -1 4202560 24700 0 0 0 15907 3 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322827341736 140323300997098 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1297] ppid=1239 vsize=13868332 CPUtime=159.07 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1297/stat : 1297 (java) R 1239 1239 15667 0 -1 4202560 3558 0 0 0 15906 1 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322832605032 140323301828448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1298] ppid=1239 vsize=13868332 CPUtime=159.17 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1298/stat : 1298 (java) R 1239 1239 15667 0 -1 4202560 4703 0 0 0 15916 1 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322828396352 140323295070924 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1299] ppid=1239 vsize=13868332 CPUtime=158.92 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1299/stat : 1299 (java) R 1239 1239 15667 0 -1 4202560 5041 0 0 0 15891 1 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322826288680 140323302472592 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1300] ppid=1239 vsize=13868332 CPUtime=157.49 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1300/stat : 1300 (java) R 1239 1239 15667 0 -1 4202560 1920 0 0 0 15749 0 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322825235632 140323301762309 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1301] ppid=1239 vsize=13868332 CPUtime=157.98 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1301/stat : 1301 (java) R 1239 1239 15667 0 -1 4202560 4387 0 0 0 15796 2 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322830500200 140323302080814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1302] ppid=1239 vsize=13868332 CPUtime=158.62 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1302/stat : 1302 (java) R 1239 1239 15667 0 -1 4202560 4296 0 0 0 15862 0 0 0 20 0 28 0 4382562 14201171968 777043 33554432000 4194304 4196468 140734050893200 140322833657800 140323302412632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
Current children cumulated CPU time (s) 2038.88
Current children cumulated vsize (KiB) 13877844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+327.801 s]
/proc/loadavg: 15.95 15.24 13.07 17/302 2278
/proc/meminfo: memFree=28260036/32770624 swapFree=5892/122488
[pid=1239] ppid=1236 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1239/stat : 1239 (xcsp3-exec) S 1236 1239 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4370307 9740288 346 33554432000 4194304 5098028 140729828509792 140729828507896 140149016867452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 27070464 140729828517007 140729828517216 140729828517216 140729828519915 0
/proc/1239/statm: 2378 346 289 221 0 87 0
[pid=1240] ppid=1239 vsize=13868332 CPUtime=2400.82 cores=0,2,4,6,8,10,12,14
/proc/1240/stat : 1240 (java) S 1239 1239 15667 0 -1 1077944320 313010 0 0 0 239133 949 0 0 20 0 28 0 4370308 14201171968 783221 33554432000 4194304 4196468 140734050893200 140734050875744 140323657293559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
/proc/1240/statm: 3467083 783221 3314 1 0 3454316 0
[pid=1240/tid=1241] ppid=1239 vsize=13868332 CPUtime=30.03 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1241/stat : 1241 (java) S 1239 1239 15667 0 -1 1077944384 11505 0 0 0 2996 7 0 0 20 0 28 0 4370308 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323661534336 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1243] ppid=1239 vsize=13868332 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1243/stat : 1243 (java) S 1239 1239 15667 0 -1 1077944384 7303 0 0 0 128 103 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323629137040 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1244] ppid=1239 vsize=13868332 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1244/stat : 1244 (java) S 1239 1239 15667 0 -1 1077944384 6451 0 0 0 130 103 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323255856144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1245] ppid=1239 vsize=13868332 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1245/stat : 1245 (java) S 1239 1239 15667 0 -1 1077944384 9035 0 0 0 128 103 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323254803344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1246] ppid=1239 vsize=13868332 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1246/stat : 1246 (java) S 1239 1239 15667 0 -1 1077944384 9396 0 0 0 128 108 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323253750544 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1247] ppid=1239 vsize=13868332 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1247/stat : 1247 (java) S 1239 1239 15667 0 -1 1077944384 7818 0 0 0 128 107 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323252697744 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1248] ppid=1239 vsize=13868332 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1248/stat : 1248 (java) S 1239 1239 15667 0 -1 1077944384 8608 0 0 0 135 108 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323251644944 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1249] ppid=1239 vsize=13868332 CPUtime=2.37 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1249/stat : 1249 (java) S 1239 1239 15667 0 -1 1077944384 6556 0 0 0 128 109 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323250592144 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1250] ppid=1239 vsize=13868332 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1250/stat : 1250 (java) S 1239 1239 15667 0 -1 1077944384 9652 0 0 0 132 107 0 0 20 0 28 0 4370309 14201171968 783221 33554432000 4194304 4196468 140734050893200 140323249539344 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1251] ppid=1239 vsize=13868332 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1251/stat : 1251 (java) S 1239 1239 15667 0 -1 1077944384 10379 0 0 0 30 10 0 0 20 0 28 0 4370311 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322851146608 140323657304706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1252] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1252/stat : 1252 (java) S 1239 1239 15667 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4370312 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322850092640 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1253] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1253/stat : 1253 (java) S 1239 1239 15667 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 4370312 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322849039744 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1254] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1254/stat : 1254 (java) S 1239 1239 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4370318 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322847988048 140323657312155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1255] ppid=1239 vsize=13868332 CPUtime=4.75 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1255/stat : 1255 (java) S 1239 1239 15667 0 -1 1077944384 28423 0 0 0 471 4 0 0 20 0 28 0 4370318 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322846935408 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1256] ppid=1239 vsize=13868332 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1256/stat : 1256 (java) S 1239 1239 15667 0 -1 1077944384 25437 0 0 0 423 4 0 0 20 0 28 0 4370318 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322845882608 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1257] ppid=1239 vsize=13868332 CPUtime=4.72 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1257/stat : 1257 (java) S 1239 1239 15667 0 -1 1077944384 27941 0 0 0 469 3 0 0 20 0 28 0 4370318 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322844829808 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1258] ppid=1239 vsize=13868332 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1258/stat : 1258 (java) S 1239 1239 15667 0 -1 1077944384 14161 0 0 0 121 3 0 0 20 0 28 0 4370318 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322843777008 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1259] ppid=1239 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1259/stat : 1259 (java) S 1239 1239 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4370318 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322842725472 140323657303765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=1260] ppid=1239 vsize=13868332 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/1240/task/1260/stat : 1260 (java) S 1239 1239 15667 0 -1 1077944384 3319 0 0 0 7 9 0 0 20 0 28 0 4370318 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322841672752 140323657304706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2083] ppid=1239 vsize=13868332 CPUtime=26.41 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2083/stat : 2083 (java) R 1239 1239 15667 0 -1 4202560 1564 0 0 0 2640 1 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322829446376 140323301828355 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2084] ppid=1239 vsize=13868332 CPUtime=26.74 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2084/stat : 2084 (java) R 1239 1239 15667 0 -1 4202560 11189 0 0 0 2673 1 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322827341688 140323302912751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2085] ppid=1239 vsize=13868332 CPUtime=26.7 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2085/stat : 2085 (java) R 1239 1239 15667 0 -1 4202560 1495 0 0 0 2670 0 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322832604968 140323294270610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2086] ppid=1239 vsize=13868332 CPUtime=26.76 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2086/stat : 2086 (java) R 1239 1239 15667 0 -1 4202560 2539 0 0 0 2676 0 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322833657992 140323301827827 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2087] ppid=1239 vsize=13868332 CPUtime=26.75 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2087/stat : 2087 (java) R 1239 1239 15667 0 -1 4202560 1998 0 0 0 2675 0 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322825235976 140323300996569 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2088] ppid=1239 vsize=13868332 CPUtime=26.73 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2088/stat : 2088 (java) R 1239 1239 15667 0 -1 4202560 991 0 0 0 2673 0 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322830498992 140323301762901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2089] ppid=1239 vsize=13868332 CPUtime=26.74 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2089/stat : 2089 (java) R 1239 1239 15667 0 -1 4202560 2329 0 0 0 2674 0 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322826291648 140323301828758 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
[pid=1240/tid=2090] ppid=1239 vsize=13868332 CPUtime=26.37 cores=0,2,4,6,8,10,12,14
/proc/1240/task/2090/stat : 2090 (java) R 1239 1239 15667 0 -1 4202560 2424 0 0 0 2637 0 0 0 20 0 28 0 4400406 14201171968 783221 33554432000 4194304 4196468 140734050893200 140322828394728 140323303090520 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20582400 140734050895036 140734050895212 140734050895212 140734050897871 0
Current children cumulated CPU time (s) 2400.82
Current children cumulated vsize (KiB) 13877844

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1240 sig 9
??? kill 1239 sig 9
??? kill -1239 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1239 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2042
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1021
# CPU time returned by wait4() is 0.003063
# while last known CPU time is 2400.82
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 327.834
CPU time (s): 2400.82
CPU user time (s): 2391.33
CPU system time (s): 9.49
CPU usage (%): 732.329
Max. virtual memory (cumulated for all children) (KiB): 13877844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002042
system time used= 0.001021
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76453 second user time and 4.51389 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 04:36:46
IDJOB=4247960
IDBENCH=130618
IDSOLVER=2625
FILE ID=node104/4247960-1500691006
RUNJOBID= node104-1500684128-16796
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-13.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247960-1500691006/watcher-4247960-1500691006 -o /tmp/evaluation-result-4247960-1500691006/solver-4247960-1500691006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 301311375 HOME/instance-4247960-1500691006.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 83249ccae4b5534eb2335929a7f4c3a6
RANDOM SEED=301311375

node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30464920 kB
MemAvailable:   30551232 kB
Buffers:          167224 kB
Cached:           183096 kB
SwapCached:          252 kB
Active:          1658740 kB
Inactive:         178080 kB
Active(anon):    1441840 kB
Inactive(anon):    56372 kB
Active(file):     216900 kB
Inactive(file):   121708 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105472 kB
Dirty:              8004 kB
Writeback:             0 kB
AnonPages:       1492060 kB
Mapped:            42588 kB
Shmem:              8772 kB
Slab:             162248 kB
SReclaimable:     127080 kB
SUnreclaim:        35168 kB
KernelStack:        4976 kB
PageTables:         9148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2899704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1318912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62000 MiB
End job on node104 at 2017-07-22 04:42:14