Trace number 4271521

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-09)OPT3420 13.5363 2.4786799

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff54.xml
MD5SUM76d2700a299711a8f7ac3a1d3d618278
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3420
Best CPU time to get the best result obtained on this benchmark0.41868401
Satisfiable
(Un)Satisfiability was proved
Number of variables199
Number of constraints197
Number of domains36
Minimum domain size34
Maximum domain size36
Distribution of domain sizes[{"size":34,"count":4},{"size":35,"count":76},{"size":36,"count":119}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":196},{"degree":50,"count":3}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":147},{"arity":3,"count":1},{"arity":4,"count":49}]
Number of extensional constraints147
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":147},{"type":"ordered","count":1},{"type":"minimum","count":49}]
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-4271521-1502646714.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271521-1502646714.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.34/0.26	c parse instance...
3.90/1.01	c solve instance...
5.30/1.26	o 22613 
5.30/1.27	o 4040 
5.84/1.34	o 3492 
8.95/1.73	o 3482 
8.95/1.76	o 3468 
8.95/1.76	o 3460 
8.95/1.77	o 3422 
12.71/2.27	o 3420 
13.47/2.31	s OPTIMUM FOUND
13.47/2.31	v <instantiation>
13.47/2.31	v 	<list>x[0] x[1] x[2] drd[0][0] drd[0][1] drd[0][2] drd[1][0] drd[1][1] drd[1][2] drd[2][0] drd[2][1] drd[2][2] drd[3][0] drd[3][1] drd[3][2] drd[4][0] drd[4][1] drd[4][2] drd[5][0] drd[5][1] drd[5][2] drd[6][0] drd[6][1] drd[6][2] drd[7][0] drd[7][1] drd[7][2] drd[8][0] drd[8][1] drd[8][2] drd[9][0] drd[9][1] drd[9][2] drd[10][0] drd[10][1] drd[10][2] drd[11][0] drd[11][1] drd[11][2] drd[12][0] drd[12][1] drd[12][2] drd[13][0] drd[13][1] drd[13][2] drd[14][0] drd[14][1] drd[14][2] drd[15][0] drd[15][1] drd[15][2] drd[16][0] drd[16][1] drd[16][2] drd[17][0] drd[17][1] drd[17][2] drd[18][0] drd[18][1] drd[18][2] drd[19][0] drd[19][1] drd[19][2] drd[20][0] drd[20][1] drd[20][2] drd[21][0] drd[21][1] drd[21][2] drd[22][0] drd[22][1] drd[22][2] drd[23][0] drd[23][1] drd[23][2] drd[24][0] drd[24][1] drd[24][2] drd[25][0] drd[25][1] drd[25][2] drd[26][0] drd[26][1] drd[26][2] drd[27][0] drd[27][1] drd[27][2] drd[28][0] drd[28][1] drd[28][2] drd[29][0] drd[29][1] drd[29][2] drd[30][0] drd[30][1] drd[30][2] drd[31][0] drd[31][1] drd[31][2] drd[32][0] drd[32][1] drd[32][2] drd[33][0] drd[33][1] drd[33][2] drd[34][0] drd[34][1] drd[34][2] drd[35][0] drd[35][1] drd[35][2] drd[36][0] drd[36][1] drd[36][2] drd[37][0] drd[37][1] drd[37][2] drd[38][0] drd[38][1] drd[38][2] drd[39][0] drd[39][1] drd[39][2] drd[40][0] drd[40][1] drd[40][2] drd[41][0] drd[41][1] drd[41][2] drd[42][0] drd[42][1] drd[42][2] drd[43][0] drd[43][1] drd[43][2] drd[44][0] drd[44][1] drd[44][2] drd[45][0] drd[45][1] drd[45][2] drd[46][0] drd[46][1] drd[46][2] drd[47][0] drd[47][1] drd[47][2] drd[48][0] drd[48][1] drd[48][2] 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] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] </list>
13.47/2.31	v 	<values>136 579 818 43 486 725 30 473 712 30 473 712 774 331 92 774 331 92 34 477 716 85 528 767 85 528 767 136 579 818 633 190 49 633 190 49 135 308 547 136 307 546 407 36 275 406 37 276 24 419 658 19 424 663 38 405 644 37 406 645 204 239 478 204 239 478 114 557 796 21 422 661 21 422 661 0 443 682 0 443 682 81 524 763 81 524 763 738 295 56 738 295 56 178 265 504 176 267 506 388 55 294 682 239 0 682 239 0 569 126 113 569 126 113 467 24 215 467 24 215 512 69 170 511 68 171 87 356 595 96 347 586 115 558 797 443 0 239 443 0 239 102 545 784 108 551 790 67 510 749 43 30 30 92 92 34 85 85 136 49 49 135 136 36 37 24 19 38 37 204 204 114 21 21 0 0 81 81 56 56 178 176 55 0 0 113 113 24 24 69 68 87 96 115 0 0 102 108 67 </values>
13.47/2.31	v </instantiation>

