Trace number 4245601

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 5a (2017-07-05)OPT4 55.4524 7.63923

General information on the benchmark

NameOpd/Opd-sum-small/
Opd-19-019-009.xml
MD5SUM3c310f791b76d42f8a4a60c7feb2193f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark13781.5
Satisfiable
(Un)Satisfiability was proved
Number of variables362
Number of constraints191
Number of domains2
Minimum domain size2
Maximum domain size16
Distribution of domain sizes[{"size":2,"count":361},{"size":16,"count":1}]
Minimum variable degree20
Maximum variable degree172
Distribution of variable degrees[{"degree":20,"count":361},{"degree":172,"count":1}]
Minimum constraint arity19
Maximum constraint arity361
Distribution of constraint arities[{"arity":19,"count":19},{"arity":39,"count":171},{"arity":361,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":190}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245601-1500686263.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4245601-1500686263.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
0.00/0.89	c solve instance...
4.21/1.17	o 19 
4.21/1.18	o 18 
4.21/1.19	o 17 
4.21/1.19	o 16 
4.21/1.20	o 15 
4.21/1.20	o 14 
4.21/1.21	o 13 
4.94/1.23	o 12 
4.94/1.24	o 11 
4.94/1.25	o 10 
4.94/1.26	o 9 
4.94/1.29	o 8 
10.27/1.91	o 7 
12.71/2.31	o 6 
55.38/7.62	o 4 
55.38/7.63	s OPTIMUM FOUND
55.38/7.63	v <instantiation>
55.38/7.63	v 	<list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] </list>
55.38/7.63	v 	<values>4 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 </values>
55.38/7.63	v </instantiation>

Verifier Data 

OK	4

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-4245601-1500686263/watcher-4245601-1500686263 -o /tmp/evaluation-result-4245601-1500686263/solver-4245601-1500686263 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 713911961 HOME/instance-4245601-1500686263.xml 

pid=15931
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: 8.72 11.22 12.64 3/263 15934
/proc/meminfo: memFree=27416056/32770624 swapFree=5860/241556
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0

[startup+0.100075 s]
/proc/loadavg: 8.72 11.22 12.64 3/263 15934
/proc/meminfo: memFree=27416056/32770624 swapFree=5860/241556
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200351 s]
/proc/loadavg: 8.72 11.22 12.64 3/263 15934
/proc/meminfo: memFree=27416056/32770624 swapFree=5860/241556
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300286 s]
/proc/loadavg: 8.72 11.22 12.64 3/263 15934
/proc/meminfo: memFree=27416056/32770624 swapFree=5860/241556
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700229 s]
/proc/loadavg: 8.72 11.22 12.64 3/263 15934
/proc/meminfo: memFree=27416056/32770624 swapFree=5860/241556
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50115 s]
/proc/loadavg: 8.26 11.08 12.59 12/292 15963
/proc/meminfo: memFree=27184816/32770624 swapFree=5860/241576
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
[pid=15935] ppid=15934 vsize=13869360 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/15935/stat : 15935 (java) S 15934 15934 7411 0 -1 1077944320 21468 0 0 0 682 28 0 0 20 0 28 0 3893749 14202224640 63274 33554432000 4194304 4196468 140724739759184 140724739741728 140409283714807 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
/proc/15935/statm: 3467340 63274 3250 1 0 3454573 0
[pid=15935/tid=15936] ppid=15934 vsize=13869360 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15936/stat : 15936 (java) S 15934 15934 7411 0 -1 1077944384 6493 0 0 0 85 5 0 0 20 0 28 0 3893749 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409287955584 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15938] ppid=15934 vsize=13869360 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15938/stat : 15938 (java) S 15934 15934 7411 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409202194704 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15939] ppid=15934 vsize=13869360 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15939/stat : 15939 (java) S 15934 15934 7411 0 -1 1077944384 54 0 0 0 4 1 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409201142160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15940] ppid=15934 vsize=13869360 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15940/stat : 15940 (java) S 15934 15934 7411 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409200089616 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15941] ppid=15934 vsize=13869360 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15941/stat : 15941 (java) S 15934 15934 7411 0 -1 1077944384 67 0 0 0 3 2 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409199037072 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15942] ppid=15934 vsize=13869360 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15942/stat : 15942 (java) S 15934 15934 7411 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409197984528 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15943] ppid=15934 vsize=13869360 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15943/stat : 15943 (java) S 15934 15934 7411 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409196931984 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15944] ppid=15934 vsize=13869360 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15944/stat : 15944 (java) S 15934 15934 7411 0 -1 1077944384 44 0 0 0 3 2 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409195879440 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15945] ppid=15934 vsize=13869360 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15945/stat : 15945 (java) S 15934 15934 7411 0 -1 1077944384 62 0 0 0 3 2 0 0 20 0 28 0 3893750 14202224640 63274 33554432000 4194304 4196468 140724739759184 140409194826896 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15946] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15946/stat : 15946 (java) S 15934 15934 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408746006512 140409283725954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15947] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15947/stat : 15947 (java) S 15934 15934 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408744952736 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15948] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15948/stat : 15948 (java) S 15934 15934 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3893754 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408743900144 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15949] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15949/stat : 15949 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893757 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408742848720 140409283733403 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15950] ppid=15934 vsize=13869360 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15950/stat : 15950 (java) R 15934 15934 7411 0 -1 4202560 3909 0 0 0 97 0 0 0 20 0 28 0 3893757 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408741777352 140409267211591 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15951] ppid=15934 vsize=13869360 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15951/stat : 15951 (java) R 15934 15934 7411 0 -1 4202560 1913 0 0 0 83 0 0 0 20 0 28 0 3893757 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408740729672 140409265259445 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15952] ppid=15934 vsize=13869360 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15952/stat : 15952 (java) R 15934 15934 7411 0 -1 4202560 2407 0 0 0 85 0 0 0 20 0 28 0 3893757 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408739677432 140409261547120 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15953] ppid=15934 vsize=13869360 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15953/stat : 15953 (java) R 15934 15934 7411 0 -1 4202560 2924 0 0 0 66 1 0 0 20 0 28 0 3893757 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408738638704 140409262080520 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15954] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15954/stat : 15954 (java) S 15934 15934 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408737585376 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15955] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15955/stat : 15955 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 63274 33554432000 4194304 4196468 140724739759184 140408736532912 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 13878872

