Trace number 4250066

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 NameAnswerCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)SAT 1381.25 176.459

General information on the benchmark

NameQueens/
Queens-m1-s1/Queens-0150-m1.xml
MD5SUM87bfaaaf5fd3b270ee1dec703898481f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.27384
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints11176
Number of domains1
Minimum domain size150
Maximum domain size150
Distribution of domain sizes[{"size":150,"count":150}]
Minimum variable degree150
Maximum variable degree150
Distribution of variable degrees[{"degree":150,"count":150}]
Minimum constraint arity2
Maximum constraint arity150
Distribution of constraint arities[{"arity":2,"count":11175},{"arity":150,"count":1}]
Number of extensional constraints0
Number of intensional constraints11175
Distribution of constraint types[{"type":"intension","count":11175},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4250066-1500696319.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4250066-1500696319.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
12.33/3.35	c solve instance...
1381.18/176.43	s SATISFIABLE
1381.18/176.43	v <instantiation>
1381.18/176.43	v 	<list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] q[50] q[51] q[52] q[53] q[54] q[55] q[56] q[57] q[58] q[59] q[60] q[61] q[62] q[63] q[64] q[65] q[66] q[67] q[68] q[69] q[70] q[71] q[72] q[73] q[74] q[75] q[76] q[77] q[78] q[79] q[80] q[81] q[82] q[83] q[84] q[85] q[86] q[87] q[88] q[89] q[90] q[91] q[92] q[93] q[94] q[95] q[96] q[97] q[98] q[99] q[100] q[101] q[102] q[103] q[104] q[105] q[106] q[107] q[108] q[109] q[110] q[111] q[112] q[113] q[114] q[115] q[116] q[117] q[118] q[119] q[120] q[121] q[122] q[123] q[124] q[125] q[126] q[127] q[128] q[129] q[130] q[131] q[132] q[133] q[134] q[135] q[136] q[137] q[138] q[139] q[140] q[141] q[142] q[143] q[144] q[145] q[146] q[147] q[148] q[149] </list>
1381.18/176.43	v 	<values>103 90 84 86 88 83 49 74 60 48 69 73 47 50 44 41 57 53 42 66 77 107 96 72 2 110 101 67 94 117 63 38 64 34 99 29 112 93 40 37 35 33 136 139 148 56 141 144 52 16 149 119 129 19 134 145 120 126 121 114 78 1 4 135 137 146 127 138 147 100 7 0 122 143 132 8 6 3 131 133 61 108 23 21 106 5 20 116 27 97 22 111 104 28 80 123 142 68 70 98 31 71 105 55 109 54 140 113 76 125 85 124 65 58 128 51 59 45 62 26 43 46 25 32 30 39 11 81 24 75 92 79 87 17 95 82 115 14 89 10 13 91 18 102 118 12 15 9 130 36 </values>
1381.18/176.43	v </instantiation>

Verifier Data 

OK

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-4250066-1500696319/watcher-4250066-1500696319 -o /tmp/evaluation-result-4250066-1500696319/solver-4250066-1500696319 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 313251094 HOME/instance-4250066-1500696319.xml 

pid=5929
running on 8 cores: 1,3,5,7,9,11,13,15

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: 15.32 15.01 14.37 10/263 5932
/proc/meminfo: memFree=21147740/32770624 swapFree=5884/294264
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0