Verifier Data 

OK	3420

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271521-1502646714/watcher-4271521-1502646714 -o /tmp/evaluation-result-4271521-1502646714/solver-4271521-1502646714 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1682132094 HOME/instance-4271521-1502646714.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
solver pid=25452, runsolver pid=25449
Current StackSize limit: 8192 KiB


[startup+0.100172 s]*
/proc/loadavg: 5.28 4.36 5.11 2/199 25473
/proc/meminfo: memFree=31676860/32770624 swapFree=67108860/67108860
[pid=25452] ppid=25449 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25452/stat : 25452 (xcsp3-exec) S 25449 25452 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97759176 9740288 346 33554432000 4194304 5098028 140733371275504 140733371273608 140703657505404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33771520 140733371282538 140733371282748 140733371282748 140733371285483 0
/proc/25452/statm: 2378 346 289 221 0 87 0
[pid=25454] ppid=25452 vsize=25999808 memory=26288 CPUtime=0.12 cores=0-7
/proc/25454/stat : 25454 (java) S 25452 25452 7585 0 -1 1077944320 5499 0 0 0 11 1 0 0 20 0 20 0 97759176 26623803392 6572 33554432000 4194304 4196468 140731114848784 140731114831328 139673384840951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
/proc/25454/statm: 6499952 6572 2848 1 0 6488269 0
[pid=25454/tid=25455] ppid=25452 vsize=25999808 memory=7969571923236396444 CPUtime=0.08 cores=0-7
/proc/25454/task/25455/stat : 25455 (java) R 25452 25452 7585 0 -1 4202560 3497 0 0 0 8 0 0 0 20 0 20 0 97759176 26623803392 6572 33554432000 4194304 4196468 140731114848784 139673389061760 139673384852886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25456] ppid=25452 vsize=25999808 memory=732370298906426341 CPUtime=0 cores=0-7
/proc/25454/task/25456/stat : 25456 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672943085968 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25457] ppid=25452 vsize=25999808 memory=140160568972928 CPUtime=0 cores=0-7
/proc/25454/task/25457/stat : 25457 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672942033168 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25458] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25458/stat : 25458 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672940980880 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25459] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25459/stat : 25459 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672939928080 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25460] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25460/stat : 25460 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672938875792 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25461] ppid=25452 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25454/task/25461/stat : 25461 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672937822992 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25462] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25462/stat : 25462 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672936770704 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25463] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25463/stat : 25463 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672935717904 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25464] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25464/stat : 25464 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759179 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672646469744 139673384852098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25465] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25465/stat : 25465 (java) S 25452 25452 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97759179 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672645415712 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25466] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25466/stat : 25466 (java) S 25452 25452 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97759179 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672644363376 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25467] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25467/stat : 25467 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759182 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672643311696 139673384859547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25468] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25468/stat : 25468 (java) S 25452 25452 7585 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 97759182 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672642259568 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25469] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25469/stat : 25469 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759182 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672641206768 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25470] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25470/stat : 25470 (java) S 25452 25452 7585 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 97759182 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672640154480 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25471] ppid=25452 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25454/task/25471/stat : 25471 (java) S 25452 25452 7585 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 97759182 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672639101680 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25472] ppid=25452 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25472/stat : 25472 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759182 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672638048608 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25473] ppid=25452 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25454/task/25473/stat : 25473 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759182 26623803392 6572 33554432000 4194304 4196468 140731114848784 139672636995888 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27672 KiB

