Trace number 4271522

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)OPT1334 77.894302 10.8116

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff57.xml
MD5SUM9601f9fdcfec45ff7e2268abb15a55d6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1334
Best CPU time to get the best result obtained on this benchmark19.1138
Satisfiable
(Un)Satisfiability was proved
Number of variables349
Number of constraints344
Number of domains36
Minimum domain size34
Maximum domain size36
Distribution of domain sizes[{"size":34,"count":7},{"size":35,"count":133},{"size":36,"count":209}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":343},{"degree":50,"count":6}]
Minimum constraint arity2
Maximum constraint arity7
Distribution of constraint arities[{"arity":2,"count":294},{"arity":6,"count":1},{"arity":7,"count":49}]
Number of extensional constraints294
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":294},{"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-4271522-1502646722.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271522-1502646722.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
7.73/1.62	c solve instance...
9.55/1.91	o 15659 
9.55/1.92	o 11118 
9.55/1.93	o 10816 
9.55/1.93	o 9995 
9.55/1.94	o 5422 
10.23/2.07	o 4834 
10.23/2.09	o 4808 
10.23/2.09	o 4664 
10.23/2.10	o 4532 
10.23/2.10	o 4192 
10.23/2.10	o 4128 
10.81/2.11	o 3960 
10.81/2.12	o 3720 
10.81/2.13	o 3648 
10.81/2.13	o 3624 
10.81/2.14	o 3564 
10.81/2.19	o 3160 
11.43/2.26	o 3152 
12.18/2.38	o 2725 
13.75/2.56	o 2635 
13.75/2.57	o 2581 
13.75/2.58	o 2483 
13.75/2.59	o 2471 
14.45/2.65	o 2465 
14.45/2.67	o 2456 
15.76/2.89	o 1620 
16.52/3.00	o 1576 
16.52/3.01	o 1394 
25.29/4.08	o 1376 
30.62/4.76	o 1368 
39.98/5.90	o 1346 
39.98/5.91	o 1342 
66.06/9.22	o 1338 
66.27/9.30	o 1334 
77.39/10.78	s OPTIMUM FOUND
77.39/10.78	v <instantiation>
77.39/10.78	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[39][5] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[40][5] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[41][5] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[42][5] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[43][5] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[44][5] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[45][5] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[46][5] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[47][5] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[48][5] 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>
77.39/10.78	v 	<values>51 157 314 579 705 874 42 64 221 486 612 781 55 51 208 473 599 768 55 51 208 473 599 768 859 753 596 331 205 36 859 753 596 331 205 36 51 55 212 477 603 772 0 106 263 528 654 823 0 106 263 528 654 823 51 157 314 579 705 874 718 612 455 190 64 105 718 612 455 190 64 105 220 114 43 308 434 603 221 115 42 307 433 602 492 386 229 36 162 331 491 385 228 37 163 332 109 3 154 419 545 714 104 2 159 424 550 719 123 17 140 405 531 700 122 16 141 406 532 701 289 183 26 239 365 534 289 183 26 239 365 534 29 135 292 557 683 852 106 0 157 422 548 717 106 0 157 422 548 717 85 21 178 443 569 738 85 21 178 443 569 738 4 102 259 524 650 819 4 102 259 524 650 819 823 717 560 295 169 0 823 717 560 295 169 0 263 157 0 265 391 560 261 155 2 267 393 562 473 367 210 55 181 350 767 661 504 239 113 56 767 661 504 239 113 56 654 548 391 126 0 169 654 548 391 126 0 169 552 446 289 24 102 271 552 446 289 24 102 271 597 491 334 69 57 226 596 490 333 68 58 227 172 66 91 356 482 651 181 75 82 347 473 642 30 136 293 558 684 853 528 422 265 0 126 295 528 422 265 0 126 295 17 123 280 545 671 840 23 129 286 551 677 846 18 88 245 510 636 805 42 51 51 36 36 51 0 0 51 64 64 43 42 36 37 3 2 17 16 26 26 29 0 0 21 21 4 4 0 0 0 2 55 56 56 0 0 24 24 57 58 66 75 30 0 0 17 23 18 </values>
77.39/10.78	v </instantiation>

Verifier Data 

OK	1334

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 (15272 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-4271522-1502646722/watcher-4271522-1502646722 -o /tmp/evaluation-result-4271522-1502646722/solver-4271522-1502646722 -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 1987389586 HOME/instance-4271522-1502646722.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=25765, runsolver pid=25762
Current StackSize limit: 8192 KiB


[startup+0.100145 s]*
/proc/loadavg: 4.62 4.25 5.06 3/199 25786
/proc/meminfo: memFree=31675052/32770624 swapFree=67108860/67108860
[pid=25765] ppid=25762 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97760045 9740288 346 33554432000 4194304 5098028 140730041544928 140730041543032 139865548296828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22433792 140730041549930 140730041550140 140730041550140 140730041552875 0
/proc/25765/statm: 2378 346 289 221 0 87 0
[pid=25767] ppid=25765 vsize=25999808 memory=27128 CPUtime=0.12 cores=0-7
/proc/25767/stat : 25767 (java) S 25765 25765 7585 0 -1 1077944320 5647 0 0 0 11 1 0 0 20 0 20 0 97760045 26623803392 6782 33554432000 4194304 4196468 140727384150496 140727384133040 139979908083447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
/proc/25767/statm: 6499952 6782 2863 1 0 6488269 0
[pid=25767/tid=25768] ppid=25765 vsize=25999808 memory=8185744705350181021 CPUtime=0.09 cores=0-7
/proc/25767/task/25768/stat : 25768 (java) R 25765 25765 7585 0 -1 4202560 3659 0 0 0 8 1 0 0 20 0 20 0 97760046 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979912306896 139979908095382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25769] ppid=25765 vsize=25999808 memory=732370697205189605 CPUtime=0 cores=0-7
/proc/25767/task/25769/stat : 25769 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979830663440 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25770] ppid=25765 vsize=25999808 memory=140558867736192 CPUtime=0 cores=0-7
/proc/25767/task/25770/stat : 25770 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979465447824 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25771] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25771/stat : 25771 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979464395280 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25772] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25772/stat : 25772 (java) S 25765 25765 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979463342736 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25773] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25773/stat : 25773 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979462290192 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25774] ppid=25765 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25767/task/25774/stat : 25774 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979461237648 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25775] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25775/stat : 25775 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979460185104 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25776] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25776/stat : 25776 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760047 26623803392 6782 33554432000 4194304 4196468 140727384150496 139979459132560 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25777] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25777/stat : 25777 (java) S 25765 25765 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760048 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978113271792 139979908094594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25778] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25778/stat : 25778 (java) S 25765 25765 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97760049 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978112218016 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25779] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25779/stat : 25779 (java) S 25765 25765 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97760049 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978111165424 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25780] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25780/stat : 25780 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760051 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978110114000 139979908102043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25781] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25781/stat : 25781 (java) S 25765 25765 7585 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 97760051 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978109061616 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25782] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25782/stat : 25782 (java) S 25765 25765 7585 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97760051 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978108009072 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25783] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25783/stat : 25783 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760051 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978106956528 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25784] ppid=25765 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25767/task/25784/stat : 25784 (java) R 25765 25765 7585 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 97760051 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978105903984 139979900320574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25785] ppid=25765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25785/stat : 25785 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760051 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978104850656 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25786] ppid=25765 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25767/task/25786/stat : 25786 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760052 26623803392 6782 33554432000 4194304 4196468 140727384150496 139978103798192 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28512 KiB

