Trace number 4246701

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)416 2400.27 302.712

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-21-a3.xml
MD5SUM77b850f9bb38d7d923034c01213ab5aa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark409
Best CPU time to get the best result obtained on this benchmark20039.199
Satisfiable
(Un)Satisfiability was proved
Number of variables462
Number of constraints213
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":210},{"size":1001,"count":21}]
Minimum variable degree0
Maximum variable degree22
Distribution of variable degrees[{"degree":0,"count":231},{"degree":2,"count":210},{"degree":21,"count":19},{"degree":22,"count":2}]
Minimum constraint arity1
Maximum constraint arity210
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":210},{"arity":21,"count":1},{"arity":210,"count":1}]
Number of extensional constraints0
Number of intensional constraints211
Distribution of constraint types[{"type":"intension","count":211},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

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-4246701-1500687876.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4246701-1500687876.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
0.00/0.87	c solve instance...
8.61/1.70	o 564 
9.36/1.80	o 552 
9.36/1.84	o 545 
9.36/1.89	o 512 
9.93/1.97	o 504 
10.63/2.01	o 500 
10.63/2.03	o 483 
11.14/2.10	o 477 
12.01/2.25	o 466 
12.01/2.30	o 462 
17.37/2.92	o 454 
23.72/3.76	o 453 
25.29/3.97	o 447 
40.05/5.88	o 439 
45.42/6.56	o 438 
56.29/7.96	o 437 
82.46/11.21	o 435 
123.83/16.46	o 432 
166.00/21.76	o 429 
219.08/28.47	o 422 
1836.93/231.72	o 416 
2400.27/302.74	s SATISFIABLE
2400.27/302.74	v <instantiation>
2400.27/302.74	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[16][17] y[16][18] y[16][19] y[16][20] y[17][18] y[17][19] y[17][20] y[18][19] y[18][20] y[19][20] </list>
2400.27/302.74	v 	<values>0 1 3 8 12 18 32 48 69 82 104 142 167 194 213 256 300 339 367 393 416 1 3 8 12 18 32 48 69 82 104 142 167 194 213 256 300 339 367 393 416 2 7 11 17 31 47 68 81 103 141 166 193 212 255 299 338 366 392 415 5 9 15 29 45 66 79 101 139 164 191 210 253 297 336 364 390 413 4 10 24 40 61 74 96 134 159 186 205 248 292 331 359 385 408 6 20 36 57 70 92 130 155 182 201 244 288 327 355 381 404 14 30 51 64 86 124 149 176 195 238 282 321 349 375 398 16 37 50 72 110 135 162 181 224 268 307 335 361 384 21 34 56 94 119 146 165 208 252 291 319 345 368 13 35 73 98 125 144 187 231 270 298 324 347 22 60 85 112 131 174 218 257 285 311 334 38 63 90 109 152 196 235 263 289 312 25 52 71 114 158 197 225 251 274 27 46 89 133 172 200 226 249 19 62 106 145 173 199 222 43 87 126 154 180 203 44 83 111 137 160 39 67 93 116 28 54 77 26 49 23 </values>
2400.27/302.74	v </instantiation>
2400.27/302.74	c Unexpected resolution interruption!

Verifier Data 

OK	416

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-4246701-1500687876/watcher-4246701-1500687876 -o /tmp/evaluation-result-4246701-1500687876/solver-4246701-1500687876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 392442442 HOME/instance-4246701-1500687876.xml 

pid=10596
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: 16.24 15.98 15.66 10/274 10599
/proc/meminfo: memFree=31543916/32770624 swapFree=5900/257412
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0

[startup+0.100108 s]
/proc/loadavg: 16.24 15.98 15.66 10/274 10599
/proc/meminfo: memFree=31543916/32770624 swapFree=5900/257412
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200347 s]
/proc/loadavg: 16.24 15.98 15.66 10/274 10599
/proc/meminfo: memFree=31543916/32770624 swapFree=5900/257412
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300355 s]
/proc/loadavg: 16.24 15.98 15.66 10/274 10599
/proc/meminfo: memFree=31543916/32770624 swapFree=5900/257412
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.7002 s]
/proc/loadavg: 16.24 15.98 15.66 10/274 10599
/proc/meminfo: memFree=31543916/32770624 swapFree=5900/257412
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50144 s]
/proc/loadavg: 16.24 15.98 15.66 20/303 10628
/proc/meminfo: memFree=31409364/32770624 swapFree=5900/257448
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10600] ppid=10599 vsize=13801768 CPUtime=7.15 cores=0,2,4,6,8,10,12,14
/proc/10600/stat : 10600 (java) S 10599 10599 16913 0 -1 1077944320 16932 0 0 0 700 15 0 0 20 0 28 0 4054524 14133010432 52415 33554432000 4194304 4196468 140728948399024 140728948381568 139971783298807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
/proc/10600/statm: 3450442 52415 3239 1 0 3437675 0
[pid=10600/tid=10601] ppid=10599 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10601/stat : 10601 (java) S 10599 10599 16913 0 -1 1077944384 6973 0 0 0 80 5 0 0 20 0 28 0 4054524 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971787539584 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10603] ppid=10599 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10603/stat : 10603 (java) S 10599 10599 16913 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971715435664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10604] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10604/stat : 10604 (java) S 10599 10599 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971714382864 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10605] ppid=10599 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10605/stat : 10605 (java) S 10599 10599 16913 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971713330064 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10606] ppid=10599 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10606/stat : 10606 (java) S 10599 10599 16913 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971712277264 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10607] ppid=10599 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10607/stat : 10607 (java) S 10599 10599 16913 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971711224464 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10608] ppid=10599 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10608/stat : 10608 (java) S 10599 10599 16913 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971710171664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10609] ppid=10599 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10609/stat : 10609 (java) S 10599 10599 16913 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971376679312 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10610] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10610/stat : 10610 (java) S 10599 10599 16913 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4054525 14133010432 52415 33554432000 4194304 4196468 140728948399024 139971375626512 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10611] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10611/stat : 10611 (java) S 10599 10599 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4054528 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970910112624 139971783309954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10612] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10612/stat : 10612 (java) S 10599 10599 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4054528 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970909058656 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10613] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10613/stat : 10613 (java) S 10599 10599 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4054529 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970908005744 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10614] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10614/stat : 10614 (java) S 10599 10599 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4054533 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970906954064 139971783317403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10615] ppid=10599 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10615/stat : 10615 (java) S 10599 10599 16913 0 -1 1077944384 1912 0 0 0 70 1 0 0 20 0 28 0 4054533 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970905889056 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10616] ppid=10599 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10616/stat : 10616 (java) R 10599 10599 16913 0 -1 4202560 2014 0 0 0 79 0 0 0 20 0 28 0 4054533 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970904834648 139971761321736 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10617] ppid=10599 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10617/stat : 10617 (java) R 10599 10599 16913 0 -1 1077944384 1308 0 0 0 66 0 0 0 20 0 28 0 4054533 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970374779024 139971783309013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10618] ppid=10599 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10618/stat : 10618 (java) R 10599 10599 16913 0 -1 4202560 2834 0 0 0 60 0 0 0 20 0 28 0 4054533 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970373736432 139971761301729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10619] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10619/stat : 10619 (java) S 10599 10599 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4054533 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970372684896 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10620] ppid=10599 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10620/stat : 10620 (java) S 10599 10599 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4054533 14133010432 52415 33554432000 4194304 4196468 140728948399024 139970371632176 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10621] ppid=10599 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10621/stat : 10621 (java) R 10599 10599 16913 0 -1 4202560 57 0 0 0 41 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969758650712 139971395829911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10622] ppid=10599 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10622/stat : 10622 (java) R 10599 10599 16913 0 -1 4202560 63 0 0 0 45 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969757599688 139971396263441 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10623] ppid=10599 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10623/stat : 10623 (java) R 10599 10599 16913 0 -1 4202560 48 0 0 0 42 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969756546968 139971390480081 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10624] ppid=10599 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10624/stat : 10624 (java) R 10599 10599 16913 0 -1 4202560 88 0 0 0 39 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969755492704 139971783320733 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10625] ppid=10599 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10625/stat : 10625 (java) R 10599 10599 16913 0 -1 4202560 33 0 0 0 48 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969754440584 139971396263481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10626] ppid=10599 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10626/stat : 10626 (java) R 10599 10599 16913 0 -1 4202560 48 0 0 0 42 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969753387720 139971395829666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10627] ppid=10599 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10627/stat : 10627 (java) R 10599 10599 16913 0 -1 4202560 32 0 0 0 33 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969752336440 139971396261849 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10628] ppid=10599 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10628/stat : 10628 (java) R 10599 10599 16913 0 -1 4202560 43 0 0 0 37 0 0 0 20 0 28 0 4054612 14133010432 52415 33554432000 4194304 4196468 140728948399024 139969751283256 139971395829603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 13811280