[startup+0.210224 s]*
/proc/loadavg: 5.28 4.36 5.11 2/199 25473
/proc/meminfo: memFree=31664456/32770624 swapFree=67108860/67108860
[pid=25452] ppid=25449 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25452/stat : 25452 (xcsp3-exec) S 25449 25452 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97759176 9740288 346 33554432000 4194304 5098028 140733371275504 140733371273608 140703657505404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33771520 140733371282538 140733371282748 140733371282748 140733371285483 0
/proc/25452/statm: 2378 346 289 221 0 87 0
[pid=25454] ppid=25452 vsize=26004064 memory=39132 CPUtime=0.34 cores=0-7
/proc/25454/stat : 25454 (java) S 25452 25452 7585 0 -1 1077944320 8352 0 0 0 31 3 0 0 20 0 20 0 97759176 26628161536 9783 33554432000 4194304 4196468 140731114848784 140731114831328 139673384840951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
/proc/25454/statm: 6501016 9783 3049 1 0 6488269 0
[pid=25454/tid=25455] ppid=25452 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/25454/task/25455/stat : 25455 (java) D 25452 25452 7585 0 -1 1077944384 5409 0 0 0 18 1 0 0 20 0 20 0 97759176 26628161536 9783 33554432000 4194304 4196468 140731114848784 139673389042640 139673377520173 0 4 0 16800975 18446744072101625380 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25456] ppid=25452 vsize=26004064 memory=280320988206840 CPUtime=0 cores=0-7
/proc/25454/task/25456/stat : 25456 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 9783 33554432000 4194304 4196468 140731114848784 139672943085968 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25457] ppid=25452 vsize=26004064 memory=140160568972928 CPUtime=0 cores=0-7
/proc/25454/task/25457/stat : 25457 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 9783 33554432000 4194304 4196468 140731114848784 139672942033168 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25458] ppid=25452 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25458/stat : 25458 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628194304 9783 33554432000 4194304 4196468 140731114848784 139672940980880 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25459] ppid=25452 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25459/stat : 25459 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759177 26628194304 9783 33554432000 4194304 4196468 140731114848784 139672939928080 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25460] ppid=25452 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25460/stat : 25460 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759177 26628194304 9783 33554432000 4194304 4196468 140731114848784 139672938875792 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25461] ppid=25452 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25454/task/25461/stat : 25461 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672937822992 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25462] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25462/stat : 25462 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672936770704 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25463] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25463/stat : 25463 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672935717904 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25464] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25464/stat : 25464 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759179 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672646469744 139673384852098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25465] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25465/stat : 25465 (java) S 25452 25452 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97759179 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672645415712 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25466] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25466/stat : 25466 (java) S 25452 25452 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97759179 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672644363376 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25467] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25467/stat : 25467 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759182 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672643311696 139673384859547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25468] ppid=25452 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25454/task/25468/stat : 25468 (java) S 25452 25452 7585 0 -1 1077944384 546 0 0 0 1 0 0 0 20 0 20 0 97759182 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672642259568 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25469] ppid=25452 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25469/stat : 25469 (java) S 25452 25452 7585 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 97759182 26628194304 9803 33554432000 4194304 4196468 140731114848784 139672641206768 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25470] ppid=25452 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/25454/task/25470/stat : 25470 (java) S 25452 25452 7585 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 97759182 26628194304 9803 33554432000 4194304 4196468 140731114848784 139672640154480 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25471] ppid=25452 vsize=26004096 memory=0 CPUtime=0.08 cores=0-7
/proc/25454/task/25471/stat : 25471 (java) S 25452 25452 7585 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 20 0 97759182 26628194304 9803 33554432000 4194304 4196468 140731114848784 139672639101680 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25472] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25472/stat : 25472 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759182 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672638048608 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25473] ppid=25452 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25454/task/25473/stat : 25473 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759182 26628161536 9803 33554432000 4194304 4196468 140731114848784 139672636995888 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40516 KiB

