Trace number 4394214

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-14OPT16 2301.85 588.293

General information on the benchmark

NameTal/
Tal-05_c18.xml
MD5SUM0bfba4554f8c52d47ef9f831901bb64c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark26.1854
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of constraints364
Number of domains11
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":10},{"size":10,"count":36},{"size":42,"count":79}]
Minimum variable degree0
Maximum variable degree14
Distribution of variable degrees[{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":19},{"degree":10,"count":18},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":1}]
Minimum constraint arity1
Maximum constraint arity11
Distribution of constraint arities[{"arity":1,"count":109},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":16},{"arity":8,"count":15},{"arity":9,"count":13},{"arity":10,"count":10},{"arity":11,"count":2}]
Number of extensional constraints64
Number of intensional constraints286
Distribution of constraint types[{"type":"extension","count":64},{"type":"intension","count":286},{"type":"count","count":14}]
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-4394214-1568347924.xml"  -tl '2400s' -p 4
0.12/0.20	c Choco e747e1e
0.12/0.20	c [HOME/instance-4394214-1568347924.xml, -tl, 2400s, -p, 4]
0.35/0.24	c 4 solvers in parallel
0.35/0.31	c parse instance...
12.06/7.18	c solve instance...
13.04/7.49	o 61 
13.80/7.67	o 57 
13.80/7.69	o 53 
14.19/7.72	o 49 
14.19/7.73	o 45 
14.57/7.80	o 41 
16.95/8.48	o 37 
20.12/9.26	o 33 
22.46/9.90	o 29 
25.34/10.72	o 25 
28.01/12.50	o 24 
33.36/14.35	o 23 
34.56/15.20	o 21 
35.43/16.09	o 18 
36.51/17.01	o 17 
40.16/19.00	o 16 
2301.74/588.27	s OPTIMUM FOUND
2301.74/588.27	v <instantiation>
2301.74/588.27	v 	<list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[0][7] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[1][7] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[2][7] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[3][7] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[4][7] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[5][7] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[6][7] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[7][7] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[8][7] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[9][7] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[10][7] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[11][7] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[12][7] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[13][7] c[14][0] c[14][1] c[14][2] c[14][3] c[14][4] c[14][5] c[14][6] c[14][7] c[15][0] c[15][1] c[15][2] c[15][3] c[15][4] c[15][5] c[15][6] c[15][7] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[0][7] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[1][7] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[2][7] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[9][0] l[9][1] l[9][2] l[9][3] l[10][0] l[10][1] l[10][2] l[10][3] l[11][0] l[11][1] l[11][2] l[12][0] l[12][1] l[12][2] l[13][0] l[13][1] l[14][0] l[14][1] l[15][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[9][0] a[9][1] a[9][2] a[9][3] a[11][0] a[11][1] a[11][2] a[13][0] a[13][1] a[15][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[2][7] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[10][0] i[10][1] i[10][2] i[10][3] i[12][0] i[12][1] i[12][2] i[14][0] i[14][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] cnt[12] cnt[13] </list>
2301.74/588.27	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 35 38 22 15 13 26 28 27 35 38 22 2 0 26 28 27 35 38 22 2 26 28 0 27 35 38 4 0 0 28 27 35 38 4 28 0 0 4 10 0 5 0 0 4 10 5 0 0 0 7 0 0 0 0 7 0 0 0 0 7 0 0 0 7 0 0 0 7 0 0 7 0 0 7 0 7 0 7 1 1 1 1 2 0 1 1 1 1 1 3 0 0 1 1 2 0 2 0 0 3 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 2 3 4 6 7 7 0 1 2 3 6 6 6 0 1 3 5 5 5 0 4 4 4 4 0 3 3 3 0 2 2 0 1 1 1 2 2 3 3 4 4 3 3 2 2 1 1 </values>
2301.74/588.27	v </instantiation>

Verifier Data 

OK	16

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 (13550 MiB free)
  memory of node 1: 16384 MiB (9538 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394214-1568347924/watcher-4394214-1568347924 -o /tmp/evaluation-result-4394214-1568347924/solver-4394214-1568347924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17631 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 238290766 HOME/instance-4394214-1568347924.xml 

running on 4 cores: 0-3

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19256, runsolver pid=19253

[startup+0.100093 s]*
/proc/loadavg: 8.59 7.63 6.07 6/235 19272
/proc/meminfo: memFree=23628360/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0
[pid=19258] ppid=19256 vsize=15144768 memory=28920 CPUtime=0.12 cores=0-3
/proc/19258/stat : 19258 (java) S 19256 19256 17600 0 -1 1077944320 5621 0 0 0 11 1 0 0 20 0 15 0 410798713 15508242432 7230 33554432000 4194304 4196468 140729926353008 140729926335552 140247313583863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
/proc/19258/statm: 3786192 7230 3149 1 0 3748377 0
[pid=19258/tid=19259] ppid=19256 vsize=15144768 memory=8108032331684915787 CPUtime=0.08 cores=0-3
/proc/19258/task/19259/stat : 19259 (java) R 19256 19256 17600 0 -1 4202560 3544 0 0 0 8 0 0 0 20 0 15 0 410798713 15508242432 7230 33554432000 4194304 4196468 140729926353008 140247317817136 140247313605210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19260] ppid=19256 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0-3
/proc/19258/task/19260/stat : 19260 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 7230 33554432000 4194304 4196468 140729926353008 140247266204560 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19261] ppid=19256 vsize=15144768 memory=140606933169792 CPUtime=0 cores=0-3
/proc/19258/task/19261/stat : 19261 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 7230 33554432000 4194304 4196468 140729926353008 140247265151760 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19262] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19262/stat : 19262 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 7230 33554432000 4194304 4196468 140729926353008 140247264099472 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19263] ppid=19256 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/19258/task/19263/stat : 19263 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 7230 33554432000 4194304 4196468 140729926353008 140247263046672 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19264] ppid=19256 vsize=15144768 memory=140606933169792 CPUtime=0 cores=0-3
/proc/19258/task/19264/stat : 19264 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798715 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246782019696 140247313595010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19265] ppid=19256 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/19258/task/19265/stat : 19265 (java) S 19256 19256 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410798716 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246780965664 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19266] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19266/stat : 19266 (java) S 19256 19256 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410798716 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246779913328 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19267] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19267/stat : 19267 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246778861648 140247313602459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19268] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19268/stat : 19268 (java) S 19256 19256 17600 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246777809520 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19269] ppid=19256 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/19258/task/19269/stat : 19269 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246776756720 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19270] ppid=19256 vsize=15144768 memory=140606933169792 CPUtime=0.01 cores=0-3
/proc/19258/task/19270/stat : 19270 (java) R 19256 19256 17600 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 15 0 410798719 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246775704432 140247299265658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19271] ppid=19256 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/19258/task/19271/stat : 19271 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246774651872 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19272] ppid=19256 vsize=15144768 memory=140606933169792 CPUtime=0 cores=0-3
/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 7230 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30368 KiB

