Trace number 4246974

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)OPT7 637.25 160.31

General information on the benchmark

NameOpenStacks/OpenStacks-m2c-s1/
OpenStacks-m2c-pb-10-20-1.xml
MD5SUMbdb22ef8b3c10c26106ff967be2ad1e3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark211.078
Satisfiable
(Un)Satisfiability was proved
Number of variables260
Number of constraints241
Number of domains3
Minimum domain size2
Maximum domain size21
Distribution of domain sizes[{"size":2,"count":200},{"size":20,"count":40},{"size":21,"count":20}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":220},{"degree":3,"count":3},{"degree":5,"count":10},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":21,"count":20}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":202},{"arity":4,"count":2},{"arity":5,"count":2},{"arity":6,"count":10},{"arity":7,"count":2},{"arity":8,"count":2},{"arity":11,"count":20},{"arity":20,"count":1}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"minimum","count":10},{"type":"maximum","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246974-1502091602.xml"  -tl '2400s' -p 4 -x 3
0.00/0.28	c [HOME/instance-4246974-1502091602.xml, -tl, 2400s, -p, 4, -x, 3]
0.00/0.34	c 4 solvers in parallel
0.00/0.40	c parse instance...
0.00/0.98	c solve instance...
2.76/1.19	o 10 
3.14/1.22	o 9 
3.14/1.23	o 8 
4.65/1.60	o 7 
637.23/160.30	s OPTIMUM FOUND
637.23/160.30	v <instantiation>
637.23/160.30	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] </list>
637.23/160.30	v 	<values>0 1 2 9 11 3 12 13 14 6 4 15 5 10 17 7 16 18 19 8 17 5 0 1 1 11 9 1 2 0 18 8 10 18 19 19 16 18 16 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 5 6 6 6 7 7 7 7 7 7 7 7 7 7 7 7 6 6 3 </values>
637.23/160.30	v </instantiation>

Verifier Data 

OK	7

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-4246974-1502091602/watcher-4246974-1502091602 -o /tmp/evaluation-result-4246974-1502091602/solver-4246974-1502091602 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 348227270 HOME/instance-4246974-1502091602.xml 

pid=21193
running on 4 cores: 1,3,5,7

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.10 8.30 7.66 6/203 21196
/proc/meminfo: memFree=31124280/32770624 swapFree=0/373652
[pid=21196] ppid=21193 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (runsolver) D 21193 21196 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 108813302 24240128 106 18446744073709551615 4194304 4338465 140731076618272 140731076615912 140716531667671 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 10088448 140731076620375 140731076620873 140731076620873 140731076624330 0
/proc/21196/statm: 5918 106 53 36 0 2156 0

[startup+0.100085 s]
/proc/loadavg: 8.10 8.30 7.66 6/203 21196
/proc/meminfo: memFree=31124280/32770624 swapFree=0/373652
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200268 s]
/proc/loadavg: 8.10 8.30 7.66 6/203 21196
/proc/meminfo: memFree=31124280/32770624 swapFree=0/373652
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300229 s]
/proc/loadavg: 8.10 8.30 7.66 6/203 21196
/proc/meminfo: memFree=31124280/32770624 swapFree=0/373652
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.704236 s]
/proc/loadavg: 8.10 8.30 7.66 6/203 21196
/proc/meminfo: memFree=31124280/32770624 swapFree=0/373652
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50552 s]
/proc/loadavg: 8.10 8.30 7.66 12/223 21216
/proc/meminfo: memFree=30984428/32770624 swapFree=0/373684
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
[pid=21198] ppid=21196 vsize=13186612 CPUtime=4.31 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21196 2911 0 -1 1077944320 16723 0 0 0 423 8 0 0 20 0 19 0 108813312 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140720564822416 140473650691831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
/proc/21198/statm: 3296653 47681 3212 1 0 3284945 0
[pid=21198/tid=21199] ppid=21196 vsize=13186612 CPUtime=0.83 cores=1,3,5,7
/proc/21198/task/21199/stat : 21199 (java) S 21196 21196 2911 0 -1 1077944384 8895 0 0 0 79 4 0 0 20 0 19 0 108813312 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473654932608 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21200] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21196 2911 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473618250128 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21201] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21196 2911 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473252796688 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21202] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21196 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473251744400 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21203] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21196 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473250691600 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21204] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21196 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473134684784 140473650702978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21205] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21196 2911 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473133630752 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21206] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21196 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 108813315 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473132578416 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21207] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473131526736 140473650710427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21208] ppid=21196 vsize=13186612 CPUtime=0.94 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) R 21196 21196 2911 0 -1 4202560 1844 0 0 0 94 0 0 0 20 0 19 0 108813317 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473130459608 140473632235584 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21209] ppid=21196 vsize=13186612 CPUtime=0.79 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) R 21196 21196 2911 0 -1 4202560 1863 0 0 0 79 0 0 0 20 0 19 0 108813317 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473129406664 140473632213996 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21210] ppid=21196 vsize=13186612 CPUtime=0.56 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) R 21196 21196 2911 0 -1 1077944384 2217 0 0 0 55 1 0 0 20 0 19 0 108813317 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473128368496 140473650702978 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21211] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473127315936 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21212] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21196 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 108813322 13503090688 47681 18446744073709551615 4194304 4196468 140720564839872 140473126263728 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 13196124