[startup+0.310075 s]*
/proc/loadavg: 5.28 4.36 5.11 3/199 25473
/proc/meminfo: memFree=31659804/32770624 swapFree=67108860/67108860
[pid=25452] ppid=25449 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25452/stat : 25452 (xcsp3-exec) S 25449 25452 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97759176 9740288 346 33554432000 4194304 5098028 140733371275504 140733371273608 140703657505404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33771520 140733371282538 140733371282748 140733371282748 140733371285483 0
/proc/25452/statm: 2378 346 289 221 0 87 0
[pid=25454] ppid=25452 vsize=26004064 memory=46596 CPUtime=0.51 cores=0-7
/proc/25454/stat : 25454 (java) S 25452 25452 7585 0 -1 1077944320 9341 0 0 0 48 3 0 0 20 0 20 0 97759176 26628161536 11649 33554432000 4194304 4196468 140731114848784 140731114831328 139673384840951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
/proc/25454/statm: 6501016 11649 3118 1 0 6488269 0
[pid=25454/tid=25455] ppid=25452 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/25454/task/25455/stat : 25455 (java) R 25452 25452 7585 0 -1 4202560 6095 0 0 0 27 1 0 0 20 0 20 0 97759176 26628161536 11649 33554432000 4194304 4196468 140731114848784 139673389079112 139673384864541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25456] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25456/stat : 25456 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672943085968 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25457] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25457/stat : 25457 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672942033168 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25458] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25458/stat : 25458 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672940980880 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25459] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25459/stat : 25459 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672939928080 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25460] ppid=25452 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/25454/task/25460/stat : 25460 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672938875792 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25461] ppid=25452 vsize=26004064 memory=140160419328943 CPUtime=0 cores=0-7
/proc/25454/task/25461/stat : 25461 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672937822992 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25462] ppid=25452 vsize=26004064 memory=140160419331248 CPUtime=0 cores=0-7
/proc/25454/task/25462/stat : 25462 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672936770704 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25463] ppid=25452 vsize=26004064 memory=140160419333552 CPUtime=0 cores=0-7
/proc/25454/task/25463/stat : 25463 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759177 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672935717904 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25464] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25464/stat : 25464 (java) S 25452 25452 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759179 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672646469744 139673384852098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25465] ppid=25452 vsize=26004064 memory=280320838674064 CPUtime=0 cores=0-7
/proc/25454/task/25465/stat : 25465 (java) S 25452 25452 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97759179 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672645415712 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25466] ppid=25452 vsize=26004064 memory=280320838680976 CPUtime=0 cores=0-7
/proc/25454/task/25466/stat : 25466 (java) S 25452 25452 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97759179 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672644363376 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25467] ppid=25452 vsize=26004064 memory=280320838622256 CPUtime=0 cores=0-7
/proc/25454/task/25467/stat : 25467 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759182 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672643311696 139673384859547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25468] ppid=25452 vsize=26004064 memory=280320838694800 CPUtime=0.02 cores=0-7
/proc/25454/task/25468/stat : 25468 (java) R 25452 25452 7585 0 -1 4202560 603 0 0 0 2 0 0 0 20 0 20 0 97759182 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672642259568 139673368122880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25469] ppid=25452 vsize=26004064 memory=280320838701712 CPUtime=0.01 cores=0-7
/proc/25454/task/25469/stat : 25469 (java) R 25452 25452 7585 0 -1 4202560 107 0 0 0 1 0 0 0 20 0 20 0 97759182 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672641187784 139673384862298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25470] ppid=25452 vsize=26004064 memory=280320838699408 CPUtime=0.02 cores=0-7
/proc/25454/task/25470/stat : 25470 (java) R 25452 25452 7585 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 20 0 97759182 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672640154480 139673384862298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25471] ppid=25452 vsize=26004064 memory=280320838715568 CPUtime=0.13 cores=0-7
/proc/25454/task/25471/stat : 25471 (java) R 25452 25452 7585 0 -1 4202560 866 0 0 0 13 0 0 0 20 0 20 0 97759182 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672639099472 139673364295686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25472] ppid=25452 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25472/stat : 25472 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759182 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672638048608 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25473] ppid=25452 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25454/task/25473/stat : 25473 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759182 26628161536 11649 33554432000 4194304 4196468 140731114848784 139672636995888 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47980 KiB

[startup+0.701191 s]
/proc/loadavg: 5.28 4.36 5.11 4/199 25473
/proc/meminfo: memFree=31616896/32770624 swapFree=67108860/67108860
[pid=25452] ppid=25449 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25452/stat : 25452 (xcsp3-exec) S 25449 25452 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97759176 9740288 346 33554432000 4194304 5098028 140733371275504 140733371273608 140703657505404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33771520 140733371282538 140733371282748 140733371282748 140733371285483 0
/proc/25452/statm: 2378 346 289 221 0 87 0
[pid=25454] ppid=25452 vsize=26006188 memory=229012 CPUtime=2.06 cores=0-7
/proc/25454/stat : 25454 (java) S 25452 25452 7585 0 -1 1077944320 13748 0 0 0 190 16 0 0 20 0 20 0 97759176 26630336512 57253 33554432000 4194304 4196468 140731114848784 140731114831328 139673384840951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
/proc/25454/statm: 6501547 57253 3209 1 0 6488781 0
[pid=25454/tid=25455] ppid=25452 vsize=26006188 memory=280320839010432 CPUtime=0.64 cores=0-7
/proc/25454/task/25455/stat : 25455 (java) S 25452 25452 7585 0 -1 1077944384 6825 0 0 0 60 4 0 0 20 0 20 0 97759176 26630336512 57253 33554432000 4194304 4196468 140731114848784 139673389078048 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25456] ppid=25452 vsize=26006188 memory=5788 CPUtime=0.02 cores=0-7
/proc/25454/task/25456/stat : 25456 (java) R 25452 25452 7585 0 -1 4202560 32 0 0 0 1 1 0 0 20 0 20 0 97759177 26630336512 57765 33554432000 4194304 4196468 140731114848784 139672943086168 139673369868834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25457] ppid=25452 vsize=26006188 memory=1228 CPUtime=0.02 cores=0-7
/proc/25454/task/25457/stat : 25457 (java) R 25452 25452 7585 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 20 0 97759177 26630336512 57765 33554432000 4194304 4196468 140731114848784 139672942033368 139673377945576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25458] ppid=25452 vsize=26006188 memory=796 CPUtime=0.01 cores=0-7
/proc/25454/task/25458/stat : 25458 (java) R 25452 25452 7585 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 20 0 97759177 26630336512 57765 33554432000 4194304 4196468 140731114848784 139672940981080 139673369868834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0

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