[startup+0.211834 s]*
/proc/loadavg: 8.59 7.63 6.07 7/235 19272
/proc/meminfo: memFree=23615572/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0
[pid=19258] ppid=19256 vsize=15144768 memory=40100 CPUtime=0.35 cores=0-3
/proc/19258/stat : 19258 (java) S 19256 19256 17600 0 -1 1077944320 9229 0 0 0 31 4 0 0 20 0 15 0 410798713 15508242432 10025 33554432000 4194304 4196468 140729926353008 140729926335552 140247313583863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
/proc/19258/statm: 3786192 10025 3297 1 0 3748377 0
[pid=19258/tid=19259] ppid=19256 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/19258/task/19259/stat : 19259 (java) R 19256 19256 17600 0 -1 4202560 6496 0 0 0 18 2 0 0 20 0 15 0 410798713 15508242432 10025 33554432000 4194304 4196468 140729926353008 140247317814080 140246939414204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19260] ppid=19256 vsize=15144768 memory=1915596 CPUtime=0 cores=0-3
/proc/19258/task/19260/stat : 19260 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 10025 33554432000 4194304 4196468 140729926353008 140247266204560 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19261] ppid=19256 vsize=15144768 memory=3472475530309269152 CPUtime=0 cores=0-3
/proc/19258/task/19261/stat : 19261 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 10025 33554432000 4194304 4196468 140729926353008 140247265151760 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19262] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19262/stat : 19262 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 10025 33554432000 4194304 4196468 140729926353008 140247264099472 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19263] ppid=19256 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/19258/task/19263/stat : 19263 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15508242432 10025 33554432000 4194304 4196468 140729926353008 140247263046672 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19264] ppid=19256 vsize=15144768 memory=140606933169792 CPUtime=0 cores=0-3
/proc/19258/task/19264/stat : 19264 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798715 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246782019696 140247313595010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19265] ppid=19256 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/19258/task/19265/stat : 19265 (java) S 19256 19256 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410798716 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246780965664 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19266] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19266/stat : 19266 (java) S 19256 19256 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410798716 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246779913328 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19267] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19267/stat : 19267 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246778861648 140247313602459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19268] ppid=19256 vsize=15144768 memory=0 CPUtime=0.01 cores=0-3
/proc/19258/task/19268/stat : 19268 (java) R 19256 19256 17600 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 410798719 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246777809616 140247313594069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19269] ppid=19256 vsize=15144768 memory=-1 CPUtime=0.03 cores=0-3
/proc/19258/task/19269/stat : 19269 (java) S 19256 19256 17600 0 -1 1077944384 151 0 0 0 3 0 0 0 20 0 15 0 410798719 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246776756720 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19270] ppid=19256 vsize=15144768 memory=140606933169792 CPUtime=0.07 cores=0-3
/proc/19258/task/19270/stat : 19270 (java) R 19256 19256 17600 0 -1 4202560 806 0 0 0 7 0 0 0 20 0 15 0 410798719 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246775700192 140247297664350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19271] ppid=19256 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/19258/task/19271/stat : 19271 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246774651872 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19272] ppid=19256 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798719 15508242432 10025 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41548 KiB

