Trace number 4245707

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)3622943 2400.61 306.212

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml
MD5SUMe15ea9448d462545754e2532d86d3e94
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3138098
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables702
Number of constraints326
Number of domains2
Minimum domain size26
Maximum domain size280
Distribution of domain sizes[{"size":26,"count":26},{"size":280,"count":325}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}]
Minimum constraint arity3
Maximum constraint arity26
Distribution of constraint arities[{"arity":3,"count":325},{"arity":26,"count":1}]
Number of extensional constraints325
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":325},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245707-1500686137.xml"  -tl '2400s' -p 8 -x 0
0.00/0.23	c [HOME/instance-4245707-1500686137.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.28	c 8 solvers in parallel
0.00/0.35	c parse instance...
58.13/10.92	c solve instance...
64.01/11.81	o 5463938 
64.83/12.07	o 5173366 
70.69/12.90	o 5142285 
70.69/12.91	o 5134395 
70.69/12.94	o 4461271 
70.69/12.95	o 4460971 
70.69/12.98	o 4377425 
71.01/13.02	o 4377385 
71.01/13.04	o 4306238 
71.01/13.05	o 4295793 
71.01/13.09	o 4209616 
71.51/13.10	o 4207185 
72.34/13.21	o 4202796 
72.34/13.22	o 4202536 
78.59/14.06	o 4202403 
78.59/14.07	o 4200365 
79.25/14.11	o 4200105 
79.25/14.12	o 4199972 
91.11/15.62	o 4190029 
91.11/15.63	o 4179916 
91.11/15.64	o 4173236 
91.11/15.67	o 4170891 
182.24/27.27	o 4145817 
182.24/27.28	o 4132044 
182.24/27.29	o 4118053 
209.97/30.86	o 3919649 
209.97/30.87	o 3632973 
210.36/30.98	o 3622943 
2400.61/306.24	s SATISFIABLE
2400.61/306.24	v <instantiation>
2400.61/306.24	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] x[21] x[22] x[23] x[24] x[25] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[21][22] d[21][23] d[21][24] d[21][25] d[22][23] d[22][24] d[22][25] d[23][24] d[23][25] d[24][25] </list>
2400.61/306.24	v 	<values>18 13 17 4 6 8 20 15 12 19 14 5 24 10 16 0 7 25 11 1 9 23 3 21 22 2 31 24 943 26 301 62 339 89 2633 232 20 48 90 2 154 51 16 336 70 93 0 70 61 36 1005 31 1012 1949 1212 154 20 64 918 533 47 9 318 8 768 107 140 187 116 14 2 2401 131 75 146 2129 301 1035 340 86 234 584 1095 13 23 476 1 1140 165 167 427 190 9 5 1434 187 175 39 926 1061 407 284 688 2991 46 515 21 777 11 115 222 518 2717 331 9 56 1114 660 266 415 331 57 3 21 127 134 0 10 4 0 336 61 3 78 17 2 0 216 19 5 5 18 75 118 1377 142 46 0 355 10 188 1 33 375 21 0 2 735 88 0 462 14 80 218 0 12 10 136 0 29 8 25 228 83 1 11 224 11 350 64 13 80 334 0 4 3 0 351 33 17 200 13 11 0 11 30 6 4 69 481 11 2 3 0 899 6 13 23 55 0 0 109 16 4 1 811 6 24 22 0 770 160 30 46 48 52 0 60 88 197 12 291 5 270 0 63 8 35 566 62 5 4 239 454 74 242 1 21 0 57 12 15 39 11 4 0 91 4 16 12 1 0 6 0 0 7 2 1 0 0 0 1 9 0 379 79 7 191 35 21 0 3 10 85 0 0 0 0 0 0 0 0 0 0 0 0 15 11 1531 57 6 3 516 120 10 495 7 15 3 1 0 1 3 0 0 13 0 0 0 0 1 81 0 23 34 0 512 28 12 5 2 0 1 3 0 0 0 1 0 1 7 0 0 0 7 24 30 1 0 1 3 </values>
2400.61/306.24	v </instantiation>
2400.61/306.24	c Unexpected resolution interruption!