[startup+0.100064 s]
/proc/loadavg: 15.32 15.01 14.37 10/263 5932
/proc/meminfo: memFree=21147740/32770624 swapFree=5884/294264
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200281 s]
/proc/loadavg: 15.32 15.01 14.37 10/263 5932
/proc/meminfo: memFree=21147740/32770624 swapFree=5884/294264
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300217 s]
/proc/loadavg: 15.32 15.01 14.37 10/263 5932
/proc/meminfo: memFree=21147740/32770624 swapFree=5884/294264
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700217 s]
/proc/loadavg: 15.32 15.01 14.37 10/263 5932
/proc/meminfo: memFree=21147740/32770624 swapFree=5884/294264
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50076 s]
/proc/loadavg: 15.32 15.01 14.37 14/284 5953
/proc/meminfo: memFree=20998208/32770624 swapFree=5884/294220
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
[pid=5933] ppid=5932 vsize=13269256 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/5933/stat : 5933 (java) S 5932 5932 8571 0 -1 1077944320 22861 0 0 0 508 21 0 0 20 0 20 0 4899678 13587718144 53711 33554432000 4194304 4196468 140735409153616 140735409136160 140247334555383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
/proc/5933/statm: 3317314 53711 3248 1 0 3304547 0
[pid=5933/tid=5934] ppid=5932 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5934/stat : 5934 (java) R 5932 5932 8571 0 -1 4202560 7804 0 0 0 138 6 0 0 20 0 20 0 4899679 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247338790472 140246942933738 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5936] ppid=5932 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5936/stat : 5936 (java) S 5932 5932 8571 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247266691600 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5937] ppid=5932 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5937/stat : 5937 (java) S 5932 5932 8571 0 -1 1077944384 111 0 0 0 1 1 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247265639056 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5938] ppid=5932 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5938/stat : 5938 (java) S 5932 5932 8571 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247264586000 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5939] ppid=5932 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5939/stat : 5939 (java) S 5932 5932 8571 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247263533456 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5940] ppid=5932 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5940/stat : 5940 (java) S 5932 5932 8571 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247262481424 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5941] ppid=5932 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5941/stat : 5941 (java) S 5932 5932 8571 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247261428880 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5942] ppid=5932 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5942/stat : 5942 (java) S 5932 5932 8571 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247260375824 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5943] ppid=5932 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5943/stat : 5943 (java) S 5932 5932 8571 0 -1 1077944384 152 0 0 0 1 1 0 0 20 0 20 0 4899680 13587718144 53711 33554432000 4194304 4196468 140735409153616 140247259323280 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5944] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5944/stat : 5944 (java) S 5932 5932 8571 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 4899682 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246796937456 140247334566530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5945] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5945/stat : 5945 (java) S 5932 5932 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 4899683 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246795883680 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5946] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5946/stat : 5946 (java) S 5932 5932 8571 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4899683 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246794830576 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5947] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5947/stat : 5947 (java) S 5932 5932 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4899687 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246793779152 140247334573979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5948] ppid=5932 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5948/stat : 5948 (java) R 5932 5932 8571 0 -1 4202560 3894 0 0 0 103 0 0 0 20 0 20 0 4899687 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246792713248 140247318942624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5949] ppid=5932 vsize=13269256 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5949/stat : 5949 (java) R 5932 5932 8571 0 -1 4202560 2841 0 0 0 94 1 0 0 20 0 20 0 4899687 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246791655752 140247318052171 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5950] ppid=5932 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5950/stat : 5950 (java) R 5932 5932 8571 0 -1 4202560 2521 0 0 0 97 0 0 0 20 0 20 0 4899687 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246790607704 140247319474709 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5951] ppid=5932 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5951/stat : 5951 (java) S 5932 5932 8571 0 -1 1077944384 3784 0 0 0 64 1 0 0 20 0 20 0 4899687 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246789569136 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5952] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5952/stat : 5952 (java) S 5932 5932 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4899687 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246452791776 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5953] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5953/stat : 5953 (java) S 5932 5932 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4899688 13587718144 53711 33554432000 4194304 4196468 140735409153616 140246451739312 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13278768