[startup+0.311727 s]*
/proc/loadavg: 8.59 7.63 6.07 7/235 19272
/proc/meminfo: memFree=23609864/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0
[pid=19258] ppid=19256 vsize=15149024 memory=46228 CPUtime=0.52 cores=0-3
/proc/19258/stat : 19258 (java) S 19256 19256 17600 0 -1 1077944320 10437 0 0 0 48 4 0 0 20 0 15 0 410798713 15512600576 11557 33554432000 4194304 4196468 140729926353008 140729926335552 140247313583863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
/proc/19258/statm: 3787256 11557 3319 1 0 3748377 0
[pid=19258/tid=19259] ppid=19256 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=0-3
/proc/19258/task/19259/stat : 19259 (java) R 19256 19256 17600 0 -1 4202560 7492 0 0 0 27 3 0 0 20 0 15 0 410798713 15512600576 11557 33554432000 4194304 4196468 140729926353008 140247317800032 140247306261877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19260] ppid=19256 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0-3
/proc/19258/task/19260/stat : 19260 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15512600576 11557 33554432000 4194304 4196468 140729926353008 140247266204560 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19261] ppid=19256 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0-3
/proc/19258/task/19261/stat : 19261 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15512600576 11557 33554432000 4194304 4196468 140729926353008 140247265151760 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19262] ppid=19256 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0-3
/proc/19258/task/19262/stat : 19262 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15512600576 11557 33554432000 4194304 4196468 140729926353008 140247264099472 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19263] ppid=19256 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0-3
/proc/19258/task/19263/stat : 19263 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15512600576 11557 33554432000 4194304 4196468 140729926353008 140247263046672 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19264] ppid=19256 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0-3
/proc/19258/task/19264/stat : 19264 (java) S 19256 19256 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410798715 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246782019696 140247313595010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19265] ppid=19256 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0-3
/proc/19258/task/19265/stat : 19265 (java) S 19256 19256 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410798716 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246780965664 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19266] ppid=19256 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0-3
/proc/19258/task/19266/stat : 19266 (java) S 19256 19256 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410798716 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246779913328 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19267] ppid=19256 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0-3
/proc/19258/task/19267/stat : 19267 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246778861648 140247313602459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19268] ppid=19256 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=0-3
/proc/19258/task/19268/stat : 19268 (java) S 19256 19256 17600 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 15 0 410798719 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246777809520 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19269] ppid=19256 vsize=15149024 memory=0 CPUtime=0.04 cores=0-3
/proc/19258/task/19269/stat : 19269 (java) S 19256 19256 17600 0 -1 1077944384 185 0 0 0 4 0 0 0 20 0 15 0 410798719 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246776756720 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19270] ppid=19256 vsize=15149024 memory=0 CPUtime=0.12 cores=0-3
/proc/19258/task/19270/stat : 19270 (java) R 19256 19256 17600 0 -1 4202560 956 0 0 0 12 0 0 0 20 0 15 0 410798719 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246775704432 140247297664350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19271] ppid=19256 vsize=15149024 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19271/stat : 19271 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246774651872 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19272] ppid=19256 vsize=15149024 memory=0 CPUtime=0 cores=0-3
/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798719 15512600576 11557 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 47676 KiB

