Trace number 4270052

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 seq (2017-08-09)SAT (TO)1760 244.82899 240.086

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.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270052-1502623766.xml"  -tl '264s' -p 1 -x 0
0.08/0.28	c [HOME/instance-4270052-1502623766.xml, -tl, 264s, -p, 1, -x, 0]
0.26/0.34	c simple solver
0.26/0.40	c parse instance...
1.30/0.75	c solve instance...
2.27/1.01	o 3624 
2.27/1.02	o 3610 
2.27/1.03	o 3564 
2.27/1.08	o 3225 
2.27/1.09	o 3165 
2.59/1.14	o 3160 
2.59/1.19	o 2952 
2.87/1.23	o 2928 
7.39/4.62	o 2638 
7.39/4.64	o 2465 
7.39/4.65	o 2449 
7.39/4.65	o 2437 
7.39/4.66	o 2385 
7.39/4.69	o 2381 
156.83/152.75	o 2351 
156.83/152.76	o 2335 
156.83/152.77	o 2313 
156.95/152.81	o 2199 
158.26/154.17	o 2194 
158.59/154.44	o 1962 
175.46/171.23	o 1948 
177.46/173.22	o 1765 
177.66/173.48	o 1760 
244.59/240.07	s SATISFIABLE
244.59/240.07	v <instantiation>
244.59/240.07	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>
244.59/240.07	v 	<values>55 106 312 647 769 874 38 13 219 554 676 781 51 0 206 541 663 768 51 0 206 541 663 768 855 804 598 263 141 36 855 804 598 263 141 36 47 4 210 545 667 772 4 55 261 596 718 823 4 55 261 596 718 823 55 106 312 647 769 874 714 663 457 122 0 105 714 663 457 122 0 105 216 165 41 376 498 603 217 166 40 375 497 602 488 437 231 104 226 331 487 436 230 105 227 332 105 54 152 487 609 714 100 49 157 492 614 719 119 68 138 473 595 700 118 67 139 474 596 701 285 234 28 307 429 534 285 234 28 307 429 534 33 84 290 625 747 852 102 51 155 490 612 717 102 51 155 490 612 717 81 30 176 511 633 738 81 30 176 511 633 738 0 51 257 592 714 819 0 51 257 592 714 819 819 768 562 227 105 0 819 768 562 227 105 0 259 208 2 333 455 560 257 206 0 335 457 562 469 418 212 123 245 350 763 712 506 171 49 56 763 712 506 171 49 56 650 599 393 58 64 169 650 599 393 58 64 169 548 497 291 44 166 271 548 497 291 44 166 271 593 542 336 1 121 226 592 541 335 0 122 227 168 117 89 424 546 651 177 126 80 415 537 642 34 85 291 626 748 853 524 473 267 68 190 295 524 473 267 68 190 295 21 72 278 613 735 840 27 78 284 619 741 846 14 37 243 578 700 805 13 0 0 36 36 4 4 4 55 0 0 41 40 104 105 54 49 68 67 28 28 33 51 51 30 30 0 0 0 0 2 0 123 49 49 58 58 44 44 1 0 89 80 34 68 68 21 27 14 </values>
244.59/240.07	v </instantiation>
244.59/240.07	c Unexpected resolution interruption!

Verifier Data 

OK	1760

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270052-1502623766/watcher-4270052-1502623766 -o /tmp/evaluation-result-4270052-1502623766/solver-4270052-1502623766 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 893275220 HOME/instance-4270052-1502623766.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23990, runsolver pid=23987
Current StackSize limit: 8192 KiB


[startup+0.100234 s]*
/proc/loadavg: 2.02 1.97 1.83 3/197 23992
/proc/meminfo: memFree=31719252/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=11659680 memory=9548 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 2188 0 0 0 0 0 0 0 20 0 4 0 50717287 11939512320 2387 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 2914920 2387 1150 1 0 2904890 0
[pid=23992/tid=23993] ppid=23990 vsize=13356504 memory=-8713483618642981981 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 1112 0 0 0 0 0 0 0 20 0 6 0 50717287 13677060096 2598 18446744073709551615 4194304 4196468 140729061943120 140651275249768 140651257089279 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13356504 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50717288 13677060096 2598 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13356504 memory=140641313711744 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50717288 13677060096 2598 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 6 0 50717288 13677060096 2598 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50717288 13677060096 2598 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11669192 KiB
Current children cumulated memory: 10928 KiB