[startup+3.10152 s]
/proc/loadavg: 8.10 8.30 7.66 12/223 21232
/proc/meminfo: memFree=30941988/32770624 swapFree=0/373684
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
[pid=21198] ppid=21196 vsize=13186612 CPUtime=10.61 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21196 2911 0 -1 1077944320 18065 0 0 0 1052 9 0 0 20 0 19 0 108813312 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140720564822416 140473650691831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
/proc/21198/statm: 3296653 48876 3240 1 0 3284945 0
[pid=21198/tid=21199] ppid=21196 vsize=13186612 CPUtime=0.84 cores=1,3,5,7
/proc/21198/task/21199/stat : 21199 (java) S 21196 21196 2911 0 -1 1077944384 8896 0 0 0 80 4 0 0 20 0 19 0 108813312 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473654932608 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21200] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21196 2911 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473618250128 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21201] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21196 2911 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473252796688 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21202] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21196 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473251744400 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21203] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21196 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473250691600 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21204] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21196 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473134684784 140473650702978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21205] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21196 2911 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473133630752 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21206] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21196 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 108813315 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473132578416 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21207] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473131526736 140473650710427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21208] ppid=21196 vsize=13186612 CPUtime=1.69 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) R 21196 21196 2911 0 -1 4202560 2167 0 0 0 169 0 0 0 20 0 19 0 108813317 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473130473584 140473629881280 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21209] ppid=21196 vsize=13186612 CPUtime=1.67 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) R 21196 21196 2911 0 -1 1077944384 2294 0 0 0 167 0 0 0 20 0 19 0 108813317 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473129420784 140473650702978 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21210] ppid=21196 vsize=13186612 CPUtime=0.68 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21196 2911 0 -1 1077944384 2648 0 0 0 67 1 0 0 20 0 19 0 108813317 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473128368496 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21211] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473127315936 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21212] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21196 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 108813322 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473126263728 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21229] ppid=21196 vsize=13186612 CPUtime=0.93 cores=1,3,5,7
/proc/21198/task/21229/stat : 21229 (java) R 21196 21196 2911 0 -1 4202560 28 0 0 0 93 0 0 0 20 0 19 0 108813463 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473114037576 140473296160339 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21230] ppid=21196 vsize=13186612 CPUtime=1.11 cores=1,3,5,7
/proc/21198/task/21230/stat : 21230 (java) R 21196 21196 2911 0 -1 4202560 79 0 0 0 111 0 0 0 20 0 19 0 108813464 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473116144600 140473294120468 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21231] ppid=21196 vsize=13186612 CPUtime=1.33 cores=1,3,5,7
/proc/21198/task/21231/stat : 21231 (java) R 21196 21196 2911 0 -1 4202560 25 0 0 0 133 0 0 0 20 0 19 0 108813464 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473118249016 140473296159960 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21232] ppid=21196 vsize=13186612 CPUtime=0.98 cores=1,3,5,7
/proc/21198/task/21232/stat : 21232 (java) R 21196 21196 2911 0 -1 4202560 22 0 0 0 98 0 0 0 20 0 19 0 108813464 13503090688 48876 18446744073709551615 4194304 4196468 140720564839872 140473115091320 140473296159798 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
Current children cumulated CPU time (s) 10.61
Current children cumulated vsize (KiB) 13196124