[startup+0.702035 s]
/proc/loadavg: 8.59 7.63 6.07 6/235 19272
/proc/meminfo: memFree=23598424/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0
[pid=19258] ppid=19256 vsize=15151148 memory=90004 CPUtime=1.62 cores=0-3
/proc/19258/stat : 19258 (java) S 19256 19256 17600 0 -1 1077944320 14654 0 0 0 157 5 0 0 20 0 15 0 410798713 15514775552 22501 33554432000 4194304 4196468 140729926353008 140729926335552 140247313583863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
/proc/19258/statm: 3787787 22501 3435 1 0 3748889 0
[pid=19258/tid=19259] ppid=19256 vsize=15151148 memory=0 CPUtime=0.66 cores=0-3
/proc/19258/task/19259/stat : 19259 (java) R 19256 19256 17600 0 -1 4202560 8951 0 0 0 63 3 0 0 20 0 15 0 410798713 15514775552 22501 33554432000 4194304 4196468 140729926353008 140247317818912 140247313605210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19260] ppid=19256 vsize=15151148 memory=45200 CPUtime=0 cores=0-3
/proc/19258/task/19260/stat : 19260 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15514775552 22501 33554432000 4194304 4196468 140729926353008 140247266204560 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19261] ppid=19256 vsize=15151148 memory=984 CPUtime=0 cores=0-3
/proc/19258/task/19261/stat : 19261 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15514775552 22501 33554432000 4194304 4196468 140729926353008 140247265151760 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19262] ppid=19256 vsize=15151148 memory=2020 CPUtime=0 cores=0-3
/proc/19258/task/19262/stat : 19262 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798714 15514775552 22501 33554432000 4194304 4196468 140729926353008 140247264099472 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19263] ppid=19256 vsize=15151148 memory=1432 CPUtime=0 cores=0-3
/proc/19258/task/19263/stat : 19263 (java) S 19256 19256 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410798714 15514775552 22501 33554432000 4194304 4196468 140729926353008 140247263046672 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19264] ppid=19256 vsize=15151148 memory=776 CPUtime=0 cores=0-3
/proc/19258/task/19264/stat : 19264 (java) S 19256 19256 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410798715 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246782019696 140247313595010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19265] ppid=19256 vsize=15151148 memory=660 CPUtime=0 cores=0-3
/proc/19258/task/19265/stat : 19265 (java) S 19256 19256 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410798716 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246780965664 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19266] ppid=19256 vsize=15151148 memory=1556 CPUtime=0 cores=0-3
/proc/19258/task/19266/stat : 19266 (java) S 19256 19256 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410798716 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246779913328 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19267] ppid=19256 vsize=15151148 memory=9588 CPUtime=0 cores=0-3
/proc/19258/task/19267/stat : 19267 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246778861648 140247313602459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19268] ppid=19256 vsize=15151148 memory=1712 CPUtime=0.28 cores=0-3
/proc/19258/task/19268/stat : 19268 (java) R 19256 19256 17600 0 -1 4202560 1377 0 0 0 28 0 0 0 20 0 15 0 410798719 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246777800848 140247291976317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19269] ppid=19256 vsize=15151148 memory=5972 CPUtime=0.28 cores=0-3
/proc/19258/task/19269/stat : 19269 (java) R 19256 19256 17600 0 -1 4202560 1189 0 0 0 28 0 0 0 20 0 15 0 410798719 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246776744832 140247294219588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19270] ppid=19256 vsize=15151148 memory=4164 CPUtime=0.36 cores=0-3
/proc/19258/task/19270/stat : 19270 (java) S 19256 19256 17600 0 -1 1077944384 1830 0 0 0 36 0 0 0 20 0 15 0 410798719 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246775704432 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19271] ppid=19256 vsize=15151148 memory=1056 CPUtime=0 cores=0-3
/proc/19258/task/19271/stat : 19271 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410798719 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246774651872 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19272] ppid=19256 vsize=15151148 memory=2828 CPUtime=0 cores=0-3
/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410798719 15514775552 22501 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 91452 KiB

[startup+1.50095 s]
/proc/loadavg: 8.59 7.63 6.07 9/235 19272
/proc/meminfo: memFree=23535432/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0

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

/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1147 0 0 0 6 20 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19340] ppid=19256 vsize=15553608 memory=9588 CPUtime=562.23 cores=0-3
/proc/19258/task/19340/stat : 19340 (java) R 19256 19256 17600 0 -1 4202560 2461 0 0 0 56223 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246762289640 140246947658744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19341] ppid=19256 vsize=15553608 memory=3412 CPUtime=565.53 cores=0-3
/proc/19258/task/19341/stat : 19341 (java) R 19256 19256 17600 0 -1 4202560 10447 0 0 0 56549 4 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246757030672 140246947373273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19342] ppid=19256 vsize=15553608 memory=1448 CPUtime=562.9 cores=0-3
/proc/19258/task/19342/stat : 19342 (java) R 19256 19256 17600 0 -1 4202560 2502 0 0 0 56290 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246755975000 140246947373268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19343] ppid=19256 vsize=15553608 memory=1236708 CPUtime=562.78 cores=0-3
/proc/19258/task/19343/stat : 19343 (java) R 19256 19256 17600 0 -1 4202560 2992 0 0 0 56278 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246760185904 140246949726147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 2295.26 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 1238156 KiB

