Trace number 4281338

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 4.0.5 par (2017-08-18)OPT770 6.7293 1.4358

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff84.xml
MD5SUM57c9b04c42ddec3121be36f9ed91283a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark770
Best CPU time to get the best result obtained on this benchmark0.127775
Satisfiable
(Un)Satisfiability was proved
Number of variables154
Number of constraints151
Number of domains20
Minimum domain size18
Maximum domain size19
Distribution of domain sizes[{"size":18,"count":10},{"size":19,"count":144}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":150},{"degree":31,"count":4}]
Minimum constraint arity2
Maximum constraint arity5
Distribution of constraint arities[{"arity":2,"count":120},{"arity":4,"count":1},{"arity":5,"count":30}]
Number of extensional constraints120
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":120},{"type":"ordered","count":1},{"type":"minimum","count":30}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281338-1503188563.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281338-1503188563.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
2.55/0.82	c solve instance...
3.18/0.96	o 5523 
3.18/0.96	o 5523 
3.18/0.97	o 2868 
3.18/0.98	o 2549 
3.18/0.98	o 1148 
3.18/1.00	o 1018 
3.84/1.04	o 966 
3.84/1.04	o 870 
3.84/1.09	o 830 
3.84/1.10	o 808 
4.59/1.11	o 788 
4.59/1.13	o 778 
4.59/1.13	o 776 
5.20/1.25	o 774 
5.20/1.26	o 772 
5.94/1.32	o 770 
6.66/1.40	s OPTIMUM FOUND
6.66/1.40	v <instantiation>
6.66/1.40	v 	<list>x[0] x[1] x[2] x[3] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[29][0] drd[29][1] drd[29][2] drd[29][3] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] </list>
6.66/1.40	v 	<values>24 118 242 423 1 95 219 400 1 95 219 400 220 126 2 179 221 127 3 178 308 214 90 91 308 214 90 91 486 392 268 87 399 305 181 0 397 303 179 2 163 69 55 236 163 69 55 236 218 124 0 181 0 94 218 399 0 94 218 399 461 367 243 62 15 109 233 414 0 94 218 399 72 22 146 327 72 22 146 327 426 332 208 27 94 0 124 305 94 0 124 305 361 267 143 38 361 267 143 38 134 40 84 265 134 40 84 265 181 87 37 218 8 86 210 391 8 86 210 391 426 332 208 27 1 1 2 3 90 90 87 0 2 55 55 0 0 0 62 15 0 22 22 27 0 0 38 38 40 40 37 8 8 27 </values>
6.66/1.40	v </instantiation>

Verifier Data 

OK	770

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281338-1503188563/watcher-4281338-1503188563 -o /tmp/evaluation-result-4281338-1503188563/solver-4281338-1503188563 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1614817005 HOME/instance-4281338-1503188563.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=3059, runsolver pid=3056

