Trace number 4245614

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)OPT3 937.293 118.353

General information on the benchmark

NameOpd/Opd-sum-small/
Opd-09-037-012.xml
MD5SUM5c4ba5217d536d79642dfac47d0d569c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark44.460499
Satisfiable
(Un)Satisfiability was proved
Number of variables334
Number of constraints46
Number of domains2
Minimum domain size2
Maximum domain size35
Distribution of domain sizes[{"size":2,"count":333},{"size":35,"count":1}]
Minimum variable degree10
Maximum variable degree37
Distribution of variable degrees[{"degree":10,"count":333},{"degree":37,"count":1}]
Minimum constraint arity37
Maximum constraint arity333
Distribution of constraint arities[{"arity":37,"count":9},{"arity":75,"count":36},{"arity":333,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":45}]
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-4245614-1500686015.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4245614-1500686015.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
0.00/0.75	c solve instance...
0.00/0.93	o 37 
0.00/0.94	o 36 
0.00/0.94	o 35 
0.00/0.98	o 34 
0.00/0.99	o 33 
0.00/1.00	o 32 
0.00/1.00	o 31 
0.00/1.01	o 30 
0.00/1.01	o 29 
0.00/1.01	o 28 
0.00/1.02	o 27 
0.00/1.02	o 26 
0.00/1.03	o 25 
0.00/1.04	o 24 
0.00/1.04	o 9 
0.00/1.06	o 8 
0.00/1.08	o 7 
0.00/1.10	o 6 
4.35/1.12	o 5 
4.35/1.18	o 4 
937.21/118.30	o 3 
937.21/118.34	s OPTIMUM FOUND
937.21/118.34	v <instantiation>
937.21/118.34	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[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] 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[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] 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[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] 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[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] 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[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] 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[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] 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[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] 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[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] 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[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] </list>
937.21/118.34	v 	<values>3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 </values>
937.21/118.34	v </instantiation>

Verifier Data 

OK	3

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

pid=28014
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: 14.75 15.52 13.77 9/273 28017
/proc/meminfo: memFree=29987376/32770624 swapFree=5800/239476
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 14.75 15.52 13.77 9/273 28017
/proc/meminfo: memFree=29987376/32770624 swapFree=5800/239476
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200364 s]
/proc/loadavg: 14.75 15.52 13.77 9/273 28017
/proc/meminfo: memFree=29987376/32770624 swapFree=5800/239476
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300264 s]
/proc/loadavg: 14.75 15.52 13.77 9/273 28017
/proc/meminfo: memFree=29987376/32770624 swapFree=5800/239476
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700209 s]
/proc/loadavg: 14.75 15.52 13.77 9/273 28017
/proc/meminfo: memFree=29987376/32770624 swapFree=5800/239476
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50124 s]
/proc/loadavg: 14.75 15.52 13.77 17/302 28182
/proc/meminfo: memFree=29792180/32770624 swapFree=5800/239508
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
[pid=28018] ppid=28017 vsize=13868332 CPUtime=7.39 cores=1,3,5,7,9,11,13,15
/proc/28018/stat : 28018 (java) S 28017 28017 7621 0 -1 1077944320 17697 0 0 0 706 33 0 0 20 0 28 0 3869304 14201171968 58580 33554432000 4194304 4196468 140725095753088 140725095735632 139843770527479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
/proc/28018/statm: 3467083 58580 3267 1 0 3454316 0
[pid=28018/tid=28019] ppid=28017 vsize=13868332 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28019/stat : 28019 (java) S 28017 28017 7621 0 -1 1077944384 6951 0 0 0 71 4 0 0 20 0 28 0 3869304 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843774768256 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28021] ppid=28017 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28021/stat : 28021 (java) S 28017 28017 7621 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843733633936 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28022] ppid=28017 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28022/stat : 28022 (java) S 28017 28017 7621 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843369106192 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28023] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28023/stat : 28023 (java) S 28017 28017 7621 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843368053904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28024] ppid=28017 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28024/stat : 28024 (java) S 28017 28017 7621 0 -1 1077944384 29 0 0 0 2 2 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843367001104 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28025] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28025/stat : 28025 (java) S 28017 28017 7621 0 -1 1077944384 34 0 0 0 2 3 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843365947792 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28026] ppid=28017 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28026/stat : 28026 (java) S 28017 28017 7621 0 -1 1077944384 36 0 0 0 2 2 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843364894992 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28027] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28027/stat : 28027 (java) S 28017 28017 7621 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843363842704 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28028] ppid=28017 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28028/stat : 28028 (java) S 28017 28017 7621 0 -1 1077944384 36 0 0 0 2 2 0 0 20 0 28 0 3869305 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843362789904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28029] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28029/stat : 28029 (java) S 28017 28017 7621 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 3869307 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843232774768 139843770538626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28030] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28030/stat : 28030 (java) S 28017 28017 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843231720736 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28031] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28031/stat : 28031 (java) S 28017 28017 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843230668400 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28032] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28032/stat : 28032 (java) S 28017 28017 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3869312 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843229616720 139843770546075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28033] ppid=28017 vsize=13868332 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28033/stat : 28033 (java) R 28017 28017 7621 0 -1 4202560 1123 0 0 0 78 0 0 0 20 0 28 0 3869312 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843228544584 139843751229143 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28034] ppid=28017 vsize=13868332 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28034/stat : 28034 (java) R 28017 28017 7621 0 -1 4202560 1154 0 0 0 85 0 0 0 20 0 28 0 3869312 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843227503960 139843750357800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28035] ppid=28017 vsize=13868332 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28035/stat : 28035 (java) R 28017 28017 7621 0 -1 4202560 1543 0 0 0 80 0 0 0 20 0 28 0 3869312 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843226445152 139843748354864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28036] ppid=28017 vsize=13868332 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28036/stat : 28036 (java) S 28017 28017 7621 0 -1 1077944384 2149 0 0 0 70 1 0 0 20 0 28 0 3869312 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843225405680 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28037] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28037/stat : 28037 (java) S 28017 28017 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3869313 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843224353632 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28038] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28038/stat : 28038 (java) S 28017 28017 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3869313 14201171968 58580 33554432000 4194304 4196468 140725095753088 139843223300912 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 13877844