[startup+587.201 s]
/proc/loadavg: 8.77 8.13 7.04 6/238 20058
/proc/meminfo: memFree=25195464/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0
[pid=19258] ppid=19256 vsize=15553608 memory=1236708 CPUtime=2300.74 cores=0-3
/proc/19258/stat : 19258 (java) S 19256 19256 17600 0 -1 1077944320 108892 0 0 0 229963 111 0 0 20 0 19 0 410798713 15926894592 309177 33554432000 4194304 4196468 140729926353008 140729926335552 140247313583863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
/proc/19258/statm: 3888402 309177 3544 1 0 3849504 0
[pid=19258/tid=19259] ppid=19256 vsize=15553608 memory=1236708 CPUtime=6.41 cores=0-3
/proc/19258/task/19259/stat : 19259 (java) S 19256 19256 17600 0 -1 1077944384 11760 0 0 0 634 7 0 0 20 0 19 0 410798713 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247317824640 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19260] ppid=19256 vsize=15553608 memory=1432 CPUtime=0.93 cores=0-3
/proc/19258/task/19260/stat : 19260 (java) S 19256 19256 17600 0 -1 1077944384 3891 0 0 0 72 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247266204560 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19261] ppid=19256 vsize=15553608 memory=776 CPUtime=0.93 cores=0-3
/proc/19258/task/19261/stat : 19261 (java) S 19256 19256 17600 0 -1 1077944384 2441 0 0 0 72 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247265151760 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19262] ppid=19256 vsize=15553608 memory=1448 CPUtime=0.91 cores=0-3
/proc/19258/task/19262/stat : 19262 (java) S 19256 19256 17600 0 -1 1077944384 3104 0 0 0 70 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247264099472 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19263] ppid=19256 vsize=15553608 memory=1236708 CPUtime=0.93 cores=0-3
/proc/19258/task/19263/stat : 19263 (java) S 19256 19256 17600 0 -1 1077944384 4031 0 0 0 71 22 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247263046672 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19264] ppid=19256 vsize=15553608 memory=1412 CPUtime=0.64 cores=0-3
/proc/19258/task/19264/stat : 19264 (java) S 19256 19256 17600 0 -1 1077944384 6455 0 0 0 62 2 0 0 20 0 19 0 410798715 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246782019696 140247313595010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19265] ppid=19256 vsize=15553608 memory=3412 CPUtime=0 cores=0-3
/proc/19258/task/19265/stat : 19265 (java) S 19256 19256 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410798716 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246780965728 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19266] ppid=19256 vsize=15553608 memory=1448 CPUtime=0 cores=0-3
/proc/19258/task/19266/stat : 19266 (java) S 19256 19256 17600 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 410798716 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246779913344 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19267] ppid=19256 vsize=15553608 memory=1236708 CPUtime=0 cores=0-3
/proc/19258/task/19267/stat : 19267 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246778861648 140247313602459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19268] ppid=19256 vsize=15553608 memory=1448 CPUtime=3.97 cores=0-3
/proc/19258/task/19268/stat : 19268 (java) S 19256 19256 17600 0 -1 1077944384 18941 0 0 0 395 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246777809520 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19269] ppid=19256 vsize=15553608 memory=1236708 CPUtime=4.06 cores=0-3
/proc/19258/task/19269/stat : 19269 (java) S 19256 19256 17600 0 -1 1077944384 22288 0 0 0 404 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246776756720 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19270] ppid=19256 vsize=15553608 memory=3412 CPUtime=1.09 cores=0-3
/proc/19258/task/19270/stat : 19270 (java) S 19256 19256 17600 0 -1 1077944384 11510 0 0 0 107 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246775704432 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19271] ppid=19256 vsize=15553608 memory=1448 CPUtime=0 cores=0-3
/proc/19258/task/19271/stat : 19271 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246774651872 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19272] ppid=19256 vsize=15553608 memory=1236708 CPUtime=0.26 cores=0-3
/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1147 0 0 0 6 20 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19340] ppid=19256 vsize=15553608 memory=6791534058613427641 CPUtime=563.51 cores=0-3
/proc/19258/task/19340/stat : 19340 (java) S 19256 19256 17600 0 -1 1077944384 2486 0 0 0 56351 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246762294592 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19341] ppid=19256 vsize=15553608 memory=140606828010656 CPUtime=566.83 cores=0-3
/proc/19258/task/19341/stat : 19341 (java) S 19256 19256 17600 0 -1 1077944384 10480 0 0 0 56679 4 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246757033040 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19342] ppid=19256 vsize=15553608 memory=140606828010752 CPUtime=564.2 cores=0-3
/proc/19258/task/19342/stat : 19342 (java) S 19256 19256 17600 0 -1 1077944384 2519 0 0 0 56420 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246755980240 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19343] ppid=19256 vsize=15553608 memory=281213656332768 CPUtime=564.38 cores=0-3
/proc/19258/task/19343/stat : 19343 (java) R 19256 19256 17600 0 -1 4202560 2992 0 0 0 56438 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246760185904 140246949726323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 2300.74 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 1238156 KiB