[startup+0.100111 s]*
/proc/loadavg: 8.58 8.29 7.89 2/199 3080
/proc/meminfo: memFree=23305936/32770624 swapFree=67108860/67108860
[pid=3059] ppid=3056 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3059/stat : 3059 (xcsp3-exec) S 3056 3059 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151937249 9740288 345 33554432000 4194304 5098028 140723059040064 140723059038168 140190907126396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28192768 140723059041386 140723059041596 140723059041596 140723059044331 0
/proc/3059/statm: 2378 345 289 221 0 87 0
[pid=3061] ppid=3059 vsize=25999808 memory=26592 CPUtime=0.11 cores=0-7
/proc/3061/stat : 3061 (java) S 3059 3059 29114 0 -1 1077944320 5585 0 0 0 10 1 0 0 20 0 20 0 151937249 26623803392 6648 33554432000 4194304 4196468 140736348861072 140736348843616 140037767876343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
/proc/3061/statm: 6499952 6648 2844 1 0 6488269 0
[pid=3061/tid=3062] ppid=3059 vsize=25999808 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/3061/task/3062/stat : 3062 (java) R 3059 3059 29114 0 -1 4202560 3595 0 0 0 8 1 0 0 20 0 20 0 151937249 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037772092496 140037767898269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3063] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3063/stat : 3063 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037690456592 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3064] ppid=3059 vsize=25999808 memory=140023551547008 CPUtime=0 cores=0-7
/proc/3061/task/3064/stat : 3064 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037689404048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3065] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3065/stat : 3065 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037688350992 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3066] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3066/stat : 3066 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037687298448 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3067] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3067/stat : 3067 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037686246416 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3068] ppid=3059 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3061/task/3068/stat : 3068 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037685193872 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3069] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3069/stat : 3069 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037684140816 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3070] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3070/stat : 3070 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26623803392 6648 33554432000 4194304 4196468 140736348861072 140037683088272 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3071] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3071/stat : 3071 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937252 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036174403824 140037767887490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3072] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3072/stat : 3072 (java) S 3059 3059 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151937252 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036173350048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3073] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3073/stat : 3073 (java) S 3059 3059 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151937252 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036172296944 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3074] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3074/stat : 3074 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036171245520 140037767894939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3075] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3075/stat : 3075 (java) S 3059 3059 29114 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 151937255 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036170193648 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3076] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3076/stat : 3076 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937255 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036169141104 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3077] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3077/stat : 3077 (java) S 3059 3059 29114 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151937255 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036168088048 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3078] ppid=3059 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/3061/task/3078/stat : 3078 (java) R 3059 3059 29114 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 151937255 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036167035504 140037767897690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3079] ppid=3059 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3079/stat : 3079 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937255 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036165982688 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3080] ppid=3059 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3061/task/3080/stat : 3080 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26623803392 6648 33554432000 4194304 4196468 140736348861072 140036164930224 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27972 KiB

[startup+0.210132 s]*
/proc/loadavg: 8.58 8.29 7.89 2/199 3080
/proc/meminfo: memFree=23295168/32770624 swapFree=67108860/67108860
[pid=3059] ppid=3056 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3059/stat : 3059 (xcsp3-exec) S 3056 3059 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151937249 9740288 345 33554432000 4194304 5098028 140723059040064 140723059038168 140190907126396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28192768 140723059041386 140723059041596 140723059041596 140723059044331 0
/proc/3059/statm: 2378 345 289 221 0 87 0
[pid=3061] ppid=3059 vsize=26004064 memory=39196 CPUtime=0.32 cores=0-7
/proc/3061/stat : 3061 (java) S 3059 3059 29114 0 -1 1077944320 8310 0 0 0 30 2 0 0 20 0 20 0 151937249 26628161536 9799 33554432000 4194304 4196468 140736348861072 140736348843616 140037767876343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
/proc/3061/statm: 6501016 9799 3078 1 0 6488269 0
[pid=3061/tid=3062] ppid=3059 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3061/task/3062/stat : 3062 (java) R 3059 3059 29114 0 -1 4202560 5420 0 0 0 18 1 0 0 20 0 20 0 151937249 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037772097344 140037767898269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3063] ppid=3059 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/3061/task/3063/stat : 3063 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037690456592 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3064] ppid=3059 vsize=26004064 memory=288370399703258752 CPUtime=0 cores=0-7
/proc/3061/task/3064/stat : 3064 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037689404048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3065] ppid=3059 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3061/task/3065/stat : 3065 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037688350992 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3066] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3066/stat : 3066 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037687298448 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3067] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3067/stat : 3067 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037686246416 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3068] ppid=3059 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3061/task/3068/stat : 3068 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037685193872 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3069] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3069/stat : 3069 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037684140816 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3070] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3070/stat : 3070 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 9799 33554432000 4194304 4196468 140736348861072 140037683088272 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3071] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3071/stat : 3071 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937252 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036174403824 140037767887490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3072] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3072/stat : 3072 (java) S 3059 3059 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151937252 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036173350048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3073] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3073/stat : 3073 (java) S 3059 3059 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151937252 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036172296944 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3074] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3074/stat : 3074 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036171245520 140037767894939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3075] ppid=3059 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/3061/task/3075/stat : 3075 (java) S 3059 3059 29114 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 151937255 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036170193648 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3076] ppid=3059 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/3061/task/3076/stat : 3076 (java) S 3059 3059 29114 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 151937255 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036169141104 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3077] ppid=3059 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/3061/task/3077/stat : 3077 (java) R 3059 3059 29114 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 151937255 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036168088048 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3078] ppid=3059 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/3061/task/3078/stat : 3078 (java) R 3059 3059 29114 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 20 0 151937255 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036167035504 140037767888278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3079] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3079/stat : 3079 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937255 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036165982688 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3080] ppid=3059 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3061/task/3080/stat : 3080 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26628161536 9799 33554432000 4194304 4196468 140736348861072 140036164930224 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40576 KiB