[startup+3.1016 s]
/proc/loadavg: 14.75 15.52 13.77 18/302 28206
/proc/meminfo: memFree=29756808/32770624 swapFree=5800/239508
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
[pid=28018] ppid=28017 vsize=13868332 CPUtime=20.13 cores=1,3,5,7,9,11,13,15
/proc/28018/stat : 28018 (java) S 28017 28017 7621 0 -1 1077944320 19571 0 0 0 1978 35 0 0 20 0 28 0 3869304 14201171968 86410 33554432000 4194304 4196468 140725095753088 140725095735632 139843770527479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
/proc/28018/statm: 3467083 86410 3271 1 0 3454316 0
[pid=28018/tid=28019] ppid=28017 vsize=13868332 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28019/stat : 28019 (java) S 28017 28017 7621 0 -1 1077944384 6951 0 0 0 71 4 0 0 20 0 28 0 3869304 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843774768256 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28021] ppid=28017 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28021/stat : 28021 (java) S 28017 28017 7621 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843733633936 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28022] ppid=28017 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28022/stat : 28022 (java) S 28017 28017 7621 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843369106192 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28023] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28023/stat : 28023 (java) S 28017 28017 7621 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843368053904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28024] ppid=28017 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28024/stat : 28024 (java) S 28017 28017 7621 0 -1 1077944384 29 0 0 0 2 2 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843367001104 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28025] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28025/stat : 28025 (java) S 28017 28017 7621 0 -1 1077944384 34 0 0 0 2 3 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843365947792 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28026] ppid=28017 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28026/stat : 28026 (java) S 28017 28017 7621 0 -1 1077944384 36 0 0 0 2 2 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843364894992 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28027] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28027/stat : 28027 (java) S 28017 28017 7621 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843363842704 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28028] ppid=28017 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28028/stat : 28028 (java) S 28017 28017 7621 0 -1 1077944384 36 0 0 0 2 2 0 0 20 0 28 0 3869305 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843362789904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28029] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28029/stat : 28029 (java) S 28017 28017 7621 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 3869307 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843232774768 139843770538626 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28030] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28030/stat : 28030 (java) S 28017 28017 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843231720736 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28031] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28031/stat : 28031 (java) S 28017 28017 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843230668400 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28032] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28032/stat : 28032 (java) S 28017 28017 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3869312 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843229616720 139843770546075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28033] ppid=28017 vsize=13868332 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28033/stat : 28033 (java) S 28017 28017 7621 0 -1 1077944384 1936 0 0 0 136 0 0 0 20 0 28 0 3869312 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843228563568 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28034] ppid=28017 vsize=13868332 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28034/stat : 28034 (java) R 28017 28017 7621 0 -1 4202560 1582 0 0 0 131 0 0 0 20 0 28 0 3869312 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843227503256 139843752099900 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28035] ppid=28017 vsize=13868332 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28035/stat : 28035 (java) S 28017 28017 7621 0 -1 1077944384 1836 0 0 0 139 0 0 0 20 0 28 0 3869312 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843226458480 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28036] ppid=28017 vsize=13868332 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28036/stat : 28036 (java) S 28017 28017 7621 0 -1 1077944384 2290 0 0 0 75 1 0 0 20 0 28 0 3869312 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843225405680 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28037] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28037/stat : 28037 (java) S 28017 28017 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3869313 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843224353632 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28038] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28038/stat : 28038 (java) S 28017 28017 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3869313 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843223300912 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28199] ppid=28017 vsize=13868332 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28199/stat : 28199 (java) R 28017 28017 7621 0 -1 4202560 21 0 0 0 170 0 0 0 20 0 28 0 3869422 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843207917480 139843412246864 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28200] ppid=28017 vsize=13868332 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28200/stat : 28200 (java) R 28017 28017 7621 0 -1 4202560 26 0 0 0 149 0 0 0 20 0 28 0 3869422 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843213181288 139843412563460 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28201] ppid=28017 vsize=13868332 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28201/stat : 28201 (java) R 28017 28017 7621 0 -1 4202560 20 0 0 0 158 0 0 0 20 0 28 0 3869422 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843211075816 139843413985461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28202] ppid=28017 vsize=13868332 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28202/stat : 28202 (java) R 28017 28017 7621 0 -1 4202560 171 0 0 0 147 1 0 0 20 0 28 0 3869422 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843214233200 139843412987116 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28203] ppid=28017 vsize=13868332 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28203/stat : 28203 (java) R 28017 28017 7621 0 -1 4202560 23 0 0 0 157 0 0 0 20 0 28 0 3869422 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843206864920 139843412582612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28204] ppid=28017 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28204/stat : 28204 (java) R 28017 28017 7621 0 -1 4202560 39 0 0 0 171 0 0 0 20 0 28 0 3869422 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843208970312 139843413062898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28205] ppid=28017 vsize=13868332 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28205/stat : 28205 (java) R 28017 28017 7621 0 -1 4202560 20 0 0 0 172 0 0 0 20 0 28 0 3869423 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843212129352 139843412503634 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28206] ppid=28017 vsize=13868332 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28206/stat : 28206 (java) R 28017 28017 7621 0 -1 4202560 20 0 0 0 149 0 0 0 20 0 28 0 3869424 14201171968 86410 33554432000 4194304 4196468 140725095753088 139843210022736 139843412246885 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
Current children cumulated CPU time (s) 20.13
Current children cumulated vsize (KiB) 13877844