[startup+3.10139 s]
/proc/loadavg: 15.32 15.01 14.37 12/284 5953
/proc/meminfo: memFree=20729936/32770624 swapFree=5884/294220
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
[pid=5933] ppid=5932 vsize=13269256 CPUtime=11.7 cores=1,3,5,7,9,11,13,15
/proc/5933/stat : 5933 (java) S 5932 5932 8571 0 -1 1077944320 28156 0 0 0 975 195 0 0 20 0 20 0 4899678 13587718144 201280 33554432000 4194304 4196468 140735409153616 140735409136160 140247334555383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
/proc/5933/statm: 3317314 201280 3259 1 0 3304547 0
[pid=5933/tid=5934] ppid=5932 vsize=13269256 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5934/stat : 5934 (java) S 5932 5932 8571 0 -1 1077944384 8719 0 0 0 249 11 0 0 20 0 20 0 4899679 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247338793168 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5936] ppid=5932 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5936/stat : 5936 (java) R 5932 5932 8571 0 -1 4202560 189 0 0 0 20 21 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247266691800 140247319583248 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5937] ppid=5932 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5937/stat : 5937 (java) R 5932 5932 8571 0 -1 4202560 252 0 0 0 20 20 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247265639256 140247316108624 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5938] ppid=5932 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5938/stat : 5938 (java) R 5932 5932 8571 0 -1 4202560 160 0 0 0 20 21 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247264586200 140247319582802 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5939] ppid=5932 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5939/stat : 5939 (java) R 5932 5932 8571 0 -1 4202560 184 0 0 0 20 22 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247263533656 140247319583619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5940] ppid=5932 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5940/stat : 5940 (java) R 5932 5932 8571 0 -1 4202560 692 0 0 0 20 23 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247262481624 140247319003344 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5941] ppid=5932 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5941/stat : 5941 (java) R 5932 5932 8571 0 -1 4202560 303 0 0 0 20 21 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247261428768 140247327660071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5942] ppid=5932 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5942/stat : 5942 (java) R 5932 5932 8571 0 -1 4202560 204 0 0 0 18 22 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247260376024 140247319582802 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5943] ppid=5932 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5943/stat : 5943 (java) R 5932 5932 8571 0 -1 4202560 303 0 0 0 21 23 0 0 20 0 20 0 4899680 13587718144 201280 33554432000 4194304 4196468 140735409153616 140247259323480 140247319582802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5944] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5944/stat : 5944 (java) S 5932 5932 8571 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 20 0 4899682 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246796935968 140247334565589 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5945] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5945/stat : 5945 (java) S 5932 5932 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 4899683 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246795883744 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5946] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5946/stat : 5946 (java) S 5932 5932 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 4899683 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246794830592 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5947] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5947/stat : 5947 (java) S 5932 5932 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4899687 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246793779152 140247334573979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5948] ppid=5932 vsize=13269256 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5948/stat : 5948 (java) S 5932 5932 8571 0 -1 1077944384 4367 0 0 0 175 0 0 0 20 0 20 0 4899687 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246792727280 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5949] ppid=5932 vsize=13269256 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5949/stat : 5949 (java) S 5932 5932 8571 0 -1 1077944384 3474 0 0 0 157 1 0 0 20 0 20 0 4899687 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246791674736 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5950] ppid=5932 vsize=13269256 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5950/stat : 5950 (java) S 5932 5932 8571 0 -1 1077944384 3417 0 0 0 156 0 0 0 20 0 20 0 4899687 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246790621680 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5951] ppid=5932 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5951/stat : 5951 (java) S 5932 5932 8571 0 -1 1077944384 4158 0 0 0 74 1 0 0 20 0 20 0 4899687 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246789569136 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5952] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5952/stat : 5952 (java) S 5932 5932 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4899687 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246452791776 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5953] ppid=5932 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5953/stat : 5953 (java) S 5932 5932 8571 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4899688 13587718144 201280 33554432000 4194304 4196468 140735409153616 140246451739312 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
Current children cumulated CPU time (s) 11.7
Current children cumulated vsize (KiB) 13278768