Verifier Data 

OK	3622943

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-4245707-1500686137/watcher-4245707-1500686137 -o /tmp/evaluation-result-4245707-1500686137/solver-4245707-1500686137 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 172753749 HOME/instance-4245707-1500686137.xml 

pid=29220
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.72 15.69 14.04 9/271 29223
/proc/meminfo: memFree=30772560/32770624 swapFree=5800/239772
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0

[startup+0.100063 s]
/proc/loadavg: 15.72 15.69 14.04 9/271 29223
/proc/meminfo: memFree=30772560/32770624 swapFree=5800/239772
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200283 s]
/proc/loadavg: 15.72 15.69 14.04 9/271 29223
/proc/meminfo: memFree=30772560/32770624 swapFree=5800/239772
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300263 s]
/proc/loadavg: 15.72 15.69 14.04 9/271 29223
/proc/meminfo: memFree=30772560/32770624 swapFree=5800/239772
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700256 s]
/proc/loadavg: 15.72 15.69 14.04 9/271 29223
/proc/meminfo: memFree=30772560/32770624 swapFree=5800/239772
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50114 s]
/proc/loadavg: 15.72 15.69 14.04 17/292 29244
/proc/meminfo: memFree=30426888/32770624 swapFree=5800/239812
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
[pid=29224] ppid=29223 vsize=13269256 CPUtime=5.96 cores=1,3,5,7,9,11,13,15
/proc/29224/stat : 29224 (java) S 29223 29223 7621 0 -1 1077944320 12953 0 0 0 433 163 0 0 20 0 20 0 3881483 13587718144 119415 33554432000 4194304 4196468 140720828296272 140720828278816 140502824681207 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
/proc/29224/statm: 3317314 119415 3227 1 0 3304547 0
[pid=29224/tid=29225] ppid=29223 vsize=13269256 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29225/stat : 29225 (java) R 29223 29223 7621 0 -1 4202560 6619 0 0 0 84 3 0 0 20 0 20 0 3881483 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502828917144 140502426363926 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29227] ppid=29223 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29227/stat : 29227 (java) S 29223 29223 7621 0 -1 1077944384 243 0 0 0 34 19 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502743162000 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29228] ppid=29223 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29228/stat : 29228 (java) S 29223 29223 7621 0 -1 1077944384 222 0 0 0 33 17 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502422776848 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29229] ppid=29223 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29229/stat : 29229 (java) S 29223 29223 7621 0 -1 1077944384 159 0 0 0 33 20 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502421724048 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29230] ppid=29223 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29230/stat : 29230 (java) S 29223 29223 7621 0 -1 1077944384 145 0 0 0 36 18 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502420671248 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29231] ppid=29223 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29231/stat : 29231 (java) S 29223 29223 7621 0 -1 1077944384 221 0 0 0 33 20 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502419618448 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29232] ppid=29223 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29232/stat : 29232 (java) S 29223 29223 7621 0 -1 1077944384 174 0 0 0 32 20 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502418565648 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29233] ppid=29223 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29233/stat : 29233 (java) S 29223 29223 7621 0 -1 1077944384 234 0 0 0 33 20 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502417512848 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29234] ppid=29223 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29234/stat : 29234 (java) S 29223 29223 7621 0 -1 1077944384 220 0 0 0 33 19 0 0 20 0 20 0 3881484 13587718144 119415 33554432000 4194304 4196468 140720828296272 140502416460048 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29235] ppid=29223 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29235/stat : 29235 (java) S 29223 29223 7621 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 20 0 3881486 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501556636528 140502824692354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29236] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29236/stat : 29236 (java) S 29223 29223 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3881487 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501555582496 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29237] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29237/stat : 29237 (java) S 29223 29223 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3881487 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501554529648 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29238] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29238/stat : 29238 (java) S 29223 29223 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3881491 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501553477968 140502824699803 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29239] ppid=29223 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29239/stat : 29239 (java) S 29223 29223 7621 0 -1 1077944384 708 0 0 0 15 0 0 0 20 0 20 0 3881491 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501552425328 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29240] ppid=29223 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29240/stat : 29240 (java) S 29223 29223 7621 0 -1 1077944384 670 0 0 0 12 0 0 0 20 0 20 0 3881491 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501551372528 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29241] ppid=29223 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29241/stat : 29241 (java) S 29223 29223 7621 0 -1 1077944384 447 0 0 0 15 0 0 0 20 0 20 0 3881491 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501550319728 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29242] ppid=29223 vsize=13269256 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29242/stat : 29242 (java) S 29223 29223 7621 0 -1 1077944384 1299 0 0 0 31 0 0 0 20 0 20 0 3881491 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501549266928 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29243] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29243/stat : 29243 (java) S 29223 29223 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3881492 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501548215392 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29244] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29244/stat : 29244 (java) S 29223 29223 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3881495 13587718144 119415 33554432000 4194304 4196468 140720828296272 140501547162672 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 13278768

