Trace number 4271862

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)SAT (TO)649 1532.24 252.02901

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-1.xml
MD5SUM133cdadaee2e697c51b4261ec7f2679b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark620
Best CPU time to get the best result obtained on this benchmark251.35899
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size696
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":10},{"size":10,"count":180},{"size":696,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

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-4271862-1502637784.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271862-1502637784.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.31/0.28	c parse instance...
2.08/0.88	c solve instance...
100.83/13.38	o 693 
171.68/22.43	o 692 
207.05/27.41	o 691 
208.20/27.82	o 690 
210.22/28.37	o 689 
267.22/35.70	o 688 
306.60/40.74	o 687 
384.80/50.90	o 686 
385.96/51.79	o 685 
388.23/52.92	o 684 
388.71/53.02	o 683 
394.36/54.47	o 682 
418.69/57.96	o 681 
481.97/68.63	o 680 
532.48/75.30	o 679 
627.63/88.06	o 678 
644.30/91.09	o 677 
649.00/91.90	o 676 
756.35/108.88	o 675 
798.40/118.24	o 674 
810.47/128.09	o 673 
813.18/128.88	o 672 
817.58/132.40	o 671 
825.58/135.65	o 661 
898.68/146.84	o 660 
1091.14/173.21	o 659 
1096.38/177.30	o 658 
1100.28/179.82	o 657 
1132.80/184.09	o 656 
1140.92/185.16	o 654 
1152.78/189.88	o 653 
1174.46/195.97	o 652 
1321.14/218.58	o 651 
1344.54/226.22	o 650 
1464.88/243.28	o 649 
1532.19/252.01	s SATISFIABLE
1532.19/252.01	v <instantiation>
1532.19/252.01	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] </list>
1532.19/252.01	v 	<values>0 96 126 203 258 282 382 418 454 552 17 48 139 186 192 258 366 458 548 551 21 70 127 178 214 316 397 487 537 593 0 4 20 22 93 196 217 283 378 574 80 140 218 309 393 463 552 577 596 626 10 51 87 205 256 332 383 454 461 514 7 17 47 81 183 186 201 339 415 532 12 99 186 269 356 367 435 458 556 603 2 75 103 174 280 377 411 425 446 510 1 22 138 157 259 276 379 467 528 580 649 649 646 649 640 546 616 617 526 635 51 30 77 50 18 95 36 36 97 97 12 88 26 6 64 81 45 90 3 98 49 9 51 31 43 73 87 39 46 53 4 13 2 71 93 21 66 95 57 75 58 65 91 55 67 88 22 15 29 14 38 36 96 51 76 46 59 4 45 32 6 28 33 93 3 10 76 51 89 84 87 87 82 86 10 68 23 91 33 14 59 23 17 83 54 2 4 18 50 16 19 73 18 29 14 53 88 61 46 55 6 1 0 9 8 7 3 5 2 4 2 3 5 9 1 0 4 8 7 6 4 8 1 5 0 6 9 7 3 2 7 3 1 5 4 6 2 9 8 0 2 3 6 4 0 5 9 7 8 1 7 6 9 3 1 8 2 5 0 4 5 3 2 8 9 6 7 0 4 1 0 7 4 5 3 1 8 6 2 9 9 7 5 8 3 2 4 6 1 0 4 1 2 6 9 8 7 3 0 5 126 96 454 382 552 418 0 282 258 203 258 192 17 48 366 139 551 548 458 186 214 127 593 537 21 178 316 487 70 397 574 20 217 4 93 22 196 0 378 283 393 626 80 140 309 463 218 577 596 552 461 256 383 205 514 454 51 10 332 87 339 532 47 17 415 7 186 201 81 183 12 367 556 356 186 269 458 99 435 603 510 446 377 280 411 103 425 75 174 2 528 22 138 467 1 580 157 379 276 259 </values>
1532.19/252.01	v </instantiation>
1532.19/252.01	c Unexpected resolution interruption!

Verifier Data 