[startup+6.30143 s]
/proc/loadavg: 15.38 15.02 14.38 18/292 5961
/proc/meminfo: memFree=20121276/32770624 swapFree=5884/294236
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
[pid=5933] ppid=5932 vsize=13801768 CPUtime=35.13 cores=1,3,5,7,9,11,13,15
/proc/5933/stat : 5933 (java) S 5932 5932 8571 0 -1 1077944320 32835 0 0 0 3199 314 0 0 20 0 28 0 4899678 14133010432 282911 33554432000 4194304 4196468 140735409153616 140735409136160 140247334555383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
/proc/5933/statm: 3450442 282911 3298 1 0 3437675 0
[pid=5933/tid=5934] ppid=5932 vsize=13801768 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5934/stat : 5934 (java) S 5932 5932 8571 0 -1 1077944384 8980 0 0 0 274 12 0 0 20 0 28 0 4899679 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247338796160 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5936] ppid=5932 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5936/stat : 5936 (java) R 5932 5932 8571 0 -1 4202560 332 0 0 0 104 37 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247266691720 140247319255994 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5937] ppid=5932 vsize=13801768 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5937/stat : 5937 (java) R 5932 5932 8571 0 -1 4202560 646 0 0 0 101 38 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247265639176 140247319255987 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5938] ppid=5932 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5938/stat : 5938 (java) R 5932 5932 8571 0 -1 4202560 284 0 0 0 112 33 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247264586120 140247319544897 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5939] ppid=5932 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5939/stat : 5939 (java) R 5932 5932 8571 0 -1 4202560 367 0 0 0 103 39 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247263533576 140247319256016 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5940] ppid=5932 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5940/stat : 5940 (java) R 5932 5932 8571 0 -1 4202560 987 0 0 0 107 37 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247262481544 140247319256045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5941] ppid=5932 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5941/stat : 5941 (java) R 5932 5932 8571 0 -1 4202560 546 0 0 0 103 34 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247261429000 140247319256016 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5942] ppid=5932 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5942/stat : 5942 (java) R 5932 5932 8571 0 -1 4202560 351 0 0 0 99 34 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247260375944 140247319255998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5943] ppid=5932 vsize=13801768 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5943/stat : 5943 (java) R 5932 5932 8571 0 -1 4202560 470 0 0 0 102 37 0 0 20 0 28 0 4899680 14133010432 282911 33554432000 4194304 4196468 140735409153616 140247259323400 140247327660031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5944] ppid=5932 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5944/stat : 5944 (java) S 5932 5932 8571 0 -1 1077944384 1057 0 0 0 3 0 0 0 20 0 28 0 4899682 14133010432 282911 33554432000 4194304 4196468 140735409153616 140246796936000 140247334565589 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5945] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5945/stat : 5945 (java) S 5932 5932 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 282911 33554432000 4194304 4196468 140735409153616 140246795883744 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5946] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5946/stat : 5946 (java) S 5932 5932 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 282911 33554432000 4194304 4196468 140735409153616 140246794830592 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5947] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5947/stat : 5947 (java) S 5932 5932 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4899687 14133010432 282911 33554432000 4194304 4196468 140735409153616 140246793779152 140247334573979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0

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

