Trace number 4393180

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14OPT607 90.2356 41.5271

General information on the benchmark

NameNurseRostering/
NurseRostering-01_c18.xml
MD5SUM0c15b35a08e73d195c67cb94b6fc4864
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark607
Best CPU time to get the best result obtained on this benchmark6.23891
Satisfiable
(Un)Satisfiability was proved
Number of variables226
Number of constraints427
Number of domains11
Minimum domain size1
Maximum domain size15
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":154},{"size":9,"count":42},{"size":15,"count":16}]
Minimum variable degree2
Maximum variable degree18
Distribution of variable degrees[{"degree":2,"count":98},{"degree":3,"count":16},{"degree":8,"count":4},{"degree":9,"count":10},{"degree":10,"count":2},{"degree":11,"count":4},{"degree":12,"count":10},{"degree":13,"count":12},{"degree":14,"count":17},{"degree":15,"count":16},{"degree":16,"count":17},{"degree":17,"count":18},{"degree":18,"count":2}]
Minimum constraint arity2
Maximum constraint arity15
Distribution of constraint arities[{"arity":2,"count":118},{"arity":3,"count":192},{"arity":6,"count":72},{"arity":8,"count":1},{"arity":9,"count":28},{"arity":15,"count":16}]
Number of extensional constraints28
Number of intensional constraints74
Distribution of constraint types[{"type":"extension","count":28},{"type":"intension","count":74},{"type":"regular","count":192},{"type":"sum","count":16},{"type":"count","count":116},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393180-1568354523.xml"  -tl '2520s' -p 4
0.12/0.19	c Choco e747e1e
0.12/0.20	c [HOME/instance-4393180-1568354523.xml, -tl, 2520s, -p, 4]
0.35/0.24	c 4 solvers in parallel
0.35/0.31	c parse instance...
2.68/1.18	c solve instance...
3.01/1.27	o 1628 
4.13/1.57	o 1527 
4.13/1.57	o 1526 
4.13/1.57	o 1525 
4.13/1.57	o 914 
4.13/1.57	o 913 
4.13/1.57	o 912 
7.23/2.34	o 820 
8.40/2.86	o 819 
9.67/3.67	o 818 
12.04/5.77	o 817 
15.25/8.25	o 816 
16.92/9.22	o 717 
20.40/10.28	o 715 
22.08/11.89	o 713 
24.65/12.80	o 712 
31.85/15.76	o 710 
35.52/19.32	o 709 
45.17/27.14	o 610 
50.84/29.21	o 609 
53.96/31.29	o 608 
55.25/32.34	o 607 
90.19/41.51	s OPTIMUM FOUND
90.19/41.51	v <instantiation>
90.19/41.51	v 	<list>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[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] 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[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] 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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] 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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] 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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] ps[0][0] ps[0][1] ps[1][0] ps[1][1] ps[2][0] ps[2][1] ps[3][0] ps[3][1] ps[4][0] ps[4][1] ps[5][0] ps[5][1] ps[6][0] ps[6][1] ps[7][0] ps[7][1] ds[0][0] ds[0][1] ds[1][0] ds[1][1] ds[2][0] ds[2][1] ds[3][0] ds[3][1] ds[4][0] ds[4][1] ds[5][0] ds[5][1] ds[6][0] ds[6][1] ds[7][0] ds[7][1] ds[8][0] ds[8][1] ds[9][0] ds[9][1] ds[10][0] ds[10][1] ds[11][0] ds[11][1] ds[12][0] ds[12][1] ds[13][0] ds[13][1] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cf[0] cf[1] cf[2] cf[3] cf[4] cc[0][0] cc[0][1] cc[1][0] cc[1][1] cc[2][0] cc[2][1] cc[3][0] cc[3][1] cc[4][0] cc[4][1] cc[5][0] cc[5][1] cc[6][0] cc[6][1] cc[7][0] cc[7][1] cc[8][0] cc[8][1] cc[9][0] cc[9][1] cc[10][0] cc[10][1] cc[11][0] cc[11][1] cc[12][0] cc[12][1] cc[13][0] cc[13][1] </list>
90.19/41.51	v 	<values>1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 9 5 9 5 8 6 7 7 9 5 9 5 8 6 7 7 5 3 7 1 6 2 5 3 5 3 2 6 2 6 6 2 7 1 4 4 2 6 5 3 6 2 4 4 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 300 0 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
90.19/41.51	v </instantiation>