[startup+0.209935 s]*
/proc/loadavg: 2.02 1.97 1.83 3/211 24006
/proc/meminfo: memFree=31705844/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=13974352 memory=26840 CPUtime=0.08 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 5137 0 0 0 7 1 0 0 20 0 15 0 50717287 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 3493588 6710 2723 1 0 3482964 0
[pid=23992/tid=23993] ppid=23990 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 3278 0 0 0 5 1 0 0 20 0 15 0 50717287 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140651275233680 140651253282848 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13974352 memory=3906503355954849440 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23998] ppid=23990 vsize=13974352 memory=140641313711744 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23998/stat : 23998 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717289 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650749589872 140651271019138 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23999] ppid=23990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23999/stat : 23999 (java) S 23990 23990 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50717290 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650748535840 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24000] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24000/stat : 24000 (java) S 23990 23990 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50717290 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650747482992 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24001] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24001/stat : 24001 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650746431312 140651271026587 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24002] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24002/stat : 24002 (java) S 23990 23990 11586 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 50717292 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650745379696 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24003] ppid=23990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24003/stat : 24003 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650744326896 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24004] ppid=23990 vsize=13974352 memory=140641313711744 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24004/stat : 24004 (java) S 23990 23990 11586 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 50717292 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650743274096 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24005] ppid=23990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24005/stat : 24005 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650742221536 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24006] ppid=23990 vsize=13974352 memory=140641313711744 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24006/stat : 24006 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717297 14309736448 6710 18446744073709551615 4194304 4196468 140729061943120 140650741168816 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28220 KiB

[startup+0.31008 s]*
/proc/loadavg: 2.02 1.97 1.83 4/211 24006
/proc/meminfo: memFree=31690108/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=13974352 memory=36952 CPUtime=0.26 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 8819 0 0 0 24 2 0 0 20 0 15 0 50717287 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 3493588 9238 2982 1 0 3482964 0
[pid=23992/tid=23993] ppid=23990 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 6085 0 0 0 14 2 0 0 20 0 15 0 50717287 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140651275220768 140650867670311 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717288 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23998] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23998/stat : 23998 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717289 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650749589872 140651271019138 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23999] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23999/stat : 23999 (java) S 23990 23990 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50717290 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650748535840 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24000] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24000/stat : 24000 (java) S 23990 23990 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50717290 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650747482992 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24001] ppid=23990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24001/stat : 24001 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650746431312 140651271026587 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24002] ppid=23990 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23992/task/24002/stat : 24002 (java) R 23990 23990 11586 0 -1 4202560 603 0 0 0 2 0 0 0 20 0 15 0 50717292 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650745379696 140651255396880 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24003] ppid=23990 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23992/task/24003/stat : 24003 (java) R 23990 23990 11586 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 50717292 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650744326896 140651271019138 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24004] ppid=23990 vsize=13974352 memory=140641313711744 CPUtime=0.05 cores=1,3,5,7
/proc/23992/task/24004/stat : 24004 (java) R 23990 23990 11586 0 -1 4202560 726 0 0 0 5 0 0 0 20 0 15 0 50717292 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650743274096 140651254378338 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24005] ppid=23990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24005/stat : 24005 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650742221536 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24006] ppid=23990 vsize=13974352 memory=140641313711744 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24006/stat : 24006 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717297 14309736448 9238 18446744073709551615 4194304 4196468 140729061943120 140650741168816 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38332 KiB