[startup+588.001 s]*
/proc/loadavg: 8.77 8.13 7.04 6/238 20058
/proc/meminfo: memFree=25193936/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0
[pid=19258] ppid=19256 vsize=15553608 memory=1236708 CPUtime=2301.55 cores=0-3
/proc/19258/stat : 19258 (java) S 19256 19256 17600 0 -1 1077944320 108892 0 0 0 230044 111 0 0 20 0 19 0 410798713 15926894592 309177 33554432000 4194304 4196468 140729926353008 140729926335552 140247313583863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
/proc/19258/statm: 3888402 309177 3544 1 0 3849504 0
[pid=19258/tid=19259] ppid=19256 vsize=15553608 memory=1398722017469774279 CPUtime=6.41 cores=0-3
/proc/19258/task/19259/stat : 19259 (java) S 19256 19256 17600 0 -1 1077944384 11760 0 0 0 634 7 0 0 20 0 19 0 410798713 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247317824640 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19260] ppid=19256 vsize=15553608 memory=4872558044660077418 CPUtime=0.93 cores=0-3
/proc/19258/task/19260/stat : 19260 (java) S 19256 19256 17600 0 -1 1077944384 3891 0 0 0 72 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247266204560 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19261] ppid=19256 vsize=15553608 memory=3848 CPUtime=0.93 cores=0-3
/proc/19258/task/19261/stat : 19261 (java) S 19256 19256 17600 0 -1 1077944384 2441 0 0 0 72 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247265151760 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19262] ppid=19256 vsize=15553608 memory=2596 CPUtime=0.91 cores=0-3
/proc/19258/task/19262/stat : 19262 (java) S 19256 19256 17600 0 -1 1077944384 3104 0 0 0 70 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247264099472 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19263] ppid=19256 vsize=15553608 memory=2604 CPUtime=0.93 cores=0-3
/proc/19258/task/19263/stat : 19263 (java) S 19256 19256 17600 0 -1 1077944384 4031 0 0 0 71 22 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247263046672 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19264] ppid=19256 vsize=15553608 memory=1412 CPUtime=0.64 cores=0-3
/proc/19258/task/19264/stat : 19264 (java) S 19256 19256 17600 0 -1 1077944384 6455 0 0 0 62 2 0 0 20 0 19 0 410798715 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246782019696 140247313595010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19265] ppid=19256 vsize=15553608 memory=3412 CPUtime=0 cores=0-3
/proc/19258/task/19265/stat : 19265 (java) S 19256 19256 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410798716 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246780965728 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19266] ppid=19256 vsize=15553608 memory=1448 CPUtime=0 cores=0-3
/proc/19258/task/19266/stat : 19266 (java) S 19256 19256 17600 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 410798716 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246779913344 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19267] ppid=19256 vsize=15553608 memory=1236708 CPUtime=0 cores=0-3
/proc/19258/task/19267/stat : 19267 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246778861648 140247313602459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19268] ppid=19256 vsize=15553608 memory=1408 CPUtime=3.97 cores=0-3
/proc/19258/task/19268/stat : 19268 (java) S 19256 19256 17600 0 -1 1077944384 18941 0 0 0 395 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246777809520 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19269] ppid=19256 vsize=15553608 memory=3520 CPUtime=4.06 cores=0-3
/proc/19258/task/19269/stat : 19269 (java) S 19256 19256 17600 0 -1 1077944384 22288 0 0 0 404 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246776756720 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19270] ppid=19256 vsize=15553608 memory=1448 CPUtime=1.09 cores=0-3
/proc/19258/task/19270/stat : 19270 (java) S 19256 19256 17600 0 -1 1077944384 11510 0 0 0 107 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246775704432 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19271] ppid=19256 vsize=15553608 memory=9588 CPUtime=0 cores=0-3
/proc/19258/task/19271/stat : 19271 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246774651872 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19272] ppid=19256 vsize=15553608 memory=1712 CPUtime=0.27 cores=0-3
/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1147 0 0 0 6 21 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19340] ppid=19256 vsize=15553608 memory=5972 CPUtime=563.51 cores=0-3
/proc/19258/task/19340/stat : 19340 (java) S 19256 19256 17600 0 -1 1077944384 2486 0 0 0 56351 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246762294592 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19341] ppid=19256 vsize=15553608 memory=4164 CPUtime=566.83 cores=0-3
/proc/19258/task/19341/stat : 19341 (java) S 19256 19256 17600 0 -1 1077944384 10480 0 0 0 56679 4 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246757033040 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19342] ppid=19256 vsize=15553608 memory=1056 CPUtime=564.2 cores=0-3
/proc/19258/task/19342/stat : 19342 (java) S 19256 19256 17600 0 -1 1077944384 2519 0 0 0 56420 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246755980240 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19343] ppid=19256 vsize=15553608 memory=2828 CPUtime=565.19 cores=0-3
/proc/19258/task/19343/stat : 19343 (java) R 19256 19256 17600 0 -1 4202560 2992 0 0 0 56519 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246760185904 140246949726335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 2301.55 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 1238156 KiB