[startup+3.10128 s]
/proc/loadavg: 8.26 11.08 12.59 13/292 16067
/proc/meminfo: memFree=27110212/32770624 swapFree=5860/241588
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
[pid=15935] ppid=15934 vsize=13869360 CPUtime=19.72 cores=1,3,5,7,9,11,13,15
/proc/15935/stat : 15935 (java) S 15934 15934 7411 0 -1 1077944320 26685 0 0 0 1935 37 0 0 20 0 28 0 3893749 14202224640 75925 33554432000 4194304 4196468 140724739759184 140724739741728 140409283714807 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
/proc/15935/statm: 3467340 75925 3275 1 0 3454573 0
[pid=15935/tid=15936] ppid=15934 vsize=13869360 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15936/stat : 15936 (java) S 15934 15934 7411 0 -1 1077944384 6494 0 0 0 85 5 0 0 20 0 28 0 3893749 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409287955584 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15938] ppid=15934 vsize=13869360 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15938/stat : 15938 (java) S 15934 15934 7411 0 -1 1077944384 35 0 0 0 3 2 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409202194704 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15939] ppid=15934 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15939/stat : 15939 (java) S 15934 15934 7411 0 -1 1077944384 68 0 0 0 6 2 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409201142160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15940] ppid=15934 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15940/stat : 15940 (java) S 15934 15934 7411 0 -1 1077944384 65 0 0 0 5 3 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409200089616 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15941] ppid=15934 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15941/stat : 15941 (java) S 15934 15934 7411 0 -1 1077944384 78 0 0 0 5 3 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409199037072 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15942] ppid=15934 vsize=13869360 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15942/stat : 15942 (java) S 15934 15934 7411 0 -1 1077944384 47 0 0 0 3 2 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409197984528 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15943] ppid=15934 vsize=13869360 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15943/stat : 15943 (java) S 15934 15934 7411 0 -1 1077944384 33 0 0 0 3 2 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409196931984 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15944] ppid=15934 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15944/stat : 15944 (java) S 15934 15934 7411 0 -1 1077944384 51 0 0 0 4 3 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409195879440 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15945] ppid=15934 vsize=13869360 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15945/stat : 15945 (java) S 15934 15934 7411 0 -1 1077944384 74 0 0 0 6 3 0 0 20 0 28 0 3893750 14202224640 75925 33554432000 4194304 4196468 140724739759184 140409194826896 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15946] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15946/stat : 15946 (java) S 15934 15934 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408746006512 140409283725954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15947] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15947/stat : 15947 (java) S 15934 15934 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408744952800 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15948] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15948/stat : 15948 (java) S 15934 15934 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3893754 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408743900160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15949] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15949/stat : 15949 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893757 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408742848720 140409283733403 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15950] ppid=15934 vsize=13869360 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15950/stat : 15950 (java) R 15934 15934 7411 0 -1 4202560 5688 0 0 0 206 1 0 0 20 0 28 0 3893757 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408741783856 140409267615331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15951] ppid=15934 vsize=13869360 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15951/stat : 15951 (java) R 15934 15934 7411 0 -1 4202560 3013 0 0 0 190 1 0 0 20 0 28 0 3893757 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408740743792 140409283736154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15952] ppid=15934 vsize=13869360 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15952/stat : 15952 (java) R 15934 15934 7411 0 -1 4202560 3470 0 0 0 189 1 0 0 20 0 28 0 3893757 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408739677472 140409283728689 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15953] ppid=15934 vsize=13869360 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15953/stat : 15953 (java) S 15934 15934 7411 0 -1 1077944384 3631 0 0 0 90 1 0 0 20 0 28 0 3893757 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408738638704 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15954] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15954/stat : 15954 (java) S 15934 15934 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408737585376 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15955] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15955/stat : 15955 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 75925 33554432000 4194304 4196468 140724739759184 140408736532912 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
Current children cumulated CPU time (s) 19.72
Current children cumulated vsize (KiB) 13878872