[startup+0.701235 s]
/proc/loadavg: 2.02 1.97 1.83 4/211 24006
/proc/meminfo: memFree=31679504/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=13980732 memory=128012 CPUtime=1.3 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 13400 0 0 0 125 5 0 0 20 0 15 0 50717287 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 3495183 32003 3159 1 0 3483476 0
[pid=23992/tid=23993] ppid=23990 vsize=13980732 memory=281282374410712 CPUtime=0.54 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 8019 0 0 0 50 4 0 0 20 0 15 0 50717287 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140651275243856 140650871202790 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13980732 memory=281282374526848 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13980732 memory=329 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23998] ppid=23990 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23998/stat : 23998 (java) S 23990 23990 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50717289 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650749589872 140651271019138 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23999] ppid=23990 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23999/stat : 23999 (java) S 23990 23990 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650748535840 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24000] ppid=23990 vsize=13980732 memory=3472464538560036122 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24000/stat : 24000 (java) S 23990 23990 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650747482992 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24001] ppid=23990 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24001/stat : 24001 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650746431312 140651271026587 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24002] ppid=23990 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/23992/task/24002/stat : 24002 (java) R 23990 23990 11586 0 -1 4202560 1442 0 0 0 22 0 0 0 20 0 15 0 50717292 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650745379696 140651254493883 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24003] ppid=23990 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/23992/task/24003/stat : 24003 (java) R 23990 23990 11586 0 -1 4202560 907 0 0 0 20 0 0 0 20 0 15 0 50717292 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650744308288 140651255403799 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24004] ppid=23990 vsize=13980732 memory=1654 CPUtime=0.31 cores=1,3,5,7
/proc/23992/task/24004/stat : 24004 (java) S 23990 23990 11586 0 -1 1077944384 1724 0 0 0 31 0 0 0 20 0 15 0 50717292 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650743274096 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24005] ppid=23990 vsize=13980732 memory=179 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24005/stat : 24005 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650742221536 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24006] ppid=23990 vsize=13980732 memory=17 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24006/stat : 24006 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717297 14316269568 32003 18446744073709551615 4194304 4196468 140729061943120 140650741168816 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 129392 KiB

[startup+1.50087 s]
/proc/loadavg: 2.02 1.97 1.83 5/211 24006
/proc/meminfo: memFree=31581188/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=13980732 memory=159592 CPUtime=3.78 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 23312 0 0 0 371 7 0 0 20 0 15 0 50717287 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 3495183 39898 3180 1 0 3483476 0
[pid=23992/tid=23993] ppid=23990 vsize=13980732 memory=55 CPUtime=1.33 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 9181 0 0 0 129 4 0 0 20 0 15 0 50717287 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140651275243168 140650872197378 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13980732 memory=157592 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13980732 memory=179 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13980732 memory=17 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23998] ppid=23990 vsize=13980732 memory=281282374326816 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23998/stat : 23998 (java) S 23990 23990 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50717289 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140650749589872 140651271019138 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23999] ppid=23990 vsize=13980732 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23999/stat : 23999 (java) S 23990 23990 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 39898 18446744073709551615 4194304 4196468 140729061943120 140650748535840 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24000] ppid=23990 vsize=13980732 memory=3467824627880452160 CPUtime=0 cores=1,3,5,7

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

/proc/23992/task/24000/stat : 24000 (java) S 23990 23990 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 39999 18446744073709551615 4194304 4196468 140729061943120 140650747482992 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24001] ppid=23990 vsize=13980732 memory=589972051086833205 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24001/stat : 24001 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 39999 18446744073709551615 4194304 4196468 140729061943120 140650746431312 140651271026587 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24002] ppid=23990 vsize=13980732 memory=65 CPUtime=1.75 cores=1,3,5,7
/proc/23992/task/24002/stat : 24002 (java) S 23990 23990 11586 0 -1 1077944384 15727 0 0 0 173 2 0 0 20 0 15 0 50717292 14316269568 39999 18446744073709551615 4194304 4196468 140729061943120 140650745379696 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24003] ppid=23990 vsize=13980732 memory=7589517932316221504 CPUtime=1.8 cores=1,3,5,7
/proc/23992/task/24003/stat : 24003 (java) S 23990 23990 11586 0 -1 1077944384 16011 0 0 0 178 2 0 0 20 0 15 0 50717292 14316269568 39999 18446744073709551615 4194304 4196468 140729061943120 140650744326896 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24004] ppid=23990 vsize=13980732 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/23992/task/24004/stat : 24004 (java) S 23990 23990 11586 0 -1 1077944384 4219 0 0 0 49 1 0 0 20 0 15 0 50717292 14316269568 39999 18446744073709551615 4194304 4196468 140729061943120 140650743274096 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24005] ppid=23990 vsize=13980732 memory=4121414039275630624 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24005/stat : 24005 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 39999 18446744073709551615 4194304 4196468 140729061943120 140650742221536 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24006] ppid=23990 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/23992/task/24006/stat : 24006 (java) S 23990 23990 11586 0 -1 1077944384 241 0 0 0 0 1 0 0 20 0 15 0 50717297 14316269568 39999 18446744073709551615 4194304 4196468 140729061943120 140650741168816 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 106.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 161376 KiB

