Trace number 4254189

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
choco-solver 4.0.5 seq (2017-07-26)SAT (TO)3521 245.254 240.011

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug30.xml
MD5SUM7992d423b18f632a54772c1bcf249848
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3175
Best CPU time to get the best result obtained on this benchmark251.867
Satisfiable
(Un)Satisfiability was proved
Number of variables930
Number of constraints436
Number of domains2
Minimum domain size8
Maximum domain size30
Distribution of domain sizes[{"size":8,"count":435},{"size":30,"count":30}]
Minimum variable degree0
Maximum variable degree30
Distribution of variable degrees[{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":435},{"arity":30,"count":1}]
Number of extensional constraints435
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":435},{"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.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254189-1501613218.xml"  -tl '264s' -p 1 -x 0
0.00/0.27	c [HOME/instance-4254189-1501613218.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.33	c simple solver
0.00/0.40	c parse instance...
0.00/0.87	c solve instance...
14.32/11.34	o 3953 
14.32/11.35	o 3915 
14.32/11.35	o 3887 
14.32/11.36	o 3833 
14.32/11.37	o 3803 
14.60/11.40	o 3793 
14.60/11.43	o 3790 
14.60/11.45	o 3780 
15.76/12.05	o 3760 
17.38/13.21	o 3757 
17.38/13.22	o 3729 
17.38/13.22	o 3725 
17.38/13.24	o 3721 
17.38/13.25	o 3681 
17.38/13.30	o 3679 
17.62/13.37	o 3675 
21.02/16.63	o 3667 
21.02/16.65	o 3664 
21.02/16.68	o 3658 
21.02/16.68	o 3642 
22.51/17.90	o 3619 
22.51/17.91	o 3617 
22.51/17.92	o 3607 
44.78/40.05	o 3606 
49.94/45.16	o 3592 
50.04/45.23	o 3586 
50.04/45.25	o 3575 
50.43/45.62	o 3573 
51.86/47.03	o 3570 
57.78/52.94	o 3565 
57.78/52.99	o 3564 
57.88/53.07	o 3551 
57.88/53.07	o 3539 
57.88/53.09	o 3527 
81.61/76.68	o 3526 
81.61/76.68	o 3525 
81.61/76.69	o 3521 
245.23/240.00	s SATISFIABLE
245.23/240.00	v <instantiation>
245.23/240.00	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] x[26] x[27] x[28] x[29] 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[0][26] d[0][27] d[0][28] d[0][29] 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[1][26] d[1][27] d[1][28] d[1][29] 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[2][26] d[2][27] d[2][28] d[2][29] 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[3][26] d[3][27] d[3][28] d[3][29] 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[4][26] d[4][27] d[4][28] d[4][29] 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[5][26] d[5][27] d[5][28] d[5][29] 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[6][26] d[6][27] d[6][28] d[6][29] 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[7][26] d[7][27] d[7][28] d[7][29] 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[8][26] d[8][27] d[8][28] d[8][29] 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[9][26] d[9][27] d[9][28] d[9][29] 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[10][26] d[10][27] d[10][28] d[10][29] 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[11][26] d[11][27] d[11][28] d[11][29] 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[12][26] d[12][27] d[12][28] d[12][29] 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[13][26] d[13][27] d[13][28] d[13][29] 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[14][26] d[14][27] d[14][28] d[14][29] 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[15][26] d[15][27] d[15][28] d[15][29] 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[16][26] d[16][27] d[16][28] d[16][29] 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[17][26] d[17][27] d[17][28] d[17][29] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[25][26] d[25][27] d[25][28] d[25][29] d[26][27] d[26][28] d[26][29] d[27][28] d[27][29] d[28][29] </list>
245.23/240.00	v 	<values>24 2 3 7 17 16 22 4 18 6 13 11 28 8 10 9 21 0 12 1 15 20 26 23 27 5 29 25 14 19 0 2 5 0 3 4 0 5 5 0 1 1 0 4 2 4 2 5 2 5 0 0 5 10 0 0 1 0 1 3 5 6 0 2 4 3 5 4 1 0 5 4 1 5 2 0 4 4 5 3 1 1 0 2 0 0 2 2 1 1 4 0 1 0 5 0 5 2 6 0 2 0 2 0 5 2 2 0 2 0 5 0 2 1 2 5 5 0 10 10 0 0 0 1 5 3 5 5 0 0 4 0 5 2 5 2 2 0 2 6 2 10 1 5 1 5 0 0 2 2 0 10 6 2 2 3 2 5 4 0 5 0 0 1 1 6 2 2 2 0 0 5 0 0 5 0 5 2 0 0 0 0 5 0 0 1 5 5 0 5 1 2 4 5 2 5 6 0 5 0 1 0 2 0 1 0 0 0 2 4 0 1 0 2 0 2 2 0 0 0 0 0 0 10 0 2 1 1 0 5 1 2 0 0 10 3 0 10 0 0 5 5 3 1 0 0 5 1 0 2 0 10 2 0 0 0 10 1 10 10 5 5 10 6 0 10 5 2 3 0 1 3 0 0 1 5 5 2 1 0 0 0 2 0 1 0 4 2 2 2 5 0 2 10 0 1 0 5 4 5 5 0 0 0 0 10 0 10 1 0 2 2 5 2 5 2 0 5 10 5 0 0 0 2 1 2 0 1 5 2 10 0 0 5 2 3 4 2 2 2 2 2 5 0 0 5 6 2 0 1 1 0 3 0 2 4 10 5 2 0 5 5 6 2 5 3 10 5 1 1 2 10 1 2 10 2 1 0 4 5 0 0 10 5 4 5 2 0 3 0 1 1 10 1 2 1 1 2 0 5 4 6 0 5 1 10 5 0 0 0 0 6 5 1 1 4 5 2 0 1 2 5 0 2 5 10 0 4 2 0 1 5 0 0 0 0 5 0 0 0 10 0 5 6 1 0 0 5 2 3 10 2 0 1 5 1 4 5 0 0 0 3 0 5 1 </values>
245.23/240.00	v </instantiation>
245.23/240.00	c Unexpected resolution interruption!

Verifier Data 

OK	3521

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-4254189-1501613218/watcher-4254189-1501613218 -o /tmp/evaluation-result-4254189-1501613218/solver-4254189-1501613218 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 478869371 HOME/instance-4254189-1501613218.xml 

pid=6381
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.16 1.87 1.38 3/197 6384
/proc/meminfo: memFree=31754336/32770624 swapFree=0/180016
[pid=6384] ppid=6381 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (runsolver) D 6381 6384 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9938814 24240128 106 18446744073709551615 4194304 4338465 140727418005424 140727418003064 140599723324119 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 30646272 140727418007646 140727418008134 140727418008134 140727418011594 0
/proc/6384/statm: 5918 106 53 36 0 2156 0

[startup+0.100145 s]
/proc/loadavg: 2.16 1.87 1.38 3/197 6384
/proc/meminfo: memFree=31754336/32770624 swapFree=0/180016
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.202591 s]
/proc/loadavg: 2.16 1.87 1.38 3/197 6384
/proc/meminfo: memFree=31754336/32770624 swapFree=0/180016
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300303 s]
/proc/loadavg: 2.16 1.87 1.38 3/197 6384
/proc/meminfo: memFree=31754336/32770624 swapFree=0/180016
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700276 s]
/proc/loadavg: 2.16 1.87 1.38 3/197 6384
/proc/meminfo: memFree=31754336/32770624 swapFree=0/180016
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50069 s]
/proc/loadavg: 2.16 1.87 1.38 5/213 6400
/proc/meminfo: memFree=31682936/32770624 swapFree=0/180020
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
[pid=6386] ppid=6384 vsize=13980732 CPUtime=3.38 cores=0,2,4,6
/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 19200 0 0 0 333 5 0 0 20 0 15 0 9938824 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 23072 3177 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 8698 0 0 0 132 3 0 0 20 0 15 0 9938824 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139986369474688 139985958042724 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6390] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6390/stat : 6390 (java) S 6384 6384 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139986282548368 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6391] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6391/stat : 6391 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139986281495568 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6392] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6392/stat : 6392 (java) S 6384 6384 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985550534768 139986365250178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6393] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6393/stat : 6393 (java) S 6384 6384 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985549480736 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6394] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6394/stat : 6394 (java) S 6384 6384 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9938827 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985548428400 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6395] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6395/stat : 6395 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985547376720 139986365257627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6396] ppid=6384 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/6386/task/6396/stat : 6396 (java) R 6384 6384 5123 0 -1 4202560 3513 0 0 0 77 1 0 0 20 0 15 0 9938829 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985546324592 139986345883942 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6397] ppid=6384 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/6386/task/6397/stat : 6397 (java) R 6384 6384 5123 0 -1 4202560 3777 0 0 0 80 0 0 0 20 0 15 0 9938829 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985545270928 139986346784290 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6398] ppid=6384 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/6386/task/6398/stat : 6398 (java) S 6384 6384 5123 0 -1 1077944384 1902 0 0 0 43 0 0 0 20 0 15 0 9938829 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985544219504 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6399] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6399/stat : 6399 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985543166944 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6400] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6400/stat : 6400 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938834 14316269568 23072 18446744073709551615 4194304 4196468 140727688995776 139985542113712 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 13990244