[startup+6.30163 s]
/proc/loadavg: 14.69 15.50 13.77 17/302 28206
/proc/meminfo: memFree=29602948/32770624 swapFree=5800/239508
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
[pid=28018] ppid=28017 vsize=13868332 CPUtime=45.51 cores=1,3,5,7,9,11,13,15
/proc/28018/stat : 28018 (java) S 28017 28017 7621 0 -1 1077944320 23446 0 0 0 4490 61 0 0 20 0 28 0 3869304 14201171968 98658 33554432000 4194304 4196468 140725095753088 140725095735632 139843770527479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
/proc/28018/statm: 3467083 98658 3283 1 0 3454316 0
[pid=28018/tid=28019] ppid=28017 vsize=13868332 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28019/stat : 28019 (java) S 28017 28017 7621 0 -1 1077944384 6951 0 0 0 71 4 0 0 20 0 28 0 3869304 14201171968 98658 33554432000 4194304 4196468 140725095753088 139843774768256 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28021] ppid=28017 vsize=13868332 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28021/stat : 28021 (java) S 28017 28017 7621 0 -1 1077944384 792 0 0 0 4 4 0 0 20 0 28 0 3869305 14201171968 98658 33554432000 4194304 4196468 140725095753088 139843733633936 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28022] ppid=28017 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28022/stat : 28022 (java) S 28017 28017 7621 0 -1 1077944384 138 0 0 0 5 4 0 0 20 0 28 0 3869305 14201171968 98658 33554432000 4194304 4196468 140725095753088 139843369106192 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28023] ppid=28017 vsize=13868332 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28023/stat : 28023 (java) S 28017 28017 7621 0 -1 1077944384 71 0 0 0 4 6 0 0 20 0 28 0 3869305 14201171968 98658 33554432000 4194304 4196468 140725095753088 139843368053904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28024] ppid=28017 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28024/stat : 28024 (java) S 28017 28017 7621 0 -1 1077944384 98 0 0 0 4 5 0 0 20 0 28 0 3869305 14201171968 98658 33554432000 4194304 4196468 140725095753088 139843367001104 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0

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