[startup+0.20977 s]*
/proc/loadavg: 4.62 4.25 5.06 2/199 25786
/proc/meminfo: memFree=31663772/32770624 swapFree=67108860/67108860
[pid=25765] ppid=25762 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97760045 9740288 346 33554432000 4194304 5098028 140730041544928 140730041543032 139865548296828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22433792 140730041549930 140730041550140 140730041550140 140730041552875 0
/proc/25765/statm: 2378 346 289 221 0 87 0
[pid=25767] ppid=25765 vsize=26004064 memory=38988 CPUtime=0.33 cores=0-7
/proc/25767/stat : 25767 (java) S 25765 25765 7585 0 -1 1077944320 8291 0 0 0 31 2 0 0 20 0 20 0 97760045 26628161536 9747 33554432000 4194304 4196468 140727384150496 140727384133040 139979908083447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
/proc/25767/statm: 6501016 9747 3048 1 0 6488269 0
[pid=25767/tid=25768] ppid=25765 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/25767/task/25768/stat : 25768 (java) R 25765 25765 7585 0 -1 4202560 5434 0 0 0 18 1 0 0 20 0 20 0 97760046 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979912304440 139979908105373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25769] ppid=25765 vsize=26004064 memory=281117578077944 CPUtime=0 cores=0-7
/proc/25767/task/25769/stat : 25769 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979830663440 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25770] ppid=25765 vsize=26004064 memory=140558867736192 CPUtime=0 cores=0-7
/proc/25767/task/25770/stat : 25770 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979465447824 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25771] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25771/stat : 25771 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979464395280 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25772] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25772/stat : 25772 (java) S 25765 25765 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979463342736 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25773] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25773/stat : 25773 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979462290192 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25774] ppid=25765 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25767/task/25774/stat : 25774 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979461237648 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25775] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25775/stat : 25775 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979460185104 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25776] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25776/stat : 25776 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 9747 33554432000 4194304 4196468 140727384150496 139979459132560 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25777] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25777/stat : 25777 (java) S 25765 25765 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760048 26628161536 9747 33554432000 4194304 4196468 140727384150496 139978113271792 139979908094594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25778] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25778/stat : 25778 (java) S 25765 25765 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97760049 26628161536 9747 33554432000 4194304 4196468 140727384150496 139978112218016 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25779] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25779/stat : 25779 (java) S 25765 25765 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97760049 26628161536 9747 33554432000 4194304 4196468 140727384150496 139978111165424 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25780] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25780/stat : 25780 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760051 26628161536 9747 33554432000 4194304 4196468 140727384150496 139978110114000 139979908102043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25781] ppid=25765 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25767/task/25781/stat : 25781 (java) S 25765 25765 7585 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 20 0 97760051 26628161536 9747 33554432000 4194304 4196468 140727384150496 139978109061616 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25782] ppid=25765 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/25767/task/25782/stat : 25782 (java) S 25765 25765 7585 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 20 0 97760051 26628161536 9747 33554432000 4194304 4196468 140727384150496 139978108009072 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25783] ppid=25765 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25783/stat : 25783 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760051 26628194304 9747 33554432000 4194304 4196468 140727384150496 139978106956528 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25784] ppid=25765 vsize=26004096 memory=0 CPUtime=0.07 cores=0-7
/proc/25767/task/25784/stat : 25784 (java) S 25765 25765 7585 0 -1 1077944384 742 0 0 0 7 0 0 0 20 0 20 0 97760051 26628194304 9747 33554432000 4194304 4196468 140727384150496 139978105903984 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25785] ppid=25765 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25785/stat : 25785 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760051 26628194304 9747 33554432000 4194304 4196468 140727384150496 139978104850656 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25786] ppid=25765 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25767/task/25786/stat : 25786 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760052 26628161536 9767 33554432000 4194304 4196468 140727384150496 139978103798192 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40372 KiB