OK	649

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271862-1502637784/watcher-4271862-1502637784 -o /tmp/evaluation-result-4271862-1502637784/solver-4271862-1502637784 -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 2124847174 HOME/instance-4271862-1502637784.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=7798, runsolver pid=7795
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 8.77 5.50 3.19 2/200 7819
/proc/meminfo: memFree=31701120/32770624 swapFree=67108860/67108860
[pid=7798] ppid=7795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7798/stat : 7798 (xcsp3-exec) S 7795 7798 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866242 9740288 346 33554432000 4194304 5098028 140726350046480 140726350044584 140579260367484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140726350054506 140726350054716 140726350054716 140726350057451 0
/proc/7798/statm: 2378 346 289 221 0 87 0
[pid=7800] ppid=7798 vsize=25999808 memory=26220 CPUtime=0.11 cores=0-7
/proc/7800/stat : 7800 (java) S 7798 7798 7585 0 -1 1077944320 5493 0 0 0 10 1 0 0 20 0 20 0 96866242 26623803392 6555 33554432000 4194304 4196468 140724262470144 140724262452688 139684127633143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
/proc/7800/statm: 6499952 6555 2843 1 0 6488269 0
[pid=7800/tid=7801] ppid=7798 vsize=25999808 memory=4139541924148310935 CPUtime=0.09 cores=0-7
/proc/7800/task/7801/stat : 7801 (java) R 7798 7798 7585 0 -1 4202560 3499 0 0 0 8 1 0 0 20 0 20 0 96866243 26623803392 6620 33554432000 4194304 4196468 140724262470144 139684131867680 139684127645078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7802] ppid=7798 vsize=25999808 memory=732370024652139493 CPUtime=0 cores=0-7
/proc/7800/task/7802/stat : 7802 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139684084186256 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7803] ppid=7798 vsize=25999808 memory=139886314686080 CPUtime=0 cores=0-7
/proc/7800/task/7803/stat : 7803 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139684083133456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7804] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7804/stat : 7804 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139684082080656 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7805] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7805/stat : 7805 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683682712336 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7806] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7806/stat : 7806 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683681659536 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7807] ppid=7798 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7800/task/7807/stat : 7807 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683680606736 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7808] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7808/stat : 7808 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683679553936 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7809] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7809/stat : 7809 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866244 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683678501136 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7810] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7810/stat : 7810 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866245 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683523476336 139684127644290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7811] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7811/stat : 7811 (java) S 7798 7798 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96866245 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683522422304 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7812] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7812/stat : 7812 (java) S 7798 7798 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96866246 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683521369456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7813] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7813/stat : 7813 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866248 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683520317776 139684127651739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7814] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7814/stat : 7814 (java) S 7798 7798 7585 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 96866248 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683519265136 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7815] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7815/stat : 7815 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866248 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683518212336 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7816] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7816/stat : 7816 (java) S 7798 7798 7585 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 96866248 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683517159536 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7817] ppid=7798 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7800/task/7817/stat : 7817 (java) R 7798 7798 7585 0 -1 4202560 290 0 0 0 1 0 0 0 20 0 20 0 96866248 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683516106736 139684106502742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7818] ppid=7798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7818/stat : 7818 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866248 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683515055200 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7819] ppid=7798 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7800/task/7819/stat : 7819 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866248 26623803392 6620 33554432000 4194304 4196468 140724262470144 139683514002480 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27604 KiB