[startup+6.30159 s]
/proc/loadavg: 8.32 11.05 12.57 18/300 16083
/proc/meminfo: memFree=26953448/32770624 swapFree=5860/241592
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
[pid=15935] ppid=15934 vsize=13869360 CPUtime=45.05 cores=1,3,5,7,9,11,13,15
/proc/15935/stat : 15935 (java) S 15934 15934 7411 0 -1 1077944320 35431 0 0 0 4448 57 0 0 20 0 28 0 3893749 14202224640 114712 33554432000 4194304 4196468 140724739759184 140724739741728 140409283714807 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
/proc/15935/statm: 3467340 114712 3284 1 0 3454573 0
[pid=15935/tid=15936] ppid=15934 vsize=13869360 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15936/stat : 15936 (java) S 15934 15934 7411 0 -1 1077944384 6494 0 0 0 85 5 0 0 20 0 28 0 3893749 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409287955584 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15938] ppid=15934 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15938/stat : 15938 (java) S 15934 15934 7411 0 -1 1077944384 118 0 0 0 6 4 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409202194704 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15939] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15939/stat : 15939 (java) S 15934 15934 7411 0 -1 1077944384 102 0 0 0 9 4 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409201142160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15940] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15940/stat : 15940 (java) S 15934 15934 7411 0 -1 1077944384 150 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409200089616 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15941] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15941/stat : 15941 (java) S 15934 15934 7411 0 -1 1077944384 920 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409199037072 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15942] ppid=15934 vsize=13869360 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15942/stat : 15942 (java) S 15934 15934 7411 0 -1 1077944384 100 0 0 0 7 4 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409197984528 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15943] ppid=15934 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15943/stat : 15943 (java) S 15934 15934 7411 0 -1 1077944384 240 0 0 0 6 4 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409196931984 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15944] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15944/stat : 15944 (java) S 15934 15934 7411 0 -1 1077944384 81 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409195879440 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15945] ppid=15934 vsize=13869360 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15945/stat : 15945 (java) S 15934 15934 7411 0 -1 1077944384 143 0 0 0 9 5 0 0 20 0 28 0 3893750 14202224640 114712 33554432000 4194304 4196468 140724739759184 140409194826896 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15946] ppid=15934 vsize=13869360 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15946/stat : 15946 (java) S 15934 15934 7411 0 -1 1077944384 430 0 0 0 1 1 0 0 20 0 28 0 3893753 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408746006512 140409283725954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15947] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15947/stat : 15947 (java) S 15934 15934 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408744952800 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15948] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15948/stat : 15948 (java) S 15934 15934 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3893754 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408743900160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15949] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15949/stat : 15949 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893757 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408742848720 140409283733403 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0

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