[startup+6.30151 s]
/proc/loadavg: 7.77 8.22 7.65 11/224 21233
/proc/meminfo: memFree=30936472/32770624 swapFree=0/373684
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
[pid=21198] ppid=21196 vsize=13186612 CPUtime=23.35 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21196 2911 0 -1 1077944320 24638 0 0 0 2325 10 0 0 20 0 19 0 108813312 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140720564822416 140473650691831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
/proc/21198/statm: 3296653 49350 3246 1 0 3284945 0
[pid=21198/tid=21199] ppid=21196 vsize=13186612 CPUtime=0.84 cores=1,3,5,7
/proc/21198/task/21199/stat : 21199 (java) S 21196 21196 2911 0 -1 1077944384 8896 0 0 0 80 4 0 0 20 0 19 0 108813312 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473654932608 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21200] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21196 2911 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473618250128 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21201] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21196 2911 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473252796688 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21202] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21196 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473251744400 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21203] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21196 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 108813313 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473250691600 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21204] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21196 2911 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473134684784 140473650702978 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21205] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21196 2911 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473133630752 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21206] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21196 2911 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 108813315 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473132578416 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21207] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473131526736 140473650710427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21208] ppid=21196 vsize=13186612 CPUtime=2.23 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21196 2911 0 -1 1077944384 4042 0 0 0 222 1 0 0 20 0 19 0 108813317 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473130473584 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21209] ppid=21196 vsize=13186612 CPUtime=2.28 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21196 2911 0 -1 1077944384 4521 0 0 0 228 0 0 0 20 0 19 0 108813317 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473129420784 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21210] ppid=21196 vsize=13186612 CPUtime=0.73 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21196 2911 0 -1 1077944384 3657 0 0 0 72 1 0 0 20 0 19 0 108813317 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473128368496 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21211] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473127315936 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21212] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21196 2911 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 108813322 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473126263728 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21229] ppid=21196 vsize=13186612 CPUtime=3.7 cores=1,3,5,7
/proc/21198/task/21229/stat : 21229 (java) R 21196 21196 2911 0 -1 4202560 385 0 0 0 370 0 0 0 20 0 19 0 108813463 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473114037104 140473296159635 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21230] ppid=21196 vsize=13186612 CPUtime=3.84 cores=1,3,5,7
/proc/21198/task/21230/stat : 21230 (java) R 21196 21196 2911 0 -1 4202560 341 0 0 0 384 0 0 0 20 0 19 0 108813464 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473116143968 140473296823355 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21231] ppid=21196 vsize=13186612 CPUtime=4.32 cores=1,3,5,7
/proc/21198/task/21231/stat : 21231 (java) R 21196 21196 2911 0 -1 4202560 313 0 0 0 432 0 0 0 20 0 19 0 108813464 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473118248736 140473296159560 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21232] ppid=21196 vsize=13186612 CPUtime=4.03 cores=1,3,5,7
/proc/21198/task/21232/stat : 21232 (java) R 21196 21196 2911 0 -1 4202560 251 0 0 0 403 0 0 0 20 0 19 0 108813464 13503090688 49350 18446744073709551615 4194304 4196468 140720564839872 140473115090360 140473296159893 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
Current children cumulated CPU time (s) 23.35
Current children cumulated vsize (KiB) 13196124

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

/proc/21198/task/21206/stat : 21206 (java) S 21196 21196 2911 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 108813315 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473132578432 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21207] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473131526736 140473650710427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21208] ppid=21196 vsize=13186612 CPUtime=2.7 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21196 2911 0 -1 1077944384 10161 0 0 0 269 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473130473584 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21209] ppid=21196 vsize=13186612 CPUtime=2.82 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21196 2911 0 -1 1077944384 13237 0 0 0 281 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473129420784 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21210] ppid=21196 vsize=13186612 CPUtime=0.77 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21196 2911 0 -1 1077944384 5428 0 0 0 76 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473128368496 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21211] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473127315936 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21212] ppid=21196 vsize=13186612 CPUtime=0.02 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21196 2911 0 -1 1077944384 980 0 0 0 0 2 0 0 20 0 19 0 108813322 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473126263728 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21229] ppid=21196 vsize=13186612 CPUtime=156.07 cores=1,3,5,7
/proc/21198/task/21229/stat : 21229 (java) R 21196 21196 2911 0 -1 4202560 1859 0 0 0 15607 0 0 0 20 0 19 0 108813463 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473114037256 140473296160861 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21230] ppid=21196 vsize=13186612 CPUtime=155.62 cores=1,3,5,7
/proc/21198/task/21230/stat : 21230 (java) R 21196 21196 2911 0 -1 4202560 1892 0 0 0 15562 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473116143872 140473296160077 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21231] ppid=21196 vsize=13186612 CPUtime=156.29 cores=1,3,5,7
/proc/21198/task/21231/stat : 21231 (java) R 21196 21196 2911 0 -1 4202560 3218 0 0 0 15629 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473118249128 140473296159798 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21232] ppid=21196 vsize=13186612 CPUtime=156.03 cores=1,3,5,7
/proc/21198/task/21232/stat : 21232 (java) R 21196 21196 2911 0 -1 4202560 1234 0 0 0 15603 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473115093328 140473296160935 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
Current children cumulated CPU time (s) 632.84
Current children cumulated vsize (KiB) 13196124