[startup+3.1025 s]
/proc/loadavg: 15.72 15.69 14.04 17/292 29244
/proc/meminfo: memFree=29927064/32770624 swapFree=5800/239820
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
[pid=29224] ppid=29223 vsize=13269256 CPUtime=14.74 cores=1,3,5,7,9,11,13,15
/proc/29224/stat : 29224 (java) S 29223 29223 7621 0 -1 1077944320 18688 0 0 0 1009 465 0 0 20 0 20 0 3881483 13587718144 278292 33554432000 4194304 4196468 140720828296272 140720828278816 140502824681207 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
/proc/29224/statm: 3317314 278804 3254 1 0 3304547 0
[pid=29224/tid=29225] ppid=29223 vsize=13269256 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29225/stat : 29225 (java) S 29223 29223 7621 0 -1 1077944384 7372 0 0 0 140 5 0 0 20 0 20 0 3881483 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502828918256 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29227] ppid=29223 vsize=13269256 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29227/stat : 29227 (java) R 29223 29223 7621 0 -1 4202560 580 0 0 0 94 57 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502743162200 140502817785855 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29228] ppid=29223 vsize=13269256 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29228/stat : 29228 (java) R 29223 29223 7621 0 -1 4202560 526 0 0 0 92 54 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502422777048 140502817785855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29229] ppid=29223 vsize=13269256 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29229/stat : 29229 (java) R 29223 29223 7621 0 -1 4202560 498 0 0 0 93 57 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502421724248 140502817785855 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29230] ppid=29223 vsize=13269256 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29230/stat : 29230 (java) R 29223 29223 7621 0 -1 4202560 608 0 0 0 96 55 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502420671448 140502817785855 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29231] ppid=29223 vsize=13269256 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29231/stat : 29231 (java) R 29223 29223 7621 0 -1 4202560 676 0 0 0 92 57 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502419618336 140502817783924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29232] ppid=29223 vsize=13269256 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29232/stat : 29232 (java) R 29223 29223 7621 0 -1 4202560 518 0 0 0 93 58 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502418565848 140502817785885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29233] ppid=29223 vsize=13269256 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29233/stat : 29233 (java) R 29223 29223 7621 0 -1 4202560 547 0 0 0 94 57 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502417513048 140502817785855 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29234] ppid=29223 vsize=13269256 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29234/stat : 29234 (java) R 29223 29223 7621 0 -1 4202560 639 0 0 0 92 56 0 0 20 0 20 0 3881484 13587718144 278804 33554432000 4194304 4196468 140720828296272 140502416460248 140502817785855 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29235] ppid=29223 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29235/stat : 29235 (java) S 29223 29223 7621 0 -1 1077944384 814 0 0 0 5 0 0 0 20 0 20 0 3881486 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501556635040 140502824691413 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29236] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29236/stat : 29236 (java) S 29223 29223 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3881487 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501555582560 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29237] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29237/stat : 29237 (java) S 29223 29223 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3881487 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501554529664 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29238] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29238/stat : 29238 (java) S 29223 29223 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3881491 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501553477968 140502824699803 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29239] ppid=29223 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29239/stat : 29239 (java) S 29223 29223 7621 0 -1 1077944384 1172 0 0 0 24 1 0 0 20 0 20 0 3881491 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501552425328 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29240] ppid=29223 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29240/stat : 29240 (java) S 29223 29223 7621 0 -1 1077944384 1079 0 0 0 25 0 0 0 20 0 20 0 3881491 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501551372528 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29241] ppid=29223 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29241/stat : 29241 (java) S 29223 29223 7621 0 -1 1077944384 685 0 0 0 22 0 0 0 20 0 20 0 3881491 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501550319728 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29242] ppid=29223 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29242/stat : 29242 (java) S 29223 29223 7621 0 -1 1077944384 1674 0 0 0 41 0 0 0 20 0 20 0 3881491 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501549266928 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29243] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29243/stat : 29243 (java) S 29223 29223 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3881492 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501548215392 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29244] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29244/stat : 29244 (java) S 29223 29223 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3881495 13587718144 278804 33554432000 4194304 4196468 140720828296272 140501547162672 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 13278768