[startup+588.201 s]
/proc/loadavg: 8.77 8.13 7.04 6/238 20058
/proc/meminfo: memFree=25193936/32770688 swapFree=66919992/67108860
[pid=19256] ppid=19253 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/19256/stat : 19256 (xcsp3-exec) S 19253 19256 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410798712 115843072 362 33554432000 4194304 5098028 140724052771360 140724052769464 140559083897468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10526720 140724052775803 140724052776045 140724052776045 140724052778954 0
/proc/19256/statm: 28282 362 304 221 0 87 0
[pid=19258] ppid=19256 vsize=15553608 memory=1236708 CPUtime=2301.74 cores=0-3
/proc/19258/stat : 19258 (java) S 19256 19256 17600 0 -1 1077944320 108892 0 0 0 230063 111 0 0 20 0 19 0 410798713 15926894592 309177 33554432000 4194304 4196468 140729926353008 140729926335552 140247313583863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
/proc/19258/statm: 3888402 309177 3544 1 0 3849504 0
[pid=19258/tid=19259] ppid=19256 vsize=15553608 memory=13563791027735092 CPUtime=6.41 cores=0-3
/proc/19258/task/19259/stat : 19259 (java) S 19256 19256 17600 0 -1 1077944384 11760 0 0 0 634 7 0 0 20 0 19 0 410798713 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247317824640 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19260] ppid=19256 vsize=15553608 memory=4872558044660077418 CPUtime=0.93 cores=0-3
/proc/19258/task/19260/stat : 19260 (java) S 19256 19256 17600 0 -1 1077944384 3891 0 0 0 72 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247266204560 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19261] ppid=19256 vsize=15553608 memory=1964 CPUtime=0.93 cores=0-3
/proc/19258/task/19261/stat : 19261 (java) S 19256 19256 17600 0 -1 1077944384 2441 0 0 0 72 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247265151760 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19262] ppid=19256 vsize=15553608 memory=2776 CPUtime=0.91 cores=0-3
/proc/19258/task/19262/stat : 19262 (java) S 19256 19256 17600 0 -1 1077944384 3104 0 0 0 70 21 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247264099472 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19263] ppid=19256 vsize=15553608 memory=924 CPUtime=0.93 cores=0-3
/proc/19258/task/19263/stat : 19263 (java) S 19256 19256 17600 0 -1 1077944384 4031 0 0 0 71 22 0 0 20 0 19 0 410798714 15926894592 309177 33554432000 4194304 4196468 140729926353008 140247263046672 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19264] ppid=19256 vsize=15553608 memory=1444 CPUtime=0.64 cores=0-3
/proc/19258/task/19264/stat : 19264 (java) S 19256 19256 17600 0 -1 1077944384 6455 0 0 0 62 2 0 0 20 0 19 0 410798715 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246782019696 140247313595010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19265] ppid=19256 vsize=15553608 memory=1764 CPUtime=0 cores=0-3
/proc/19258/task/19265/stat : 19265 (java) S 19256 19256 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410798716 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246780965728 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19266] ppid=19256 vsize=15553608 memory=111632 CPUtime=0 cores=0-3
/proc/19258/task/19266/stat : 19266 (java) S 19256 19256 17600 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 410798716 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246779913344 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19267] ppid=19256 vsize=15553608 memory=800 CPUtime=0 cores=0-3
/proc/19258/task/19267/stat : 19267 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246778861648 140247313602459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19268] ppid=19256 vsize=15553608 memory=4104 CPUtime=3.97 cores=0-3
/proc/19258/task/19268/stat : 19268 (java) S 19256 19256 17600 0 -1 1077944384 18941 0 0 0 395 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246777809520 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19269] ppid=19256 vsize=15553608 memory=1808 CPUtime=4.06 cores=0-3
/proc/19258/task/19269/stat : 19269 (java) S 19256 19256 17600 0 -1 1077944384 22288 0 0 0 404 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246776756720 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19270] ppid=19256 vsize=15553608 memory=924 CPUtime=1.09 cores=0-3
/proc/19258/task/19270/stat : 19270 (java) S 19256 19256 17600 0 -1 1077944384 11510 0 0 0 107 2 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246775704432 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19271] ppid=19256 vsize=15553608 memory=1176 CPUtime=0 cores=0-3
/proc/19258/task/19271/stat : 19271 (java) S 19256 19256 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246774651872 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19272] ppid=19256 vsize=15553608 memory=980 CPUtime=0.27 cores=0-3
/proc/19258/task/19272/stat : 19272 (java) S 19256 19256 17600 0 -1 1077944384 1147 0 0 0 6 21 0 0 20 0 19 0 410798719 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246773598640 140247313595010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19340] ppid=19256 vsize=15553608 memory=14008 CPUtime=563.51 cores=0-3
/proc/19258/task/19340/stat : 19340 (java) S 19256 19256 17600 0 -1 1077944384 2486 0 0 0 56351 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246762294592 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19341] ppid=19256 vsize=15553608 memory=12028 CPUtime=566.83 cores=0-3
/proc/19258/task/19341/stat : 19341 (java) S 19256 19256 17600 0 -1 1077944384 10480 0 0 0 56679 4 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246757033040 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19342] ppid=19256 vsize=15553608 memory=24768 CPUtime=564.2 cores=0-3
/proc/19258/task/19342/stat : 19342 (java) S 19256 19256 17600 0 -1 1077944384 2519 0 0 0 56420 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246755980240 140247313594069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
[pid=19258/tid=19343] ppid=19256 vsize=15553608 memory=2120 CPUtime=565.38 cores=0-3
/proc/19258/task/19343/stat : 19343 (java) R 19256 19256 17600 0 -1 4202560 2992 0 0 0 56538 0 0 0 20 0 19 0 410800613 15926894592 309177 33554432000 4194304 4196468 140729926353008 140246760185904 140246949726014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7208960 140729926362095 140729926362266 140729926362266 140729926365135 0
Current children cumulated CPU time: 2301.74 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 1238156 KiB