[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.86 3/211 24011
/proc/meminfo: memFree=31459204/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=13980732 memory=166280 CPUtime=166.52 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 56737 0 0 0 16639 13 0 0 20 0 15 0 50717287 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 3495183 41570 3193 1 0 3483476 0
[pid=23992/tid=23993] ppid=23990 vsize=13980732 memory=164232 CPUtime=162.14 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 13562 0 0 0 16209 5 0 0 20 0 15 0 50717287 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140651275245336 140650872112993 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13980732 memory=164232 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13980732 memory=166280 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13980732 memory=166280 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23998] ppid=23990 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23998/stat : 23998 (java) S 23990 23990 11586 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 50717289 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650749589872 140651271019138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23999] ppid=23990 vsize=13980732 memory=162128 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23999/stat : 23999 (java) S 23990 23990 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650748535840 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24000] ppid=23990 vsize=13980732 memory=15333 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24000/stat : 24000 (java) S 23990 23990 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650747482992 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24001] ppid=23990 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24001/stat : 24001 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650746431312 140651271026587 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24002] ppid=23990 vsize=13980732 memory=1380 CPUtime=1.86 cores=1,3,5,7
/proc/23992/task/24002/stat : 24002 (java) S 23990 23990 11586 0 -1 1077944384 18180 0 0 0 184 2 0 0 20 0 15 0 50717292 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650745379696 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24003] ppid=23990 vsize=13980732 memory=1380 CPUtime=1.93 cores=1,3,5,7
/proc/23992/task/24003/stat : 24003 (java) S 23990 23990 11586 0 -1 1077944384 18210 0 0 0 191 2 0 0 20 0 15 0 50717292 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650744326896 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24004] ppid=23990 vsize=13980732 memory=164232 CPUtime=0.52 cores=1,3,5,7
/proc/23992/task/24004/stat : 24004 (java) S 23990 23990 11586 0 -1 1077944384 4748 0 0 0 51 1 0 0 20 0 15 0 50717292 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650743274096 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24005] ppid=23990 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24005/stat : 24005 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650742221536 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24006] ppid=23990 vsize=13980732 memory=2244 CPUtime=0.03 cores=1,3,5,7
/proc/23992/task/24006/stat : 24006 (java) S 23990 23990 11586 0 -1 1077944384 281 0 0 0 1 2 0 0 20 0 15 0 50717297 14316269568 41570 18446744073709551615 4194304 4196468 140729061943120 140650741168816 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 166.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 167660 KiB