[startup+6.30266 s]
/proc/loadavg: 15.58 15.66 14.04 16/292 29244
/proc/meminfo: memFree=29109564/32770624 swapFree=5800/239828
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
[pid=29224] ppid=29223 vsize=13269256 CPUtime=33.46 cores=1,3,5,7,9,11,13,15
/proc/29224/stat : 29224 (java) S 29223 29223 7621 0 -1 1077944320 34067 0 0 0 2443 903 0 0 20 0 20 0 3881483 13587718144 509063 33554432000 4194304 4196468 140720828296272 140720828278816 140502824681207 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
/proc/29224/statm: 3317314 509063 3263 1 0 3304547 0
[pid=29224/tid=29225] ppid=29223 vsize=13269256 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29225/stat : 29225 (java) S 29223 29223 7621 0 -1 1077944384 9123 0 0 0 233 7 0 0 20 0 20 0 3881483 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502828918288 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29227] ppid=29223 vsize=13269256 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29227/stat : 29227 (java) R 29223 29223 7621 0 -1 4202560 1310 0 0 0 256 112 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502743162200 140502817787753 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29228] ppid=29223 vsize=13269256 CPUtime=3.63 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29228/stat : 29228 (java) R 29223 29223 7621 0 -1 4202560 1355 0 0 0 255 108 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502422777048 140502817787753 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29229] ppid=29223 vsize=13269256 CPUtime=3.65 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29229/stat : 29229 (java) R 29223 29223 7621 0 -1 4202560 1168 0 0 0 254 111 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502421724248 140502817787753 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29230] ppid=29223 vsize=13269256 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29230/stat : 29230 (java) R 29223 29223 7621 0 -1 4202560 1365 0 0 0 259 109 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502420671448 140502817787753 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29231] ppid=29223 vsize=13269256 CPUtime=3.66 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29231/stat : 29231 (java) R 29223 29223 7621 0 -1 4202560 1612 0 0 0 255 111 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502419618648 140502817787753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29232] ppid=29223 vsize=13269256 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29232/stat : 29232 (java) R 29223 29223 7621 0 -1 4202560 1224 0 0 0 250 111 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502418565848 140502817787753 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29233] ppid=29223 vsize=13269256 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29233/stat : 29233 (java) R 29223 29223 7621 0 -1 4202560 1384 0 0 0 256 112 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502417513048 140502817787753 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29234] ppid=29223 vsize=13269256 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29234/stat : 29234 (java) R 29223 29223 7621 0 -1 4202560 1373 0 0 0 253 111 0 0 20 0 20 0 3881484 13587718144 509063 33554432000 4194304 4196468 140720828296272 140502416459936 140502817787753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29235] ppid=29223 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29235/stat : 29235 (java) S 29223 29223 7621 0 -1 1077944384 4249 0 0 0 11 0 0 0 20 0 20 0 3881486 13587718144 509063 33554432000 4194304 4196468 140720828296272 140501556635040 140502824691413 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29236] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29236/stat : 29236 (java) S 29223 29223 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 3881487 13587718144 509063 33554432000 4194304 4196468 140720828296272 140501555582560 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29237] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29237/stat : 29237 (java) S 29223 29223 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3881487 13587718144 509063 33554432000 4194304 4196468 140720828296272 140501554529664 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29238] ppid=29223 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29238/stat : 29238 (java) S 29223 29223 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3881491 13587718144 509063 33554432000 4194304 4196468 140720828296272 140501553477968 140502824699803 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0

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