[startup+160.002 s]
/proc/loadavg: 8.25 8.30 7.77 10/224 21238
/proc/meminfo: memFree=30902244/32770624 swapFree=0/373748
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
[pid=21198] ppid=21196 vsize=13186612 CPUtime=636.03 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21196 2911 0 -1 1077944320 55938 0 0 0 63581 22 0 0 20 0 19 0 108813312 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140720564822416 140473650691831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
/proc/21198/statm: 3296653 56099 3255 1 0 3284945 0
[pid=21198/tid=21199] ppid=21196 vsize=13186612 CPUtime=0.84 cores=1,3,5,7
/proc/21198/task/21199/stat : 21199 (java) S 21196 21196 2911 0 -1 1077944384 8896 0 0 0 80 4 0 0 20 0 19 0 108813312 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473654932608 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21200] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21196 2911 0 -1 1077944384 1205 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473618250128 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21201] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21196 2911 0 -1 1077944384 1445 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473252796688 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21202] ppid=21196 vsize=13186612 CPUtime=0.05 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21196 2911 0 -1 1077944384 2202 0 0 0 4 1 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473251744400 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21203] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21196 2911 0 -1 1077944384 766 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473250691600 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21204] ppid=21196 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21196 2911 0 -1 1077944384 1607 0 0 0 2 1 0 0 20 0 19 0 108813314 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473134684784 140473650702978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21205] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21196 2911 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473133630816 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21206] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21196 2911 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 108813315 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473132578432 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21207] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473131526736 140473650710427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21208] ppid=21196 vsize=13186612 CPUtime=2.7 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21196 2911 0 -1 1077944384 10161 0 0 0 269 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473130473584 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21209] ppid=21196 vsize=13186612 CPUtime=2.82 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21196 2911 0 -1 1077944384 13237 0 0 0 281 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473129420784 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21210] ppid=21196 vsize=13186612 CPUtime=0.77 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21196 2911 0 -1 1077944384 5428 0 0 0 76 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473128368496 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21211] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473127315936 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21212] ppid=21196 vsize=13186612 CPUtime=0.02 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21196 2911 0 -1 1077944384 980 0 0 0 0 2 0 0 20 0 19 0 108813322 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473126263728 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21229] ppid=21196 vsize=13186612 CPUtime=156.87 cores=1,3,5,7
/proc/21198/task/21229/stat : 21229 (java) R 21196 21196 2911 0 -1 4202560 1859 0 0 0 15687 0 0 0 20 0 19 0 108813463 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473114037256 140473296160498 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21230] ppid=21196 vsize=13186612 CPUtime=156.42 cores=1,3,5,7
/proc/21198/task/21230/stat : 21230 (java) R 21196 21196 2911 0 -1 4202560 1892 0 0 0 15642 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473116143872 140473296160014 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21231] ppid=21196 vsize=13186612 CPUtime=157.08 cores=1,3,5,7
/proc/21198/task/21231/stat : 21231 (java) R 21196 21196 2911 0 -1 4202560 3218 0 0 0 15708 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473118249128 140473296160032 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21232] ppid=21196 vsize=13186612 CPUtime=156.83 cores=1,3,5,7
/proc/21198/task/21232/stat : 21232 (java) R 21196 21196 2911 0 -1 4202560 1234 0 0 0 15683 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473115093328 140473298282823 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
Current children cumulated CPU time (s) 636.03
Current children cumulated vsize (KiB) 13196124