[startup+0.309593 s]*
/proc/loadavg: 4.62 4.25 5.06 4/199 25786
/proc/meminfo: memFree=31660476/32770624 swapFree=67108860/67108860
[pid=25765] ppid=25762 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97760045 9740288 346 33554432000 4194304 5098028 140730041544928 140730041543032 139865548296828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22433792 140730041549930 140730041550140 140730041550140 140730041552875 0
/proc/25765/statm: 2378 346 289 221 0 87 0
[pid=25767] ppid=25765 vsize=26004064 memory=43636 CPUtime=0.51 cores=0-7
/proc/25767/stat : 25767 (java) S 25765 25765 7585 0 -1 1077944320 9166 0 0 0 48 3 0 0 20 0 20 0 97760045 26628161536 10909 33554432000 4194304 4196468 140727384150496 140727384133040 139979908083447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
/proc/25767/statm: 6501016 10909 3104 1 0 6488269 0
[pid=25767/tid=25768] ppid=25765 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25767/task/25768/stat : 25768 (java) R 25765 25765 7585 0 -1 4202560 6107 0 0 0 27 2 0 0 20 0 20 0 97760046 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979912321504 139979908105373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25769] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25769/stat : 25769 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979830663440 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25770] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25770/stat : 25770 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979465447824 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25771] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25771/stat : 25771 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979464395280 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25772] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25772/stat : 25772 (java) S 25765 25765 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979463342736 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25773] ppid=25765 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/25767/task/25773/stat : 25773 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979462290192 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25774] ppid=25765 vsize=26004064 memory=140558710436783 CPUtime=0 cores=0-7
/proc/25767/task/25774/stat : 25774 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979461237648 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25775] ppid=25765 vsize=26004064 memory=140558710439088 CPUtime=0 cores=0-7
/proc/25767/task/25775/stat : 25775 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979460185104 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25776] ppid=25765 vsize=26004064 memory=140558710441392 CPUtime=0 cores=0-7
/proc/25767/task/25776/stat : 25776 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760047 26628161536 10909 33554432000 4194304 4196468 140727384150496 139979459132560 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25777] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25777/stat : 25777 (java) S 25765 25765 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760048 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978113271792 139979908094594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25778] ppid=25765 vsize=26004064 memory=281117420889744 CPUtime=0 cores=0-7
/proc/25767/task/25778/stat : 25778 (java) S 25765 25765 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97760049 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978112218016 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25779] ppid=25765 vsize=26004064 memory=281117420896656 CPUtime=0 cores=0-7
/proc/25767/task/25779/stat : 25779 (java) S 25765 25765 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97760049 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978111165424 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25780] ppid=25765 vsize=26004064 memory=281117420837936 CPUtime=0 cores=0-7
/proc/25767/task/25780/stat : 25780 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760051 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978110114000 139979908102043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25781] ppid=25765 vsize=26004064 memory=281117420910480 CPUtime=0.02 cores=0-7
/proc/25767/task/25781/stat : 25781 (java) S 25765 25765 7585 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 20 0 97760051 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978109061616 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25782] ppid=25765 vsize=26004064 memory=281117420917392 CPUtime=0.03 cores=0-7
/proc/25767/task/25782/stat : 25782 (java) D 25765 25765 7585 0 -1 4202560 375 0 0 0 3 0 0 0 20 0 20 0 97760051 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978107990088 139979900800599 0 4 0 16800975 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25783] ppid=25765 vsize=26004064 memory=281117420915088 CPUtime=0.01 cores=0-7
/proc/25767/task/25783/stat : 25783 (java) S 25765 25765 7585 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 97760051 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978106956528 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25784] ppid=25765 vsize=26004064 memory=281117420931248 CPUtime=0.12 cores=0-7
/proc/25767/task/25784/stat : 25784 (java) R 25765 25765 7585 0 -1 4202560 846 0 0 0 12 0 0 0 20 0 20 0 97760051 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978105900352 139979886449844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25785] ppid=25765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25785/stat : 25785 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760051 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978104850656 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25786] ppid=25765 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25767/task/25786/stat : 25786 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760052 26628161536 10909 33554432000 4194304 4196468 140727384150496 139978103798192 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45020 KiB