[startup+0.309615 s]*
/proc/loadavg: 8.58 8.29 7.89 3/199 3080
/proc/meminfo: memFree=23291176/32770624 swapFree=67108860/67108860
[pid=3059] ppid=3056 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3059/stat : 3059 (xcsp3-exec) S 3056 3059 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151937249 9740288 345 33554432000 4194304 5098028 140723059040064 140723059038168 140190907126396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28192768 140723059041386 140723059041596 140723059041596 140723059044331 0
/proc/3059/statm: 2378 345 289 221 0 87 0
[pid=3061] ppid=3059 vsize=26004064 memory=45884 CPUtime=0.5 cores=0-7
/proc/3061/stat : 3061 (java) S 3059 3059 29114 0 -1 1077944320 9167 0 0 0 47 3 0 0 20 0 20 0 151937249 26628161536 11471 33554432000 4194304 4196468 140736348861072 140736348843616 140037767876343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
/proc/3061/statm: 6501016 11471 3094 1 0 6488269 0
[pid=3061/tid=3062] ppid=3059 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/3061/task/3062/stat : 3062 (java) R 3059 3059 29114 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 20 0 151937249 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037772115568 140037754080272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3063] ppid=3059 vsize=26004064 memory=16444 CPUtime=0 cores=0-7
/proc/3061/task/3063/stat : 3063 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037690456592 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3064] ppid=3059 vsize=26004064 memory=24464 CPUtime=0 cores=0-7
/proc/3061/task/3064/stat : 3064 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037689404048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3065] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3065/stat : 3065 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037688350992 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3066] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3066/stat : 3066 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037687298448 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3067] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3067/stat : 3067 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037686246416 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3068] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3068/stat : 3068 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037685193872 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3069] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3069/stat : 3069 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037684140816 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3070] ppid=3059 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/3061/task/3070/stat : 3070 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26628161536 11537 33554432000 4194304 4196468 140736348861072 140037683088272 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3071] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3071/stat : 3071 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937252 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036174403824 140037767887490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3072] ppid=3059 vsize=26004064 memory=140023450137551 CPUtime=0 cores=0-7
/proc/3061/task/3072/stat : 3072 (java) S 3059 3059 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151937252 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036173350048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3073] ppid=3059 vsize=26004064 memory=280046900277392 CPUtime=0 cores=0-7
/proc/3061/task/3073/stat : 3073 (java) S 3059 3059 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151937252 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036172296944 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3074] ppid=3059 vsize=26004064 memory=280046900293520 CPUtime=0 cores=0-7
/proc/3061/task/3074/stat : 3074 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036171245520 140037767894939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3075] ppid=3059 vsize=26004064 memory=280046900291216 CPUtime=0.01 cores=0-7
/proc/3061/task/3075/stat : 3075 (java) S 3059 3059 29114 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 151937255 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036170193648 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3076] ppid=3059 vsize=26004064 memory=280046900298128 CPUtime=0.01 cores=0-7
/proc/3061/task/3076/stat : 3076 (java) S 3059 3059 29114 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 151937255 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036169141104 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3077] ppid=3059 vsize=26004064 memory=280046900239408 CPUtime=0.03 cores=0-7
/proc/3061/task/3077/stat : 3077 (java) S 3059 3059 29114 0 -1 1077944384 396 0 0 0 3 0 0 0 20 0 20 0 151937255 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036168088048 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3078] ppid=3059 vsize=26004064 memory=280046900311952 CPUtime=0.12 cores=0-7
/proc/3061/task/3078/stat : 3078 (java) R 3059 3059 29114 0 -1 4202560 877 0 0 0 12 0 0 0 20 0 20 0 151937255 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036167031232 140037760102333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3079] ppid=3059 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3079/stat : 3079 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937255 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036165982688 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3080] ppid=3059 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3061/task/3080/stat : 3080 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26628161536 11537 33554432000 4194304 4196468 140736348861072 140036164930224 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47264 KiB