/proc/15935/task/15947/stat : 15947 (java) S 15934 15934 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408744952800 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15948] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15948/stat : 15948 (java) S 15934 15934 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3893754 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408743900160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15949] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15949/stat : 15949 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893757 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408742848720 140409283733403 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15950] ppid=15934 vsize=13869360 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15950/stat : 15950 (java) S 15934 15934 7411 0 -1 1077944384 8036 0 0 0 275 1 0 0 20 0 28 0 3893757 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408741796336 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15951] ppid=15934 vsize=13869360 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15951/stat : 15951 (java) S 15934 15934 7411 0 -1 1077944384 4429 0 0 0 249 1 0 0 20 0 28 0 3893757 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408740743792 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15952] ppid=15934 vsize=13869360 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15952/stat : 15952 (java) S 15934 15934 7411 0 -1 1077944384 4187 0 0 0 248 1 0 0 20 0 28 0 3893757 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408739691248 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15953] ppid=15934 vsize=13869360 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15953/stat : 15953 (java) S 15934 15934 7411 0 -1 1077944384 3790 0 0 0 96 1 0 0 20 0 28 0 3893757 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408738638704 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15954] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15954/stat : 15954 (java) S 15934 15934 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408737585376 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15955] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15955/stat : 15955 (java) S 15934 15934 7411 0 -1 1077944384 971 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408736532912 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16068] ppid=15934 vsize=13869360 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16068/stat : 16068 (java) R 15934 15934 7411 0 -1 4202560 61 0 0 0 369 0 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408727464824 140408880914710 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16069] ppid=15934 vsize=13869360 CPUtime=3.45 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16069/stat : 16069 (java) R 15934 15934 7411 0 -1 4202560 181 0 0 0 345 0 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408724307920 140408873362503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16070] ppid=15934 vsize=13869360 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16070/stat : 16070 (java) R 15934 15934 7411 0 -1 4202560 478 0 0 0 341 0 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408725360248 140408874162599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16071] ppid=15934 vsize=13869360 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16071/stat : 16071 (java) R 15934 15934 7411 0 -1 4202560 383 0 0 0 350 2 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408723255288 140408880616654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16072] ppid=15934 vsize=13869360 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16072/stat : 16072 (java) R 15934 15934 7411 0 -1 4202560 102 0 0 0 355 0 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408728519240 140408878861485 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16073] ppid=15934 vsize=13869360 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16073/stat : 16073 (java) R 15934 15934 7411 0 -1 4202560 91 0 0 0 349 0 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408386474600 140408880309157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16074] ppid=15934 vsize=13869360 CPUtime=3.56 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16074/stat : 16074 (java) R 15934 15934 7411 0 -1 4202560 174 0 0 0 356 0 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408384368360 140408879987537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16075] ppid=15934 vsize=13869360 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16075/stat : 16075 (java) R 15934 15934 7411 0 -1 4202560 170 0 0 0 359 0 0 0 20 0 28 0 3893980 14202224640 114712 33554432000 4194304 4196468 140724739759184 140408383315912 140408879808259 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
Current children cumulated CPU time (s) 45.85
Current children cumulated vsize (KiB) 13878872