[pid=25454/tid=25464] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25464/stat : 25464 (java) S 25452 25452 7585 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672646469744 139673384852098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25465] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25465/stat : 25465 (java) S 25452 25452 7585 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672645415776 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25466] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25466/stat : 25466 (java) S 25452 25452 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672644363392 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25467] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25467/stat : 25467 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672643311696 139673384859547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25468] ppid=25452 vsize=26538700 memory=0 CPUtime=0.81 cores=0-7
/proc/25454/task/25468/stat : 25468 (java) R 25452 25452 7585 0 -1 4202560 2171 0 0 0 81 0 0 0 20 0 28 0 97759182 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672642246384 139673363257247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25469] ppid=25452 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/25454/task/25469/stat : 25469 (java) R 25452 25452 7585 0 -1 4202560 2033 0 0 0 75 0 0 0 20 0 28 0 97759182 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672641193440 139673364084843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25470] ppid=25452 vsize=26538700 memory=1004 CPUtime=0.84 cores=0-7
/proc/25454/task/25470/stat : 25470 (java) R 25452 25452 7585 0 -1 4202560 2057 0 0 0 84 0 0 0 20 0 28 0 97759182 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672640143600 139673364012229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25471] ppid=25452 vsize=26538700 memory=1436 CPUtime=0.64 cores=0-7
/proc/25454/task/25471/stat : 25471 (java) R 25452 25452 7585 0 -1 1077944384 3475 0 0 0 63 1 0 0 20 0 28 0 97759182 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672639101680 139673384852098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25472] ppid=25452 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/25454/task/25472/stat : 25472 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672638048608 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25473] ppid=25452 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/25454/task/25473/stat : 25473 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 116156 33554432000 4194304 4196468 140731114848784 139672636995888 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 466008 KiB

[startup+2.47864 s]
# the end of solver process 25452 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.5027 s, system=1.03359 s

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