[startup+3.10125 s]
/proc/loadavg: 16.24 15.98 15.66 20/303 10692
/proc/meminfo: memFree=31344108/32770624 swapFree=5900/257452
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10600] ppid=10599 vsize=13802796 CPUtime=18.95 cores=0,2,4,6,8,10,12,14
/proc/10600/stat : 10600 (java) S 10599 10599 16913 0 -1 1077944320 20019 0 0 0 1872 23 0 0 20 0 28 0 4054524 14134063104 60119 33554432000 4194304 4196468 140728948399024 140728948381568 139971783298807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
/proc/10600/statm: 3450699 60119 3255 1 0 3437932 0
[pid=10600/tid=10601] ppid=10599 vsize=13802796 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10601/stat : 10601 (java) S 10599 10599 16913 0 -1 1077944384 6976 0 0 0 81 5 0 0 20 0 28 0 4054524 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971787539584 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10603] ppid=10599 vsize=13802796 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10603/stat : 10603 (java) S 10599 10599 16913 0 -1 1077944384 22 0 0 0 2 1 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971715435664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10604] ppid=10599 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10604/stat : 10604 (java) S 10599 10599 16913 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971714382864 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10605] ppid=10599 vsize=13802796 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10605/stat : 10605 (java) S 10599 10599 16913 0 -1 1077944384 23 0 0 0 2 1 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971713330064 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10606] ppid=10599 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10606/stat : 10606 (java) S 10599 10599 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971712277264 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10607] ppid=10599 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10607/stat : 10607 (java) S 10599 10599 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971711224464 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10608] ppid=10599 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10608/stat : 10608 (java) S 10599 10599 16913 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971710171664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10609] ppid=10599 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10609/stat : 10609 (java) S 10599 10599 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971376679312 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10610] ppid=10599 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10610/stat : 10610 (java) S 10599 10599 16913 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 28 0 4054525 14134063104 60119 33554432000 4194304 4196468 140728948399024 139971375626512 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10611] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10611/stat : 10611 (java) S 10599 10599 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4054528 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970910112624 139971783309954 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10612] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10612/stat : 10612 (java) S 10599 10599 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4054528 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970909058656 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10613] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10613/stat : 10613 (java) S 10599 10599 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4054529 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970908005760 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10614] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10614/stat : 10614 (java) S 10599 10599 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4054533 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970906954064 139971783317403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10615] ppid=10599 vsize=13802796 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10615/stat : 10615 (java) R 10599 10599 16913 0 -1 4202560 2040 0 0 0 205 1 0 0 20 0 28 0 4054533 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970905887392 139971766798994 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10616] ppid=10599 vsize=13802796 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10616/stat : 10616 (java) R 10599 10599 16913 0 -1 4202560 2542 0 0 0 212 1 0 0 20 0 28 0 4054533 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970904838304 139971764019242 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10617] ppid=10599 vsize=13802796 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10617/stat : 10617 (java) R 10599 10599 16913 0 -1 4202560 1858 0 0 0 187 0 0 0 20 0 28 0 4054533 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970374775776 139971768415988 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10618] ppid=10599 vsize=13802796 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10618/stat : 10618 (java) S 10599 10599 16913 0 -1 1077944384 3052 0 0 0 80 1 0 0 20 0 28 0 4054533 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970373736432 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10619] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10619/stat : 10619 (java) S 10599 10599 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4054533 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970372684896 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10620] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10620/stat : 10620 (java) S 10599 10599 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4054533 14134063104 60119 33554432000 4194304 4196468 140728948399024 139970371632176 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
Current children cumulated CPU time (s) 18.95
Current children cumulated vsize (KiB) 13812308