[startup+7.20162 s]
/proc/loadavg: 8.32 11.05 12.57 17/300 16083
/proc/meminfo: memFree=26950968/32770624 swapFree=5860/241596
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
[pid=15935] ppid=15934 vsize=13869360 CPUtime=52.21 cores=1,3,5,7,9,11,13,15
/proc/15935/stat : 15935 (java) S 15934 15934 7411 0 -1 1077944320 36106 0 0 0 5163 58 0 0 20 0 28 0 3893749 14202224640 121397 33554432000 4194304 4196468 140724739759184 140724739741728 140409283714807 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
/proc/15935/statm: 3467340 121397 3284 1 0 3454573 0
[pid=15935/tid=15936] ppid=15934 vsize=13869360 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15936/stat : 15936 (java) S 15934 15934 7411 0 -1 1077944384 6494 0 0 0 85 5 0 0 20 0 28 0 3893749 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409287955584 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15938] ppid=15934 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15938/stat : 15938 (java) S 15934 15934 7411 0 -1 1077944384 118 0 0 0 6 4 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409202194704 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15939] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15939/stat : 15939 (java) S 15934 15934 7411 0 -1 1077944384 102 0 0 0 9 4 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409201142160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15940] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15940/stat : 15940 (java) S 15934 15934 7411 0 -1 1077944384 150 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409200089616 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15941] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15941/stat : 15941 (java) S 15934 15934 7411 0 -1 1077944384 920 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409199037072 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15942] ppid=15934 vsize=13869360 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15942/stat : 15942 (java) S 15934 15934 7411 0 -1 1077944384 100 0 0 0 7 4 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409197984528 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15943] ppid=15934 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15943/stat : 15943 (java) S 15934 15934 7411 0 -1 1077944384 240 0 0 0 6 4 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409196931984 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15944] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15944/stat : 15944 (java) S 15934 15934 7411 0 -1 1077944384 81 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409195879440 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15945] ppid=15934 vsize=13869360 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15945/stat : 15945 (java) S 15934 15934 7411 0 -1 1077944384 143 0 0 0 9 5 0 0 20 0 28 0 3893750 14202224640 121397 33554432000 4194304 4196468 140724739759184 140409194826896 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15946] ppid=15934 vsize=13869360 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15946/stat : 15946 (java) S 15934 15934 7411 0 -1 1077944384 434 0 0 0 1 1 0 0 20 0 28 0 3893753 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408746006512 140409283725954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15947] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15947/stat : 15947 (java) S 15934 15934 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408744952800 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15948] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15948/stat : 15948 (java) S 15934 15934 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3893754 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408743900160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15949] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15949/stat : 15949 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893757 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408742848720 140409283733403 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15950] ppid=15934 vsize=13869360 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15950/stat : 15950 (java) S 15934 15934 7411 0 -1 1077944384 8196 0 0 0 277 2 0 0 20 0 28 0 3893757 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408741796336 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15951] ppid=15934 vsize=13869360 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15951/stat : 15951 (java) R 15934 15934 7411 0 -1 4202560 4615 0 0 0 251 1 0 0 20 0 28 0 3893757 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408740743792 140409268108256 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15952] ppid=15934 vsize=13869360 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15952/stat : 15952 (java) S 15934 15934 7411 0 -1 1077944384 4337 0 0 0 252 1 0 0 20 0 28 0 3893757 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408739691248 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15953] ppid=15934 vsize=13869360 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15953/stat : 15953 (java) S 15934 15934 7411 0 -1 1077944384 3884 0 0 0 98 1 0 0 20 0 28 0 3893757 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408738638704 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15954] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15954/stat : 15954 (java) S 15934 15934 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408737585376 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15955] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15955/stat : 15955 (java) S 15934 15934 7411 0 -1 1077944384 971 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408736532912 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16068] ppid=15934 vsize=13869360 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16068/stat : 16068 (java) R 15934 15934 7411 0 -1 4202560 61 0 0 0 449 0 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408727464600 140408880075504 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16069] ppid=15934 vsize=13869360 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16069/stat : 16069 (java) R 15934 15934 7411 0 -1 4202560 184 0 0 0 423 0 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408724307832 140408878812404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16070] ppid=15934 vsize=13869360 CPUtime=4.2 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16070/stat : 16070 (java) R 15934 15934 7411 0 -1 4202560 493 0 0 0 420 0 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408725362960 140408879788121 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16071] ppid=15934 vsize=13869360 CPUtime=4.31 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16071/stat : 16071 (java) R 15934 15934 7411 0 -1 4202560 423 0 0 0 429 2 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408723255432 140408880609780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16072] ppid=15934 vsize=13869360 CPUtime=4.3 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16072/stat : 16072 (java) R 15934 15934 7411 0 -1 4202560 103 0 0 0 430 0 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408728518904 140408879803639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16073] ppid=15934 vsize=13869360 CPUtime=4.29 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16073/stat : 16073 (java) R 15934 15934 7411 0 -1 4202560 91 0 0 0 429 0 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408386474600 140408879004387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16074] ppid=15934 vsize=13869360 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16074/stat : 16074 (java) R 15934 15934 7411 0 -1 4202560 175 0 0 0 435 0 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408384367856 140408878896661 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16075] ppid=15934 vsize=13869360 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16075/stat : 16075 (java) R 15934 15934 7411 0 -1 4202560 172 0 0 0 436 0 0 0 20 0 28 0 3893980 14202224640 121397 33554432000 4194304 4196468 140724739759184 140408383315912 140408878812404 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
Current children cumulated CPU time (s) 52.21
Current children cumulated vsize (KiB) 13878872