[startup+0.210162 s]*
/proc/loadavg: 8.77 5.50 3.19 1/200 7819
/proc/meminfo: memFree=31691292/32770624 swapFree=67108860/67108860
[pid=7798] ppid=7795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7798/stat : 7798 (xcsp3-exec) S 7795 7798 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866242 9740288 346 33554432000 4194304 5098028 140726350046480 140726350044584 140579260367484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140726350054506 140726350054716 140726350054716 140726350057451 0
/proc/7798/statm: 2378 346 289 221 0 87 0
[pid=7800] ppid=7798 vsize=25999840 memory=36252 CPUtime=0.31 cores=0-7
/proc/7800/stat : 7800 (java) S 7798 7798 7585 0 -1 1077944320 8198 0 0 0 29 2 0 0 20 0 20 0 96866242 26623836160 9063 33554432000 4194304 4196468 140724262470144 140724262452688 139684127633143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
/proc/7800/statm: 6499960 9063 3009 1 0 6488277 0
[pid=7800/tid=7801] ppid=7798 vsize=26001924 memory=0 CPUtime=0.17 cores=0-7
/proc/7800/task/7801/stat : 7801 (java) D 7798 7798 7585 0 -1 4202560 5368 0 0 0 16 1 0 0 20 0 20 0 96866243 26625970176 9120 33554432000 4194304 4196468 140724262470144 139684131854136 139684129908487 0 4 0 16800975 18446744071580419588 0 0 -1 2 0 0 1 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7802] ppid=7798 vsize=26001924 memory=279772527101688 CPUtime=0 cores=0-7
/proc/7800/task/7802/stat : 7802 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139684084186256 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7803] ppid=7798 vsize=26001924 memory=139886314686080 CPUtime=0 cores=0-7
/proc/7800/task/7803/stat : 7803 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139684083133456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7804] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7804/stat : 7804 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139684082080656 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7805] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7805/stat : 7805 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683682712336 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7806] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7806/stat : 7806 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683681659536 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7807] ppid=7798 vsize=26001924 memory=-1 CPUtime=0 cores=0-7
/proc/7800/task/7807/stat : 7807 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683680606736 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7808] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7808/stat : 7808 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683679553936 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7809] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7809/stat : 7809 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866244 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683678501136 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7810] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7810/stat : 7810 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866245 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683523476336 139684127644290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7811] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7811/stat : 7811 (java) S 7798 7798 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96866245 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683522422304 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7812] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7812/stat : 7812 (java) S 7798 7798 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96866246 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683521369456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7813] ppid=7798 vsize=26001924 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7813/stat : 7813 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866248 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683520317776 139684127651739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7814] ppid=7798 vsize=26001924 memory=0 CPUtime=0.01 cores=0-7
/proc/7800/task/7814/stat : 7814 (java) S 7798 7798 7585 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 96866248 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683519265136 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7815] ppid=7798 vsize=26001924 memory=0 CPUtime=0.02 cores=0-7
/proc/7800/task/7815/stat : 7815 (java) S 7798 7798 7585 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 20 0 96866248 26625970176 9120 33554432000 4194304 4196468 140724262470144 139683518212336 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7816] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7816/stat : 7816 (java) S 7798 7798 7585 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 96866248 26628161536 9123 33554432000 4194304 4196468 140724262470144 139683517159536 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7817] ppid=7798 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/7800/task/7817/stat : 7817 (java) S 7798 7798 7585 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 96866248 26628161536 9123 33554432000 4194304 4196468 140724262470144 139683516106736 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7818] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7818/stat : 7818 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866248 26628161536 9123 33554432000 4194304 4196468 140724262470144 139683515055200 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7819] ppid=7798 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7800/task/7819/stat : 7819 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866248 26628161536 9123 33554432000 4194304 4196468 140724262470144 139683514002480 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26009352 KiB
Current children cumulated memory: 37636 KiB

[startup+0.309666 s]*
/proc/loadavg: 8.77 5.50 3.19 2/200 7819
/proc/meminfo: memFree=31684916/32770624 swapFree=67108860/67108860
[pid=7798] ppid=7795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7798/stat : 7798 (xcsp3-exec) S 7795 7798 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866242 9740288 346 33554432000 4194304 5098028 140726350046480 140726350044584 140579260367484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140726350054506 140726350054716 140726350054716 140726350057451 0
/proc/7798/statm: 2378 346 289 221 0 87 0
[pid=7800] ppid=7798 vsize=26004064 memory=43388 CPUtime=0.46 cores=0-7
/proc/7800/stat : 7800 (java) S 7798 7798 7585 0 -1 1077944320 9112 0 1 0 42 4 0 0 20 0 20 0 96866242 26628161536 10847 33554432000 4194304 4196468 140724262470144 140724262452688 139684127633143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
/proc/7800/statm: 6501016 10847 3082 1 0 6488269 0
[pid=7800/tid=7801] ppid=7798 vsize=26004064 memory=8112282956445269571 CPUtime=0.27 cores=0-7
/proc/7800/task/7801/stat : 7801 (java) R 7798 7798 7585 0 -1 4202560 6099 0 1 0 25 2 0 0 20 0 20 0 96866243 26628161536 10912 33554432000 4194304 4196468 140724262470144 139684131870656 139684111713630 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7802] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7802/stat : 7802 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139684084186256 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7803] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7803/stat : 7803 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139684083133456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7804] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7804/stat : 7804 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139684082080656 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7805] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7805/stat : 7805 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683682712336 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7806] ppid=7798 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7800/task/7806/stat : 7806 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683681659536 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7807] ppid=7798 vsize=26004064 memory=139886212510639 CPUtime=0 cores=0-7
/proc/7800/task/7807/stat : 7807 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683680606736 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7808] ppid=7798 vsize=26004064 memory=139886212512944 CPUtime=0 cores=0-7
/proc/7800/task/7808/stat : 7808 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683679553936 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7809] ppid=7798 vsize=26004064 memory=139886212515248 CPUtime=0 cores=0-7
/proc/7800/task/7809/stat : 7809 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866244 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683678501136 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7810] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7810/stat : 7810 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866245 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683523476336 139684127644290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7811] ppid=7798 vsize=26004064 memory=279772425037456 CPUtime=0 cores=0-7
/proc/7800/task/7811/stat : 7811 (java) S 7798 7798 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96866245 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683522422304 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7812] ppid=7798 vsize=26004064 memory=279772425044368 CPUtime=0 cores=0-7
/proc/7800/task/7812/stat : 7812 (java) S 7798 7798 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96866246 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683521369456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7813] ppid=7798 vsize=26004064 memory=279772424985648 CPUtime=0 cores=0-7
/proc/7800/task/7813/stat : 7813 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866248 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683520317776 139684127651739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7814] ppid=7798 vsize=26004064 memory=279772425058192 CPUtime=0.01 cores=0-7
/proc/7800/task/7814/stat : 7814 (java) S 7798 7798 7585 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 96866248 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683519265136 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7815] ppid=7798 vsize=26004064 memory=279772425065104 CPUtime=0.02 cores=0-7
/proc/7800/task/7815/stat : 7815 (java) S 7798 7798 7585 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 20 0 96866248 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683518212336 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7816] ppid=7798 vsize=26004064 memory=279772425062800 CPUtime=0.01 cores=0-7
/proc/7800/task/7816/stat : 7816 (java) S 7798 7798 7585 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 96866248 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683517159536 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7817] ppid=7798 vsize=26004064 memory=279772425078960 CPUtime=0.11 cores=0-7
/proc/7800/task/7817/stat : 7817 (java) R 7798 7798 7585 0 -1 4202560 841 0 0 0 11 0 0 0 20 0 20 0 96866248 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683516106736 139684127645078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7818] ppid=7798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7818/stat : 7818 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866248 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683515055200 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7819] ppid=7798 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7800/task/7819/stat : 7819 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866248 26628161536 10912 33554432000 4194304 4196468 140724262470144 139683514002480 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44772 KiB