[startup+1.60127 s]
/proc/loadavg: 5.28 4.36 5.11 6/199 25473
/proc/meminfo: memFree=31272668/32770624 swapFree=67108860/67108860
[pid=25452] ppid=25449 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25452/stat : 25452 (xcsp3-exec) S 25449 25452 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97759176 9740288 346 33554432000 4194304 5098028 140733371275504 140733371273608 140703657505404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33771520 140733371282538 140733371282748 140733371282748 140733371285483 0
/proc/25452/statm: 2378 346 289 221 0 87 0
[pid=25454] ppid=25452 vsize=26538700 memory=465268 CPUtime=8.17 cores=0-7
/proc/25454/stat : 25454 (java) S 25452 25452 7585 0 -1 1077944320 19946 0 0 0 747 70 0 0 20 0 28 0 97759176 27175628800 116317 33554432000 4194304 4196468 140731114848784 140731114831328 139673384840951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
/proc/25454/statm: 6634675 116317 3247 1 0 6621909 0
[pid=25454/tid=25455] ppid=25452 vsize=26538700 memory=18292 CPUtime=0.83 cores=0-7
/proc/25454/task/25455/stat : 25455 (java) S 25452 25452 7585 0 -1 1077944384 6905 0 0 0 79 4 0 0 20 0 28 0 97759176 27175628800 116317 33554432000 4194304 4196468 140731114848784 139673389081728 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25456] ppid=25452 vsize=26538700 memory=1792 CPUtime=0.14 cores=0-7
/proc/25454/task/25456/stat : 25456 (java) S 25452 25452 7585 0 -1 1077944384 122 0 0 0 6 8 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672943085968 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25457] ppid=25452 vsize=26538700 memory=2332 CPUtime=0.14 cores=0-7
/proc/25454/task/25457/stat : 25457 (java) S 25452 25452 7585 0 -1 1077944384 116 0 0 0 7 7 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672942033168 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25458] ppid=25452 vsize=26538700 memory=1292 CPUtime=0.11 cores=0-7
/proc/25454/task/25458/stat : 25458 (java) S 25452 25452 7585 0 -1 1077944384 90 0 0 0 5 6 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672940980880 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25459] ppid=25452 vsize=26538700 memory=1728 CPUtime=0.13 cores=0-7
/proc/25454/task/25459/stat : 25459 (java) S 25452 25452 7585 0 -1 1077944384 99 0 0 0 6 7 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672939928080 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25460] ppid=25452 vsize=26538700 memory=5788 CPUtime=0.14 cores=0-7
/proc/25454/task/25460/stat : 25460 (java) S 25452 25452 7585 0 -1 1077944384 124 0 0 0 7 7 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672938875792 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25461] ppid=25452 vsize=26538700 memory=1228 CPUtime=0.12 cores=0-7
/proc/25454/task/25461/stat : 25461 (java) S 25452 25452 7585 0 -1 1077944384 115 0 0 0 5 7 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672937822992 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25462] ppid=25452 vsize=26538700 memory=796 CPUtime=0.11 cores=0-7
/proc/25454/task/25462/stat : 25462 (java) S 25452 25452 7585 0 -1 1077944384 83 0 0 0 4 7 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672936770704 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25463] ppid=25452 vsize=26538700 memory=10020 CPUtime=0.14 cores=0-7
/proc/25454/task/25463/stat : 25463 (java) S 25452 25452 7585 0 -1 1077944384 108 0 0 0 7 7 0 0 20 0 28 0 97759177 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672935717904 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25464] ppid=25452 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/25454/task/25464/stat : 25464 (java) S 25452 25452 7585 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672646469744 139673384852098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25465] ppid=25452 vsize=26538700 memory=8536 CPUtime=0 cores=0-7
/proc/25454/task/25465/stat : 25465 (java) S 25452 25452 7585 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672645415776 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25466] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25466/stat : 25466 (java) S 25452 25452 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672644363392 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25467] ppid=25452 vsize=26538700 memory=2241 CPUtime=0 cores=0-7
/proc/25454/task/25467/stat : 25467 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672643311696 139673384859547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25468] ppid=25452 vsize=26538700 memory=0 CPUtime=0.85 cores=0-7
/proc/25454/task/25468/stat : 25468 (java) R 25452 25452 7585 0 -1 4202560 2210 0 0 0 85 0 0 0 20 0 28 0 97759182 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672642245552 139673366150692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25469] ppid=25452 vsize=26538700 memory=6916 CPUtime=0.8 cores=0-7
/proc/25454/task/25469/stat : 25469 (java) R 25452 25452 7585 0 -1 1077944384 2045 0 0 0 80 0 0 0 20 0 28 0 97759182 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672641192880 139673384851157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25470] ppid=25452 vsize=26538700 memory=2244 CPUtime=0.9 cores=0-7
/proc/25454/task/25470/stat : 25470 (java) R 25452 25452 7585 0 -1 4202560 2218 0 0 0 90 0 0 0 20 0 28 0 97759182 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672640140504 139673369949829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25471] ppid=25452 vsize=26538700 memory=140160419667680 CPUtime=0.66 cores=0-7
/proc/25454/task/25471/stat : 25471 (java) R 25452 25452 7585 0 -1 1077944384 3491 0 0 0 65 1 0 0 20 0 28 0 97759182 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672639101680 139673384852098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25472] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25472/stat : 25472 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672638048608 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25473] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25473/stat : 25473 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 116317 33554432000 4194304 4196468 140731114848784 139672636995888 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 466652 KiB