[startup+0.700824 s]
/proc/loadavg: 4.62 4.25 5.06 3/199 25786
/proc/meminfo: memFree=31637028/32770624 swapFree=67108860/67108860
[pid=25765] ppid=25762 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97760045 9740288 346 33554432000 4194304 5098028 140730041544928 140730041543032 139865548296828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22433792 140730041549930 140730041550140 140730041550140 140730041552875 0
/proc/25765/statm: 2378 346 289 221 0 87 0
[pid=25767] ppid=25765 vsize=26006188 memory=230340 CPUtime=1.98 cores=0-7
/proc/25767/stat : 25767 (java) S 25765 25765 7585 0 -1 1077944320 13589 0 0 0 183 15 0 0 20 0 20 0 97760045 26630336512 57585 33554432000 4194304 4196468 140727384150496 140727384133040 139979908083447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
/proc/25767/statm: 6501547 57585 3201 1 0 6488781 0
[pid=25767/tid=25768] ppid=25765 vsize=26006188 memory=281117421226112 CPUtime=0.64 cores=0-7
/proc/25767/task/25768/stat : 25768 (java) S 25765 25765 7585 0 -1 1077944384 6895 0 0 0 60 4 0 0 20 0 20 0 97760046 26630336512 58097 33554432000 4194304 4196468 140727384150496 139979912320000 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25769] ppid=25765 vsize=26006188 memory=5788 CPUtime=0 cores=0-7
/proc/25767/task/25769/stat : 25769 (java) R 25765 25765 7585 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 97760047 26630336512 58097 33554432000 4194304 4196468 140727384150496 139979830663440 139979901188105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25770] ppid=25765 vsize=26006188 memory=1228 CPUtime=0.02 cores=0-7
/proc/25767/task/25770/stat : 25770 (java) R 25765 25765 7585 0 -1 4202560 37 0 0 0 1 1 0 0 20 0 20 0 97760047 26630336512 58097 33554432000 4194304 4196468 140727384150496 139979465445456 139979901188072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25771] ppid=25765 vsize=26006188 memory=796 CPUtime=0.01 cores=0-7
/proc/25767/task/25771/stat : 25771 (java) R 25765 25765 7585 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 20 0 97760047 26630336512 58097 33554432000 4194304 4196468 140727384150496 139979464395480 139979901188072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0

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