[startup+7.60161 s]
/proc/loadavg: 8.32 11.05 12.57 17/300 16083
/proc/meminfo: memFree=26950968/32770624 swapFree=5860/241596
[pid=15934] ppid=15931 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15934/stat : 15934 (xcsp3-exec) S 15931 15934 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3893749 9740288 346 33554432000 4194304 5098028 140736616622768 140736616620872 140719381389948 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11386880 140736616629391 140736616629600 140736616629600 140736616632299 0
/proc/15934/statm: 2378 346 289 221 0 87 0
[pid=15935] ppid=15934 vsize=13869360 CPUtime=55.38 cores=1,3,5,7,9,11,13,15
/proc/15935/stat : 15935 (java) S 15934 15934 7411 0 -1 1077944320 36215 0 0 0 5478 60 0 0 20 0 28 0 3893749 14202224640 135221 33554432000 4194304 4196468 140724739759184 140724739741728 140409283714807 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
/proc/15935/statm: 3467340 135221 3284 1 0 3454573 0
[pid=15935/tid=15936] ppid=15934 vsize=13869360 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15936/stat : 15936 (java) S 15934 15934 7411 0 -1 1077944384 6494 0 0 0 85 5 0 0 20 0 28 0 3893749 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409287955584 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15938] ppid=15934 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15938/stat : 15938 (java) S 15934 15934 7411 0 -1 1077944384 118 0 0 0 6 4 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409202194704 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15939] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15939/stat : 15939 (java) S 15934 15934 7411 0 -1 1077944384 102 0 0 0 9 4 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409201142160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15940] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15940/stat : 15940 (java) S 15934 15934 7411 0 -1 1077944384 150 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409200089616 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15941] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15941/stat : 15941 (java) S 15934 15934 7411 0 -1 1077944384 920 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409199037072 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15942] ppid=15934 vsize=13869360 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15942/stat : 15942 (java) S 15934 15934 7411 0 -1 1077944384 100 0 0 0 7 4 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409197984528 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15943] ppid=15934 vsize=13869360 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15943/stat : 15943 (java) S 15934 15934 7411 0 -1 1077944384 240 0 0 0 6 4 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409196931984 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15944] ppid=15934 vsize=13869360 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15944/stat : 15944 (java) S 15934 15934 7411 0 -1 1077944384 81 0 0 0 8 5 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409195879440 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15945] ppid=15934 vsize=13869360 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15945/stat : 15945 (java) S 15934 15934 7411 0 -1 1077944384 143 0 0 0 9 5 0 0 20 0 28 0 3893750 14202224640 135221 33554432000 4194304 4196468 140724739759184 140409194826896 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15946] ppid=15934 vsize=13869360 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15946/stat : 15946 (java) S 15934 15934 7411 0 -1 1077944384 434 0 0 0 1 1 0 0 20 0 28 0 3893753 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408746006512 140409283725954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15947] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15947/stat : 15947 (java) S 15934 15934 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3893753 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408744952800 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15948] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15948/stat : 15948 (java) S 15934 15934 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3893754 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408743900160 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15949] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15949/stat : 15949 (java) S 15934 15934 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3893757 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408742848720 140409283733403 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15950] ppid=15934 vsize=13869360 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15950/stat : 15950 (java) R 15934 15934 7411 0 -1 4202560 8202 0 0 0 278 2 0 0 20 0 28 0 3893757 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408741796336 140409263369072 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15951] ppid=15934 vsize=13869360 CPUtime=2.54 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15951/stat : 15951 (java) R 15934 15934 7411 0 -1 4202560 4635 0 0 0 253 1 0 0 20 0 28 0 3893757 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408740724992 140409276004256 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15952] ppid=15934 vsize=13869360 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15952/stat : 15952 (java) R 15934 15934 7411 0 -1 4202560 4348 0 0 0 254 1 0 0 20 0 28 0 3893757 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408739691248 140409267102826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15953] ppid=15934 vsize=13869360 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15953/stat : 15953 (java) S 15934 15934 7411 0 -1 1077944384 3887 0 0 0 98 1 0 0 20 0 28 0 3893757 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408738638704 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15954] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15954/stat : 15954 (java) S 15934 15934 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408737585376 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=15955] ppid=15934 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15935/task/15955/stat : 15955 (java) S 15934 15934 7411 0 -1 1077944384 971 0 0 0 0 0 0 0 20 0 28 0 3893758 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408736532912 140409283725954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16068] ppid=15934 vsize=13869360 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16068/stat : 16068 (java) S 15934 15934 7411 0 -1 1077944384 62 0 0 0 488 0 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408727469632 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16069] ppid=15934 vsize=13869360 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16069/stat : 16069 (java) S 15934 15934 7411 0 -1 1077944384 196 0 0 0 462 0 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408724313168 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16070] ppid=15934 vsize=13869360 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16070/stat : 16070 (java) R 15934 15934 7411 0 -1 4202560 494 0 0 0 459 0 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408725360760 140408880782958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16071] ppid=15934 vsize=13869360 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16071/stat : 16071 (java) S 15934 15934 7411 0 -1 1077944384 470 0 0 0 467 3 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408723260752 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16072] ppid=15934 vsize=13869360 CPUtime=4.67 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16072/stat : 16072 (java) S 15934 15934 7411 0 -1 1077944384 106 0 0 0 467 0 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408728524240 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16073] ppid=15934 vsize=13869360 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16073/stat : 16073 (java) S 15934 15934 7411 0 -1 1077944384 96 0 0 0 468 0 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408386479696 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16074] ppid=15934 vsize=13869360 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16074/stat : 16074 (java) S 15934 15934 7411 0 -1 1077944384 176 0 0 0 472 0 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408384373456 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
[pid=15935/tid=16075] ppid=15934 vsize=13869360 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/15935/task/16075/stat : 16075 (java) S 15934 15934 7411 0 -1 1077944384 172 0 0 0 475 0 0 0 20 0 28 0 3893980 14202224640 135221 33554432000 4194304 4196468 140724739759184 140408383320912 140409283725013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33181696 140724739761340 140724739761516 140724739761516 140724739764175 0
Current children cumulated CPU time (s) 55.38
Current children cumulated vsize (KiB) 13878872