[startup+3.10075 s]
/proc/loadavg: 2.15 1.87 1.38 3/213 6400
/proc/meminfo: memFree=31672024/32770624 swapFree=0/180020
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
[pid=6386] ppid=6384 vsize=13980732 CPUtime=5.75 cores=0,2,4,6
/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 20924 0 0 0 569 6 0 0 20 0 15 0 9938824 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 23878 3179 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 9042 0 0 0 292 3 0 0 20 0 15 0 9938824 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139986369474800 139985958009293 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6390] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6390/stat : 6390 (java) S 6384 6384 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139986282548368 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6391] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6391/stat : 6391 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139986281495568 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6392] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6392/stat : 6392 (java) S 6384 6384 5123 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985550534768 139986365250178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6393] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6393/stat : 6393 (java) S 6384 6384 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985549480736 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6394] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6394/stat : 6394 (java) S 6384 6384 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9938827 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985548428400 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6395] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6395/stat : 6395 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985547376720 139986365257627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6396] ppid=6384 vsize=13980732 CPUtime=1.08 cores=0,2,4,6
/proc/6386/task/6396/stat : 6396 (java) S 6384 6384 5123 0 -1 1077944384 4199 0 0 0 107 1 0 0 20 0 15 0 9938829 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985546324592 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6397] ppid=6384 vsize=13980732 CPUtime=1.22 cores=0,2,4,6
/proc/6386/task/6397/stat : 6397 (java) S 6384 6384 5123 0 -1 1077944384 4148 0 0 0 122 0 0 0 20 0 15 0 9938829 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985545271792 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6398] ppid=6384 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/6386/task/6398/stat : 6398 (java) S 6384 6384 5123 0 -1 1077944384 2177 0 0 0 47 0 0 0 20 0 15 0 9938829 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985544219504 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6399] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6399/stat : 6399 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985543166944 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6400] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6400/stat : 6400 (java) S 6384 6384 5123 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9938834 14316269568 23878 18446744073709551615 4194304 4196468 140727688995776 139985542113712 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 13990244