/proc/28018/task/28030/stat : 28030 (java) S 28017 28017 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843231720800 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28031] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28031/stat : 28031 (java) S 28017 28017 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843230668416 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28032] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28032/stat : 28032 (java) S 28017 28017 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843229616720 139843770546075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28033] ppid=28017 vsize=13868332 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28033/stat : 28033 (java) S 28017 28017 7621 0 -1 1077944384 5053 0 0 0 163 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843228563568 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28034] ppid=28017 vsize=13868332 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28034/stat : 28034 (java) S 28017 28017 7621 0 -1 1077944384 3189 0 0 0 151 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843227510768 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28035] ppid=28017 vsize=13868332 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28035/stat : 28035 (java) S 28017 28017 7621 0 -1 1077944384 3289 0 0 0 155 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843226458480 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28036] ppid=28017 vsize=13868332 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28036/stat : 28036 (java) S 28017 28017 7621 0 -1 1077944384 2994 0 0 0 78 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843225405680 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28037] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28037/stat : 28037 (java) S 28017 28017 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3869313 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843224353632 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28038] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28038/stat : 28038 (java) S 28017 28017 7621 0 -1 1077944384 649 0 0 0 3 2 0 0 20 0 28 0 3869313 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843223300912 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28199] ppid=28017 vsize=13868332 CPUtime=115.18 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28199/stat : 28199 (java) R 28017 28017 7621 0 -1 4202560 785 0 0 0 11514 4 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843207917040 139843412563899 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28200] ppid=28017 vsize=13868332 CPUtime=116.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28200/stat : 28200 (java) R 28017 28017 7621 0 -1 4202560 1141 0 0 0 11602 3 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843213184320 139843412246805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28201] ppid=28017 vsize=13868332 CPUtime=116.04 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28201/stat : 28201 (java) R 28017 28017 7621 0 -1 4202560 1633 0 0 0 11603 1 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843211076008 139843413124299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28202] ppid=28017 vsize=13868332 CPUtime=115.9 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28202/stat : 28202 (java) R 28017 28017 7621 0 -1 4202560 2975 0 0 0 11572 18 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843214233448 139843412246805 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28203] ppid=28017 vsize=13868332 CPUtime=116.07 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28203/stat : 28203 (java) R 28017 28017 7621 0 -1 4202560 1364 0 0 0 11600 7 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843206865704 139843412563800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28204] ppid=28017 vsize=13868332 CPUtime=116.01 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28204/stat : 28204 (java) R 28017 28017 7621 0 -1 4202560 904 0 0 0 11599 2 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843208970408 139843414507728 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28205] ppid=28017 vsize=13868332 CPUtime=114.29 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28205/stat : 28205 (java) R 28017 28017 7621 0 -1 4202560 783 0 0 0 11426 3 0 0 20 0 28 0 3869423 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843212128808 139843414818836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28206] ppid=28017 vsize=13868332 CPUtime=115.88 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28206/stat : 28206 (java) R 28017 28017 7621 0 -1 4202560 331 0 0 0 11588 0 0 0 20 0 28 0 3869424 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843210023432 139843412563387 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
Current children cumulated CPU time (s) 934.82
Current children cumulated vsize (KiB) 13877844