[startup+0.700904 s]
/proc/loadavg: 8.58 8.29 7.89 2/199 3080
/proc/meminfo: memFree=23264932/32770624 swapFree=67108860/67108860
[pid=3059] ppid=3056 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3059/stat : 3059 (xcsp3-exec) S 3056 3059 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151937249 9740288 345 33554432000 4194304 5098028 140723059040064 140723059038168 140190907126396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28192768 140723059041386 140723059041596 140723059041596 140723059044331 0
/proc/3059/statm: 2378 345 289 221 0 87 0
[pid=3061] ppid=3059 vsize=26006188 memory=152616 CPUtime=1.91 cores=0-7
/proc/3061/stat : 3061 (java) S 3059 3059 29114 0 -1 1077944320 13468 0 0 0 186 5 0 0 20 0 20 0 151937249 26630336512 38154 33554432000 4194304 4196468 140736348861072 140736348843616 140037767876343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
/proc/3061/statm: 6501547 38154 3209 1 0 6488781 0
[pid=3061/tid=3062] ppid=3059 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/3061/task/3062/stat : 3062 (java) R 3059 3059 29114 0 -1 4202560 6856 0 0 0 63 4 0 0 20 0 20 0 151937249 26630336512 38154 33554432000 4194304 4196468 140736348861072 140037772111680 140037361901677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3063] ppid=3059 vsize=26006188 memory=140023450346352 CPUtime=0 cores=0-7
/proc/3061/task/3063/stat : 3063 (java) S 3059 3059 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151937250 26630336512 38154 33554432000 4194304 4196468 140736348861072 140037690456592 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3064] ppid=3059 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3064/stat : 3064 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26630336512 38154 33554432000 4194304 4196468 140736348861072 140037689404048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3065] ppid=3059 vsize=26006188 memory=5776 CPUtime=0 cores=0-7
/proc/3061/task/3065/stat : 3065 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937250 26630336512 38154 33554432000 4194304 4196468 140736348861072 140037688350992 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0

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