[startup+6.30118 s]
/proc/loadavg: 16.54 16.05 15.69 17/303 10732
/proc/meminfo: memFree=31191732/32770624 swapFree=5900/257460
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10600] ppid=10599 vsize=13802796 CPUtime=43.82 cores=0,2,4,6,8,10,12,14
/proc/10600/stat : 10600 (java) S 10599 10599 16913 0 -1 1077944320 23494 0 0 0 4347 35 0 0 20 0 28 0 4054524 14134063104 91310 33554432000 4194304 4196468 140728948399024 140728948381568 139971783298807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
/proc/10600/statm: 3450699 91310 3261 1 0 3437932 0
[pid=10600/tid=10601] ppid=10599 vsize=13802796 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10601/stat : 10601 (java) S 10599 10599 16913 0 -1 1077944384 7016 0 0 0 81 5 0 0 20 0 28 0 4054524 14134063104 91310 33554432000 4194304 4196468 140728948399024 139971787539584 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10603] ppid=10599 vsize=13802796 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10603/stat : 10603 (java) S 10599 10599 16913 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 28 0 4054525 14134063104 91310 33554432000 4194304 4196468 140728948399024 139971715435664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10604] ppid=10599 vsize=13802796 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10604/stat : 10604 (java) S 10599 10599 16913 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 4054525 14134063104 91310 33554432000 4194304 4196468 140728948399024 139971714382864 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10605] ppid=10599 vsize=13802796 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10605/stat : 10605 (java) S 10599 10599 16913 0 -1 1077944384 31 0 0 0 2 2 0 0 20 0 28 0 4054525 14134063104 91310 33554432000 4194304 4196468 140728948399024 139971713330064 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10606] ppid=10599 vsize=13802796 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10606/stat : 10606 (java) S 10599 10599 16913 0 -1 1077944384 22 0 0 0 2 2 0 0 20 0 28 0 4054525 14134063104 91310 33554432000 4194304 4196468 140728948399024 139971712277264 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0

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