/proc/5933/task/5945/stat : 5945 (java) S 5932 5932 8571 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246795883744 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5946] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5946/stat : 5946 (java) S 5932 5932 8571 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246794830592 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5947] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5947/stat : 5947 (java) S 5932 5932 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4899687 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246793779152 140247334573979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5948] ppid=5932 vsize=13801768 CPUtime=5.39 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5948/stat : 5948 (java) S 5932 5932 8571 0 -1 1077944384 15485 0 0 0 536 3 0 0 20 0 28 0 4899687 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246792727280 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5949] ppid=5932 vsize=13801768 CPUtime=5.18 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5949/stat : 5949 (java) S 5932 5932 8571 0 -1 1077944384 16014 0 0 0 515 3 0 0 20 0 28 0 4899687 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246791674736 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5950] ppid=5932 vsize=13801768 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5950/stat : 5950 (java) S 5932 5932 8571 0 -1 1077944384 9971 0 0 0 405 2 0 0 20 0 28 0 4899687 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246790621680 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5951] ppid=5932 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5951/stat : 5951 (java) S 5932 5932 8571 0 -1 1077944384 10029 0 0 0 134 3 0 0 20 0 28 0 4899687 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246789569136 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5952] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5952/stat : 5952 (java) S 5932 5932 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4899687 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246452791776 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5953] ppid=5932 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5953/stat : 5953 (java) S 5932 5932 8571 0 -1 1077944384 976 0 0 0 5 5 0 0 20 0 28 0 4899688 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246451739312 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5954] ppid=5932 vsize=13801768 CPUtime=166.81 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5954/stat : 5954 (java) R 5932 5932 8571 0 -1 4202560 1509 0 0 0 16680 1 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246443723352 140246949520577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5955] ppid=5932 vsize=13801768 CPUtime=164.58 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5955/stat : 5955 (java) R 5932 5932 8571 0 -1 4202560 1169 0 0 0 16457 1 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246442671624 140246948948760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5956] ppid=5932 vsize=13801768 CPUtime=167.24 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5956/stat : 5956 (java) R 5932 5932 8571 0 -1 4202560 3418 0 0 0 16721 3 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246441622272 140246942167124 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5957] ppid=5932 vsize=13801768 CPUtime=167.34 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5957/stat : 5957 (java) R 5932 5932 8571 0 -1 4202560 969 0 0 0 16734 0 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246440567048 140246949522005 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5958] ppid=5932 vsize=13801768 CPUtime=167.33 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5958/stat : 5958 (java) R 5932 5932 8571 0 -1 4202560 1430 0 0 0 16728 5 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246439514136 140246943717985 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5959] ppid=5932 vsize=13801768 CPUtime=167.5 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5959/stat : 5959 (java) R 5932 5932 8571 0 -1 4202560 896 0 0 0 16748 2 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246438461752 140246949519788 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5960] ppid=5932 vsize=13801768 CPUtime=167.08 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5960/stat : 5960 (java) R 5932 5932 8571 0 -1 4202560 5490 0 0 0 16704 4 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246437408920 140246950582228 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5961] ppid=5932 vsize=13801768 CPUtime=166.14 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5961/stat : 5961 (java) R 5932 5932 8571 0 -1 4202560 1950 0 0 0 16609 5 0 0 20 0 28 0 4900019 14133010432 697305 33554432000 4194304 4196468 140735409153616 140246436355904 140246948486342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
Current children cumulated CPU time (s) 1374.25
Current children cumulated vsize (KiB) 13811280