[startup+160.202 s]
/proc/loadavg: 8.25 8.30 7.77 10/224 21238
/proc/meminfo: memFree=30902244/32770624 swapFree=0/373748
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
[pid=21198] ppid=21196 vsize=13186612 CPUtime=636.83 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21196 2911 0 -1 1077944320 55938 0 0 0 63661 22 0 0 20 0 19 0 108813312 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140720564822416 140473650691831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
/proc/21198/statm: 3296653 56099 3255 1 0 3284945 0
[pid=21198/tid=21199] ppid=21196 vsize=13186612 CPUtime=0.84 cores=1,3,5,7
/proc/21198/task/21199/stat : 21199 (java) S 21196 21196 2911 0 -1 1077944384 8896 0 0 0 80 4 0 0 20 0 19 0 108813312 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473654932608 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21200] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21196 2911 0 -1 1077944384 1205 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473618250128 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21201] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21196 2911 0 -1 1077944384 1445 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473252796688 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21202] ppid=21196 vsize=13186612 CPUtime=0.05 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21196 2911 0 -1 1077944384 2202 0 0 0 4 1 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473251744400 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21203] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21196 2911 0 -1 1077944384 766 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473250691600 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21204] ppid=21196 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21196 2911 0 -1 1077944384 1607 0 0 0 2 1 0 0 20 0 19 0 108813314 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473134684784 140473650702978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21205] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21196 2911 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473133630816 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21206] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21196 2911 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 108813315 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473132578432 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21207] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473131526736 140473650710427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21208] ppid=21196 vsize=13186612 CPUtime=2.7 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21196 2911 0 -1 1077944384 10161 0 0 0 269 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473130473584 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21209] ppid=21196 vsize=13186612 CPUtime=2.82 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21196 2911 0 -1 1077944384 13237 0 0 0 281 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473129420784 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21210] ppid=21196 vsize=13186612 CPUtime=0.77 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21196 2911 0 -1 1077944384 5428 0 0 0 76 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473128368496 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21211] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473127315936 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21212] ppid=21196 vsize=13186612 CPUtime=0.02 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21196 2911 0 -1 1077944384 980 0 0 0 0 2 0 0 20 0 19 0 108813322 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473126263728 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21229] ppid=21196 vsize=13186612 CPUtime=157.07 cores=1,3,5,7
/proc/21198/task/21229/stat : 21229 (java) R 21196 21196 2911 0 -1 4202560 1859 0 0 0 15707 0 0 0 20 0 19 0 108813463 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473114037256 140473296159581 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21230] ppid=21196 vsize=13186612 CPUtime=156.62 cores=1,3,5,7
/proc/21198/task/21230/stat : 21230 (java) R 21196 21196 2911 0 -1 4202560 1892 0 0 0 15662 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473116143872 140473297150111 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21231] ppid=21196 vsize=13186612 CPUtime=157.28 cores=1,3,5,7
/proc/21198/task/21231/stat : 21231 (java) R 21196 21196 2911 0 -1 4202560 3218 0 0 0 15728 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473118249128 140473296160949 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21232] ppid=21196 vsize=13186612 CPUtime=157.03 cores=1,3,5,7
/proc/21198/task/21232/stat : 21232 (java) R 21196 21196 2911 0 -1 4202560 1234 0 0 0 15703 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473115093328 140473296823373 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
Current children cumulated CPU time (s) 636.83
Current children cumulated vsize (KiB) 13196124