# the end of solver process 3059 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.42273 s, system=0.306566 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.801164 s]
/proc/loadavg: 8.58 8.29 7.89 2/199 3080
/proc/meminfo: memFree=23264932/32770624 swapFree=67108860/67108860
[pid=3059] ppid=3056 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3059/stat : 3059 (xcsp3-exec) S 3056 3059 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151937249 9740288 345 33554432000 4194304 5098028 140723059040064 140723059038168 140190907126396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28192768 140723059041386 140723059041596 140723059041596 140723059044331 0
/proc/3059/statm: 2378 345 289 221 0 87 0
[pid=3061] ppid=3059 vsize=26006188 memory=260468 CPUtime=2.55 cores=0-7
/proc/3061/stat : 3061 (java) S 3059 3059 29114 0 -1 1077944320 15143 0 0 0 235 20 0 0 20 0 20 0 151937249 26630336512 65117 33554432000 4194304 4196468 140736348861072 140736348843616 140037767876343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
/proc/3061/statm: 6501547 65117 3211 1 0 6488781 0
[pid=3061/tid=3062] ppid=3059 vsize=26006188 memory=1580 CPUtime=0.71 cores=0-7
/proc/3061/task/3062/stat : 3062 (java) S 3059 3059 29114 0 -1 1077944384 6873 0 0 0 67 4 0 0 20 0 20 0 151937249 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037772112592 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3063] ppid=3059 vsize=26006188 memory=22244 CPUtime=0.03 cores=0-7
/proc/3061/task/3063/stat : 3063 (java) R 3059 3059 29114 0 -1 4202560 41 0 0 0 2 1 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037690456792 140037752903762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3064] ppid=3059 vsize=26006188 memory=-5628408999910123558 CPUtime=0.05 cores=0-7
/proc/3061/task/3064/stat : 3064 (java) R 3059 3059 29114 0 -1 4202560 39 0 0 0 3 2 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037689404248 140037752903762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3065] ppid=3059 vsize=26006188 memory=-7965959130280075168 CPUtime=0.03 cores=0-7
/proc/3061/task/3065/stat : 3065 (java) R 3059 3059 29114 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037688351192 140037752903762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3066] ppid=3059 vsize=26006188 memory=6944656592455360608 CPUtime=0.03 cores=0-7
/proc/3061/task/3066/stat : 3066 (java) R 3059 3059 29114 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037687298336 140037752903762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3067] ppid=3059 vsize=26006188 memory=11112 CPUtime=0.02 cores=0-7
/proc/3061/task/3067/stat : 3067 (java) R 3059 3059 29114 0 -1 4202560 39 0 0 0 1 1 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037686246616 140037760976066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3068] ppid=3059 vsize=26006188 memory=5776 CPUtime=0.05 cores=0-7
/proc/3061/task/3068/stat : 3068 (java) R 3059 3059 29114 0 -1 4202560 37 0 0 0 3 2 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037685194072 140037752900046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3069] ppid=3059 vsize=26006188 memory=4616 CPUtime=0.04 cores=0-7
/proc/3061/task/3069/stat : 3069 (java) R 3059 3059 29114 0 -1 4202560 42 0 0 0 3 1 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037684141016 140037752903762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3070] ppid=3059 vsize=26006188 memory=792 CPUtime=0.03 cores=0-7
/proc/3061/task/3070/stat : 3070 (java) R 3059 3059 29114 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 20 0 151937250 26630336512 65117 33554432000 4194304 4196468 140736348861072 140037683088472 140037752899998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3071] ppid=3059 vsize=26006188 memory=1424 CPUtime=0 cores=0-7
/proc/3061/task/3071/stat : 3071 (java) S 3059 3059 29114 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 151937252 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036174402336 140037767886549 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3072] ppid=3059 vsize=26006188 memory=1936 CPUtime=0 cores=0-7
/proc/3061/task/3072/stat : 3072 (java) S 3059 3059 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151937252 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036173350048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3073] ppid=3059 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/3061/task/3073/stat : 3073 (java) S 3059 3059 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151937252 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036172296944 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3074] ppid=3059 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/3061/task/3074/stat : 3074 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036171245520 140037767894939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3075] ppid=3059 vsize=26006188 memory=10636 CPUtime=0.29 cores=0-7
/proc/3061/task/3075/stat : 3075 (java) S 3059 3059 29114 0 -1 1077944384 1466 0 0 0 29 0 0 0 20 0 20 0 151937255 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036170172784 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3076] ppid=3059 vsize=26006188 memory=1200 CPUtime=0.37 cores=0-7
/proc/3061/task/3076/stat : 3076 (java) S 3059 3059 29114 0 -1 1077944384 1176 0 0 0 37 0 0 0 20 0 20 0 151937255 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036169126096 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3077] ppid=3059 vsize=26006188 memory=15876 CPUtime=0.31 cores=0-7
/proc/3061/task/3077/stat : 3077 (java) R 3059 3059 29114 0 -1 4202560 1680 0 0 0 31 0 0 0 20 0 20 0 151937255 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036168073928 140037752993510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3078] ppid=3059 vsize=26006188 memory=4044 CPUtime=0.46 cores=0-7
/proc/3061/task/3078/stat : 3078 (java) S 3059 3059 29114 0 -1 1077944384 2364 0 0 0 46 0 0 0 20 0 20 0 151937255 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036167035504 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3079] ppid=3059 vsize=26006188 memory=16444 CPUtime=0 cores=0-7
/proc/3061/task/3079/stat : 3079 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151937255 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036165982688 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3080] ppid=3059 vsize=26006188 memory=24464 CPUtime=0 cores=0-7
/proc/3061/task/3080/stat : 3080 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151937255 26630336512 65117 33554432000 4194304 4196468 140736348861072 140036164930224 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 261848 KiB