[startup+2.00093 s]*
/proc/loadavg: 5.28 4.36 5.11 9/207 25536
/proc/meminfo: memFree=31030576/32770624 swapFree=67108860/67108860
[pid=25452] ppid=25449 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25452/stat : 25452 (xcsp3-exec) S 25449 25452 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97759176 9740288 346 33554432000 4194304 5098028 140733371275504 140733371273608 140703657505404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33771520 140733371282538 140733371282748 140733371282748 140733371285483 0
/proc/25452/statm: 2378 346 289 221 0 87 0
[pid=25454] ppid=25452 vsize=26538700 memory=672084 CPUtime=11.22 cores=0-7
/proc/25454/stat : 25454 (java) S 25452 25452 7585 0 -1 1077944320 22521 0 0 0 1020 102 0 0 20 0 28 0 97759176 27175628800 168021 33554432000 4194304 4196468 140731114848784 140731114831328 139673384840951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
/proc/25454/statm: 6634675 168021 3276 1 0 6621909 0
[pid=25454/tid=25455] ppid=25452 vsize=26538700 memory=280320838578488 CPUtime=0.83 cores=0-7
/proc/25454/task/25455/stat : 25455 (java) S 25452 25452 7585 0 -1 1077944384 6906 0 0 0 79 4 0 0 20 0 28 0 97759176 27175628800 168021 33554432000 4194304 4196468 140731114848784 139673389081728 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25456] ppid=25452 vsize=26538700 memory=732370298906426341 CPUtime=0.33 cores=0-7
/proc/25454/task/25456/stat : 25456 (java) R 25452 25452 7585 0 -1 4202560 289 0 0 0 22 11 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672943086088 139673377469159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25457] ppid=25452 vsize=26538700 memory=3472464058750142128 CPUtime=0.34 cores=0-7
/proc/25454/task/25457/stat : 25457 (java) R 25452 25452 7585 0 -1 4202560 318 0 0 0 23 11 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672942033288 139673377469159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25458] ppid=25452 vsize=26538700 memory=6944656592455097440 CPUtime=0.32 cores=0-7
/proc/25454/task/25458/stat : 25458 (java) R 25452 25452 7585 0 -1 4202560 176 0 0 0 22 10 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672940981080 139673369541584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25459] ppid=25452 vsize=26538700 memory=0 CPUtime=0.34 cores=0-7
/proc/25454/task/25459/stat : 25459 (java) R 25452 25452 7585 0 -1 4202560 584 0 0 0 23 11 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672939928280 139673369541536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25460] ppid=25452 vsize=26538700 memory=7165062429642287189 CPUtime=0.35 cores=0-7
/proc/25454/task/25460/stat : 25460 (java) R 25452 25452 7585 0 -1 4202560 219 0 0 0 24 11 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672938875992 139673377469159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25461] ppid=25452 vsize=26538700 memory=140160419453615 CPUtime=0.32 cores=0-7
/proc/25454/task/25461/stat : 25461 (java) S 25452 25452 7585 0 -1 1077944384 181 0 0 0 22 10 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672937822800 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25462] ppid=25452 vsize=26538700 memory=0 CPUtime=0.32 cores=0-7
/proc/25454/task/25462/stat : 25462 (java) R 25452 25452 7585 0 -1 4202560 226 0 0 0 22 10 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672936770904 139673377469159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25463] ppid=25452 vsize=26538700 memory=0 CPUtime=0.34 cores=0-7
/proc/25454/task/25463/stat : 25463 (java) R 25452 25452 7585 0 -1 4202560 231 0 0 0 24 10 0 0 20 0 28 0 97759177 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672935718024 139673377469159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25464] ppid=25452 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/25454/task/25464/stat : 25464 (java) S 25452 25452 7585 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 28 0 97759179 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672646468288 139673384851157 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25465] ppid=25452 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25454/task/25465/stat : 25465 (java) S 25452 25452 7585 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672645415776 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25466] ppid=25452 vsize=26538700 memory=124 CPUtime=0 cores=0-7
/proc/25454/task/25466/stat : 25466 (java) S 25452 25452 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97759179 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672644363392 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25467] ppid=25452 vsize=26538700 memory=5936960864054384546 CPUtime=0 cores=0-7
/proc/25454/task/25467/stat : 25467 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672643311696 139673384859547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25468] ppid=25452 vsize=26538700 memory=7524219006797506670 CPUtime=1.01 cores=0-7
/proc/25454/task/25468/stat : 25468 (java) S 25452 25452 7585 0 -1 1077944384 2247 0 0 0 101 0 0 0 20 0 28 0 97759182 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672642244560 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25469] ppid=25452 vsize=26538700 memory=7100839887252137857 CPUtime=0.98 cores=0-7
/proc/25454/task/25469/stat : 25469 (java) S 25452 25452 7585 0 -1 1077944384 2051 0 0 0 98 0 0 0 20 0 28 0 97759182 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672641191760 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25470] ppid=25452 vsize=26538700 memory=7739525442820075624 CPUtime=1.07 cores=0-7
/proc/25454/task/25470/stat : 25470 (java) S 25452 25452 7585 0 -1 1077944384 2589 0 0 0 107 0 0 0 20 0 28 0 97759182 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672640139472 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25471] ppid=25452 vsize=26538700 memory=6944613755445342871 CPUtime=0.67 cores=0-7
/proc/25454/task/25471/stat : 25471 (java) S 25452 25452 7585 0 -1 1077944384 3515 0 0 0 66 1 0 0 20 0 28 0 97759182 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672639101680 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25472] ppid=25452 vsize=26538700 memory=3906653002875805728 CPUtime=0 cores=0-7
/proc/25454/task/25472/stat : 25472 (java) S 25452 25452 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672638048608 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25473] ppid=25452 vsize=26538700 memory=6199840864898396216 CPUtime=0 cores=0-7
/proc/25454/task/25473/stat : 25473 (java) S 25452 25452 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759182 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672636995888 139673384852098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25529] ppid=25452 vsize=26538700 memory=2314885432475477356 CPUtime=0.01 cores=0-7
/proc/25454/task/25529/stat : 25529 (java) S 25452 25452 7585 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672621619056 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25530] ppid=25452 vsize=26538700 memory=-8465749666374186176 CPUtime=0 cores=0-7
/proc/25454/task/25530/stat : 25530 (java) S 25452 25452 7585 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672624778432 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25531] ppid=25452 vsize=26538700 memory=-7457052372387209120 CPUtime=0 cores=0-7
/proc/25454/task/25531/stat : 25531 (java) S 25452 25452 7585 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672627936160 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25532] ppid=25452 vsize=26538700 memory=6944938067429517988 CPUtime=0 cores=0-7
/proc/25454/task/25532/stat : 25532 (java) S 25452 25452 7585 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672622673344 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25533] ppid=25452 vsize=26538700 memory=6944656425123485561 CPUtime=0 cores=0-7
/proc/25454/task/25533/stat : 25533 (java) S 25452 25452 7585 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672628990352 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25534] ppid=25452 vsize=26538700 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/25454/task/25534/stat : 25534 (java) S 25452 25452 7585 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672626884288 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25535] ppid=25452 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/25454/task/25535/stat : 25535 (java) S 25452 25452 7585 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672625833616 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
[pid=25454/tid=25536] ppid=25452 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/25454/task/25536/stat : 25536 (java) S 25452 25452 7585 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 28 0 97759353 27175628800 168021 33554432000 4194304 4196468 140731114848784 139672623729056 139673384851157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20975616 140731114857624 140731114857800 140731114857800 140731114860495 0
Current children cumulated CPU time: 11.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 673468 KiB