[pid=29224/tid=29483] ppid=29223 vsize=14068024 CPUtime=185.43 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29483/stat : 29483 (java) R 29223 29223 7621 0 -1 4202560 4524 0 0 0 18542 1 0 0 20 0 28 0 3884582 14405656576 1604203 33554432000 4194304 4196468 140720828296272 140501534937544 140502429078219 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29484] ppid=29223 vsize=14068024 CPUtime=184.68 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29484/stat : 29484 (java) R 29223 29223 7621 0 -1 4202560 4069 0 0 0 18468 0 0 0 20 0 28 0 3884582 14405656576 1604203 33554432000 4194304 4196468 140720828296272 140500520628552 140502429080375 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
Current children cumulated CPU time (s) 1732.51
Current children cumulated vsize (KiB) 14077536

[startup+282.302 s]
/proc/loadavg: 15.33 15.49 14.39 17/292 30325
/proc/meminfo: memFree=21826228/32770624 swapFree=5800/240424
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
[pid=29224] ppid=29223 vsize=14068024 CPUtime=2210.3 cores=1,3,5,7,9,11,13,15
/proc/29224/stat : 29224 (java) S 29223 29223 7621 0 -1 1077944320 218972 0 0 0 217962 3068 0 0 20 0 28 0 3881483 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140720828278816 140502824681207 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
/proc/29224/statm: 3517006 1604689 3292 1 0 3504239 0
[pid=29224/tid=29225] ppid=29223 vsize=14068024 CPUtime=4.16 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29225/stat : 29225 (java) S 29223 29223 7621 0 -1 1077944384 9955 0 0 0 408 8 0 0 20 0 28 0 3881483 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502828921984 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29227] ppid=29223 vsize=14068024 CPUtime=12.48 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29227/stat : 29227 (java) S 29223 29223 7621 0 -1 1077944384 6734 0 0 0 877 371 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502743162000 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29228] ppid=29223 vsize=14068024 CPUtime=12.58 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29228/stat : 29228 (java) S 29223 29223 7621 0 -1 1077944384 7027 0 0 0 883 375 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502422776848 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29229] ppid=29223 vsize=14068024 CPUtime=12.44 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29229/stat : 29229 (java) S 29223 29223 7621 0 -1 1077944384 7457 0 0 0 874 370 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502421724048 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29230] ppid=29223 vsize=14068024 CPUtime=12.53 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29230/stat : 29230 (java) S 29223 29223 7621 0 -1 1077944384 7677 0 0 0 883 370 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502420671248 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29231] ppid=29223 vsize=14068024 CPUtime=12.62 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29231/stat : 29231 (java) S 29223 29223 7621 0 -1 1077944384 9468 0 0 0 880 382 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502419618448 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29232] ppid=29223 vsize=14068024 CPUtime=12.57 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29232/stat : 29232 (java) S 29223 29223 7621 0 -1 1077944384 9781 0 0 0 878 379 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502418565648 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29233] ppid=29223 vsize=14068024 CPUtime=12.54 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29233/stat : 29233 (java) S 29223 29223 7621 0 -1 1077944384 7039 0 0 0 885 369 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502417512848 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29234] ppid=29223 vsize=14068024 CPUtime=12.48 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29234/stat : 29234 (java) S 29223 29223 7621 0 -1 1077944384 7618 0 0 0 868 380 0 0 20 0 28 0 3881484 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140502416460048 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29235] ppid=29223 vsize=14068024 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29235/stat : 29235 (java) S 29223 29223 7621 0 -1 1077944384 12638 0 0 0 38 9 0 0 20 0 28 0 3881486 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501556636528 140502824692354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29236] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29236/stat : 29236 (java) S 29223 29223 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3881487 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501555582560 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29237] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29237/stat : 29237 (java) S 29223 29223 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3881487 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501554529664 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29238] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29238/stat : 29238 (java) S 29223 29223 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3881491 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501553477968 140502824699803 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29239] ppid=29223 vsize=14068024 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29239/stat : 29239 (java) S 29223 29223 7621 0 -1 1077944384 14771 0 0 0 331 3 0 0 20 0 28 0 3881491 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501552425328 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29240] ppid=29223 vsize=14068024 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29240/stat : 29240 (java) S 29223 29223 7621 0 -1 1077944384 16834 0 0 0 462 3 0 0 20 0 28 0 3881491 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501551372528 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29241] ppid=29223 vsize=14068024 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29241/stat : 29241 (java) S 29223 29223 7621 0 -1 1077944384 14086 0 0 0 409 2 0 0 20 0 28 0 3881491 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501550319728 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29242] ppid=29223 vsize=14068024 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29242/stat : 29242 (java) S 29223 29223 7621 0 -1 1077944384 9892 0 0 0 103 3 0 0 20 0 28 0 3881491 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501549266928 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29243] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29243/stat : 29243 (java) S 29223 29223 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881492 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501548215392 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29244] ppid=29223 vsize=14068024 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29244/stat : 29244 (java) S 29223 29223 7621 0 -1 1077944384 1999 0 0 0 8 10 0 0 20 0 28 0 3881495 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501547162672 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29477] ppid=29223 vsize=14068024 CPUtime=246.14 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29477/stat : 29477 (java) R 29223 29223 7621 0 -1 4202560 5372 0 0 0 24613 1 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501539146952 140502429078339 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29478] ppid=29223 vsize=14068024 CPUtime=246.08 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29478/stat : 29478 (java) R 29223 29223 7621 0 -1 4202560 3802 0 0 0 24606 2 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501537042360 140502429080635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29479] ppid=29223 vsize=14068024 CPUtime=246.1 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29479/stat : 29479 (java) R 29223 29223 7621 0 -1 4202560 13610 0 0 0 24603 7 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140500522735984 140502426428672 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29480] ppid=29223 vsize=14068024 CPUtime=243.47 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29480/stat : 29480 (java) R 29223 29223 7621 0 -1 4202560 7884 0 0 0 24344 3 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501535989848 140502429310794 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29481] ppid=29223 vsize=14068024 CPUtime=244.76 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29481/stat : 29481 (java) R 29223 29223 7621 0 -1 4202560 5572 0 0 0 24475 1 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140500523785680 140502431153551 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29482] ppid=29223 vsize=14068024 CPUtime=245.92 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29482/stat : 29482 (java) R 29223 29223 7621 0 -1 4202560 5305 0 0 0 24590 2 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140500521680184 140502429080497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29483] ppid=29223 vsize=14068024 CPUtime=245.35 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29483/stat : 29483 (java) R 29223 29223 7621 0 -1 4202560 5070 0 0 0 24534 1 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140501534937656 140502429078925 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29484] ppid=29223 vsize=14068024 CPUtime=244.59 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29484/stat : 29484 (java) R 29223 29223 7621 0 -1 4202560 4836 0 0 0 24458 1 0 0 20 0 28 0 3884582 14405656576 1604689 33554432000 4194304 4196468 140720828296272 140500520628632 140502428577945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
Current children cumulated CPU time (s) 2210.3
Current children cumulated vsize (KiB) 14077536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+306.201 s]
/proc/loadavg: 15.57 15.53 14.43 17/300 30901
/proc/meminfo: memFree=21465808/32770624 swapFree=5800/240448
[pid=29223] ppid=29220 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881483 9740288 345 33554432000 4194304 5098028 140725209279600 140725209277704 140640391987836 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19628032 140725209281679 140725209281888 140725209281888 140725209284587 0
/proc/29223/statm: 2378 345 289 221 0 87 0
[pid=29224] ppid=29223 vsize=14068024 CPUtime=2400.61 cores=1,3,5,7,9,11,13,15
/proc/29224/stat : 29224 (java) S 29223 29223 7621 0 -1 1077944320 222542 0 0 0 236990 3071 0 0 20 0 28 0 3881483 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140720828278816 140502824681207 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
/proc/29224/statm: 3517006 1604668 3292 1 0 3504239 0
[pid=29224/tid=29225] ppid=29223 vsize=14068024 CPUtime=4.16 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29225/stat : 29225 (java) S 29223 29223 7621 0 -1 1077944384 9955 0 0 0 408 8 0 0 20 0 28 0 3881483 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502828921984 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29227] ppid=29223 vsize=14068024 CPUtime=12.5 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29227/stat : 29227 (java) S 29223 29223 7621 0 -1 1077944384 6744 0 0 0 879 371 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502743162000 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29228] ppid=29223 vsize=14068024 CPUtime=12.6 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29228/stat : 29228 (java) S 29223 29223 7621 0 -1 1077944384 7218 0 0 0 885 375 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502422776848 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29229] ppid=29223 vsize=14068024 CPUtime=12.46 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29229/stat : 29229 (java) S 29223 29223 7621 0 -1 1077944384 7509 0 0 0 876 370 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502421724048 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29230] ppid=29223 vsize=14068024 CPUtime=12.54 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29230/stat : 29230 (java) S 29223 29223 7621 0 -1 1077944384 7795 0 0 0 884 370 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502420671248 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29231] ppid=29223 vsize=14068024 CPUtime=12.64 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29231/stat : 29231 (java) S 29223 29223 7621 0 -1 1077944384 9564 0 0 0 882 382 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502419618448 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29232] ppid=29223 vsize=14068024 CPUtime=12.58 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29232/stat : 29232 (java) S 29223 29223 7621 0 -1 1077944384 9803 0 0 0 879 379 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502418565648 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29233] ppid=29223 vsize=14068024 CPUtime=12.56 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29233/stat : 29233 (java) S 29223 29223 7621 0 -1 1077944384 7095 0 0 0 887 369 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502417512848 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29234] ppid=29223 vsize=14068024 CPUtime=12.49 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29234/stat : 29234 (java) S 29223 29223 7621 0 -1 1077944384 7662 0 0 0 869 380 0 0 20 0 28 0 3881484 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140502416460048 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29235] ppid=29223 vsize=14068024 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29235/stat : 29235 (java) S 29223 29223 7621 0 -1 1077944384 12651 0 0 0 38 10 0 0 20 0 28 0 3881486 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501556636528 140502824692354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29236] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29236/stat : 29236 (java) S 29223 29223 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3881487 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501555582560 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29237] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29237/stat : 29237 (java) S 29223 29223 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3881487 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501554529664 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29238] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29238/stat : 29238 (java) S 29223 29223 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3881491 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501553477968 140502824699803 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29239] ppid=29223 vsize=14068024 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29239/stat : 29239 (java) S 29223 29223 7621 0 -1 1077944384 14774 0 0 0 331 3 0 0 20 0 28 0 3881491 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501552425328 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29240] ppid=29223 vsize=14068024 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29240/stat : 29240 (java) S 29223 29223 7621 0 -1 1077944384 16840 0 0 0 462 3 0 0 20 0 28 0 3881491 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501551372528 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29241] ppid=29223 vsize=14068024 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29241/stat : 29241 (java) S 29223 29223 7621 0 -1 1077944384 14092 0 0 0 409 2 0 0 20 0 28 0 3881491 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501550319728 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29242] ppid=29223 vsize=14068024 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29242/stat : 29242 (java) S 29223 29223 7621 0 -1 1077944384 9896 0 0 0 103 3 0 0 20 0 28 0 3881491 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501549266928 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29243] ppid=29223 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29243/stat : 29243 (java) S 29223 29223 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881492 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501548215392 140502824691413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29244] ppid=29223 vsize=14068024 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29244/stat : 29244 (java) S 29223 29223 7621 0 -1 1077944384 2027 0 0 0 8 11 0 0 20 0 28 0 3881495 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501547162672 140502824692354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29477] ppid=29223 vsize=14068024 CPUtime=269.67 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29477/stat : 29477 (java) R 29223 29223 7621 0 -1 4202560 5817 0 0 0 26966 1 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501539146952 140502429079065 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29478] ppid=29223 vsize=14068024 CPUtime=269.94 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29478/stat : 29478 (java) R 29223 29223 7621 0 -1 4202560 4039 0 0 0 26992 2 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501537042776 140502429784792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29479] ppid=29223 vsize=14068024 CPUtime=269.96 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29479/stat : 29479 (java) R 29223 29223 7621 0 -1 4202560 14026 0 0 0 26989 7 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140500522733136 140502426428685 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29480] ppid=29223 vsize=14068024 CPUtime=266.97 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29480/stat : 29480 (java) R 29223 29223 7621 0 -1 4202560 8276 0 0 0 26693 4 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501535989576 140502429078974 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29481] ppid=29223 vsize=14068024 CPUtime=268.62 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29481/stat : 29481 (java) R 29223 29223 7621 0 -1 4202560 5874 0 0 0 26861 1 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140500523785928 140502429078089 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29482] ppid=29223 vsize=14068024 CPUtime=269.75 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29482/stat : 29482 (java) R 29223 29223 7621 0 -1 4202560 5853 0 0 0 26973 2 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140500521683024 140502429078624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29483] ppid=29223 vsize=14068024 CPUtime=269.21 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29483/stat : 29483 (java) R 29223 29223 7621 0 -1 4202560 5300 0 0 0 26920 1 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140501534937544 140502429078974 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
[pid=29224/tid=29484] ppid=29223 vsize=14068024 CPUtime=268.45 cores=1,3,5,7,9,11,13,15
/proc/29224/task/29484/stat : 29484 (java) R 29223 29223 7621 0 -1 4202560 5187 0 0 0 26844 1 0 0 20 0 28 0 3884582 14405656576 1604668 33554432000 4194304 4196468 140720828296272 140500520628552 140502429080265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19361792 140720828302524 140720828302700 140720828302700 140720828305359 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 14077536

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 306.212
CPU time (s): 2400.61
CPU user time (s): 2369.9
CPU system time (s): 30.71
CPU usage (%): 783.969
Max. virtual memory (cumulated for all children) (KiB): 14077536

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.47826 second user time and 4.66607 second system time