[startup+176.001 s]
/proc/loadavg: 15.97 15.44 14.64 18/299 6152
/proc/meminfo: memFree=28767860/32770624 swapFree=5884/294508
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
[pid=5933] ppid=5932 vsize=13801768 CPUtime=1380.71 cores=1,3,5,7,9,11,13,15
/proc/5933/stat : 5933 (java) S 5932 5932 8571 0 -1 1077944320 93459 0 0 0 137480 591 0 0 20 0 28 0 4899678 14133010432 697307 33554432000 4194304 4196468 140735409153616 140735409136160 140247334555383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
/proc/5933/statm: 3450442 697307 3308 1 0 3437675 0
[pid=5933/tid=5934] ppid=5932 vsize=13801768 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5934/stat : 5934 (java) S 5932 5932 8571 0 -1 1077944384 8980 0 0 0 274 12 0 0 20 0 28 0 4899679 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247338796160 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5936] ppid=5932 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5936/stat : 5936 (java) S 5932 5932 8571 0 -1 1077944384 960 0 0 0 188 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247266691600 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5937] ppid=5932 vsize=13801768 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5937/stat : 5937 (java) S 5932 5932 8571 0 -1 1077944384 1337 0 0 0 187 65 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247265639056 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5938] ppid=5932 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5938/stat : 5938 (java) S 5932 5932 8571 0 -1 1077944384 1115 0 0 0 195 62 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247264586000 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5939] ppid=5932 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5939/stat : 5939 (java) S 5932 5932 8571 0 -1 1077944384 799 0 0 0 189 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247263533456 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5940] ppid=5932 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5940/stat : 5940 (java) S 5932 5932 8571 0 -1 1077944384 2325 0 0 0 188 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247262481424 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5941] ppid=5932 vsize=13801768 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5941/stat : 5941 (java) S 5932 5932 8571 0 -1 1077944384 1200 0 0 0 184 65 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247261428880 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5942] ppid=5932 vsize=13801768 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5942/stat : 5942 (java) S 5932 5932 8571 0 -1 1077944384 868 0 0 0 182 64 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247260375824 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5943] ppid=5932 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5943/stat : 5943 (java) S 5932 5932 8571 0 -1 1077944384 1435 0 0 0 183 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247259323280 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5944] ppid=5932 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5944/stat : 5944 (java) S 5932 5932 8571 0 -1 1077944384 3146 0 0 0 75 6 0 0 20 0 28 0 4899682 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246796937456 140247334566530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5945] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5945/stat : 5945 (java) S 5932 5932 8571 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246795883744 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5946] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5946/stat : 5946 (java) S 5932 5932 8571 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246794830592 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5947] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5947/stat : 5947 (java) S 5932 5932 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246793779152 140247334573979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5948] ppid=5932 vsize=13801768 CPUtime=5.4 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5948/stat : 5948 (java) S 5932 5932 8571 0 -1 1077944384 15550 0 0 0 537 3 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246792727280 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5949] ppid=5932 vsize=13801768 CPUtime=5.18 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5949/stat : 5949 (java) S 5932 5932 8571 0 -1 1077944384 16020 0 0 0 515 3 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246791674736 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5950] ppid=5932 vsize=13801768 CPUtime=4.08 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5950/stat : 5950 (java) R 5932 5932 8571 0 -1 4202560 10089 0 0 0 406 2 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246790621976 140247318055485 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5951] ppid=5932 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5951/stat : 5951 (java) S 5932 5932 8571 0 -1 1077944384 10240 0 0 0 134 3 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246789569136 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5952] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5952/stat : 5952 (java) S 5932 5932 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246452791776 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5953] ppid=5932 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5953/stat : 5953 (java) S 5932 5932 8571 0 -1 1077944384 976 0 0 0 6 5 0 0 20 0 28 0 4899688 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246451739312 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5954] ppid=5932 vsize=13801768 CPUtime=167.63 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5954/stat : 5954 (java) R 5932 5932 8571 0 -1 4202560 1533 0 0 0 16762 1 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246443723352 140246949510172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5955] ppid=5932 vsize=13801768 CPUtime=165.39 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5955/stat : 5955 (java) R 5932 5932 8571 0 -1 4202560 1169 0 0 0 16538 1 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246442671624 140246948559149 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5956] ppid=5932 vsize=13801768 CPUtime=168.06 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5956/stat : 5956 (java) R 5932 5932 8571 0 -1 4202560 3447 0 0 0 16803 3 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246441622272 140246942167140 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5957] ppid=5932 vsize=13801768 CPUtime=168.15 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5957/stat : 5957 (java) R 5932 5932 8571 0 -1 4202560 975 0 0 0 16815 0 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246440567048 140246943748594 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5958] ppid=5932 vsize=13801768 CPUtime=168.11 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5958/stat : 5958 (java) R 5932 5932 8571 0 -1 4202560 1520 0 0 0 16806 5 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246439514640 140246947905301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5959] ppid=5932 vsize=13801768 CPUtime=168.29 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5959/stat : 5959 (java) R 5932 5932 8571 0 -1 4202560 914 0 0 0 16827 2 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246438461752 140246948485014 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5960] ppid=5932 vsize=13801768 CPUtime=167.9 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5960/stat : 5960 (java) R 5932 5932 8571 0 -1 4202560 5518 0 0 0 16786 4 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246437408920 140246948559498 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5961] ppid=5932 vsize=13801768 CPUtime=166.95 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5961/stat : 5961 (java) R 5932 5932 8571 0 -1 4202560 1957 0 0 0 16690 5 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246436355904 140246948485576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
Current children cumulated CPU time (s) 1380.71
Current children cumulated vsize (KiB) 13811280