[startup+222.301 s]
/proc/loadavg: 2.06 1.99 1.87 3/211 24013
/proc/meminfo: memFree=31436352/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=13980732 memory=183600 CPUtime=226.71 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 58540 0 0 0 22657 14 0 0 20 0 15 0 50717287 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 3495183 45900 3194 1 0 3483476 0
[pid=23992/tid=23993] ppid=23990 vsize=13980732 memory=183596 CPUtime=222.14 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 14054 0 0 0 22209 5 0 0 20 0 15 0 50717287 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140651275246472 140650872112993 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13980732 memory=183576 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13980732 memory=179480 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13980732 memory=179480 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13980732 memory=179480 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23998] ppid=23990 vsize=13980732 memory=181528 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23998/stat : 23998 (java) S 23990 23990 11586 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 50717289 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650749589872 140651271019138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23999] ppid=23990 vsize=13980732 memory=183596 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23999/stat : 23999 (java) S 23990 23990 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650748535840 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24000] ppid=23990 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24000/stat : 24000 (java) S 23990 23990 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650747482992 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24001] ppid=23990 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24001/stat : 24001 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650746431312 140651271026587 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24002] ppid=23990 vsize=13980732 memory=1380 CPUtime=1.9 cores=1,3,5,7
/proc/23992/task/24002/stat : 24002 (java) S 23990 23990 11586 0 -1 1077944384 18330 0 0 0 188 2 0 0 20 0 15 0 50717292 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650745379696 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24003] ppid=23990 vsize=13980732 memory=1380 CPUtime=2.05 cores=1,3,5,7
/proc/23992/task/24003/stat : 24003 (java) S 23990 23990 11586 0 -1 1077944384 18826 0 0 0 203 2 0 0 20 0 15 0 50717292 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650744326896 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24004] ppid=23990 vsize=13980732 memory=1380 CPUtime=0.53 cores=1,3,5,7
/proc/23992/task/24004/stat : 24004 (java) S 23990 23990 11586 0 -1 1077944384 5262 0 0 0 52 1 0 0 20 0 15 0 50717292 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650743274096 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24005] ppid=23990 vsize=13980732 memory=183576 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24005/stat : 24005 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650742221536 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24006] ppid=23990 vsize=13980732 memory=183576 CPUtime=0.03 cores=1,3,5,7
/proc/23992/task/24006/stat : 24006 (java) S 23990 23990 11586 0 -1 1077944384 288 0 0 0 1 2 0 0 20 0 15 0 50717297 14316269568 45900 18446744073709551615 4194304 4196468 140729061943120 140650741168816 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 226.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 184980 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.12 2.01 1.88 3/211 24091
/proc/meminfo: memFree=31249808/32770624 swapFree=67108860/67108860
[pid=23990] ppid=23987 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (xcsp3-exec) S 23987 23990 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50717277 9740288 345 18446744073709551615 4194304 5098028 140731647570976 140731647569080 140641236955772 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 16138240 140731647578495 140731647578698 140731647578698 140731647582187 0
/proc/23990/statm: 2378 345 289 221 0 87 0
[pid=23992] ppid=23990 vsize=13980732 memory=190804 CPUtime=244.59 cores=1,3,5,7
/proc/23992/stat : 23992 (java) S 23990 23990 11586 0 -1 1077944320 61853 0 0 0 24444 15 0 0 20 0 15 0 50717287 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140729061925664 140651271007991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
/proc/23992/statm: 3495183 47701 3194 1 0 3483476 0
[pid=23992/tid=23993] ppid=23990 vsize=13980732 memory=8896 CPUtime=239.85 cores=1,3,5,7
/proc/23992/task/23993/stat : 23993 (java) R 23990 23990 11586 0 -1 4202560 14066 0 0 0 23979 6 0 0 20 0 15 0 50717287 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140651275244448 140650872557341 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23994] ppid=23990 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23994/stat : 23994 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140651190422672 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23995] ppid=23990 vsize=13980732 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23995/stat : 23995 (java) S 23990 23990 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140651189369872 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23996] ppid=23990 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23996/stat : 23996 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140651188317072 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23997] ppid=23990 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23997/stat : 23997 (java) S 23990 23990 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50717288 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650867583760 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23998] ppid=23990 vsize=13980732 memory=188756 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23998/stat : 23998 (java) S 23990 23990 11586 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 15 0 50717289 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650749589872 140651271019138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=23999] ppid=23990 vsize=13980732 memory=2756 CPUtime=0 cores=1,3,5,7
/proc/23992/task/23999/stat : 23999 (java) S 23990 23990 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650748535840 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24000] ppid=23990 vsize=13980732 memory=2876 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24000/stat : 24000 (java) S 23990 23990 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50717290 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650747482992 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24001] ppid=23990 vsize=13980732 memory=4060 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24001/stat : 24001 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650746431312 140651271026587 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24002] ppid=23990 vsize=13980732 memory=1156 CPUtime=2.04 cores=1,3,5,7
/proc/23992/task/24002/stat : 24002 (java) S 23990 23990 11586 0 -1 1077944384 20794 0 0 0 202 2 0 0 20 0 15 0 50717292 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650745379696 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24003] ppid=23990 vsize=13980732 memory=1380 CPUtime=2.08 cores=1,3,5,7
/proc/23992/task/24003/stat : 24003 (java) S 23990 23990 11586 0 -1 1077944384 19645 0 0 0 206 2 0 0 20 0 15 0 50717292 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650744326896 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24004] ppid=23990 vsize=13980732 memory=188756 CPUtime=0.53 cores=1,3,5,7
/proc/23992/task/24004/stat : 24004 (java) S 23990 23990 11586 0 -1 1077944384 5262 0 0 0 52 1 0 0 20 0 15 0 50717292 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650743274096 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24005] ppid=23990 vsize=13980732 memory=2756 CPUtime=0 cores=1,3,5,7
/proc/23992/task/24005/stat : 24005 (java) S 23990 23990 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50717292 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650742221536 140651271018197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
[pid=23992/tid=24006] ppid=23990 vsize=13980732 memory=2876 CPUtime=0.05 cores=1,3,5,7
/proc/23992/task/24006/stat : 24006 (java) S 23990 23990 11586 0 -1 1077944384 296 0 0 0 2 3 0 0 20 0 15 0 50717297 14316269568 47701 18446744073709551615 4194304 4196468 140729061943120 140650741168816 140651271019138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140729061945783 140729061945958 140729061945958 140729061949391 0
Current children cumulated CPU time: 244.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 192184 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.038 s]
# the end of solver process 23990 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001856 s, system=0 s