[pid=25767/tid=25781] ppid=25765 vsize=26539728 memory=0 CPUtime=2.13 cores=0-7
/proc/25767/task/25781/stat : 25781 (java) S 25765 25765 7585 0 -1 1077944384 3690 0 0 0 212 1 0 0 20 0 28 0 97760051 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978109061616 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25782] ppid=25765 vsize=26539728 memory=0 CPUtime=2.24 cores=0-7
/proc/25767/task/25782/stat : 25782 (java) S 25765 25765 7585 0 -1 1077944384 4753 0 0 0 222 2 0 0 20 0 28 0 97760051 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978108009072 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25783] ppid=25765 vsize=26539728 memory=0 CPUtime=2.15 cores=0-7
/proc/25767/task/25783/stat : 25783 (java) S 25765 25765 7585 0 -1 1077944384 5439 0 0 0 213 2 0 0 20 0 28 0 97760051 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978106956528 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25784] ppid=25765 vsize=26539728 memory=0 CPUtime=0.82 cores=0-7
/proc/25767/task/25784/stat : 25784 (java) S 25765 25765 7585 0 -1 1077944384 4172 0 0 0 81 1 0 0 20 0 28 0 97760051 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978105903984 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25785] ppid=25765 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25767/task/25785/stat : 25785 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760051 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978104850656 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25786] ppid=25765 vsize=26539728 memory=1200 CPUtime=0 cores=0-7
/proc/25767/task/25786/stat : 25786 (java) S 25765 25765 7585 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97760052 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978103798192 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26043] ppid=25765 vsize=26539728 memory=15872 CPUtime=2.05 cores=0-7
/proc/25767/task/26043/stat : 26043 (java) R 25765 25765 7585 0 -1 4202560 487 0 0 0 205 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978091576024 139979517095812 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26044] ppid=25765 vsize=26539728 memory=4040 CPUtime=2.07 cores=0-7
/proc/25767/task/26044/stat : 26044 (java) R 25765 25765 7585 0 -1 4202560 126 0 0 0 207 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978088419400 139979517095812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26045] ppid=25765 vsize=26539728 memory=6791534058613427641 CPUtime=2.08 cores=0-7
/proc/25767/task/26045/stat : 26045 (java) R 25765 25765 7585 0 -1 4202560 179 0 0 0 208 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978093682384 139979517095887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26046] ppid=25765 vsize=26539728 memory=1720 CPUtime=2.08 cores=0-7
/proc/25767/task/26046/stat : 26046 (java) R 25765 25765 7585 0 -1 4202560 273 0 0 0 208 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978089472328 139979517095960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26047] ppid=25765 vsize=26539728 memory=1004 CPUtime=1.98 cores=0-7
/proc/25767/task/26047/stat : 26047 (java) R 25765 25765 7585 0 -1 4202560 2580 0 0 0 198 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978090525128 139979517095736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26048] ppid=25765 vsize=26539728 memory=1436 CPUtime=2.08 cores=0-7
/proc/25767/task/26048/stat : 26048 (java) R 25765 25765 7585 0 -1 4202560 64 0 0 0 208 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978087367104 139979517095430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26049] ppid=25765 vsize=26539728 memory=1200 CPUtime=1.98 cores=0-7
/proc/25767/task/26049/stat : 26049 (java) R 25765 25765 7585 0 -1 4202560 1598 0 0 0 198 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978092630152 139979517095566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26050] ppid=25765 vsize=26539728 memory=15872 CPUtime=1.86 cores=0-7
/proc/25767/task/26050/stat : 26050 (java) R 25765 25765 7585 0 -1 4202560 531 0 0 0 186 0 0 0 20 0 28 0 97760637 27176681472 275814 33554432000 4194304 4196468 140727384150496 139978095787440 139979517095812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
Current children cumulated CPU time: 56.71 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1104640 KiB