[startup+176.401 s]
/proc/loadavg: 15.97 15.44 14.64 18/299 6152
/proc/meminfo: memFree=28767860/32770624 swapFree=5884/294508
[pid=5932] ppid=5929 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5932/stat : 5932 (xcsp3-exec) S 5929 5932 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4899678 9740288 345 33554432000 4194304 5098028 140722043100032 140722043098136 140053417722492 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 9318400 140722043106447 140722043106656 140722043106656 140722043109355 0
/proc/5932/statm: 2378 345 289 221 0 87 0
[pid=5933] ppid=5932 vsize=13801768 CPUtime=1381.18 cores=1,3,5,7,9,11,13,15
/proc/5933/stat : 5933 (java) S 5932 5932 8571 0 -1 1077944320 93542 0 0 0 137527 591 0 0 20 0 28 0 4899678 14133010432 697308 33554432000 4194304 4196468 140735409153616 140735409136160 140247334555383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
/proc/5933/statm: 3450442 697308 3308 1 0 3437675 0
[pid=5933/tid=5934] ppid=5932 vsize=13801768 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5934/stat : 5934 (java) S 5932 5932 8571 0 -1 1077944384 8980 0 0 0 274 12 0 0 20 0 28 0 4899679 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247338796160 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5936] ppid=5932 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5936/stat : 5936 (java) S 5932 5932 8571 0 -1 1077944384 960 0 0 0 188 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247266691600 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5937] ppid=5932 vsize=13801768 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5937/stat : 5937 (java) S 5932 5932 8571 0 -1 1077944384 1337 0 0 0 187 65 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247265639056 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5938] ppid=5932 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5938/stat : 5938 (java) S 5932 5932 8571 0 -1 1077944384 1115 0 0 0 195 62 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247264586000 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5939] ppid=5932 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5939/stat : 5939 (java) S 5932 5932 8571 0 -1 1077944384 799 0 0 0 189 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247263533456 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5940] ppid=5932 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5940/stat : 5940 (java) S 5932 5932 8571 0 -1 1077944384 2325 0 0 0 188 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247262481424 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5941] ppid=5932 vsize=13801768 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5941/stat : 5941 (java) S 5932 5932 8571 0 -1 1077944384 1200 0 0 0 184 65 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247261428880 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5942] ppid=5932 vsize=13801768 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5942/stat : 5942 (java) S 5932 5932 8571 0 -1 1077944384 868 0 0 0 182 64 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247260375824 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5943] ppid=5932 vsize=13801768 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5943/stat : 5943 (java) S 5932 5932 8571 0 -1 1077944384 1435 0 0 0 183 68 0 0 20 0 28 0 4899680 14133010432 697308 33554432000 4194304 4196468 140735409153616 140247259323280 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5944] ppid=5932 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5944/stat : 5944 (java) S 5932 5932 8571 0 -1 1077944384 3146 0 0 0 75 6 0 0 20 0 28 0 4899682 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246796937456 140247334566530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5945] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5945/stat : 5945 (java) S 5932 5932 8571 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246795883744 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5946] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5946/stat : 5946 (java) S 5932 5932 8571 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4899683 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246794830592 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5947] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5947/stat : 5947 (java) S 5932 5932 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246793779152 140247334573979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5948] ppid=5932 vsize=13801768 CPUtime=5.4 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5948/stat : 5948 (java) S 5932 5932 8571 0 -1 1077944384 15550 0 0 0 537 3 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246792727280 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5949] ppid=5932 vsize=13801768 CPUtime=5.18 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5949/stat : 5949 (java) S 5932 5932 8571 0 -1 1077944384 16020 0 0 0 515 3 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246791674736 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5950] ppid=5932 vsize=13801768 CPUtime=4.09 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5950/stat : 5950 (java) S 5932 5932 8571 0 -1 1077944384 10092 0 0 0 407 2 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246790621680 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5951] ppid=5932 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5951/stat : 5951 (java) S 5932 5932 8571 0 -1 1077944384 10240 0 0 0 134 3 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246789569136 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5952] ppid=5932 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5952/stat : 5952 (java) S 5932 5932 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4899687 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246452791776 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5953] ppid=5932 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5953/stat : 5953 (java) S 5932 5932 8571 0 -1 1077944384 976 0 0 0 6 5 0 0 20 0 28 0 4899688 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246451739312 140247334566530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5954] ppid=5932 vsize=13801768 CPUtime=167.64 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5954/stat : 5954 (java) S 5932 5932 8571 0 -1 1077944384 1537 0 0 0 16763 1 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246443728304 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5955] ppid=5932 vsize=13801768 CPUtime=165.4 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5955/stat : 5955 (java) S 5932 5932 8571 0 -1 1077944384 1177 0 0 0 16539 1 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246442677072 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5956] ppid=5932 vsize=13801768 CPUtime=168.44 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5956/stat : 5956 (java) R 5932 5932 8571 0 -1 4202560 3447 0 0 0 16841 3 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246441622272 140246942167114 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5957] ppid=5932 vsize=13801768 CPUtime=168.16 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5957/stat : 5957 (java) S 5932 5932 8571 0 -1 1077944384 978 0 0 0 16816 0 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246440572496 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5958] ppid=5932 vsize=13801768 CPUtime=168.12 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5958/stat : 5958 (java) S 5932 5932 8571 0 -1 1077944384 1573 0 0 0 16807 5 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246439519440 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5959] ppid=5932 vsize=13801768 CPUtime=168.29 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5959/stat : 5959 (java) S 5932 5932 8571 0 -1 1077944384 920 0 0 0 16827 2 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246438466896 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5960] ppid=5932 vsize=13801768 CPUtime=167.91 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5960/stat : 5960 (java) S 5932 5932 8571 0 -1 1077944384 5518 0 0 0 16787 4 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246437413840 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
[pid=5933/tid=5961] ppid=5932 vsize=13801768 CPUtime=166.95 cores=1,3,5,7,9,11,13,15
/proc/5933/task/5961/stat : 5961 (java) S 5932 5932 8571 0 -1 1077944384 1960 0 0 0 16690 5 0 0 20 0 28 0 4900019 14133010432 697308 33554432000 4194304 4196468 140735409153616 140246436361296 140247334565589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32182272 140735409157308 140735409157484 140735409157484 140735409160143 0
Current children cumulated CPU time (s) 1381.18
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 176.459
CPU time (s): 1381.25
CPU user time (s): 1375.32
CPU system time (s): 5.93301
CPU usage (%): 782.759
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1375.32
system time used= 5.93301
maximum resident set size= 2789328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10562
involuntary context switches= 108868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22459 second user time and 2.69776 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-22 06:05:19
IDJOB=4250066
IDBENCH=138789
IDSOLVER=2626
FILE ID=node126/4250066-1500696319
RUNJOBID= node126-1500683384-8603
PBS_JOBID= 20623339
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0150-m1.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-4250066-1500696319/watcher-4250066-1500696319 -o /tmp/evaluation-result-4250066-1500696319/solver-4250066-1500696319 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 313251094 HOME/instance-4250066-1500696319.xml

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