The end

Launcher Data 

Begin job on node124 at 2017-07-22 03:15:37
IDJOB=4245707
IDBENCH=123075
IDSOLVER=2625
FILE ID=node124/4245707-1500686137
RUNJOBID= node124-1500683887-7653
PBS_JOBID= 20623343
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.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-4245707-1500686137/watcher-4245707-1500686137 -o /tmp/evaluation-result-4245707-1500686137/solver-4245707-1500686137 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 172753749 HOME/instance-4245707-1500686137.xml

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

MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94
RANDOM SEED=172753749

node124.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.16
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		: 2000.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.16
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.16
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.16
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.16
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		: 1733.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.16
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		: 2267.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.16
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.16
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		: 1733.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:        30772900 kB
MemAvailable:   30818220 kB
Buffers:           50420 kB
Cached:           305904 kB
SwapCached:            0 kB
Active:          1377520 kB
Inactive:         248528 kB
Active(anon):    1272536 kB
Inactive(anon):     8756 kB
Active(file):     104984 kB
Inactive(file):   239772 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8032 kB
Writeback:             0 kB
AnonPages:       1275432 kB
Mapped:            42476 kB
Shmem:              8872 kB
Slab:              66124 kB
SReclaimable:      32796 kB
SUnreclaim:        33328 kB
KernelStack:        4752 kB
PageTables:         7816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3279204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1159168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61992 MiB
End job on node124 at 2017-07-22 03:20:44