[startup+9.6017 s]
/proc/loadavg: 5.05 4.35 5.09 9/207 26050
/proc/meminfo: memFree=30599204/32770624 swapFree=67108860/67108860
[pid=25765] ppid=25762 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97760045 9740288 346 33554432000 4194304 5098028 140730041544928 140730041543032 139865548296828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22433792 140730041549930 140730041550140 140730041550140 140730041552875 0
/proc/25765/statm: 2378 346 289 221 0 87 0
[pid=25767] ppid=25765 vsize=26539728 memory=1107116 CPUtime=68.61 cores=0-7
/proc/25767/stat : 25767 (java) S 25765 25765 7585 0 -1 1077944320 68588 0 0 0 6678 183 0 0 20 0 28 0 97760045 27176681472 276779 33554432000 4194304 4196468 140727384150496 140727384133040 139979908083447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
/proc/25767/statm: 6634932 276779 3292 1 0 6622166 0
[pid=25767/tid=25768] ppid=25765 vsize=26539728 memory=0 CPUtime=1.01 cores=0-7
/proc/25767/task/25768/stat : 25768 (java) S 25765 25765 7585 0 -1 1077944384 7438 0 0 0 94 7 0 0 20 0 28 0 97760046 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979912324224 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25769] ppid=25765 vsize=26539728 memory=0 CPUtime=0.65 cores=0-7
/proc/25767/task/25769/stat : 25769 (java) S 25765 25765 7585 0 -1 1077944384 1963 0 0 0 48 17 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979830663440 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25770] ppid=25765 vsize=26539728 memory=0 CPUtime=0.67 cores=0-7
/proc/25767/task/25770/stat : 25770 (java) S 25765 25765 7585 0 -1 1077944384 1845 0 0 0 50 17 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979465447824 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25771] ppid=25765 vsize=26539728 memory=0 CPUtime=0.65 cores=0-7
/proc/25767/task/25771/stat : 25771 (java) S 25765 25765 7585 0 -1 1077944384 1976 0 0 0 49 16 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979464395280 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25772] ppid=25765 vsize=26539728 memory=0 CPUtime=0.68 cores=0-7
/proc/25767/task/25772/stat : 25772 (java) S 25765 25765 7585 0 -1 1077944384 2081 0 0 0 50 18 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979463342736 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25773] ppid=25765 vsize=26539728 memory=0 CPUtime=0.66 cores=0-7
/proc/25767/task/25773/stat : 25773 (java) S 25765 25765 7585 0 -1 1077944384 1916 0 0 0 49 17 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979462290192 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25774] ppid=25765 vsize=26539728 memory=0 CPUtime=0.64 cores=0-7
/proc/25767/task/25774/stat : 25774 (java) S 25765 25765 7585 0 -1 1077944384 1932 0 0 0 48 16 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979461237648 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25775] ppid=25765 vsize=26539728 memory=33 CPUtime=0.67 cores=0-7
/proc/25767/task/25775/stat : 25775 (java) S 25765 25765 7585 0 -1 1077944384 1922 0 0 0 50 17 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979460185104 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25776] ppid=25765 vsize=26539728 memory=0 CPUtime=0.7 cores=0-7
/proc/25767/task/25776/stat : 25776 (java) S 25765 25765 7585 0 -1 1077944384 1919 0 0 0 51 19 0 0 20 0 28 0 97760047 27176681472 276779 33554432000 4194304 4196468 140727384150496 139979459132560 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25777] ppid=25765 vsize=26539728 memory=0 CPUtime=0.02 cores=0-7
/proc/25767/task/25777/stat : 25777 (java) S 25765 25765 7585 0 -1 1077944384 1084 0 0 0 2 0 0 0 20 0 28 0 97760048 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978113271792 139979908094594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25778] ppid=25765 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25778/stat : 25778 (java) S 25765 25765 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97760049 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978112218080 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25779] ppid=25765 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25779/stat : 25779 (java) S 25765 25765 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97760049 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978111165440 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25780] ppid=25765 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/25767/task/25780/stat : 25780 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97760051 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978110114000 139979908102043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25781] ppid=25765 vsize=26539728 memory=0 CPUtime=2.13 cores=0-7
/proc/25767/task/25781/stat : 25781 (java) S 25765 25765 7585 0 -1 1077944384 3925 0 0 0 212 1 0 0 20 0 28 0 97760051 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978109061616 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25782] ppid=25765 vsize=26539728 memory=6791534058613427641 CPUtime=2.26 cores=0-7
/proc/25767/task/25782/stat : 25782 (java) S 25765 25765 7585 0 -1 1077944384 4757 0 0 0 224 2 0 0 20 0 28 0 97760051 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978108009072 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25783] ppid=25765 vsize=26539728 memory=6944656592455359580 CPUtime=2.17 cores=0-7
/proc/25767/task/25783/stat : 25783 (java) S 25765 25765 7585 0 -1 1077944384 5546 0 0 0 215 2 0 0 20 0 28 0 97760051 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978106956528 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25784] ppid=25765 vsize=26539728 memory=6944656592455360604 CPUtime=0.83 cores=0-7
/proc/25767/task/25784/stat : 25784 (java) S 25765 25765 7585 0 -1 1077944384 5766 0 0 0 82 1 0 0 20 0 28 0 97760051 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978105903984 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25785] ppid=25765 vsize=26539728 memory=5495740422247797458 CPUtime=0 cores=0-7
/proc/25767/task/25785/stat : 25785 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760051 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978104850656 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25786] ppid=25765 vsize=26539728 memory=-7595761213635136096 CPUtime=0 cores=0-7
/proc/25767/task/25786/stat : 25786 (java) S 25765 25765 7585 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 97760052 27176681472 276779 33554432000 4194304 4196468 140727384150496 139978103798192 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
Current children cumulated CPU time: 68.61 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1108500 KiB