Child status: 0
Real time (s): 588.293
CPU time (s): 2301.85
CPU user time (s): 2300.72
CPU system time (s): 1.1333
CPU usage (%): 391.276
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 1238156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2300.72
system time used= 1.1333
maximum resident set size= 1236732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16689
involuntary context switches= 34232


# summary of solver processes directly reported to runsolver:
#   pid: 19256
#   total CPU time (s): 2301.85
#   total CPU user time (s): 2300.72
#   total CPU system time (s): 1.1333

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.02761 second user time and 7.20819 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-14 12:32:26
IDJOB=4394214
IDBENCH=141103
IDSOLVER=2842
FILE ID=node120/4394214-1568347924
RUNJOBID= node120-1323860857-17631
PBS_JOBID= 21701167
Free space on /tmp= 59128 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP18/Tal/Tal-05_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-4394214-1568347924/watcher-4394214-1568347924 -o /tmp/evaluation-result-4394214-1568347924/solver-4394214-1568347924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17631 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 238290766 HOME/instance-4394214-1568347924.xml

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

MD5SUM BENCH= 0bfba4554f8c52d47ef9f831901bb64c
RANDOM SEED=238290766

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:        23643588 kB
MemAvailable:   27714184 kB
Buffers:          159000 kB
Cached:          4205080 kB
SwapCached:        77548 kB
Active:          5391244 kB
Inactive:        3150644 kB
Active(anon):    4100452 kB
Inactive(anon):   126960 kB
Active(file):    1290792 kB
Inactive(file):  3023684 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26512 kB
Writeback:            12 kB
AnonPages:       4354336 kB
Mapped:            60616 kB
Shmem:             41008 kB
Slab:             172756 kB
SReclaimable:     143912 kB
SUnreclaim:        28844 kB
KernelStack:        4096 kB
PageTables:        13528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    5160400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4218880 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= 59100 MiB
End job on node120 at 2011-12-14 12:42:15