[startup+118.202 s]
/proc/loadavg: 16.13 15.77 14.06 10/300 28985
/proc/meminfo: memFree=28595264/32770624 swapFree=5800/239756
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
[pid=28018] ppid=28017 vsize=13868332 CPUtime=936.41 cores=1,3,5,7,9,11,13,15
/proc/28018/stat : 28018 (java) S 28017 28017 7621 0 -1 1077944320 43297 0 0 0 93498 143 0 0 20 0 28 0 3869304 14201171968 545634 33554432000 4194304 4196468 140725095753088 140725095735632 139843770527479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
/proc/28018/statm: 3467083 545634 3285 1 0 3454316 0
[pid=28018/tid=28019] ppid=28017 vsize=13868332 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28019/stat : 28019 (java) S 28017 28017 7621 0 -1 1077944384 6951 0 0 0 71 4 0 0 20 0 28 0 3869304 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843774768256 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28021] ppid=28017 vsize=13868332 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28021/stat : 28021 (java) S 28017 28017 7621 0 -1 1077944384 937 0 0 0 9 9 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843733633936 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28022] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28022/stat : 28022 (java) S 28017 28017 7621 0 -1 1077944384 655 0 0 0 10 9 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843369106192 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28023] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28023/stat : 28023 (java) S 28017 28017 7621 0 -1 1077944384 538 0 0 0 9 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843368053904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28024] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28024/stat : 28024 (java) S 28017 28017 7621 0 -1 1077944384 211 0 0 0 9 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843367001104 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28025] ppid=28017 vsize=13868332 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28025/stat : 28025 (java) S 28017 28017 7621 0 -1 1077944384 206 0 0 0 8 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843365947792 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28026] ppid=28017 vsize=13868332 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28026/stat : 28026 (java) S 28017 28017 7621 0 -1 1077944384 1068 0 0 0 10 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843364894992 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28027] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28027/stat : 28027 (java) S 28017 28017 7621 0 -1 1077944384 383 0 0 0 9 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843363842704 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28028] ppid=28017 vsize=13868332 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28028/stat : 28028 (java) S 28017 28017 7621 0 -1 1077944384 368 0 0 0 9 11 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843362789904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28029] ppid=28017 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28029/stat : 28029 (java) S 28017 28017 7621 0 -1 1077944384 2619 0 0 0 2 1 0 0 20 0 28 0 3869307 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843232774768 139843770538626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28030] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28030/stat : 28030 (java) S 28017 28017 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843231720800 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28031] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28031/stat : 28031 (java) S 28017 28017 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843230668416 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28032] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28032/stat : 28032 (java) S 28017 28017 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843229616720 139843770546075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28033] ppid=28017 vsize=13868332 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28033/stat : 28033 (java) S 28017 28017 7621 0 -1 1077944384 5053 0 0 0 163 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843228563568 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28034] ppid=28017 vsize=13868332 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28034/stat : 28034 (java) S 28017 28017 7621 0 -1 1077944384 3189 0 0 0 151 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843227510768 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28035] ppid=28017 vsize=13868332 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28035/stat : 28035 (java) S 28017 28017 7621 0 -1 1077944384 3289 0 0 0 155 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843226458480 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28036] ppid=28017 vsize=13868332 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28036/stat : 28036 (java) S 28017 28017 7621 0 -1 1077944384 2994 0 0 0 78 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843225405680 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28037] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28037/stat : 28037 (java) S 28017 28017 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3869313 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843224353632 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28038] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28038/stat : 28038 (java) S 28017 28017 7621 0 -1 1077944384 649 0 0 0 3 2 0 0 20 0 28 0 3869313 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843223300912 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28199] ppid=28017 vsize=13868332 CPUtime=115.37 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28199/stat : 28199 (java) R 28017 28017 7621 0 -1 4202560 785 0 0 0 11533 4 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843207917040 139843412563876 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28200] ppid=28017 vsize=13868332 CPUtime=116.25 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28200/stat : 28200 (java) R 28017 28017 7621 0 -1 4202560 1141 0 0 0 11622 3 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843213184320 139843413669912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28201] ppid=28017 vsize=13868332 CPUtime=116.24 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28201/stat : 28201 (java) R 28017 28017 7621 0 -1 4202560 1633 0 0 0 11623 1 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843211076008 139843413969619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28202] ppid=28017 vsize=13868332 CPUtime=116.1 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28202/stat : 28202 (java) R 28017 28017 7621 0 -1 4202560 2975 0 0 0 11592 18 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843214233448 139843414866219 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28203] ppid=28017 vsize=13868332 CPUtime=116.27 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28203/stat : 28203 (java) R 28017 28017 7621 0 -1 4202560 1364 0 0 0 11620 7 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843206865704 139843412582795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28204] ppid=28017 vsize=13868332 CPUtime=116.21 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28204/stat : 28204 (java) R 28017 28017 7621 0 -1 4202560 904 0 0 0 11619 2 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843208970408 139843412930220 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28205] ppid=28017 vsize=13868332 CPUtime=114.49 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28205/stat : 28205 (java) R 28017 28017 7621 0 -1 4202560 785 0 0 0 11446 3 0 0 20 0 28 0 3869423 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843212128808 139843412563392 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28206] ppid=28017 vsize=13868332 CPUtime=116.08 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28206/stat : 28206 (java) R 28017 28017 7621 0 -1 4202560 331 0 0 0 11608 0 0 0 20 0 28 0 3869424 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843210023432 139843412694441 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
Current children cumulated CPU time (s) 936.41
Current children cumulated vsize (KiB) 13877844