[startup+10.4017 s]
/proc/loadavg: 5.05 4.35 5.09 9/207 26066
/proc/meminfo: memFree=30594524/32770624 swapFree=67108860/67108860
[pid=25765] ppid=25762 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97760045 9740288 346 33554432000 4194304 5098028 140730041544928 140730041543032 139865548296828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22433792 140730041549930 140730041550140 140730041550140 140730041552875 0
/proc/25765/statm: 2378 346 289 221 0 87 0
[pid=25767] ppid=25765 vsize=26539728 memory=1109236 CPUtime=75 cores=0-7
/proc/25767/stat : 25767 (java) S 25765 25765 7585 0 -1 1077944320 71393 0 0 0 7314 186 0 0 20 0 28 0 97760045 27176681472 277309 33554432000 4194304 4196468 140727384150496 140727384133040 139979908083447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
/proc/25767/statm: 6634932 277309 3292 1 0 6622166 0
[pid=25767/tid=25768] ppid=25765 vsize=26539728 memory=-6945504543650622756 CPUtime=1.01 cores=0-7
/proc/25767/task/25768/stat : 25768 (java) S 25765 25765 7585 0 -1 1077944384 7438 0 0 0 94 7 0 0 20 0 28 0 97760046 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979912324224 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25769] ppid=25765 vsize=26539728 memory=-7595718316223324558 CPUtime=0.65 cores=0-7
/proc/25767/task/25769/stat : 25769 (java) S 25765 25765 7585 0 -1 1077944384 1963 0 0 0 48 17 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979830663440 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25770] ppid=25765 vsize=26539728 memory=-3253322038155611931 CPUtime=0.67 cores=0-7
/proc/25767/task/25770/stat : 25770 (java) S 25765 25765 7585 0 -1 1077944384 1845 0 0 0 50 17 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979465447824 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25771] ppid=25765 vsize=26539728 memory=1384 CPUtime=0.65 cores=0-7
/proc/25767/task/25771/stat : 25771 (java) S 25765 25765 7585 0 -1 1077944384 1976 0 0 0 49 16 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979464395280 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25772] ppid=25765 vsize=26539728 memory=1102432 CPUtime=0.68 cores=0-7
/proc/25767/task/25772/stat : 25772 (java) S 25765 25765 7585 0 -1 1077944384 2081 0 0 0 50 18 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979463342736 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25773] ppid=25765 vsize=26539728 memory=7813016760996876384 CPUtime=0.66 cores=0-7
/proc/25767/task/25773/stat : 25773 (java) S 25765 25765 7585 0 -1 1077944384 1916 0 0 0 49 17 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979462290192 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25774] ppid=25765 vsize=26539728 memory=2332 CPUtime=0.64 cores=0-7
/proc/25767/task/25774/stat : 25774 (java) S 25765 25765 7585 0 -1 1077944384 1932 0 0 0 48 16 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979461237648 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25775] ppid=25765 vsize=26539728 memory=1292 CPUtime=0.67 cores=0-7
/proc/25767/task/25775/stat : 25775 (java) S 25765 25765 7585 0 -1 1077944384 1922 0 0 0 50 17 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979460185104 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25776] ppid=25765 vsize=26539728 memory=1728 CPUtime=0.7 cores=0-7
/proc/25767/task/25776/stat : 25776 (java) S 25765 25765 7585 0 -1 1077944384 1919 0 0 0 51 19 0 0 20 0 28 0 97760047 27176681472 277309 33554432000 4194304 4196468 140727384150496 139979459132560 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25777] ppid=25765 vsize=26539728 memory=5788 CPUtime=0.02 cores=0-7
/proc/25767/task/25777/stat : 25777 (java) S 25765 25765 7585 0 -1 1077944384 1087 0 0 0 2 0 0 0 20 0 28 0 97760048 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978113271792 139979908094594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25778] ppid=25765 vsize=26539728 memory=1228 CPUtime=0 cores=0-7
/proc/25767/task/25778/stat : 25778 (java) S 25765 25765 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97760049 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978112218080 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25779] ppid=25765 vsize=26539728 memory=796 CPUtime=0 cores=0-7
/proc/25767/task/25779/stat : 25779 (java) S 25765 25765 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97760049 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978111165440 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25780] ppid=25765 vsize=26539728 memory=33 CPUtime=0 cores=0-7
/proc/25767/task/25780/stat : 25780 (java) S 25765 25765 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97760051 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978110114000 139979908102043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25781] ppid=25765 vsize=26539728 memory=-1161699032756280664 CPUtime=2.13 cores=0-7
/proc/25767/task/25781/stat : 25781 (java) S 25765 25765 7585 0 -1 1077944384 3925 0 0 0 212 1 0 0 20 0 28 0 97760051 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978109061616 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25782] ppid=25765 vsize=26539728 memory=1384 CPUtime=2.29 cores=0-7
/proc/25767/task/25782/stat : 25782 (java) S 25765 25765 7585 0 -1 1077944384 5538 0 0 0 227 2 0 0 20 0 28 0 97760051 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978108009072 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25783] ppid=25765 vsize=26539728 memory=1107116 CPUtime=2.17 cores=0-7
/proc/25767/task/25783/stat : 25783 (java) S 25765 25765 7585 0 -1 1077944384 5546 0 0 0 215 2 0 0 20 0 28 0 97760051 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978106956528 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25784] ppid=25765 vsize=26539728 memory=7898351070516488779 CPUtime=0.83 cores=0-7
/proc/25767/task/25784/stat : 25784 (java) S 25765 25765 7585 0 -1 1077944384 5997 0 0 0 82 1 0 0 20 0 28 0 97760051 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978105903984 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25785] ppid=25765 vsize=26539728 memory=6576575808607463337 CPUtime=0 cores=0-7
/proc/25767/task/25785/stat : 25785 (java) S 25765 25765 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760051 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978104850656 139979908093653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=25786] ppid=25765 vsize=26539728 memory=1404226546352825738 CPUtime=0 cores=0-7
/proc/25767/task/25786/stat : 25786 (java) S 25765 25765 7585 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 28 0 97760052 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978103798192 139979908094594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26059] ppid=25765 vsize=26539728 memory=1384 CPUtime=1.09 cores=0-7
/proc/25767/task/26059/stat : 26059 (java) R 25765 25765 7585 0 -1 4202560 364 0 0 0 109 0 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978087366104 139979519535927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26060] ppid=25765 vsize=26539728 memory=1103348 CPUtime=1.09 cores=0-7
/proc/25767/task/26060/stat : 26060 (java) R 25765 25765 7585 0 -1 4202560 19 0 0 0 109 0 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978090524672 139979520049150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26061] ppid=25765 vsize=26539728 memory=24292 CPUtime=1.06 cores=0-7
/proc/25767/task/26061/stat : 26061 (java) R 25765 25765 7585 0 -1 4202560 53 0 0 0 105 1 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978092629824 139979517096191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26062] ppid=25765 vsize=26539728 memory=7451609539861307712 CPUtime=1.09 cores=0-7
/proc/25767/task/26062/stat : 26062 (java) R 25765 25765 7585 0 -1 4202560 171 0 0 0 109 0 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978093682768 139979517095808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26063] ppid=25765 vsize=26539728 memory=6153431502485414504 CPUtime=1.08 cores=0-7
/proc/25767/task/26063/stat : 26063 (java) R 25765 25765 7585 0 -1 4202560 1011 0 0 0 108 0 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978089472448 139979517095851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26064] ppid=25765 vsize=26539728 memory=0 CPUtime=1.06 cores=0-7
/proc/25767/task/26064/stat : 26064 (java) R 25765 25765 7585 0 -1 4202560 18 0 0 0 106 0 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978088419928 139979517274317 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26065] ppid=25765 vsize=26539728 memory=56 CPUtime=1.08 cores=0-7
/proc/25767/task/26065/stat : 26065 (java) R 25765 25765 7585 0 -1 4202560 1797 0 0 0 107 1 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978091577048 139979519108436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
[pid=25767/tid=26066] ppid=25765 vsize=26539728 memory=0 CPUtime=1.09 cores=0-7
/proc/25767/task/26066/stat : 26066 (java) R 25765 25765 7585 0 -1 4202560 63 0 0 0 109 0 0 0 20 0 28 0 97760976 27176681472 277309 33554432000 4194304 4196468 140727384150496 139978095787536 139979517095731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140727384159384 140727384159560 140727384159560 140727384162255 0
Current children cumulated CPU time: 75 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1110620 KiB