[startup+6.30071 s]
/proc/loadavg: 2.15 1.87 1.38 4/211 6431
/proc/meminfo: memFree=31883588/32770624 swapFree=0/180020
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
[pid=6386] ppid=6384 vsize=13980732 CPUtime=9.09 cores=0,2,4,6
/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 23144 0 0 0 903 6 0 0 20 0 15 0 9938824 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 23924 3195 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 9519 0 0 0 612 3 0 0 20 0 15 0 9938824 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139986369477928 139985958213501 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6390] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6390/stat : 6390 (java) S 6384 6384 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139986282548368 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6391] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6391/stat : 6391 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139986281495568 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6392] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6392/stat : 6392 (java) S 6384 6384 5123 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985550534768 139986365250178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6393] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6393/stat : 6393 (java) S 6384 6384 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985549480736 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6394] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6394/stat : 6394 (java) S 6384 6384 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9938827 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985548428400 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6395] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6395/stat : 6395 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985547376720 139986365257627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6396] ppid=6384 vsize=13980732 CPUtime=1.14 cores=0,2,4,6
/proc/6386/task/6396/stat : 6396 (java) S 6384 6384 5123 0 -1 1077944384 4358 0 0 0 113 1 0 0 20 0 15 0 9938829 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985546324592 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6397] ppid=6384 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/6386/task/6397/stat : 6397 (java) S 6384 6384 5123 0 -1 1077944384 4771 0 0 0 130 1 0 0 20 0 15 0 9938829 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985545271792 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6398] ppid=6384 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/6386/task/6398/stat : 6398 (java) S 6384 6384 5123 0 -1 1077944384 2535 0 0 0 47 0 0 0 20 0 15 0 9938829 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985544219504 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6399] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6399/stat : 6399 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985543166944 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6400] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6400/stat : 6400 (java) S 6384 6384 5123 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 15 0 9938834 14316269568 23924 18446744073709551615 4194304 4196468 140727688995776 139985542113712 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
Current children cumulated CPU time (s) 9.09
Current children cumulated vsize (KiB) 13990244