[pid=10600/tid=11243] ppid=10599 vsize=13802796 CPUtime=50.05 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11243/stat : 11243 (java) R 10599 10599 16913 0 -1 4202560 680 0 0 0 5005 0 0 0 20 0 28 0 4077696 14134063104 177584 33554432000 4194304 4196468 140728948399024 139969751282776 139971396217236 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11244] ppid=10599 vsize=13802796 CPUtime=50.25 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11244/stat : 11244 (java) R 10599 10599 16913 0 -1 4202560 396 0 0 0 5025 0 0 0 20 0 28 0 4077696 14134063104 177584 33554432000 4194304 4196468 140728948399024 139969754440056 139971396841855 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
Current children cumulated CPU time (s) 2238.63
Current children cumulated vsize (KiB) 13812308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+302.702 s]
/proc/loadavg: 15.98 15.88 15.70 17/303 11261
/proc/meminfo: memFree=29969604/32770624 swapFree=5900/257920
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10600] ppid=10599 vsize=13802796 CPUtime=2400.27 cores=0,2,4,6,8,10,12,14
/proc/10600/stat : 10600 (java) S 10599 10599 16913 0 -1 1077944320 87276 0 0 0 239819 208 0 0 20 0 28 0 4054524 14134063104 176428 33554432000 4194304 4196468 140728948399024 140728948381568 139971783298807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
/proc/10600/statm: 3450699 176428 3272 1 0 3437932 0
[pid=10600/tid=10601] ppid=10599 vsize=13802796 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10601/stat : 10601 (java) S 10599 10599 16913 0 -1 1077944384 7908 0 0 0 82 5 0 0 20 0 28 0 4054524 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971787539584 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10603] ppid=10599 vsize=13802796 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10603/stat : 10603 (java) S 10599 10599 16913 0 -1 1077944384 2882 0 0 0 24 18 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971715435664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10604] ppid=10599 vsize=13802796 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10604/stat : 10604 (java) S 10599 10599 16913 0 -1 1077944384 1434 0 0 0 22 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971714382864 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10605] ppid=10599 vsize=13802796 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10605/stat : 10605 (java) S 10599 10599 16913 0 -1 1077944384 1388 0 0 0 22 19 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971713330064 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10606] ppid=10599 vsize=13802796 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10606/stat : 10606 (java) S 10599 10599 16913 0 -1 1077944384 897 0 0 0 24 19 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971712277264 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10607] ppid=10599 vsize=13802796 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10607/stat : 10607 (java) S 10599 10599 16913 0 -1 1077944384 2002 0 0 0 21 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971711224464 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10608] ppid=10599 vsize=13802796 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10608/stat : 10608 (java) S 10599 10599 16913 0 -1 1077944384 3045 0 0 0 23 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971710171664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10609] ppid=10599 vsize=13802796 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10609/stat : 10609 (java) S 10599 10599 16913 0 -1 1077944384 1306 0 0 0 22 21 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971376679312 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10610] ppid=10599 vsize=13802796 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10610/stat : 10610 (java) S 10599 10599 16913 0 -1 1077944384 2184 0 0 0 21 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971375626512 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10611] ppid=10599 vsize=13802796 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10611/stat : 10611 (java) S 10599 10599 16913 0 -1 1077944384 5168 0 0 0 22 23 0 0 20 0 28 0 4054528 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970910112624 139971783309954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10612] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10612/stat : 10612 (java) S 10599 10599 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4054528 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970909058656 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10613] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10613/stat : 10613 (java) S 10599 10599 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4054529 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970908005760 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10614] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10614/stat : 10614 (java) S 10599 10599 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970906954064 139971783317403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10615] ppid=10599 vsize=13802796 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10615/stat : 10615 (java) S 10599 10599 16913 0 -1 1077944384 7114 0 0 0 303 1 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970905901424 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10616] ppid=10599 vsize=13802796 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10616/stat : 10616 (java) S 10599 10599 16913 0 -1 1077944384 8395 0 0 0 299 1 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970904848624 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10617] ppid=10599 vsize=13802796 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10617/stat : 10617 (java) S 10599 10599 16913 0 -1 1077944384 7390 0 0 0 258 1 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970374789232 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10618] ppid=10599 vsize=13802796 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10618/stat : 10618 (java) S 10599 10599 16913 0 -1 1077944384 7652 0 0 0 90 2 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970373736432 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10619] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10619/stat : 10619 (java) S 10599 10599 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970372684896 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10620] ppid=10599 vsize=13802796 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10620/stat : 10620 (java) S 10599 10599 16913 0 -1 1077944384 733 0 0 0 7 4 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970371632176 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11237] ppid=10599 vsize=13802796 CPUtime=70.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11237/stat : 11237 (java) R 10599 10599 16913 0 -1 4202560 705 0 0 0 7043 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969756544312 139971396217457 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11238] ppid=10599 vsize=13802796 CPUtime=70 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11238/stat : 11238 (java) R 10599 10599 16913 0 -1 4202560 1101 0 0 0 7000 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969758650392 139971397455565 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11239] ppid=10599 vsize=13802796 CPUtime=70.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11239/stat : 11239 (java) R 10599 10599 16913 0 -1 4202560 1059 0 0 0 7043 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969757597448 139971396216793 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11240] ppid=10599 vsize=13802796 CPUtime=70.13 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11240/stat : 11240 (java) R 10599 10599 16913 0 -1 4202560 637 0 0 0 7013 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969752333824 139971398846794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11241] ppid=10599 vsize=13802796 CPUtime=70.06 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11241/stat : 11241 (java) R 10599 10599 16913 0 -1 4202560 635 0 0 0 7006 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969755491976 139971396336200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11242] ppid=10599 vsize=13802796 CPUtime=70.27 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11242/stat : 11242 (java) R 10599 10599 16913 0 -1 4202560 276 0 0 0 7027 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969750228632 139971396841790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11243] ppid=10599 vsize=13802796 CPUtime=70.17 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11243/stat : 11243 (java) R 10599 10599 16913 0 -1 4202560 800 0 0 0 7017 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969751282232 139971396967590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11244] ppid=10599 vsize=13802796 CPUtime=70.49 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11244/stat : 11244 (java) R 10599 10599 16913 0 -1 4202560 479 0 0 0 7049 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969754442544 139971396217236 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13812308

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 10600 sig 9
??? kill 10599 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+302.702 s]
/proc/loadavg: 15.98 15.88 15.70 17/303 11261
/proc/meminfo: memFree=29969604/32770624 swapFree=5900/257920
[pid=10599] ppid=10596 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10599/stat : 10599 (xcsp3-exec) S 10596 10599 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4054524 9740288 346 33554432000 4194304 5098028 140735181653024 140735181651128 140620754575996 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 22073344 140735181661327 140735181661536 140735181661536 140735181664235 0
/proc/10599/statm: 2378 346 289 221 0 87 0
[pid=10600] ppid=10599 vsize=13802796 CPUtime=2400.27 cores=0,2,4,6,8,10,12,14
/proc/10600/stat : 10600 (java) S 10599 10599 16913 0 -1 1077944320 87276 0 0 0 239819 208 0 0 20 0 28 0 4054524 14134063104 176428 33554432000 4194304 4196468 140728948399024 140728948381568 139971783298807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
/proc/10600/statm: 3450699 176428 3272 1 0 3437932 0
[pid=10600/tid=10601] ppid=10599 vsize=13802796 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10601/stat : 10601 (java) S 10599 10599 16913 0 -1 1077944384 7908 0 0 0 82 5 0 0 20 0 28 0 4054524 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971787539584 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10603] ppid=10599 vsize=13802796 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10603/stat : 10603 (java) S 10599 10599 16913 0 -1 1077944384 2882 0 0 0 24 18 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971715435664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10604] ppid=10599 vsize=13802796 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10604/stat : 10604 (java) S 10599 10599 16913 0 -1 1077944384 1434 0 0 0 22 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971714382864 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10605] ppid=10599 vsize=13802796 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10605/stat : 10605 (java) S 10599 10599 16913 0 -1 1077944384 1388 0 0 0 22 19 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971713330064 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10606] ppid=10599 vsize=13802796 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10606/stat : 10606 (java) S 10599 10599 16913 0 -1 1077944384 897 0 0 0 24 19 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971712277264 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10607] ppid=10599 vsize=13802796 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10607/stat : 10607 (java) S 10599 10599 16913 0 -1 1077944384 2002 0 0 0 21 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971711224464 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10608] ppid=10599 vsize=13802796 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10608/stat : 10608 (java) S 10599 10599 16913 0 -1 1077944384 3045 0 0 0 23 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971710171664 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10609] ppid=10599 vsize=13802796 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10609/stat : 10609 (java) S 10599 10599 16913 0 -1 1077944384 1306 0 0 0 22 21 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971376679312 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10610] ppid=10599 vsize=13802796 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10610/stat : 10610 (java) S 10599 10599 16913 0 -1 1077944384 2184 0 0 0 21 20 0 0 20 0 28 0 4054525 14134063104 176428 33554432000 4194304 4196468 140728948399024 139971375626512 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10611] ppid=10599 vsize=13802796 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10611/stat : 10611 (java) S 10599 10599 16913 0 -1 1077944384 5168 0 0 0 22 23 0 0 20 0 28 0 4054528 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970910112624 139971783309954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10612] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10612/stat : 10612 (java) S 10599 10599 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4054528 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970909058656 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10613] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10613/stat : 10613 (java) S 10599 10599 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4054529 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970908005760 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10614] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10614/stat : 10614 (java) S 10599 10599 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970906954064 139971783317403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10615] ppid=10599 vsize=13802796 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10615/stat : 10615 (java) S 10599 10599 16913 0 -1 1077944384 7114 0 0 0 303 1 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970905901424 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10616] ppid=10599 vsize=13802796 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10616/stat : 10616 (java) S 10599 10599 16913 0 -1 1077944384 8395 0 0 0 299 1 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970904848624 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10617] ppid=10599 vsize=13802796 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10617/stat : 10617 (java) S 10599 10599 16913 0 -1 1077944384 7390 0 0 0 258 1 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970374789232 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10618] ppid=10599 vsize=13802796 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10618/stat : 10618 (java) S 10599 10599 16913 0 -1 1077944384 7652 0 0 0 90 2 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970373736432 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10619] ppid=10599 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10619/stat : 10619 (java) S 10599 10599 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970372684896 139971783309013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=10620] ppid=10599 vsize=13802796 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/10600/task/10620/stat : 10620 (java) S 10599 10599 16913 0 -1 1077944384 733 0 0 0 7 4 0 0 20 0 28 0 4054533 14134063104 176428 33554432000 4194304 4196468 140728948399024 139970371632176 139971783309954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11237] ppid=10599 vsize=13802796 CPUtime=70.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11237/stat : 11237 (java) R 10599 10599 16913 0 -1 4202560 705 0 0 0 7043 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969756544312 139971396217457 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11238] ppid=10599 vsize=13802796 CPUtime=70 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11238/stat : 11238 (java) R 10599 10599 16913 0 -1 4202560 1101 0 0 0 7000 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969758650392 139971397455565 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11239] ppid=10599 vsize=13802796 CPUtime=70.43 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11239/stat : 11239 (java) R 10599 10599 16913 0 -1 4202560 1059 0 0 0 7043 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969757597448 139971396216793 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11240] ppid=10599 vsize=13802796 CPUtime=70.13 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11240/stat : 11240 (java) R 10599 10599 16913 0 -1 4202560 637 0 0 0 7013 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969752333824 139971398846794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11241] ppid=10599 vsize=13802796 CPUtime=70.06 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11241/stat : 11241 (java) R 10599 10599 16913 0 -1 4202560 635 0 0 0 7006 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969755491976 139971396336200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11242] ppid=10599 vsize=13802796 CPUtime=70.27 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11242/stat : 11242 (java) R 10599 10599 16913 0 -1 4202560 276 0 0 0 7027 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969750228632 139971396841790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11243] ppid=10599 vsize=13802796 CPUtime=70.17 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11243/stat : 11243 (java) R 10599 10599 16913 0 -1 4202560 800 0 0 0 7017 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969751282232 139971396967590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
[pid=10600/tid=11244] ppid=10599 vsize=13802796 CPUtime=70.49 cores=0,2,4,6,8,10,12,14
/proc/10600/task/11244/stat : 11244 (java) R 10599 10599 16913 0 -1 4202560 479 0 0 0 7049 0 0 0 20 0 28 0 4077696 14134063104 176428 33554432000 4194304 4196468 140728948399024 139969754442544 139971396217236 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32133120 140728948401340 140728948401516 140728948401516 140728948404175 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13812308

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 302.712
CPU time (s): 2400.27
CPU user time (s): 2398.19
CPU system time (s): 2.08
CPU usage (%): 792.921
Max. virtual memory (cumulated for all children) (KiB): 13812308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001634
system time used= 0.001634
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= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70818 second user time and 4.26053 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 03:44:36
IDJOB=4246701
IDBENCH=126219
IDSOLVER=2625
FILE ID=node133/4246701-1500687876
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-21-a3.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-4246701-1500687876/watcher-4246701-1500687876 -o /tmp/evaluation-result-4246701-1500687876/solver-4246701-1500687876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 392442442 HOME/instance-4246701-1500687876.xml

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

MD5SUM BENCH= 77b850f9bb38d7d923034c01213ab5aa
RANDOM SEED=392442442

node133.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		: 1600.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.13
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	: 5229.85
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.13
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	: 5229.85
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.13
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	: 5229.85
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		: 2133.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.13
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	: 5229.85
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		: 1733.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.13
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	: 5229.85
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.13
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	: 5229.85
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		: 2400.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.13
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	: 5229.85
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		: 1600.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.13
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31543996 kB
MemAvailable:   31703572 kB
Buffers:          111060 kB
Cached:           329416 kB
SwapCached:            0 kB
Active:           526612 kB
Inactive:         266168 kB
Active(anon):     354708 kB
Inactive(anon):     8756 kB
Active(file):     171904 kB
Inactive(file):   257412 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8044 kB
Writeback:             0 kB
AnonPages:        369752 kB
Mapped:            43108 kB
Shmem:              8872 kB
Slab:             126120 kB
SReclaimable:      92188 kB
SUnreclaim:        33932 kB
KernelStack:        5216 kB
PageTables:         6312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     966584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 03:49:39