[startup+10.8012 s]
/proc/loadavg: 5.05 4.35 5.09 9/207 26066
/proc/meminfo: memFree=30594524/32770624 swapFree=67108860/67108860
[pid=25765] ppid=25762 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97760045 9740288 346 33554432000 4194304 5098028 140730041544928 140730041543032 139865548296828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22433792 140730041549930 140730041550140 140730041550140 140730041552875 0
/proc/25765/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): 10.8116
CPU time (s): 77.8943
CPU user time (s): 76.0045
CPU system time (s): 1.88982
CPU usage (%): 720.47
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 1110688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.0045
system time used= 1.88982
maximum resident set size= 1109304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8257
involuntary context switches= 1435


# summary of solver processes directly reported to runsolver:
#   pid: 25765
#   total CPU time (s): 77.8943
#   total CPU user time (s): 76.0045
#   total CPU system time (s): 1.88982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103413 second user time and 0.164112 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 19:37:44
IDJOB=4271522
IDBENCH=138319
IDSOLVER=2663
FILE ID=node112/4271522-1502646722
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-ff57.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-4271522-1502646722/watcher-4271522-1502646722 -o /tmp/evaluation-result-4271522-1502646722/solver-4271522-1502646722 -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 1987389586 HOME/instance-4271522-1502646722.xml

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

MD5SUM BENCH= 9601f9fdcfec45ff7e2268abb15a55d6
RANDOM SEED=1987389586

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:        31691792 kB
MemAvailable:   31976664 kB
Buffers:          132028 kB
Cached:           433088 kB
SwapCached:            0 kB
Active:           458108 kB
Inactive:         162892 kB
Active(anon):       6968 kB
Inactive(anon):    76476 kB
Active(file):     451140 kB
Inactive(file):    86416 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7964 kB
Writeback:             0 kB
AnonPages:         77940 kB
Mapped:            43372 kB
Shmem:             25224 kB
Slab:             152376 kB
SReclaimable:     126304 kB
SUnreclaim:        26072 kB
KernelStack:        3520 kB
PageTables:         5144 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:     20480 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:55