[startup+118.302 s]
/proc/loadavg: 16.13 15.77 14.06 10/300 28985
/proc/meminfo: memFree=28595264/32770624 swapFree=5800/239756
[pid=28017] ppid=28014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28017/stat : 28017 (xcsp3-exec) S 28014 28017 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3869303 9740288 346 33554432000 4194304 5098028 140733132033616 140733132031720 139990146650748 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28291072 140733132039310 140733132039520 140733132039520 140733132042219 0
/proc/28017/statm: 2378 346 289 221 0 87 0
[pid=28018] ppid=28017 vsize=13868332 CPUtime=937.21 cores=1,3,5,7,9,11,13,15
/proc/28018/stat : 28018 (java) S 28017 28017 7621 0 -1 1077944320 43533 0 0 0 93578 143 0 0 20 0 28 0 3869304 14201171968 545634 33554432000 4194304 4196468 140725095753088 140725095735632 139843770527479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
/proc/28018/statm: 3467083 545634 3285 1 0 3454316 0
[pid=28018/tid=28019] ppid=28017 vsize=13868332 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28019/stat : 28019 (java) S 28017 28017 7621 0 -1 1077944384 6951 0 0 0 71 4 0 0 20 0 28 0 3869304 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843774768256 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28021] ppid=28017 vsize=13868332 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28021/stat : 28021 (java) S 28017 28017 7621 0 -1 1077944384 937 0 0 0 9 9 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843733633936 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28022] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28022/stat : 28022 (java) S 28017 28017 7621 0 -1 1077944384 655 0 0 0 10 9 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843369106192 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28023] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28023/stat : 28023 (java) S 28017 28017 7621 0 -1 1077944384 538 0 0 0 9 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843368053904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28024] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28024/stat : 28024 (java) S 28017 28017 7621 0 -1 1077944384 211 0 0 0 9 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843367001104 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28025] ppid=28017 vsize=13868332 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28025/stat : 28025 (java) S 28017 28017 7621 0 -1 1077944384 206 0 0 0 8 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843365947792 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28026] ppid=28017 vsize=13868332 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28026/stat : 28026 (java) S 28017 28017 7621 0 -1 1077944384 1068 0 0 0 10 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843364894992 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28027] ppid=28017 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28027/stat : 28027 (java) S 28017 28017 7621 0 -1 1077944384 383 0 0 0 9 10 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843363842704 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28028] ppid=28017 vsize=13868332 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28028/stat : 28028 (java) S 28017 28017 7621 0 -1 1077944384 368 0 0 0 9 11 0 0 20 0 28 0 3869305 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843362789904 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28029] ppid=28017 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28029/stat : 28029 (java) S 28017 28017 7621 0 -1 1077944384 2619 0 0 0 2 1 0 0 20 0 28 0 3869307 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843232774768 139843770538626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28030] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28030/stat : 28030 (java) S 28017 28017 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843231720800 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28031] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28031/stat : 28031 (java) S 28017 28017 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3869308 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843230668416 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28032] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28032/stat : 28032 (java) S 28017 28017 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843229616720 139843770546075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28033] ppid=28017 vsize=13868332 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28033/stat : 28033 (java) R 28017 28017 7621 0 -1 4202560 5067 0 0 0 163 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843228563568 139843751227776 0 4 0 16800975 0 0 0 -1 13 0 0 13 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28034] ppid=28017 vsize=13868332 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28034/stat : 28034 (java) S 28017 28017 7621 0 -1 1077944384 3200 0 0 0 151 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843227510768 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28035] ppid=28017 vsize=13868332 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28035/stat : 28035 (java) S 28017 28017 7621 0 -1 1077944384 3289 0 0 0 155 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843226458480 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28036] ppid=28017 vsize=13868332 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28036/stat : 28036 (java) R 28017 28017 7621 0 -1 1077944384 3040 0 0 0 78 1 0 0 20 0 28 0 3869312 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843225405680 139843770538626 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28037] ppid=28017 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28037/stat : 28037 (java) S 28017 28017 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3869313 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843224353632 139843770537685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28038] ppid=28017 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28038/stat : 28038 (java) S 28017 28017 7621 0 -1 1077944384 649 0 0 0 3 2 0 0 20 0 28 0 3869313 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843223300912 139843770538626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28199] ppid=28017 vsize=13868332 CPUtime=115.47 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28199/stat : 28199 (java) R 28017 28017 7621 0 -1 4202560 804 0 0 0 11543 4 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843207917040 139843412693795 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28200] ppid=28017 vsize=13868332 CPUtime=116.35 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28200/stat : 28200 (java) R 28017 28017 7621 0 -1 4202560 1161 0 0 0 11632 3 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843213184320 139843412247301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28201] ppid=28017 vsize=13868332 CPUtime=116.34 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28201/stat : 28201 (java) R 28017 28017 7621 0 -1 4202560 1633 0 0 0 11633 1 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843211076008 139843413302021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28202] ppid=28017 vsize=13868332 CPUtime=116.2 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28202/stat : 28202 (java) R 28017 28017 7621 0 -1 4202560 3088 0 0 0 11602 18 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843214233248 139843413536679 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28203] ppid=28017 vsize=13868332 CPUtime=116.37 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28203/stat : 28203 (java) R 28017 28017 7621 0 -1 4202560 1368 0 0 0 11630 7 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843206864448 139843412246885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28204] ppid=28017 vsize=13868332 CPUtime=116.31 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28204/stat : 28204 (java) R 28017 28017 7621 0 -1 4202560 905 0 0 0 11629 2 0 0 20 0 28 0 3869422 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843208969944 139843412563300 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28205] ppid=28017 vsize=13868332 CPUtime=114.59 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28205/stat : 28205 (java) R 28017 28017 7621 0 -1 4202560 806 0 0 0 11456 3 0 0 20 0 28 0 3869423 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843212128808 139843412986251 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
[pid=28018/tid=28206] ppid=28017 vsize=13868332 CPUtime=116.18 cores=1,3,5,7,9,11,13,15
/proc/28018/task/28206/stat : 28206 (java) R 28017 28017 7621 0 -1 4202560 336 0 0 0 11618 0 0 0 20 0 28 0 3869424 14201171968 545634 33554432000 4194304 4196468 140725095753088 139843210023432 139843750806853 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23224320 140725095761084 140725095761260 140725095761260 140725095763919 0
Current children cumulated CPU time (s) 937.21
Current children cumulated vsize (KiB) 13877844