Child status: 0
Real time (s): 7.63923
CPU time (s): 55.4524
CPU user time (s): 54.8411
CPU system time (s): 0.611311
CPU usage (%): 725.89
Max. virtual memory (cumulated for all children) (KiB): 13878872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.8411
system time used= 0.611311
maximum resident set size= 555436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5210
involuntary context switches= 4742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094489 second user time and 0.115825 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-22 03:17:43
IDJOB=4245601
IDBENCH=122979
IDSOLVER=2626
FILE ID=node131/4245601-1500686263
RUNJOBID= node131-1500682620-7802
PBS_JOBID= 20623041
Free space on /tmp= 62012 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-19-019-009.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-4245601-1500686263/watcher-4245601-1500686263 -o /tmp/evaluation-result-4245601-1500686263/solver-4245601-1500686263 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 713911961 HOME/instance-4245601-1500686263.xml

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

MD5SUM BENCH= 3c310f791b76d42f8a4a60c7feb2193f
RANDOM SEED=713911961

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

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

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

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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		: 1867.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	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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		: 1600.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:        27416528 kB
MemAvailable:   27463880 kB
Buffers:           48388 kB
Cached:           309852 kB
SwapCached:            0 kB
Active:          4724060 kB
Inactive:         250248 kB
Active(anon):    4618944 kB
Inactive(anon):     8692 kB
Active(file):     105116 kB
Inactive(file):   241556 kB
Unevictable:        5860 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7956 kB
Writeback:             0 kB
AnonPages:       4711872 kB
Mapped:            42564 kB
Shmem:              8876 kB
Slab:              67292 kB
SReclaimable:      33028 kB
SUnreclaim:        34264 kB
KernelStack:        5040 kB
PageTables:        14144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5524224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4587520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62004 MiB
End job on node131 at 2017-07-22 03:17:51