[startup+12.7008 s]
/proc/loadavg: 1.97 1.84 1.38 3/213 6479
/proc/meminfo: memFree=31804652/32770624 swapFree=0/180056
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
[pid=6386] ppid=6384 vsize=13980732 CPUtime=16.78 cores=0,2,4,6
/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 30942 0 0 0 1671 7 0 0 20 0 15 0 9938824 14316269568 28847 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 28847 3199 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=12.54 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 11321 0 0 0 1251 3 0 0 20 0 15 0 9938824 14316269568 28847 18446744073709551615 4194304 4196468 140727688995776 139986369477672 139985958431105 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 28847 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9938825 14316269568 28847 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0

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

/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 44819 0 0 0 10716 17 0 0 20 0 15 0 9938824 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 53936 3228 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=102.07 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 13753 0 0 0 10202 5 0 0 20 0 15 0 9938824 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139986369478560 139985958478541 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 880 0 0 0 3 1 0 0 20 0 15 0 9938825 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 15 0 9938825 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6390] ppid=6384 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6386/task/6390/stat : 6390 (java) S 6384 6384 5123 0 -1 1077944384 1430 0 0 0 3 1 0 0 20 0 15 0 9938825 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139986282548368 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6391] ppid=6384 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6386/task/6391/stat : 6391 (java) S 6384 6384 5123 0 -1 1077944384 585 0 0 0 3 1 0 0 20 0 15 0 9938825 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139986281495568 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6392] ppid=6384 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6386/task/6392/stat : 6392 (java) S 6384 6384 5123 0 -1 1077944384 995 0 0 0 2 0 0 0 20 0 15 0 9938826 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985550534768 139986365250178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6393] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6393/stat : 6393 (java) S 6384 6384 5123 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985549480736 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6394] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6394/stat : 6394 (java) S 6384 6384 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9938827 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985548428400 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6395] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6395/stat : 6395 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985547376720 139986365257627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6396] ppid=6384 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/6386/task/6396/stat : 6396 (java) S 6384 6384 5123 0 -1 1077944384 9020 0 0 0 207 1 0 0 20 0 15 0 9938829 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985546324592 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6397] ppid=6384 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/6386/task/6397/stat : 6397 (java) S 6384 6384 5123 0 -1 1077944384 9878 0 0 0 225 1 0 0 20 0 15 0 9938829 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985545271792 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6398] ppid=6384 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/6386/task/6398/stat : 6398 (java) S 6384 6384 5123 0 -1 1077944384 6044 0 0 0 61 0 0 0 20 0 15 0 9938829 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985544219504 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6399] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6399/stat : 6399 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985543166944 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6400] ppid=6384 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6386/task/6400/stat : 6400 (java) S 6384 6384 5123 0 -1 1077944384 658 0 0 0 1 1 0 0 20 0 15 0 9938834 14316269568 53936 18446744073709551615 4194304 4196468 140727688995776 139985542113712 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
Current children cumulated CPU time (s) 107.33
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.98 1.90 1.47 3/211 6483
/proc/meminfo: memFree=31627340/32770624 swapFree=0/180176
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
[pid=6386] ppid=6384 vsize=13980732 CPUtime=167.48 cores=0,2,4,6
/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 46936 0 0 0 16729 19 0 0 20 0 15 0 9938824 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 43774 3230 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=162.02 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 14259 0 0 0 16197 5 0 0 20 0 15 0 9938824 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139986369478688 139985960176565 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 1126 0 0 0 4 2 0 0 20 0 15 0 9938825 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 226 0 0 0 4 2 0 0 20 0 15 0 9938825 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6390] ppid=6384 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6386/task/6390/stat : 6390 (java) S 6384 6384 5123 0 -1 1077944384 1434 0 0 0 4 1 0 0 20 0 15 0 9938825 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139986282548368 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6391] ppid=6384 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6386/task/6391/stat : 6391 (java) S 6384 6384 5123 0 -1 1077944384 598 0 0 0 4 1 0 0 20 0 15 0 9938825 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139986281495568 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6392] ppid=6384 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6386/task/6392/stat : 6392 (java) S 6384 6384 5123 0 -1 1077944384 1027 0 0 0 2 1 0 0 20 0 15 0 9938826 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985550534768 139986365250178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6393] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6393/stat : 6393 (java) S 6384 6384 5123 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985549480736 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6394] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6394/stat : 6394 (java) S 6384 6384 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9938827 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985548428400 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6395] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6395/stat : 6395 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985547376720 139986365257627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6396] ppid=6384 vsize=13980732 CPUtime=2.12 cores=0,2,4,6
/proc/6386/task/6396/stat : 6396 (java) S 6384 6384 5123 0 -1 1077944384 9284 0 0 0 210 2 0 0 20 0 15 0 9938829 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985546324592 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6397] ppid=6384 vsize=13980732 CPUtime=2.32 cores=0,2,4,6
/proc/6386/task/6397/stat : 6397 (java) S 6384 6384 5123 0 -1 1077944384 10386 0 0 0 231 1 0 0 20 0 15 0 9938829 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985545271792 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6398] ppid=6384 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/6386/task/6398/stat : 6398 (java) S 6384 6384 5123 0 -1 1077944384 6516 0 0 0 62 0 0 0 20 0 15 0 9938829 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985544219504 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6399] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6399/stat : 6399 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985543166944 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6400] ppid=6384 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6386/task/6400/stat : 6400 (java) S 6384 6384 5123 0 -1 1077944384 688 0 0 0 2 2 0 0 20 0 15 0 9938834 14316269568 43774 18446744073709551615 4194304 4196468 140727688995776 139985542113712 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
Current children cumulated CPU time (s) 167.48
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.90 1.89 1.50 3/211 6485
/proc/meminfo: memFree=31632460/32770624 swapFree=0/180208
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
[pid=6386] ppid=6384 vsize=13980732 CPUtime=227.52 cores=0,2,4,6
/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 47442 0 0 0 22731 21 0 0 20 0 15 0 9938824 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 41208 3230 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=222.01 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 14546 0 0 0 22196 5 0 0 20 0 15 0 9938824 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139986369478656 139985957960718 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 1132 0 0 0 4 2 0 0 20 0 15 0 9938825 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 229 0 0 0 4 2 0 0 20 0 15 0 9938825 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6390] ppid=6384 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6386/task/6390/stat : 6390 (java) S 6384 6384 5123 0 -1 1077944384 1482 0 0 0 5 1 0 0 20 0 15 0 9938825 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139986282548368 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6391] ppid=6384 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6386/task/6391/stat : 6391 (java) S 6384 6384 5123 0 -1 1077944384 688 0 0 0 4 1 0 0 20 0 15 0 9938825 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139986281495568 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6392] ppid=6384 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6386/task/6392/stat : 6392 (java) S 6384 6384 5123 0 -1 1077944384 1091 0 0 0 3 1 0 0 20 0 15 0 9938826 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985550534768 139986365250178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6393] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6393/stat : 6393 (java) S 6384 6384 5123 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985549480736 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6394] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6394/stat : 6394 (java) S 6384 6384 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9938827 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985548428400 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6395] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6395/stat : 6395 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985547376720 139986365257627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6396] ppid=6384 vsize=13980732 CPUtime=2.12 cores=0,2,4,6
/proc/6386/task/6396/stat : 6396 (java) S 6384 6384 5123 0 -1 1077944384 9289 0 0 0 210 2 0 0 20 0 15 0 9938829 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985546324592 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6397] ppid=6384 vsize=13980732 CPUtime=2.32 cores=0,2,4,6
/proc/6386/task/6397/stat : 6397 (java) S 6384 6384 5123 0 -1 1077944384 10387 0 0 0 231 1 0 0 20 0 15 0 9938829 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985545271792 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6398] ppid=6384 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/6386/task/6398/stat : 6398 (java) S 6384 6384 5123 0 -1 1077944384 6518 0 0 0 62 0 0 0 20 0 15 0 9938829 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985544219504 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6399] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6399/stat : 6399 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985543166944 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6400] ppid=6384 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/6386/task/6400/stat : 6400 (java) S 6384 6384 5123 0 -1 1077944384 688 0 0 0 4 4 0 0 20 0 15 0 9938834 14316269568 41208 18446744073709551615 4194304 4196468 140727688995776 139985542113712 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
Current children cumulated CPU time (s) 227.52
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.85 1.88 1.50 3/211 6485
/proc/meminfo: memFree=31640828/32770624 swapFree=0/180224
[pid=6384] ppid=6381 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6384/stat : 6384 (xcsp3-exec) S 6381 6384 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9938814 9740288 345 18446744073709551615 4194304 5098028 140730482008064 140730482006168 140530264375932 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12713984 140730482012572 140730482012775 140730482012775 140730482016235 0
/proc/6384/statm: 2378 345 289 221 0 87 0
[pid=6386] ppid=6384 vsize=13980732 CPUtime=245.23 cores=0,2,4,6
/proc/6386/stat : 6386 (java) S 6384 6384 5123 0 -1 1077944320 47458 0 0 0 24501 22 0 0 20 0 15 0 9938824 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 140727688978320 139986365239031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
/proc/6386/statm: 3495183 39027 3230 1 0 3483484 0
[pid=6386/tid=6387] ppid=6384 vsize=13980732 CPUtime=239.68 cores=0,2,4,6
/proc/6386/task/6387/stat : 6387 (java) R 6384 6384 5123 0 -1 4202560 14559 0 0 0 23963 5 0 0 20 0 15 0 9938824 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139986369478688 139985958430208 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6388] ppid=6384 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6386/task/6388/stat : 6388 (java) S 6384 6384 5123 0 -1 1077944384 1132 0 0 0 5 2 0 0 20 0 15 0 9938825 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139986284653456 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6389] ppid=6384 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6386/task/6389/stat : 6389 (java) S 6384 6384 5123 0 -1 1077944384 229 0 0 0 5 2 0 0 20 0 15 0 9938825 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139986283600656 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6390] ppid=6384 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6386/task/6390/stat : 6390 (java) S 6384 6384 5123 0 -1 1077944384 1482 0 0 0 5 1 0 0 20 0 15 0 9938825 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139986282548368 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6391] ppid=6384 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6386/task/6391/stat : 6391 (java) S 6384 6384 5123 0 -1 1077944384 691 0 0 0 5 2 0 0 20 0 15 0 9938825 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139986281495568 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6392] ppid=6384 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6386/task/6392/stat : 6392 (java) S 6384 6384 5123 0 -1 1077944384 1091 0 0 0 3 1 0 0 20 0 15 0 9938826 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985550534768 139986365250178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6393] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6393/stat : 6393 (java) S 6384 6384 5123 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9938826 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985549480736 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6394] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6394/stat : 6394 (java) S 6384 6384 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9938827 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985548428400 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6395] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6395/stat : 6395 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985547376720 139986365257627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6396] ppid=6384 vsize=13980732 CPUtime=2.12 cores=0,2,4,6
/proc/6386/task/6396/stat : 6396 (java) S 6384 6384 5123 0 -1 1077944384 9289 0 0 0 210 2 0 0 20 0 15 0 9938829 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985546324592 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6397] ppid=6384 vsize=13980732 CPUtime=2.32 cores=0,2,4,6
/proc/6386/task/6397/stat : 6397 (java) S 6384 6384 5123 0 -1 1077944384 10387 0 0 0 231 1 0 0 20 0 15 0 9938829 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985545271792 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6398] ppid=6384 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/6386/task/6398/stat : 6398 (java) S 6384 6384 5123 0 -1 1077944384 6518 0 0 0 62 0 0 0 20 0 15 0 9938829 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985544219504 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6399] ppid=6384 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6386/task/6399/stat : 6399 (java) S 6384 6384 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9938829 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985543166944 139986365249237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
[pid=6386/tid=6400] ppid=6384 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/6386/task/6400/stat : 6400 (java) S 6384 6384 5123 0 -1 1077944384 688 0 0 0 4 4 0 0 20 0 15 0 9938834 14316269568 39027 18446744073709551615 4194304 4196468 140727688995776 139985542113712 139986365250178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21213184 140727688999380 140727688999555 140727688999555 140727689002959 0
Current children cumulated CPU time (s) 245.23
Current children cumulated vsize (KiB) 13990244

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.011
CPU time (s): 245.254
CPU user time (s): 245.03
CPU system time (s): 0.224126
CPU usage (%): 102.185
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.03
system time used= 0.224126
maximum resident set size= 226472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8891
involuntary context switches= 355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1721 second user time and 1.3462 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-01 20:33:03
IDJOB=4254189
IDBENCH=123048
IDSOLVER=2635
FILE ID=node130/4254189-1501613218
RUNJOBID= node130-1501611170-5183
PBS_JOBID= 
Free space on /tmp= 61652 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug30.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254189-1501613218/watcher-4254189-1501613218 -o /tmp/evaluation-result-4254189-1501613218/solver-4254189-1501613218 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 478869371 HOME/instance-4254189-1501613218.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7992d423b18f632a54772c1bcf249848
RANDOM SEED=478869371

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31754896 kB
MemAvailable:   31801228 kB
Buffers:           90388 kB
Cached:           241356 kB
SwapCached:            0 kB
Active:           433912 kB
Inactive:         188548 kB
Active(anon):     291232 kB
Inactive(anon):     8532 kB
Active(file):     142680 kB
Inactive(file):   180016 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7904 kB
Writeback:             0 kB
AnonPages:        290652 kB
Mapped:            42032 kB
Shmem:              8872 kB
Slab:             102624 kB
SReclaimable:      78944 kB
SUnreclaim:        23680 kB
KernelStack:        3456 kB
PageTables:         5300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1370972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61644 MiB
End job on node130 at 2017-08-01 20:37:04