Verifier Data

OK	607

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (12418 MiB free)
  memory of node 1: 16384 MiB (13545 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393180-1568354523/watcher-4393180-1568354523 -o /tmp/evaluation-result-4393180-1568354523/solver-4393180-1568354523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28200 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 160744747 HOME/instance-4393180-1568354523.xml 

running on 4 cores: 4-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29123, runsolver pid=29120
Current StackSize limit: 8192 KiB


[startup+0.100145 s]*
/proc/loadavg: 8.54 8.41 6.75 3/230 29139
/proc/meminfo: memFree=26568652/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0
[pid=29125] ppid=29123 vsize=15144768 memory=30076 CPUtime=0.12 cores=4-7
/proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 5467 0 0 0 11 1 0 0 20 0 15 0 411458615 15508242432 7519 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
/proc/29125/statm: 3786192 7519 3115 1 0 3748377 0
[pid=29125/tid=29126] ppid=29123 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=4-7
/proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 3396 0 0 0 8 1 0 0 20 0 15 0 411458615 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445875741040 140445871525270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29127] ppid=29123 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7
/proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29128] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7
/proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29129] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29130] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29131] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7
/proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29132] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29133] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29134] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29135] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29136] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29137] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0.01 cores=4-7
/proc/29125/task/29137/stat : 29137 (java) R 29123 29123 28168 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445333751792 140445871525270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29138] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29139] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7
/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31524 KiB

[startup+0.211779 s]*
/proc/loadavg: 8.54 8.41 6.75 3/230 29139
/proc/meminfo: memFree=26549648/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0
[pid=29125] ppid=29123 vsize=15144768 memory=41060 CPUtime=0.35 cores=4-7
/proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 9002 0 0 0 32 3 0 0 20 0 15 0 411458615 15508242432 10265 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
/proc/29125/statm: 3786192 10265 3265 1 0 3748377 0
[pid=29125/tid=29126] ppid=29123 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 6181 0 0 0 18 2 0 0 20 0 15 0 411458615 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445875750816 140445871535261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29127] ppid=29123 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7
/proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29128] ppid=29123 vsize=15144768 memory=140655705192495 CPUtime=0 cores=4-7
/proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29129] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29130] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29131] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7
/proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29132] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29133] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29134] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29135] ppid=29123 vsize=15144768 memory=0 CPUtime=0.03 cores=4-7
/proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29136] ppid=29123 vsize=15144768 memory=-1 CPUtime=0.01 cores=4-7
/proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29137] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0.08 cores=4-7
/proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29138] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29139] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42508 KiB

[startup+0.311561 s]*
/proc/loadavg: 8.54 8.41 6.75 3/230 29139
/proc/meminfo: memFree=26486264/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0
[pid=29125] ppid=29123 vsize=15149024 memory=46936 CPUtime=0.52 cores=4-7
/proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 10063 0 0 0 49 3 0 0 20 0 15 0 411458615 15512600576 11734 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
/proc/29125/statm: 3787256 11734 3342 1 0 3748377 0
[pid=29125/tid=29126] ppid=29123 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=4-7
/proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 7146 0 0 0 27 3 0 0 20 0 15 0 411458615 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445875734848 140445508057322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29127] ppid=29123 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7
/proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29128] ppid=29123 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7
/proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29129] ppid=29123 vsize=15149024 memory=7976406965554101975 CPUtime=0 cores=4-7
/proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29130] ppid=29123 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=4-7
/proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29131] ppid=29123 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=4-7
/proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411458618 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29132] ppid=29123 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=4-7
/proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29133] ppid=29123 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7
/proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29134] ppid=29123 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=4-7
/proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29135] ppid=29123 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=4-7
/proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 618 0 0 0 4 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29136] ppid=29123 vsize=15149024 memory=0 CPUtime=0.03 cores=4-7
/proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29137] ppid=29123 vsize=15149024 memory=0 CPUtime=0.13 cores=4-7
/proc/29125/task/29137/stat : 29137 (java) R 29123 29123 28168 0 -1 4202560 783 0 0 0 13 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445333751792 140445871534682 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29138] ppid=29123 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29139] ppid=29123 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48384 KiB