[startup+1.20116 s]
/proc/loadavg: 8.58 8.29 7.89 5/207 3125
/proc/meminfo: memFree=23049172/32770624 swapFree=67108860/67108860
[pid=3059] ppid=3056 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3059/stat : 3059 (xcsp3-exec) S 3056 3059 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151937249 9740288 345 33554432000 4194304 5098028 140723059040064 140723059038168 140190907126396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28192768 140723059041386 140723059041596 140723059041596 140723059044331 0
/proc/3059/statm: 2378 345 289 221 0 87 0
[pid=3061] ppid=3059 vsize=26605264 memory=317684 CPUtime=5.2 cores=0-7
/proc/3061/stat : 3061 (java) S 3059 3059 29114 0 -1 1077944320 20253 0 0 0 492 28 0 0 20 0 28 0 151937249 27243790336 79421 33554432000 4194304 4196468 140736348861072 140736348843616 140037767876343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
/proc/3061/statm: 6651316 79421 3248 1 0 6638550 0
[pid=3061/tid=3062] ppid=3059 vsize=26605264 memory=16102567671237591 CPUtime=0.74 cores=0-7
/proc/3061/task/3062/stat : 3062 (java) S 3059 3059 29114 0 -1 1077944384 6939 0 0 0 70 4 0 0 20 0 28 0 151937249 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037772117120 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3063] ppid=3059 vsize=26605264 memory=0 CPUtime=0.05 cores=0-7
/proc/3061/task/3063/stat : 3063 (java) S 3059 3059 29114 0 -1 1077944384 59 0 0 0 3 2 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037690456592 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3064] ppid=3059 vsize=26605264 memory=0 CPUtime=0.07 cores=0-7
/proc/3061/task/3064/stat : 3064 (java) S 3059 3059 29114 0 -1 1077944384 51 0 0 0 4 3 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037689404048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3065] ppid=3059 vsize=26605264 memory=0 CPUtime=0.04 cores=0-7
/proc/3061/task/3065/stat : 3065 (java) S 3059 3059 29114 0 -1 1077944384 39 0 0 0 3 1 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037688350992 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3066] ppid=3059 vsize=26605264 memory=0 CPUtime=0.06 cores=0-7
/proc/3061/task/3066/stat : 3066 (java) S 3059 3059 29114 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037687298448 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3067] ppid=3059 vsize=26605264 memory=0 CPUtime=0.05 cores=0-7
/proc/3061/task/3067/stat : 3067 (java) S 3059 3059 29114 0 -1 1077944384 58 0 0 0 3 2 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037686246416 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3068] ppid=3059 vsize=26605264 memory=0 CPUtime=0.08 cores=0-7
/proc/3061/task/3068/stat : 3068 (java) S 3059 3059 29114 0 -1 1077944384 58 0 0 0 5 3 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037685193872 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3069] ppid=3059 vsize=26605264 memory=0 CPUtime=0.07 cores=0-7
/proc/3061/task/3069/stat : 3069 (java) S 3059 3059 29114 0 -1 1077944384 50 0 0 0 5 2 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037684140816 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3070] ppid=3059 vsize=26605264 memory=0 CPUtime=0.06 cores=0-7
/proc/3061/task/3070/stat : 3070 (java) S 3059 3059 29114 0 -1 1077944384 44 0 0 0 4 2 0 0 20 0 28 0 151937250 27243790336 79421 33554432000 4194304 4196468 140736348861072 140037683088272 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3071] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3071/stat : 3071 (java) S 3059 3059 29114 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 151937252 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036174403824 140037767887490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3072] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3072/stat : 3072 (java) S 3059 3059 29114 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151937252 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036173350112 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3073] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3073/stat : 3073 (java) S 3059 3059 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151937252 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036172296960 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3074] ppid=3059 vsize=26605264 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/3061/task/3074/stat : 3074 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151937255 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036171245520 140037767894939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3075] ppid=3059 vsize=26605264 memory=7589800589353051756 CPUtime=0.57 cores=0-7
/proc/3061/task/3075/stat : 3075 (java) D 3059 3059 29114 0 -1 4202560 2575 0 0 0 57 0 0 0 20 0 28 0 151937255 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036170179704 140037745704064 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3076] ppid=3059 vsize=26605264 memory=7230645025961766505 CPUtime=0.62 cores=0-7
/proc/3061/task/3076/stat : 3076 (java) R 3059 3059 29114 0 -1 4202560 2107 0 0 0 62 0 0 0 20 0 28 0 151937255 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036169125464 140037752266192 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3077] ppid=3059 vsize=26605264 memory=7305218370954683993 CPUtime=0.6 cores=0-7
/proc/3061/task/3077/stat : 3077 (java) R 3059 3059 29114 0 -1 4202560 1960 0 0 0 60 0 0 0 20 0 28 0 151937255 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036168073512 140037747123401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3078] ppid=3059 vsize=26605264 memory=5793146792091407200 CPUtime=0.57 cores=0-7
/proc/3061/task/3078/stat : 3078 (java) R 3059 3059 29114 0 -1 4202560 2735 0 0 0 57 0 0 0 20 0 28 0 151937255 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036167032440 140037760593495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3079] ppid=3059 vsize=26605264 memory=6298681347821885800 CPUtime=0 cores=0-7
/proc/3061/task/3079/stat : 3079 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151937255 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036165982688 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3080] ppid=3059 vsize=26605264 memory=6225489096523343978 CPUtime=0 cores=0-7
/proc/3061/task/3080/stat : 3080 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151937255 27243790336 79421 33554432000 4194304 4196468 140736348861072 140036164930224 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 319064 KiB