MD5SUM BENCH= 87bfaaaf5fd3b270ee1dec703898481f
RANDOM SEED=313251094

node126.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		: 2668.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	: 5333.50
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		: 1600.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.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	: 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	: 5333.50
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		: 1733.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.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	: 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	: 5333.50
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		: 1600.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.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	: 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	: 5333.50
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		: 1600.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.55
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		: 2668.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	: 5333.50
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		: 1867.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.55
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		: 2668.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	: 5333.50
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		: 1600.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.55
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		: 2668.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	: 5333.50
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		: 1600.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.55
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		: 2668.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	: 5333.50
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		: 1867.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21148152 kB
MemAvailable:   21322088 kB
Buffers:          118016 kB
Cached:           338016 kB
SwapCached:            0 kB
Active:         10871636 kB
Inactive:         302920 kB
Active(anon):   10721368 kB
Inactive(anon):     8656 kB
Active(file):     150268 kB
Inactive(file):   294264 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8232 kB
Writeback:             0 kB
AnonPages:      10724588 kB
Mapped:            42484 kB
Shmem:              8840 kB
Slab:             124148 kB
SReclaimable:      90480 kB
SUnreclaim:        33668 kB
KernelStack:        4560 kB
PageTables:        26120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11010196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10395648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61968 MiB
End job on node126 at 2017-07-22 06:08:16