[startup+0.700896 s]
/proc/loadavg: 8.54 8.41 6.75 9/230 29139
/proc/meminfo: memFree=26283108/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0
[pid=29125] ppid=29123 vsize=15151148 memory=75284 CPUtime=1.47 cores=4-7
/proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 14026 0 0 0 141 6 0 0 20 0 15 0 411458615 15514775552 18821 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
/proc/29125/statm: 3787787 18821 3435 1 0 3748889 0
[pid=29125/tid=29126] ppid=29123 vsize=15151148 memory=33 CPUtime=0.67 cores=4-7
/proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 8883 0 0 0 63 4 0 0 20 0 15 0 411458615 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445875750512 140445853368763 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29127] ppid=29123 vsize=15151148 memory=-7082918048272507482 CPUtime=0 cores=4-7
/proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29128] ppid=29123 vsize=15151148 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29129] ppid=29123 vsize=15151148 memory=45436 CPUtime=0 cores=4-7
/proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29130] ppid=29123 vsize=15151148 memory=984 CPUtime=0 cores=4-7
/proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29131] ppid=29123 vsize=15151148 memory=2020 CPUtime=0 cores=4-7
/proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411458618 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29132] ppid=29123 vsize=15151148 memory=1432 CPUtime=0 cores=4-7
/proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29133] ppid=29123 vsize=15151148 memory=776 CPUtime=0 cores=4-7
/proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29134] ppid=29123 vsize=15151148 memory=660 CPUtime=0 cores=4-7
/proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29135] ppid=29123 vsize=15151148 memory=1556 CPUtime=0.22 cores=4-7
/proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 1357 0 0 0 22 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29136] ppid=29123 vsize=15151148 memory=9588 CPUtime=0.17 cores=4-7
/proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 849 0 0 0 17 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29137] ppid=29123 vsize=15151148 memory=1712 CPUtime=0.37 cores=4-7
/proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 1631 0 0 0 37 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29138] ppid=29123 vsize=15151148 memory=5972 CPUtime=0 cores=4-7
/proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29139] ppid=29123 vsize=15151148 memory=4164 CPUtime=0 cores=4-7
/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 76732 KiB

[startup+1.50136 s]
/proc/loadavg: 8.54 8.41 6.75 6/230 29139
/proc/meminfo: memFree=26060916/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0

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

/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=1560 CPUtime=8.33 cores=4-7
/proc/29125/task/29230/stat : 29230 (java) R 29123 29123 28168 0 -1 4202560 341 0 0 0 833 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317181032 140445515571303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=304556123141439514 CPUtime=8.38 cores=4-7
/proc/29125/task/29231/stat : 29231 (java) R 29123 29123 28168 0 -1 4202560 569 0 0 0 838 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319287384 140445516217397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=288230591755977018 CPUtime=8.27 cores=4-7
/proc/29125/task/29232/stat : 29232 (java) R 29123 29123 28168 0 -1 4202560 583 0 0 0 827 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315078432 140445518303739 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=13563791027735092 CPUtime=8.25 cores=4-7
/proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 118 0 0 0 825 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519377676 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 88.91 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 253580 KiB