[startup+1.40133 s]
/proc/loadavg: 8.58 8.29 7.89 5/207 3125
/proc/meminfo: memFree=23049172/32770624 swapFree=67108860/67108860
[pid=3059] ppid=3056 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3059/stat : 3059 (xcsp3-exec) S 3056 3059 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151937249 9740288 345 33554432000 4194304 5098028 140723059040064 140723059038168 140190907126396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28192768 140723059041386 140723059041596 140723059041596 140723059044331 0
/proc/3059/statm: 2378 345 289 221 0 87 0
[pid=3061] ppid=3059 vsize=26605264 memory=325784 CPUtime=6.66 cores=0-7
/proc/3061/stat : 3061 (java) S 3059 3059 29114 0 -1 1077944320 22689 0 0 0 637 29 0 0 20 0 28 0 151937249 27243790336 81446 33554432000 4194304 4196468 140736348861072 140736348843616 140037767876343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
/proc/3061/statm: 6651316 81446 3249 1 0 6638550 0
[pid=3061/tid=3062] ppid=3059 vsize=26605264 memory=-7025452035940392864 CPUtime=0.74 cores=0-7
/proc/3061/task/3062/stat : 3062 (java) S 3059 3059 29114 0 -1 1077944384 6939 0 0 0 70 4 0 0 20 0 28 0 151937249 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037772117120 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3063] ppid=3059 vsize=26605264 memory=7679937539659563834 CPUtime=0.05 cores=0-7
/proc/3061/task/3063/stat : 3063 (java) S 3059 3059 29114 0 -1 1077944384 59 0 0 0 3 2 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037690456592 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3064] ppid=3059 vsize=26605264 memory=7682744562830902035 CPUtime=0.07 cores=0-7
/proc/3061/task/3064/stat : 3064 (java) S 3059 3059 29114 0 -1 1077944384 51 0 0 0 4 3 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037689404048 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3065] ppid=3059 vsize=26605264 memory=4137287014106042739 CPUtime=0.04 cores=0-7
/proc/3061/task/3065/stat : 3065 (java) S 3059 3059 29114 0 -1 1077944384 39 0 0 0 3 1 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037688350992 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3066] ppid=3059 vsize=26605264 memory=8259761640030508194 CPUtime=0.06 cores=0-7
/proc/3061/task/3066/stat : 3066 (java) S 3059 3059 29114 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037687298448 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3067] ppid=3059 vsize=26605264 memory=0 CPUtime=0.05 cores=0-7
/proc/3061/task/3067/stat : 3067 (java) S 3059 3059 29114 0 -1 1077944384 58 0 0 0 3 2 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037686246416 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3068] ppid=3059 vsize=26605264 memory=0 CPUtime=0.08 cores=0-7
/proc/3061/task/3068/stat : 3068 (java) S 3059 3059 29114 0 -1 1077944384 58 0 0 0 5 3 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037685193872 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3069] ppid=3059 vsize=26605264 memory=0 CPUtime=0.07 cores=0-7
/proc/3061/task/3069/stat : 3069 (java) S 3059 3059 29114 0 -1 1077944384 50 0 0 0 5 2 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037684140816 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3070] ppid=3059 vsize=26605264 memory=0 CPUtime=0.06 cores=0-7
/proc/3061/task/3070/stat : 3070 (java) S 3059 3059 29114 0 -1 1077944384 44 0 0 0 4 2 0 0 20 0 28 0 151937250 27243790336 81446 33554432000 4194304 4196468 140736348861072 140037683088272 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3071] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3071/stat : 3071 (java) S 3059 3059 29114 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 151937252 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036174403824 140037767887490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3072] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3072/stat : 3072 (java) S 3059 3059 29114 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151937252 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036173350112 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3073] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3073/stat : 3073 (java) S 3059 3059 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151937252 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036172296960 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3074] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3074/stat : 3074 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151937255 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036171245520 140037767894939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3075] ppid=3059 vsize=26605264 memory=0 CPUtime=0.64 cores=0-7
/proc/3061/task/3075/stat : 3075 (java) R 3059 3059 29114 0 -1 4202560 3177 0 0 0 64 0 0 0 20 0 28 0 151937255 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036170178008 140037752980869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3076] ppid=3059 vsize=26605264 memory=0 CPUtime=0.68 cores=0-7
/proc/3061/task/3076/stat : 3076 (java) R 3059 3059 29114 0 -1 4202560 2643 0 0 0 68 0 0 0 20 0 28 0 151937255 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036169126568 140037760165725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3077] ppid=3059 vsize=26605264 memory=0 CPUtime=0.64 cores=0-7
/proc/3061/task/3077/stat : 3077 (java) R 3059 3059 29114 0 -1 4202560 2312 0 0 0 64 0 0 0 20 0 28 0 151937255 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036168069496 140037752774098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3078] ppid=3059 vsize=26605264 memory=0 CPUtime=0.59 cores=0-7
/proc/3061/task/3078/stat : 3078 (java) R 3059 3059 29114 0 -1 4202560 3259 0 0 0 59 0 0 0 20 0 28 0 151937255 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036167032440 140037760973179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3079] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3079/stat : 3079 (java) S 3059 3059 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151937255 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036165982688 140037767886549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
[pid=3061/tid=3080] ppid=3059 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/3061/task/3080/stat : 3080 (java) S 3059 3059 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151937255 27243790336 81446 33554432000 4194304 4196468 140736348861072 140036164930224 140037767887490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140736348869784 140736348869960 140736348869960 140736348872655 0
Current children cumulated CPU time: 6.66 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 327164 KiB