[startup+0.700964 s]
/proc/loadavg: 8.77 5.50 3.19 4/200 7819
/proc/meminfo: memFree=31672272/32770624 swapFree=67108860/67108860
[pid=7798] ppid=7795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7798/stat : 7798 (xcsp3-exec) S 7795 7798 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866242 9740288 346 33554432000 4194304 5098028 140726350046480 140726350044584 140579260367484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140726350054506 140726350054716 140726350054716 140726350057451 0
/proc/7798/statm: 2378 346 289 221 0 87 0
[pid=7800] ppid=7798 vsize=26006188 memory=82648 CPUtime=1.61 cores=0-7
/proc/7800/stat : 7800 (java) S 7798 7798 7585 0 -1 1077944320 12849 0 1 0 154 7 0 0 20 0 20 0 96866242 26630336512 20662 33554432000 4194304 4196468 140724262470144 140724262452688 139684127633143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
/proc/7800/statm: 6501547 20662 3207 1 0 6488781 0
[pid=7800/tid=7801] ppid=7798 vsize=26006188 memory=279772425373824 CPUtime=0.65 cores=0-7
/proc/7800/task/7801/stat : 7801 (java) R 7798 7798 7585 0 -1 4202560 7018 0 1 0 61 4 0 0 20 0 20 0 96866243 26630336512 20662 33554432000 4194304 4196468 140724262470144 139684131870544 139683764805909 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7802] ppid=7798 vsize=26006188 memory=5123895985313 CPUtime=0 cores=0-7
/proc/7800/task/7802/stat : 7802 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26630336512 20662 33554432000 4194304 4196468 140724262470144 139684084186256 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7803] ppid=7798 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7803/stat : 7803 (java) S 7798 7798 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866244 26630336512 20662 33554432000 4194304 4196468 140724262470144 139684083133456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7804] ppid=7798 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7800/task/7804/stat : 7804 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866244 26630336512 20662 33554432000 4194304 4196468 140724262470144 139684082080656 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0

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

[pid=7800/tid=8035] ppid=7798 vsize=26540748 memory=3816 CPUtime=15.2 cores=0-7
/proc/7800/task/8035/stat : 8035 (java) R 7798 7798 7585 0 -1 4202560 25 0 0 0 1520 0 0 0 20 0 28 0 96880927 27177725952 58732 33554432000 4194304 4196468 140724262470144 139683504938488 139683770713940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
Current children cumulated CPU time: 1021.12 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 236312 KiB