[startup+41.2008 s]
/proc/loadavg: 6.57 7.93 6.66 3/234 29234
/proc/meminfo: memFree=19096760/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0
[pid=29125] ppid=29123 vsize=15552580 memory=252132 CPUtime=89.89 cores=4-7
/proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 67414 0 0 0 8961 28 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
/proc/29125/statm: 3888145 63033 3530 1 0 3849247 0
[pid=29125/tid=29126] ppid=29123 vsize=15552580 memory=980 CPUtime=1.19 cores=4-7
/proc/29125/task/29126/stat : 29126 (java) S 29123 29123 28168 0 -1 1077944384 12679 0 0 0 113 6 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445875754112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29127] ppid=29123 vsize=15552580 memory=26660 CPUtime=0.06 cores=4-7
/proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1284 0 0 0 4 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29128] ppid=29123 vsize=15552580 memory=303430223234596890 CPUtime=0.08 cores=4-7
/proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 335 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29129] ppid=29123 vsize=15552580 memory=0 CPUtime=0.08 cores=4-7
/proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 2733 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29130] ppid=29123 vsize=15552580 memory=13563791027735092 CPUtime=0.09 cores=4-7
/proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 1641 0 0 0 6 3 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29131] ppid=29123 vsize=15552580 memory=1448 CPUtime=0.04 cores=4-7
/proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 1461 0 0 0 3 1 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29132] ppid=29123 vsize=15552580 memory=249064 CPUtime=0 cores=4-7
/proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445339014880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29133] ppid=29123 vsize=15552580 memory=920 CPUtime=0 cores=4-7
/proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445337961728 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29134] ppid=29123 vsize=15552580 memory=3848 CPUtime=0 cores=4-7
/proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29135] ppid=29123 vsize=15552580 memory=2764 CPUtime=3.41 cores=4-7
/proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 13789 0 0 0 340 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29136] ppid=29123 vsize=15552580 memory=2716 CPUtime=3.61 cores=4-7
/proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 14590 0 0 0 359 2 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29137] ppid=29123 vsize=15552580 memory=1412 CPUtime=1.08 cores=4-7
/proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 8376 0 0 0 107 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29138] ppid=29123 vsize=15552580 memory=2748 CPUtime=0 cores=4-7
/proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29139] ppid=29123 vsize=15552580 memory=1448 CPUtime=0.01 cores=4-7
/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=7874188 CPUtime=8.52 cores=4-7
/proc/29125/task/29230/stat : 29230 (java) S 29123 29123 28168 0 -1 1077944384 366 0 0 0 852 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317185712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=1412 CPUtime=8.57 cores=4-7
/proc/29125/task/29231/stat : 29231 (java) S 29123 29123 28168 0 -1 1077944384 594 0 0 0 857 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319292112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=6791534058613427641 CPUtime=8.47 cores=4-7
/proc/29125/task/29232/stat : 29232 (java) S 29123 29123 28168 0 -1 1077944384 588 0 0 0 847 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315081552 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=45436 CPUtime=8.64 cores=4-7
/proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 119 0 0 0 864 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519377743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 89.89 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 253580 KiB