Child status: 0
Real time (s): 1.4358
CPU time (s): 6.7293
CPU user time (s): 6.42273
CPU system time (s): 0.306566
CPU usage (%): 468.679
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 327164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.42273
system time used= 0.306566
maximum resident set size= 330520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4378
involuntary context switches= 105


# summary of solver processes directly reported to runsolver:
#   pid: 3059
#   total CPU time (s): 6.7293
#   total CPU user time (s): 6.42273
#   total CPU system time (s): 0.306566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032979 second user time and 0.055319 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-20 02:08:23
IDJOB=4281338
IDBENCH=138368
IDSOLVER=2676
FILE ID=node150/4281338-1503188563
RUNJOBID= node150-1503183633-29141
PBS_JOBID= 20630853
Free space on /tmp= 61904 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff84.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281338-1503188563/watcher-4281338-1503188563 -o /tmp/evaluation-result-4281338-1503188563/solver-4281338-1503188563 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1614817005 HOME/instance-4281338-1503188563.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 57c9b04c42ddec3121be36f9ed91283a
RANDOM SEED=1614817005

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23322096 kB
MemAvailable:   31959812 kB
Buffers:          300844 kB
Cached:          8616300 kB
SwapCached:            0 kB
Active:          2718744 kB
Inactive:        6252340 kB
Active(anon):       4068 kB
Inactive(anon):    85948 kB
Active(file):    2714676 kB
Inactive(file):  6166392 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7876 kB
Writeback:             0 kB
AnonPages:         74760 kB
Mapped:            51828 kB
Shmem:             33416 kB
Slab:             171032 kB
SReclaimable:     144968 kB
SUnreclaim:        26064 kB
KernelStack:        3520 kB
PageTables:         4828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61896 MiB
End job on node150 at 2017-08-20 02:08:24