[startup+222.301 s]
/proc/loadavg: 5.00 5.47 3.72 2/208 8099
/proc/meminfo: memFree=31473088/32770624 swapFree=67108860/67108860
[pid=7798] ppid=7795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7798/stat : 7798 (xcsp3-exec) S 7795 7798 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866242 9740288 346 33554432000 4194304 5098028 140726350046480 140726350044584 140579260367484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140726350054506 140726350054716 140726350054716 140726350057451 0
/proc/7798/statm: 2378 346 289 221 0 87 0
[pid=7800] ppid=7798 vsize=26607312 memory=253864 CPUtime=1340.63 cores=0-7
/proc/7800/stat : 7800 (java) S 7798 7798 7585 0 -1 1077944320 141101 0 1 0 133953 110 0 0 20 0 28 0 96866242 27245887488 63466 33554432000 4194304 4196468 140724262470144 140724262452688 139684127633143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
/proc/7800/statm: 6651828 63466 3282 1 0 6639062 0
[pid=7800/tid=7801] ppid=7798 vsize=26607312 memory=252352 CPUtime=0.88 cores=0-7
/proc/7800/task/7801/stat : 7801 (java) S 7798 7798 7585 0 -1 1077944384 9362 0 1 0 83 5 0 0 20 0 28 0 96866243 27245887488 63466 33554432000 4194304 4196468 140724262470144 139684131873920 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7802] ppid=7798 vsize=26607312 memory=234928 CPUtime=0.19 cores=0-7
/proc/7800/task/7802/stat : 7802 (java) S 7798 7798 7585 0 -1 1077944384 1587 0 0 0 15 4 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139684084186256 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7803] ppid=7798 vsize=26607312 memory=237996 CPUtime=0.18 cores=0-7
/proc/7800/task/7803/stat : 7803 (java) S 7798 7798 7585 0 -1 1077944384 1737 0 0 0 15 3 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139684083133456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7804] ppid=7798 vsize=26607312 memory=243120 CPUtime=0.18 cores=0-7
/proc/7800/task/7804/stat : 7804 (java) S 7798 7798 7585 0 -1 1077944384 1134 0 0 0 15 3 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139684082080656 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7805] ppid=7798 vsize=26607312 memory=1384 CPUtime=0.19 cores=0-7
/proc/7800/task/7805/stat : 7805 (java) S 7798 7798 7585 0 -1 1077944384 2064 0 0 0 15 4 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683682712336 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7806] ppid=7798 vsize=26607312 memory=252352 CPUtime=0.2 cores=0-7
/proc/7800/task/7806/stat : 7806 (java) S 7798 7798 7585 0 -1 1077944384 2653 0 0 0 16 4 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683681659536 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7807] ppid=7798 vsize=26607312 memory=252352 CPUtime=0.19 cores=0-7
/proc/7800/task/7807/stat : 7807 (java) S 7798 7798 7585 0 -1 1077944384 2394 0 0 0 16 3 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683680606736 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7808] ppid=7798 vsize=26607312 memory=253864 CPUtime=0.19 cores=0-7
/proc/7800/task/7808/stat : 7808 (java) S 7798 7798 7585 0 -1 1077944384 2579 0 0 0 16 3 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683679553936 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7809] ppid=7798 vsize=26607312 memory=1384 CPUtime=0.2 cores=0-7
/proc/7800/task/7809/stat : 7809 (java) S 7798 7798 7585 0 -1 1077944384 2383 0 0 0 16 4 0 0 20 0 28 0 96866244 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683678501136 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7810] ppid=7798 vsize=26607312 memory=252352 CPUtime=0.56 cores=0-7
/proc/7800/task/7810/stat : 7810 (java) S 7798 7798 7585 0 -1 1077944384 6060 0 0 0 28 28 0 0 20 0 28 0 96866245 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683523476336 139684127644290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7811] ppid=7798 vsize=26607312 memory=279772426926864 CPUtime=0 cores=0-7
/proc/7800/task/7811/stat : 7811 (java) S 7798 7798 7585 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 96866245 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683522422368 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7812] ppid=7798 vsize=26607312 memory=164 CPUtime=0 cores=0-7
/proc/7800/task/7812/stat : 7812 (java) S 7798 7798 7585 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 96866246 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683521369472 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7813] ppid=7798 vsize=26607312 memory=1384 CPUtime=0 cores=0-7
/proc/7800/task/7813/stat : 7813 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96866248 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683520317776 139684127651739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7814] ppid=7798 vsize=26607312 memory=253864 CPUtime=3.09 cores=0-7
/proc/7800/task/7814/stat : 7814 (java) S 7798 7798 7585 0 -1 1077944384 14837 0 0 0 306 3 0 0 20 0 28 0 96866248 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683519265136 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7815] ppid=7798 vsize=26607312 memory=253864 CPUtime=2.98 cores=0-7
/proc/7800/task/7815/stat : 7815 (java) S 7798 7798 7585 0 -1 1077944384 20148 0 0 0 293 5 0 0 20 0 28 0 96866248 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683518212336 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7816] ppid=7798 vsize=26607312 memory=1384 CPUtime=3.25 cores=0-7
/proc/7800/task/7816/stat : 7816 (java) S 7798 7798 7585 0 -1 1077944384 16891 0 0 0 320 5 0 0 20 0 28 0 96866248 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683517159536 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7817] ppid=7798 vsize=26607312 memory=252352 CPUtime=1 cores=0-7
/proc/7800/task/7817/stat : 7817 (java) S 7798 7798 7585 0 -1 1077944384 18210 0 0 0 95 5 0 0 20 0 28 0 96866248 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683516106736 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7818] ppid=7798 vsize=26607312 memory=253864 CPUtime=0 cores=0-7
/proc/7800/task/7818/stat : 7818 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96866248 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683515055200 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7819] ppid=7798 vsize=26607312 memory=1384 CPUtime=0.05 cores=0-7
/proc/7800/task/7819/stat : 7819 (java) S 7798 7798 7585 0 -1 1077944384 2161 0 0 0 2 3 0 0 20 0 28 0 96866248 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683514002480 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8092] ppid=7798 vsize=26607312 memory=4132 CPUtime=2.23 cores=0-7
/proc/7800/task/8092/stat : 8092 (java) S 7798 7798 7585 0 -1 1077944384 25 0 0 0 223 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683500732400 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8093] ppid=7798 vsize=26607312 memory=28224 CPUtime=2.24 cores=0-7
/proc/7800/task/8093/stat : 8093 (java) S 7798 7798 7585 0 -1 1077944384 21 0 0 0 224 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683502839040 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8094] ppid=7798 vsize=26607312 memory=2332 CPUtime=2.2 cores=0-7
/proc/7800/task/8094/stat : 8094 (java) S 7798 7798 7585 0 -1 1077944384 18 0 0 0 220 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683505996928 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8095] ppid=7798 vsize=26607312 memory=1292 CPUtime=2.24 cores=0-7
/proc/7800/task/8095/stat : 8095 (java) S 7798 7798 7585 0 -1 1077944384 19 0 0 0 224 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683501786112 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8096] ppid=7798 vsize=26607312 memory=251816 CPUtime=3.7 cores=0-7
/proc/7800/task/8096/stat : 8096 (java) R 7798 7798 7585 0 -1 4202560 21 0 0 0 370 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683495472416 139683773834330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8097] ppid=7798 vsize=26607312 memory=5788 CPUtime=2.24 cores=0-7
/proc/7800/task/8097/stat : 8097 (java) S 7798 7798 7585 0 -1 1077944384 19 0 0 0 224 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683499680512 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8098] ppid=7798 vsize=26607312 memory=1728 CPUtime=2.24 cores=0-7
/proc/7800/task/8098/stat : 8098 (java) S 7798 7798 7585 0 -1 1077944384 17 0 0 0 224 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683504944768 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8099] ppid=7798 vsize=26607312 memory=5788 CPUtime=2.24 cores=0-7
/proc/7800/task/8099/stat : 8099 (java) S 7798 7798 7585 0 -1 1077944384 16 0 0 0 224 0 0 0 20 0 28 0 96888101 27245887488 63466 33554432000 4194304 4196468 140724262470144 139683498628608 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
Current children cumulated CPU time: 1340.63 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 255248 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 5.94 5.67 3.84 2/208 8115
/proc/meminfo: memFree=31463608/32770624 swapFree=67108860/67108860
[pid=7798] ppid=7795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7798/stat : 7798 (xcsp3-exec) S 7795 7798 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866242 9740288 346 33554432000 4194304 5098028 140726350046480 140726350044584 140579260367484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140726350054506 140726350054716 140726350054716 140726350057451 0
/proc/7798/statm: 2378 346 289 221 0 87 0
[pid=7800] ppid=7798 vsize=26607312 memory=264276 CPUtime=1532.19 cores=0-7
/proc/7800/stat : 7800 (java) S 7798 7798 7585 0 -1 1077944320 149990 0 1 0 153095 124 0 0 20 0 28 0 96866242 27245887488 66069 33554432000 4194304 4196468 140724262470144 140724262452688 139684127633143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
/proc/7800/statm: 6651828 66069 3282 1 0 6639062 0
[pid=7800/tid=7801] ppid=7798 vsize=26607312 memory=1436 CPUtime=0.88 cores=0-7
/proc/7800/task/7801/stat : 7801 (java) S 7798 7798 7585 0 -1 1077944384 9431 0 1 0 83 5 0 0 20 0 28 0 96866243 27245887488 66069 33554432000 4194304 4196468 140724262470144 139684131873920 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7802] ppid=7798 vsize=26607312 memory=-7003737579269690708 CPUtime=0.23 cores=0-7
/proc/7800/task/7802/stat : 7802 (java) S 7798 7798 7585 0 -1 1077944384 2420 0 0 0 18 5 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139684084186256 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7803] ppid=7798 vsize=26607312 memory=4132 CPUtime=0.22 cores=0-7
/proc/7800/task/7803/stat : 7803 (java) S 7798 7798 7585 0 -1 1077944384 1843 0 0 0 18 4 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139684083133456 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7804] ppid=7798 vsize=26607312 memory=28224 CPUtime=0.21 cores=0-7
/proc/7800/task/7804/stat : 7804 (java) S 7798 7798 7585 0 -1 1077944384 2371 0 0 0 17 4 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139684082080656 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7805] ppid=7798 vsize=26607312 memory=2332 CPUtime=0.21 cores=0-7
/proc/7800/task/7805/stat : 7805 (java) S 7798 7798 7585 0 -1 1077944384 2254 0 0 0 17 4 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683682712336 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7806] ppid=7798 vsize=26607312 memory=796 CPUtime=0.22 cores=0-7
/proc/7800/task/7806/stat : 7806 (java) S 7798 7798 7585 0 -1 1077944384 2807 0 0 0 18 4 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683681659536 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7807] ppid=7798 vsize=26607312 memory=10020 CPUtime=0.21 cores=0-7
/proc/7800/task/7807/stat : 7807 (java) S 7798 7798 7585 0 -1 1077944384 2523 0 0 0 18 3 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683680606736 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7808] ppid=7798 vsize=26607312 memory=1948 CPUtime=0.22 cores=0-7
/proc/7800/task/7808/stat : 7808 (java) S 7798 7798 7585 0 -1 1077944384 2742 0 0 0 18 4 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683679553936 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7809] ppid=7798 vsize=26607312 memory=8536 CPUtime=0.22 cores=0-7
/proc/7800/task/7809/stat : 7809 (java) S 7798 7798 7585 0 -1 1077944384 2507 0 0 0 18 4 0 0 20 0 28 0 96866244 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683678501136 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7810] ppid=7798 vsize=26607312 memory=4616 CPUtime=0.71 cores=0-7
/proc/7800/task/7810/stat : 7810 (java) S 7798 7798 7585 0 -1 1077944384 7017 0 0 0 35 36 0 0 20 0 28 0 96866245 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683523476336 139684127644290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7811] ppid=7798 vsize=26607312 memory=4116 CPUtime=0 cores=0-7
/proc/7800/task/7811/stat : 7811 (java) S 7798 7798 7585 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 96866245 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683522422368 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7812] ppid=7798 vsize=26607312 memory=1160 CPUtime=0 cores=0-7
/proc/7800/task/7812/stat : 7812 (java) S 7798 7798 7585 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 96866246 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683521369472 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7813] ppid=7798 vsize=26607312 memory=3980 CPUtime=0 cores=0-7
/proc/7800/task/7813/stat : 7813 (java) S 7798 7798 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96866248 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683520317776 139684127651739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7814] ppid=7798 vsize=26607312 memory=1384 CPUtime=3.09 cores=0-7
/proc/7800/task/7814/stat : 7814 (java) S 7798 7798 7585 0 -1 1077944384 14886 0 0 0 306 3 0 0 20 0 28 0 96866248 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683519265136 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7815] ppid=7798 vsize=26607312 memory=262740 CPUtime=2.98 cores=0-7
/proc/7800/task/7815/stat : 7815 (java) S 7798 7798 7585 0 -1 1077944384 20152 0 0 0 293 5 0 0 20 0 28 0 96866248 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683518212336 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7816] ppid=7798 vsize=26607312 memory=8112282956445269571 CPUtime=3.25 cores=0-7
/proc/7800/task/7816/stat : 7816 (java) S 7798 7798 7585 0 -1 1077944384 16941 0 0 0 320 5 0 0 20 0 28 0 96866248 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683517159536 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7817] ppid=7798 vsize=26607312 memory=-7003737579269690708 CPUtime=1.01 cores=0-7
/proc/7800/task/7817/stat : 7817 (java) S 7798 7798 7585 0 -1 1077944384 18478 0 0 0 96 5 0 0 20 0 28 0 96866248 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683516106736 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7818] ppid=7798 vsize=26607312 memory=1236 CPUtime=0 cores=0-7
/proc/7800/task/7818/stat : 7818 (java) S 7798 7798 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96866248 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683515055200 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=7819] ppid=7798 vsize=26607312 memory=960 CPUtime=0.05 cores=0-7
/proc/7800/task/7819/stat : 7819 (java) S 7798 7798 7585 0 -1 1077944384 2218 0 0 0 2 3 0 0 20 0 28 0 96866248 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683514002480 139684127644290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8108] ppid=7798 vsize=26607312 memory=2340 CPUtime=8.33 cores=0-7
/proc/7800/task/8108/stat : 8108 (java) S 7798 7798 7585 0 -1 1077944384 395 0 0 0 833 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683499679728 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8109] ppid=7798 vsize=26607312 memory=8112282956445269571 CPUtime=8.37 cores=0-7
/proc/7800/task/8109/stat : 8109 (java) S 7798 7798 7585 0 -1 1077944384 405 0 0 0 837 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683501786368 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8110] ppid=7798 vsize=26607312 memory=932 CPUtime=8.38 cores=0-7
/proc/7800/task/8110/stat : 8110 (java) S 7798 7798 7585 0 -1 1077944384 387 0 0 0 838 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683504944256 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8111] ppid=7798 vsize=26607312 memory=1572 CPUtime=8.32 cores=0-7
/proc/7800/task/8111/stat : 8111 (java) S 7798 7798 7585 0 -1 1077944384 613 0 0 0 832 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683502838784 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8112] ppid=7798 vsize=26607312 memory=2200 CPUtime=8.61 cores=0-7
/proc/7800/task/8112/stat : 8112 (java) R 7798 7798 7585 0 -1 4202560 395 0 0 0 861 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683498625616 139683773834315 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8113] ppid=7798 vsize=26607312 memory=6504 CPUtime=8.38 cores=0-7
/proc/7800/task/8113/stat : 8113 (java) S 7798 7798 7585 0 -1 1077944384 254 0 0 0 838 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683500733184 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8114] ppid=7798 vsize=26607312 memory=836 CPUtime=8.34 cores=0-7
/proc/7800/task/8114/stat : 8114 (java) S 7798 7798 7585 0 -1 1077944384 333 0 0 0 834 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683505997440 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
[pid=7800/tid=8115] ppid=7798 vsize=26607312 memory=4104 CPUtime=8.31 cores=0-7
/proc/7800/task/8115/stat : 8115 (java) S 7798 7798 7585 0 -1 1077944384 551 0 0 0 831 0 0 0 20 0 28 0 96890571 27245887488 66069 33554432000 4194304 4196468 140724262470144 139683495478784 139684127643349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22441984 140724262474904 140724262475080 140724262475080 140724262477775 0
Current children cumulated CPU time: 1532.19 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 265660 KiB

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

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