[startup+160.302 s]
/proc/loadavg: 8.25 8.30 7.77 10/224 21238
/proc/meminfo: memFree=30902244/32770624 swapFree=0/373748
[pid=21196] ppid=21193 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21196/stat : 21196 (xcsp3-exec) S 21193 21196 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108813302 9740288 345 18446744073709551615 4194304 5098028 140727480553680 140727480551784 139989161915004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 28934144 140727480557977 140727480558186 140727480558186 140727480561643 0
/proc/21196/statm: 2378 345 289 221 0 87 0
[pid=21198] ppid=21196 vsize=13186612 CPUtime=637.23 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21196 2911 0 -1 1077944320 55938 0 0 0 63701 22 0 0 20 0 19 0 108813312 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140720564822416 140473650691831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
/proc/21198/statm: 3296653 56099 3255 1 0 3284945 0
[pid=21198/tid=21199] ppid=21196 vsize=13186612 CPUtime=0.84 cores=1,3,5,7
/proc/21198/task/21199/stat : 21199 (java) S 21196 21196 2911 0 -1 1077944384 8896 0 0 0 80 4 0 0 20 0 19 0 108813312 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473654932608 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21200] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21196 2911 0 -1 1077944384 1205 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473618250128 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21201] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21196 2911 0 -1 1077944384 1445 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473252796688 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21202] ppid=21196 vsize=13186612 CPUtime=0.05 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21196 2911 0 -1 1077944384 2202 0 0 0 4 1 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473251744400 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21203] ppid=21196 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21196 2911 0 -1 1077944384 766 0 0 0 4 2 0 0 20 0 19 0 108813313 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473250691600 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21204] ppid=21196 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21196 2911 0 -1 1077944384 1607 0 0 0 2 1 0 0 20 0 19 0 108813314 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473134684784 140473650702978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21205] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21196 2911 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 108813314 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473133630816 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21206] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21196 2911 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 108813315 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473132578432 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21207] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473131526736 140473650710427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21208] ppid=21196 vsize=13186612 CPUtime=2.7 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21196 2911 0 -1 1077944384 10161 0 0 0 269 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473130473584 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21209] ppid=21196 vsize=13186612 CPUtime=2.82 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21196 2911 0 -1 1077944384 13237 0 0 0 281 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473129420784 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21210] ppid=21196 vsize=13186612 CPUtime=0.77 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21196 2911 0 -1 1077944384 5428 0 0 0 76 1 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473128368496 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21211] ppid=21196 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21196 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108813317 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473127315936 140473650702037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21212] ppid=21196 vsize=13186612 CPUtime=0.02 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21196 2911 0 -1 1077944384 980 0 0 0 0 2 0 0 20 0 19 0 108813322 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473126263728 140473650702978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21229] ppid=21196 vsize=13186612 CPUtime=157.17 cores=1,3,5,7
/proc/21198/task/21229/stat : 21229 (java) R 21196 21196 2911 0 -1 4202560 1859 0 0 0 15717 0 0 0 20 0 19 0 108813463 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473114037256 140473296160039 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21230] ppid=21196 vsize=13186612 CPUtime=156.72 cores=1,3,5,7
/proc/21198/task/21230/stat : 21230 (java) R 21196 21196 2911 0 -1 4202560 1892 0 0 0 15672 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473116143872 140473296159770 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21231] ppid=21196 vsize=13186612 CPUtime=157.38 cores=1,3,5,7
/proc/21198/task/21231/stat : 21231 (java) R 21196 21196 2911 0 -1 4202560 3218 0 0 0 15738 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473118249128 140473296159776 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
[pid=21198/tid=21232] ppid=21196 vsize=13186612 CPUtime=157.13 cores=1,3,5,7
/proc/21198/task/21232/stat : 21232 (java) R 21196 21196 2911 0 -1 4202560 1234 0 0 0 15713 0 0 0 20 0 19 0 108813464 13503090688 56099 18446744073709551615 4194304 4196468 140720564839872 140473115093328 140473296159488 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720564842966 140720564843142 140720564843142 140720564846543 0
Current children cumulated CPU time (s) 637.23
Current children cumulated vsize (KiB) 13196124

Child status: 0
Real time (s): 160.31
CPU time (s): 637.25
CPU user time (s): 637.023
CPU system time (s): 0.227555
CPU usage (%): 397.51
Max. virtual memory (cumulated for all children) (KiB): 13196124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 637.023
system time used= 0.227555
maximum resident set size= 239124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6653
involuntary context switches= 9100

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.763477 second user time and 1.19832 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-07 09:25:40
IDJOB=4246974
IDBENCH=140508
IDSOLVER=2626
FILE ID=node132/4246974-1502091602
RUNJOBID= node132-1502078046-15622
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-pb-10-20-1.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-4246974-1502091602/watcher-4246974-1502091602 -o /tmp/evaluation-result-4246974-1502091602/solver-4246974-1502091602 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 348227270 HOME/instance-4246974-1502091602.xml

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

MD5SUM BENCH= bdb22ef8b3c10c26106ff967be2ad1e3
RANDOM SEED=348227270

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31124824 kB
MemAvailable:   31687900 kB
Buffers:          231004 kB
Cached:           630492 kB
SwapCached:            0 kB
Active:           812560 kB
Inactive:         406280 kB
Active(anon):     358136 kB
Inactive(anon):    32628 kB
Active(file):     454424 kB
Inactive(file):   373652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7908 kB
Writeback:             0 kB
AnonPages:        356672 kB
Mapped:            61660 kB
Shmem:             33468 kB
Slab:             128536 kB
SReclaimable:     101672 kB
SUnreclaim:        26864 kB
KernelStack:        3536 kB
PageTables:         5732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1144488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62016 MiB
End job on node132 at 2017-08-07 09:28:21