[startup+240.086 s]
# the end of solver process 23992 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.569 s, system=0.260108 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 240.086
CPU time (s): 244.829
CPU user time (s): 244.569
CPU system time (s): 0.260108
CPU usage (%): 101.975
Max. virtual memory (cumulated for all children) (KiB): 13993792
Max. memory (cumulated for all children) (KiB): 192184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.569
system time used= 0.260108
maximum resident set size= 269412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64169
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7360
involuntary context switches= 121


# summary of solver processes directly reported to runsolver:
#   pid: 23990,23992
#   total CPU time (s): 244.829
#   total CPU user time (s): 244.569
#   total CPU system time (s): 0.260108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33987 second user time and 2.04276 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-13 13:15:10
IDJOB=4270052
IDBENCH=138319
IDSOLVER=2661
FILE ID=node124/4270052-1502623766
RUNJOBID= node124-1502619510-21066
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff57.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270052-1502623766/watcher-4270052-1502623766 -o /tmp/evaluation-result-4270052-1502623766/solver-4270052-1502623766 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 893275220 HOME/instance-4270052-1502623766.xml

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

MD5SUM BENCH= 9601f9fdcfec45ff7e2268abb15a55d6
RANDOM SEED=893275220

node124.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.51
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.51
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.51
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.51
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:        31719568 kB
MemAvailable:   31920516 kB
Buffers:          160132 kB
Cached:           331040 kB
SwapCached:            0 kB
Active:           458600 kB
Inactive:         169592 kB
Active(anon):      88468 kB
Inactive(anon):    73880 kB
Active(file):     370132 kB
Inactive(file):    95712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7944 kB
Writeback:             0 kB
AnonPages:        218936 kB
Mapped:            54596 kB
Shmem:             25320 kB
Slab:             128056 kB
SReclaimable:     101876 kB
SUnreclaim:        26180 kB
KernelStack:        3760 kB
PageTables:         4980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1264016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 62016 MiB
End job on node124 at 2017-08-13 13:19:10