[startup+252.029 s]
# the end of solver process 7800 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1530.98 s, system=1.25908 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): 252.029
CPU time (s): 1532.24
CPU user time (s): 1530.98
CPU system time (s): 1.25908
CPU usage (%): 607.961
Max. virtual memory (cumulated for all children) (KiB): 26616824
Max. memory (cumulated for all children) (KiB): 294616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1530.98
system time used= 1.25908
maximum resident set size= 295228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150873
page faults= 1
swaps= 0
block input operations= 3256
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23867
involuntary context switches= 16896


# summary of solver processes directly reported to runsolver:
#   pid: 7798,7800
#   total CPU time (s): 1532.24
#   total CPU user time (s): 1530.98
#   total CPU system time (s): 1.25908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16449 second user time and 2.62745 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 17:08:46
IDJOB=4271862
IDBENCH=115817
IDSOLVER=2663
FILE ID=node112/4271862-1502637784
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-1.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-4271862-1502637784/watcher-4271862-1502637784 -o /tmp/evaluation-result-4271862-1502637784/solver-4271862-1502637784 -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 2124847174 HOME/instance-4271862-1502637784.xml

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

MD5SUM BENCH= 133cdadaee2e697c51b4261ec7f2679b
RANDOM SEED=2124847174

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:        31717356 kB
MemAvailable:   31982028 kB
Buffers:          125164 kB
Cached:           420256 kB
SwapCached:            0 kB
Active:           403440 kB
Inactive:         194940 kB
Active(anon):       4492 kB
Inactive(anon):    76476 kB
Active(file):     398948 kB
Inactive(file):   118464 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7704 kB
Writeback:             0 kB
AnonPages:         77036 kB
Mapped:            43228 kB
Shmem:             25224 kB
Slab:             152148 kB
SReclaimable:     126192 kB
SUnreclaim:        25956 kB
KernelStack:        3792 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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 17:12:58