[startup+41.4008 s]
/proc/loadavg: 6.57 7.93 6.66 3/234 29234
/proc/meminfo: memFree=19096760/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0
[pid=29125] ppid=29123 vsize=15552580 memory=252132 CPUtime=90.09 cores=4-7
/proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 67414 0 0 0 8981 28 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
/proc/29125/statm: 3888145 63033 3530 1 0 3849247 0
[pid=29125/tid=29126] ppid=29123 vsize=15552580 memory=1432 CPUtime=1.19 cores=4-7
/proc/29125/task/29126/stat : 29126 (java) S 29123 29123 28168 0 -1 1077944384 12679 0 0 0 113 6 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445875754112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29127] ppid=29123 vsize=15552580 memory=0 CPUtime=0.06 cores=4-7
/proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1284 0 0 0 4 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29128] ppid=29123 vsize=15552580 memory=7883359095706182757 CPUtime=0.08 cores=4-7
/proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 335 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29129] ppid=29123 vsize=15552580 memory=7883359095706182757 CPUtime=0.08 cores=4-7
/proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 2733 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29130] ppid=29123 vsize=15552580 memory=7522245508264650577 CPUtime=0.09 cores=4-7
/proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 1641 0 0 0 6 3 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29131] ppid=29123 vsize=15552580 memory=297237790993940784 CPUtime=0.04 cores=4-7
/proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 1461 0 0 0 3 1 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29132] ppid=29123 vsize=15552580 memory=14978871065839420 CPUtime=0 cores=4-7
/proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445339014880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29133] ppid=29123 vsize=15552580 memory=-8412656567318647667 CPUtime=0 cores=4-7
/proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445337961728 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29134] ppid=29123 vsize=15552580 memory=4427205132082312746 CPUtime=0 cores=4-7
/proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29135] ppid=29123 vsize=15552580 memory=291045341506306352 CPUtime=3.41 cores=4-7
/proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 13789 0 0 0 340 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29136] ppid=29123 vsize=15552580 memory=14978871065839420 CPUtime=3.61 cores=4-7
/proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 14590 0 0 0 359 2 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29137] ppid=29123 vsize=15552580 memory=-7023579799431922829 CPUtime=1.08 cores=4-7
/proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 8376 0 0 0 107 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29138] ppid=29123 vsize=15552580 memory=0 CPUtime=0 cores=4-7
/proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29139] ppid=29123 vsize=15552580 memory=249064 CPUtime=0.01 cores=4-7
/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=31 CPUtime=8.52 cores=4-7
/proc/29125/task/29230/stat : 29230 (java) S 29123 29123 28168 0 -1 1077944384 366 0 0 0 852 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317185712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=511375 CPUtime=8.57 cores=4-7
/proc/29125/task/29231/stat : 29231 (java) S 29123 29123 28168 0 -1 1077944384 594 0 0 0 857 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319292112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=513383 CPUtime=8.47 cores=4-7
/proc/29125/task/29232/stat : 29232 (java) S 29123 29123 28168 0 -1 1077944384 588 0 0 0 847 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315081552 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=0 CPUtime=8.84 cores=4-7
/proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 119 0 0 0 884 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519377564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 90.09 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 253580 KiB