[startup+2.401 s]
/proc/loadavg: 5.28 4.36 5.11 9/207 25536
/proc/meminfo: memFree=31030576/32770624 swapFree=67108860/67108860
[pid=25452] ppid=25449 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25452/stat : 25452 (xcsp3-exec) S 25449 25452 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97759176 9740288 346 33554432000 4194304 5098028 140733371275504 140733371273608 140703657505404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33771520 140733371282538 140733371282748 140733371282748 140733371285483 0
/proc/25452/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 2.47868
CPU time (s): 13.5363
CPU user time (s): 12.5027
CPU system time (s): 1.03359
CPU usage (%): 546.107
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 674576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5027
system time used= 1.03359
maximum resident set size= 675016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3686
involuntary context switches= 273


# summary of solver processes directly reported to runsolver:
#   pid: 25452
#   total CPU time (s): 13.5363
#   total CPU user time (s): 12.5027
#   total CPU system time (s): 1.03359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044074 second user time and 0.063806 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 19:37:35
IDJOB=4271521
IDBENCH=138313
IDSOLVER=2663
FILE ID=node112/4271521-1502646714
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff54.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-4271521-1502646714/watcher-4271521-1502646714 -o /tmp/evaluation-result-4271521-1502646714/solver-4271521-1502646714 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1682132094 HOME/instance-4271521-1502646714.xml

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

MD5SUM BENCH= 76d2700a299711a8f7ac3a1d3d618278
RANDOM SEED=1682132094

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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:        31692308 kB
MemAvailable:   31976564 kB
Buffers:          131992 kB
Cached:           432840 kB
SwapCached:            0 kB
Active:           456576 kB
Inactive:         162796 kB
Active(anon):       5956 kB
Inactive(anon):    76476 kB
Active(file):     450620 kB
Inactive(file):    86320 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:         60920 kB
Mapped:            43456 kB
Shmem:             25224 kB
Slab:             152524 kB
SReclaimable:     126300 kB
SUnreclaim:        26224 kB
KernelStack:        3136 kB
PageTables:         4648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-13 19:37:38