Child status: 0
Real time (s): 118.353
CPU time (s): 937.293
CPU user time (s): 935.839
CPU system time (s): 1.45453
CPU usage (%): 791.945
Max. virtual memory (cumulated for all children) (KiB): 13877844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 935.839
system time used= 1.45453
maximum resident set size= 2182676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8085
involuntary context switches= 64614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68445 second user time and 1.75705 second system time

The end

Launcher Data 

Begin job on node124 at 2017-07-22 03:13:35
IDJOB=4245614
IDBENCH=122985
IDSOLVER=2625
FILE ID=node124/4245614-1500686015
RUNJOBID= node124-1500683887-7653
PBS_JOBID= 20623343
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-09-037-012.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-4245614-1500686015/watcher-4245614-1500686015 -o /tmp/evaluation-result-4245614-1500686015/solver-4245614-1500686015 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1480110995 HOME/instance-4245614-1500686015.xml

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

MD5SUM BENCH= 5c4ba5217d536d79642dfac47d0d569c
RANDOM SEED=1480110995

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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:        29987376 kB
MemAvailable:   30032392 kB
Buffers:           50184 kB
Cached:           305832 kB
SwapCached:            0 kB
Active:          2160036 kB
Inactive:         248232 kB
Active(anon):    2055056 kB
Inactive(anon):     8756 kB
Active(file):     104980 kB
Inactive(file):   239476 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:            68 kB
AnonPages:       2065604 kB
Mapped:            42464 kB
Shmem:              8872 kB
Slab:              66728 kB
SReclaimable:      32792 kB
SUnreclaim:        33936 kB
KernelStack:        5040 kB
PageTables:         9312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2977592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1945600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

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