[startup+41.5009 s]
/proc/loadavg: 6.57 7.93 6.66 3/234 29234
/proc/meminfo: memFree=19096760/32770688 swapFree=66919992/67108860
[pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0
/proc/29123/statm: 28282 362 304 221 0 87 0
[pid=29125] ppid=29123 vsize=15552580 memory=252132 CPUtime=90.19 cores=4-7
/proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 67414 0 0 0 8991 28 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
/proc/29125/statm: 3888145 63033 3530 1 0 3849247 0
[pid=29125/tid=29126] ppid=29123 vsize=15552580 memory=252132 CPUtime=1.19 cores=4-7
/proc/29125/task/29126/stat : 29126 (java) S 29123 29123 28168 0 -1 1077944384 12679 0 0 0 113 6 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445875754112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29127] ppid=29123 vsize=15552580 memory=258580 CPUtime=0.06 cores=4-7
/proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1284 0 0 0 4 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29128] ppid=29123 vsize=15552580 memory=6 CPUtime=0.08 cores=4-7
/proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 335 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29129] ppid=29123 vsize=15552580 memory=65 CPUtime=0.08 cores=4-7
/proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 2733 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29130] ppid=29123 vsize=15552580 memory=164 CPUtime=0.09 cores=4-7
/proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 1641 0 0 0 6 3 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29131] ppid=29123 vsize=15552580 memory=4164 CPUtime=0.04 cores=4-7
/proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 1461 0 0 0 3 1 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29132] ppid=29123 vsize=15552580 memory=1056 CPUtime=0 cores=4-7
/proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445339014880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29133] ppid=29123 vsize=15552580 memory=281311097310240 CPUtime=0 cores=4-7
/proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445337961728 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29134] ppid=29123 vsize=15552580 memory=1915818 CPUtime=0 cores=4-7
/proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29135] ppid=29123 vsize=15552580 memory=288230574492221466 CPUtime=3.41 cores=4-7
/proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 13789 0 0 0 340 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29136] ppid=29123 vsize=15552580 memory=301741390638088506 CPUtime=3.61 cores=4-7
/proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 14590 0 0 0 359 2 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29137] ppid=29123 vsize=15552580 memory=1448 CPUtime=1.08 cores=4-7
/proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 8376 0 0 0 107 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29138] ppid=29123 vsize=15552580 memory=1448 CPUtime=0 cores=4-7
/proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29139] ppid=29123 vsize=15552580 memory=1448 CPUtime=0.01 cores=4-7
/proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=1448 CPUtime=8.52 cores=4-7
/proc/29125/task/29230/stat : 29230 (java) S 29123 29123 28168 0 -1 1077944384 366 0 0 0 852 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317185712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=1448 CPUtime=8.57 cores=4-7
/proc/29125/task/29231/stat : 29231 (java) S 29123 29123 28168 0 -1 1077944384 594 0 0 0 857 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319292112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=249064 CPUtime=8.47 cores=4-7
/proc/29125/task/29232/stat : 29232 (java) S 29123 29123 28168 0 -1 1077944384 588 0 0 0 847 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315081552 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
[pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=1448 CPUtime=8.94 cores=4-7
/proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 119 0 0 0 894 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519378047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0
Current children cumulated CPU time: 90.19 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 253580 KiB

Child status: 0
Real time (s): 41.5271
CPU time (s): 90.2356
CPU user time (s): 89.9428
CPU system time (s): 0.292792
CPU usage (%): 217.294
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 260356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.9428
system time used= 0.292792
maximum resident set size= 267484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4898
involuntary context switches= 1392


# summary of solver processes directly reported to runsolver:
#   pid: 29123
#   total CPU time (s): 90.2356
#   total CPU user time (s): 89.9428
#   total CPU system time (s): 0.292792

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.322639 second user time and 0.503137 second system time

The end

Launcher Data

Begin job on node120 at 2011-12-14 14:22:25
IDJOB=4393180
IDBENCH=141048
IDSOLVER=2840
FILE ID=node120/4393180-1568354523
RUNJOBID= node120-1323867655-28200
PBS_JOBID= 21701183
Free space on /tmp= 59128 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP18/NurseRostering/NurseRostering-01_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393180-1568354523/watcher-4393180-1568354523 -o /tmp/evaluation-result-4393180-1568354523/solver-4393180-1568354523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28200 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 160744747 HOME/instance-4393180-1568354523.xml

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

MD5SUM BENCH= 0c15b35a08e73d195c67cb94b6fc4864
RANDOM SEED=160744747

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        26586628 kB
MemAvailable:   30664936 kB
Buffers:          164092 kB
Cached:          4207580 kB
SwapCached:        77548 kB
Active:          2449936 kB
Inactive:        3157336 kB
Active(anon):    1158264 kB
Inactive(anon):   126960 kB
Active(file):    1291672 kB
Inactive(file):  3030376 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26404 kB
Writeback:             0 kB
AnonPages:       1304344 kB
Mapped:            60564 kB
Shmem:             41008 kB
Slab:             173348 kB
SReclaimable:     144192 kB
SUnreclaim:        29156 kB
KernelStack:        4016 kB
PageTables:         8184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    3312228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1218560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 59104 MiB
End job on node120 at 2011-12-14 14:23:07