Trace number 4254794

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-07-26)SAT (TO)687 1744.9 252.03799

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-6.xml
MD5SUM0823366b416f0d4f591b1c2bb0d09de5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark681
Best CPU time to get the best result obtained on this benchmark1577.75
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size723
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":723,"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-4254794-1502639272.xml"  -tl '2016s' -p 8 -x 0
0.12/0.15	c [HOME/instance-4254794-1502639272.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.14/0.87	c solve instance...
73.69/9.90	o 722 
116.30/15.88	o 721 
122.05/16.70	o 717 
245.12/32.34	o 716 
303.04/40.33	o 715 
427.81/59.00	o 714 
544.23/73.63	o 713 
590.20/79.40	o 712 
804.65/107.12	o 709 
869.86/120.16	o 708 
901.32/124.15	o 707 
947.67/130.21	o 706 
951.06/132.19	o 705 
954.86/134.99	o 704 
959.02/136.75	o 703 
965.18/140.79	o 702 
972.92/142.61	o 700 
978.83/144.35	o 699 
999.91/148.82	o 698 
1016.29/156.00	o 697 
1390.20/204.91	o 696 
1390.20/204.92	o 690 
1504.98/219.34	o 689 
1560.77/226.34	o 688 
1719.99/247.35	o 687 
1744.85/252.01	s SATISFIABLE
1744.85/252.01	v <instantiation>
1744.85/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>
1744.85/252.01	v 	<values>122 219 292 368 382 485 549 567 648 668 20 140 222 250 404 458 469 522 569 587 0 65 134 230 277 314 412 490 563 657 0 46 52 71 104 220 265 390 486 644 59 131 136 226 334 402 450 527 591 653 0 37 183 266 304 377 392 439 521 619 1 50 113 262 318 320 390 420 527 598 0 48 87 144 223 282 342 491 512 599 1 36 78 156 242 341 362 455 511 604 0 27 49 148 243 327 330 386 492 610 687 597 687 681 684 653 687 604 687 684 97 72 70 14 84 64 18 81 20 19 98 78 20 64 54 11 52 43 16 10 59 68 88 45 36 88 77 21 77 30 19 3 19 26 77 41 64 56 34 37 63 3 90 62 66 48 77 42 61 31 36 99 60 38 71 13 40 65 77 34 45 1 84 56 2 70 22 61 71 89 48 38 53 71 38 2 97 20 49 5 35 22 70 65 99 21 92 30 92 83 27 22 82 95 71 3 54 83 93 74 0 6 2 7 4 3 5 1 8 9 7 4 9 8 6 5 0 1 2 3 0 8 9 2 5 3 1 4 6 7 7 9 4 2 3 0 1 8 5 6 0 9 1 4 6 3 8 2 7 5 6 1 3 7 4 8 5 9 0 2 9 4 2 0 6 5 1 7 8 3 5 3 4 8 7 2 9 1 6 0 1 6 5 7 9 8 2 3 4 0 8 2 9 5 3 6 1 0 7 4 122 567 292 485 382 549 219 368 648 668 469 522 569 587 140 458 404 20 250 222 0 412 230 314 490 277 563 657 65 134 220 265 71 104 52 486 644 0 390 46 59 136 527 402 226 653 334 591 450 131 521 37 619 183 304 392 0 266 377 439 262 390 113 598 50 320 318 420 527 1 599 491 282 48 87 0 512 223 144 342 604 1 362 455 511 78 36 156 341 242 386 330 27 243 610 148 327 492 0 49 </values>
1744.85/252.01	v </instantiation>
1744.85/252.01	c Unexpected resolution interruption!

Verifier Data 

OK	687

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254794-1502639272/watcher-4254794-1502639272 -o /tmp/evaluation-result-4254794-1502639272/solver-4254794-1502639272 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502634593-3629 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1355447684 HOME/instance-4254794-1502639272.xml 

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

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

solver pid=8255, runsolver pid=8252

[startup+0.100111 s]*
/proc/loadavg: 8.46 8.23 7.44 2/200 8276
/proc/meminfo: memFree=27006916/32770624 swapFree=67108860/67108860
[pid=8255] ppid=8252 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 3602 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97015056 9740288 346 33554432000 4194304 5098028 140720769393280 140720769391384 139849339417212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22470656 140720769401962 140720769402172 140720769402172 140720769404907 0
/proc/8255/statm: 2378 346 289 221 0 87 0
[pid=8257] ppid=8255 vsize=25999808 memory=26096 CPUtime=0.12 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 3602 0 -1 1077944320 5482 0 0 0 11 1 0 0 20 0 20 0 97015056 26623803392 6524 33554432000 4194304 4196468 140735389556432 140735389538976 140325527834359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
/proc/8257/statm: 6499952 6524 2844 1 0 6488269 0
[pid=8257/tid=8258] ppid=8255 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) R 8255 8255 3602 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325532066688 140325121242944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8259] ppid=8255 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325450415120 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8260] ppid=8255 vsize=25999808 memory=139779739485824 CPUtime=0 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325449362576 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8261] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325448309520 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8262] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325447256976 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8263] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325446203920 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8264] ppid=8255 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325445151376 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8265] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325444098320 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8266] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26623803392 6524 33554432000 4194304 4196468 140735389556432 140325443045776 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8267] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015059 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324654566128 140325527845506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8268] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97015059 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324653512352 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8269] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97015059 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324652459248 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8270] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015062 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324651407824 140325527852955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8271] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 3602 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 97015062 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324650354928 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8272] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015062 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324649302384 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8273] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) S 8255 8255 3602 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97015062 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324648249328 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8274] ppid=8255 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) R 8255 8255 3602 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 97015062 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324647196784 140325506534560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8275] ppid=8255 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015062 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324646144992 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8276] ppid=8255 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015062 26623803392 6524 33554432000 4194304 4196468 140735389556432 140324645092528 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27480 KiB

[startup+0.210074 s]*
/proc/loadavg: 8.46 8.23 7.44 3/200 8276
/proc/meminfo: memFree=26997808/32770624 swapFree=67108860/67108860
[pid=8255] ppid=8252 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 3602 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97015056 9740288 346 33554432000 4194304 5098028 140720769393280 140720769391384 139849339417212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22470656 140720769401962 140720769402172 140720769402172 140720769404907 0
/proc/8255/statm: 2378 346 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26004064 memory=38840 CPUtime=0.33 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 3602 0 -1 1077944320 8301 0 0 0 31 2 0 0 20 0 20 0 97015056 26628161536 9710 33554432000 4194304 4196468 140735389556432 140735389538976 140325527834359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
/proc/8257/statm: 6501016 9710 3046 1 0 6488269 0
[pid=8257/tid=8258] ppid=8255 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) R 8255 8255 3602 0 -1 4202560 5376 0 0 0 18 1 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325532042288 140325511914846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8259] ppid=8255 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325450415120 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8260] ppid=8255 vsize=26004064 memory=139779739494338 CPUtime=0 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325449362576 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8261] ppid=8255 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325448309520 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8262] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325447256976 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8263] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325446203920 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8264] ppid=8255 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325445151376 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8265] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325444098320 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8266] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 9710 33554432000 4194304 4196468 140735389556432 140325443045776 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8267] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015059 26628161536 9710 33554432000 4194304 4196468 140735389556432 140324654566128 140325527845506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8268] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97015059 26628161536 9710 33554432000 4194304 4196468 140735389556432 140324653512352 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8269] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97015059 26628161536 9710 33554432000 4194304 4196468 140735389556432 140324652459248 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8270] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015062 26628161536 9710 33554432000 4194304 4196468 140735389556432 140324651407824 140325527852955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8271] ppid=8255 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 3602 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 97015062 26628161536 9710 33554432000 4194304 4196468 140735389556432 140324650354928 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8272] ppid=8255 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) S 8255 8255 3602 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 97015062 26628161536 9766 33554432000 4194304 4196468 140735389556432 140324649302384 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8273] ppid=8255 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) S 8255 8255 3602 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 97015062 26628161536 9766 33554432000 4194304 4196468 140735389556432 140324648249328 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8274] ppid=8255 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) S 8255 8255 3602 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 20 0 97015062 26628161536 9766 33554432000 4194304 4196468 140735389556432 140324647196784 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8275] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015062 26628161536 9766 33554432000 4194304 4196468 140735389556432 140324646144992 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8276] ppid=8255 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015062 26628161536 9766 33554432000 4194304 4196468 140735389556432 140324645092528 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40224 KiB

[startup+0.309498 s]*
/proc/loadavg: 8.46 8.23 7.44 3/200 8276
/proc/meminfo: memFree=26991844/32770624 swapFree=67108860/67108860
[pid=8255] ppid=8252 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 3602 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97015056 9740288 346 33554432000 4194304 5098028 140720769393280 140720769391384 139849339417212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22470656 140720769401962 140720769402172 140720769402172 140720769404907 0
/proc/8255/statm: 2378 346 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26004064 memory=43460 CPUtime=0.5 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 3602 0 -1 1077944320 9095 0 0 0 47 3 0 0 20 0 20 0 97015056 26628161536 10865 33554432000 4194304 4196468 140735389556432 140735389538976 140325527834359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
/proc/8257/statm: 6501016 10865 3078 1 0 6488269 0
[pid=8257/tid=8258] ppid=8255 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) R 8255 8255 3602 0 -1 4202560 6067 0 0 0 27 2 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325532073408 140325121262806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8259] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325450415120 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8260] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325449362576 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8261] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325448309520 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8262] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325447256976 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8263] ppid=8255 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325446203920 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8264] ppid=8255 vsize=26004064 memory=139779576525743 CPUtime=0 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325445151376 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8265] ppid=8255 vsize=26004064 memory=139779576528048 CPUtime=0 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325444098320 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8266] ppid=8255 vsize=26004064 memory=139779576530352 CPUtime=0 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26628161536 10865 33554432000 4194304 4196468 140735389556432 140325443045776 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8267] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015059 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324654566128 140325527845506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8268] ppid=8255 vsize=26004064 memory=279559153067664 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97015059 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324653512352 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8269] ppid=8255 vsize=26004064 memory=279559153074576 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97015059 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324652459248 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8270] ppid=8255 vsize=26004064 memory=279559153015856 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015062 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324651407824 140325527852955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8271] ppid=8255 vsize=26004064 memory=279559153088400 CPUtime=0.02 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 3602 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 97015062 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324650354928 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8272] ppid=8255 vsize=26004064 memory=279559153095312 CPUtime=0.02 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) S 8255 8255 3602 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 20 0 97015062 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324649302384 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8273] ppid=8255 vsize=26004064 memory=279559153093008 CPUtime=0.02 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) S 8255 8255 3602 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 97015062 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324648249328 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8274] ppid=8255 vsize=26004064 memory=279559153109168 CPUtime=0.12 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) R 8255 8255 3602 0 -1 4202560 836 0 0 0 12 0 0 0 20 0 20 0 97015062 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324647196784 140325506200686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8275] ppid=8255 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015062 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324646144992 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8276] ppid=8255 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97015062 26628161536 10865 33554432000 4194304 4196468 140735389556432 140324645092528 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44844 KiB

[startup+0.700892 s]
/proc/loadavg: 8.46 8.23 7.44 2/200 8276
/proc/meminfo: memFree=26978756/32770624 swapFree=67108860/67108860
[pid=8255] ppid=8252 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 3602 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97015056 9740288 346 33554432000 4194304 5098028 140720769393280 140720769391384 139849339417212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22470656 140720769401962 140720769402172 140720769402172 140720769404907 0
/proc/8255/statm: 2378 346 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26006188 memory=86256 CPUtime=1.66 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 3602 0 -1 1077944320 12822 0 0 0 161 5 0 0 20 0 20 0 97015056 26630336512 21564 33554432000 4194304 4196468 140735389556432 140735389538976 140325527834359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
/proc/8257/statm: 6501547 21564 3204 1 0 6488781 0
[pid=8257/tid=8258] ppid=8255 vsize=26006188 memory=279559153467056 CPUtime=0.67 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) R 8255 8255 3602 0 -1 4202560 6978 0 0 0 64 3 0 0 20 0 20 0 97015057 26630336512 21564 33554432000 4194304 4196468 140735389556432 140325532072144 140325124505463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8259] ppid=8255 vsize=26006188 memory=139779576734576 CPUtime=0 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26630336512 21564 33554432000 4194304 4196468 140735389556432 140325450415120 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8260] ppid=8255 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97015057 26630336512 21564 33554432000 4194304 4196468 140735389556432 140325449362576 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8261] ppid=8255 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97015057 26630336512 21564 33554432000 4194304 4196468 140735389556432 140325448309520 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0

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

[pid=8257/tid=8444] ppid=8255 vsize=26540748 memory=1085752 CPUtime=6.26 cores=0-7
/proc/8257/task/8444/stat : 8444 (java) R 8255 8255 3602 0 -1 4202560 431 0 0 0 626 0 0 0 20 0 28 0 97030657 27177725952 271183 33554432000 4194304 4196468 140735389556432 140323645280456 140325132487900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
Current children cumulated CPU time: 1066.6 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 1086116 KiB

[startup+222.301 s]
/proc/loadavg: 6.32 7.30 7.25 9/207 8468
/proc/meminfo: memFree=26039804/32770624 swapFree=67108860/67108860
[pid=8255] ppid=8252 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 3602 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97015056 9740288 346 33554432000 4194304 5098028 140720769393280 140720769391384 139849339417212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22470656 140720769401962 140720769402172 140720769402172 140720769404907 0
/proc/8255/statm: 2378 346 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26540748 memory=992452 CPUtime=1528.87 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 3602 0 -1 1077944320 190509 0 0 0 152714 173 0 0 20 0 28 0 97015056 27177725952 248113 33554432000 4194304 4196468 140735389556432 140735389538976 140325527834359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
/proc/8257/statm: 6635187 248113 3281 1 0 6622421 0
[pid=8257/tid=8258] ppid=8255 vsize=26540748 memory=1004724 CPUtime=0.88 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) S 8255 8255 3602 0 -1 1077944384 10219 0 0 0 84 4 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325532075136 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8259] ppid=8255 vsize=26540748 memory=1021624 CPUtime=0.14 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 3602 0 -1 1077944384 1955 0 0 0 9 5 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325450415120 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8260] ppid=8255 vsize=26540748 memory=1384 CPUtime=0.13 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 3602 0 -1 1077944384 1213 0 0 0 8 5 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325449362576 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8261] ppid=8255 vsize=26540748 memory=1005264 CPUtime=0.14 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 3602 0 -1 1077944384 1267 0 0 0 9 5 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325448309520 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8262] ppid=8255 vsize=26540748 memory=992452 CPUtime=0.14 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 3602 0 -1 1077944384 3162 0 0 0 9 5 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325447256976 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8263] ppid=8255 vsize=26540748 memory=992452 CPUtime=0.14 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 3602 0 -1 1077944384 1868 0 0 0 8 6 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325446203920 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8264] ppid=8255 vsize=26540748 memory=1384 CPUtime=0.14 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 3602 0 -1 1077944384 1444 0 0 0 8 6 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325445151376 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8265] ppid=8255 vsize=26540748 memory=11066190 CPUtime=0.14 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 3602 0 -1 1077944384 1544 0 0 0 8 6 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325444098320 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8266] ppid=8255 vsize=26540748 memory=0 CPUtime=0.14 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 3602 0 -1 1077944384 1225 0 0 0 8 6 0 0 20 0 28 0 97015057 27177725952 248113 33554432000 4194304 4196468 140735389556432 140325443045776 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8267] ppid=8255 vsize=26540748 memory=2200 CPUtime=0.15 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 3602 0 -1 1077944384 6915 0 0 0 8 7 0 0 20 0 28 0 97015059 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324654566128 140325527845506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8268] ppid=8255 vsize=26540748 memory=6760 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 3602 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 97015059 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324653512416 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8269] ppid=8255 vsize=26540748 memory=1005264 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 3602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97015059 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324652459264 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8270] ppid=8255 vsize=26540748 memory=4140 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97015062 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324651407824 140325527852955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8271] ppid=8255 vsize=26540748 memory=1022116 CPUtime=3.65 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 3602 0 -1 1077944384 20504 0 0 0 361 4 0 0 20 0 28 0 97015062 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324650354928 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8272] ppid=8255 vsize=26540748 memory=1384 CPUtime=3.88 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) S 8255 8255 3602 0 -1 1077944384 22408 0 0 0 384 4 0 0 20 0 28 0 97015062 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324649302384 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8273] ppid=8255 vsize=26540748 memory=0 CPUtime=3.43 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) S 8255 8255 3602 0 -1 1077944384 20054 0 0 0 339 4 0 0 20 0 28 0 97015062 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324648249328 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8274] ppid=8255 vsize=26540748 memory=0 CPUtime=1.04 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) S 8255 8255 3602 0 -1 1077944384 18634 0 0 0 101 3 0 0 20 0 28 0 97015062 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324647196784 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8275] ppid=8255 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97015062 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324646144992 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8276] ppid=8255 vsize=26540748 memory=1384 CPUtime=0.05 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 3602 0 -1 1077944384 2549 0 0 0 2 3 0 0 20 0 28 0 97015062 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324645092528 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8461] ppid=8255 vsize=26540748 memory=992452 CPUtime=2.94 cores=0-7
/proc/8257/task/8461/stat : 8461 (java) R 8255 8255 3602 0 -1 4202560 331 0 0 0 294 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324636523896 140325130482400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8462] ppid=8255 vsize=26540748 memory=1384 CPUtime=2.94 cores=0-7
/proc/8257/task/8462/stat : 8462 (java) R 8255 8255 3602 0 -1 4202560 218 0 0 0 294 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140323645280424 140325132340794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8463] ppid=8255 vsize=26540748 memory=1384 CPUtime=2.9 cores=0-7
/proc/8257/task/8463/stat : 8463 (java) R 8255 8255 3602 0 -1 4202560 203 0 0 0 290 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140323640016680 140325129261475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8464] ppid=8255 vsize=26540748 memory=4140 CPUtime=2.93 cores=0-7
/proc/8257/task/8464/stat : 8464 (java) R 8255 8255 3602 0 -1 4202560 391 0 0 0 293 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140323643174864 140325130317443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8465] ppid=8255 vsize=26540748 memory=1700 CPUtime=2.93 cores=0-7
/proc/8257/task/8465/stat : 8465 (java) R 8255 8255 3602 0 -1 4202560 227 0 0 0 293 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140323641071872 140325134484498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8466] ppid=8255 vsize=26540748 memory=1228 CPUtime=2.92 cores=0-7
/proc/8257/task/8466/stat : 8466 (java) R 8255 8255 3602 0 -1 4202560 169 0 0 0 292 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140324637576888 140325132487802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8467] ppid=8255 vsize=26540748 memory=5428 CPUtime=2.94 cores=0-7
/proc/8257/task/8467/stat : 8467 (java) R 8255 8255 3602 0 -1 4202560 247 0 0 0 294 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140323644228504 140325128763966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8468] ppid=8255 vsize=26540748 memory=4624 CPUtime=2.93 cores=0-7
/proc/8257/task/8468/stat : 8468 (java) R 8255 8255 3602 0 -1 4202560 233 0 0 0 293 0 0 0 20 0 28 0 97036991 27177725952 248113 33554432000 4194304 4196468 140735389556432 140323642122440 140325132340934 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
Current children cumulated CPU time: 1528.87 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 993836 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.06 7.38 7.28 2/207 8484
/proc/meminfo: memFree=26070216/32770624 swapFree=67108860/67108860
[pid=8255] ppid=8252 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 3602 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97015056 9740288 346 33554432000 4194304 5098028 140720769393280 140720769391384 139849339417212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22470656 140720769401962 140720769402172 140720769402172 140720769404907 0
/proc/8255/statm: 2378 346 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26540748 memory=962248 CPUtime=1744.85 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 3602 0 -1 1077944320 203603 0 0 0 174300 185 0 0 20 0 28 0 97015056 27177725952 240562 33554432000 4194304 4196468 140735389556432 140735389538976 140325527834359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
/proc/8257/statm: 6635187 240562 3281 1 0 6622421 0
[pid=8257/tid=8258] ppid=8255 vsize=26540748 memory=8112282956445269571 CPUtime=0.88 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) S 8255 8255 3602 0 -1 1077944384 10535 0 0 0 84 4 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325532075136 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8259] ppid=8255 vsize=26540748 memory=1700 CPUtime=0.15 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 3602 0 -1 1077944384 2092 0 0 0 10 5 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325450415120 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8260] ppid=8255 vsize=26540748 memory=1228 CPUtime=0.14 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 3602 0 -1 1077944384 1342 0 0 0 9 5 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325449362576 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8261] ppid=8255 vsize=26540748 memory=1384 CPUtime=0.15 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 3602 0 -1 1077944384 1527 0 0 0 10 5 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325448309520 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8262] ppid=8255 vsize=26540748 memory=4126316290023845779 CPUtime=0.14 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 3602 0 -1 1077944384 3659 0 0 0 9 5 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325447256976 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8263] ppid=8255 vsize=26540748 memory=1384 CPUtime=0.14 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 3602 0 -1 1077944384 1951 0 0 0 8 6 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325446203920 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8264] ppid=8255 vsize=26540748 memory=962176 CPUtime=0.15 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 3602 0 -1 1077944384 1842 0 0 0 9 6 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325445151376 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8265] ppid=8255 vsize=26540748 memory=-8253362762722141311 CPUtime=0.14 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 3602 0 -1 1077944384 2000 0 0 0 8 6 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325444098320 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8266] ppid=8255 vsize=26540748 memory=4629771062077588875 CPUtime=0.14 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 3602 0 -1 1077944384 1288 0 0 0 8 6 0 0 20 0 28 0 97015057 27177725952 240562 33554432000 4194304 4196468 140735389556432 140325443045776 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8267] ppid=8255 vsize=26540748 memory=-8961168018402230209 CPUtime=0.19 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 3602 0 -1 1077944384 7830 0 0 0 10 9 0 0 20 0 28 0 97015059 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324654566128 140325527845506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8268] ppid=8255 vsize=26540748 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 3602 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 97015059 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324653512416 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8269] ppid=8255 vsize=26540748 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 3602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97015059 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324652459264 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8270] ppid=8255 vsize=26540748 memory=-7175204567652784766 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97015062 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324651407824 140325527852955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8271] ppid=8255 vsize=26540748 memory=7662988476898173286 CPUtime=3.65 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 3602 0 -1 1077944384 20515 0 0 0 361 4 0 0 20 0 28 0 97015062 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324650354928 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8272] ppid=8255 vsize=26540748 memory=7018410668309505640 CPUtime=3.88 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) S 8255 8255 3602 0 -1 1077944384 22419 0 0 0 384 4 0 0 20 0 28 0 97015062 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324649302384 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8273] ppid=8255 vsize=26540748 memory=7018410668309505640 CPUtime=3.44 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) S 8255 8255 3602 0 -1 1077944384 20899 0 0 0 340 4 0 0 20 0 28 0 97015062 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324648249328 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8274] ppid=8255 vsize=26540748 memory=1292 CPUtime=1.04 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) S 8255 8255 3602 0 -1 1077944384 19136 0 0 0 101 3 0 0 20 0 28 0 97015062 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324647196784 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8275] ppid=8255 vsize=26540748 memory=2428 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97015062 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324646144992 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8276] ppid=8255 vsize=26540748 memory=1732 CPUtime=0.06 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 3602 0 -1 1077944384 2723 0 0 0 2 4 0 0 20 0 28 0 97015062 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324645092528 140325527845506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8477] ppid=8255 vsize=26540748 memory=1944 CPUtime=2.87 cores=0-7
/proc/8257/task/8477/stat : 8477 (java) S 8255 8255 3602 0 -1 1077944384 50 0 0 0 287 0 0 0 20 0 28 0 97039791 27177725952 240562 33554432000 4194304 4196468 140735389556432 140323641073488 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8478] ppid=8255 vsize=26540748 memory=1700 CPUtime=2.87 cores=0-7
/proc/8257/task/8478/stat : 8478 (java) S 8255 8255 3602 0 -1 1077944384 19 0 0 0 287 0 0 0 20 0 28 0 97039791 27177725952 240562 33554432000 4194304 4196468 140735389556432 140323642127632 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8479] ppid=8255 vsize=26540748 memory=1228 CPUtime=2.87 cores=0-7
/proc/8257/task/8479/stat : 8479 (java) S 8255 8255 3602 0 -1 1077944384 23 0 0 0 287 0 0 0 20 0 28 0 97039791 27177725952 240562 33554432000 4194304 4196468 140735389556432 140323645285264 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8480] ppid=8255 vsize=26540748 memory=5428 CPUtime=2.83 cores=0-7
/proc/8257/task/8480/stat : 8480 (java) S 8255 8255 3602 0 -1 1077944384 47 0 0 0 283 0 0 0 20 0 28 0 97039791 27177725952 240562 33554432000 4194304 4196468 140735389556432 140323640022032 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8481] ppid=8255 vsize=26540748 memory=4624 CPUtime=4.65 cores=0-7
/proc/8257/task/8481/stat : 8481 (java) R 8255 8255 3602 0 -1 4202560 174 0 0 0 464 1 0 0 20 0 28 0 97039791 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324637576784 140325134484474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8482] ppid=8255 vsize=26540748 memory=1424 CPUtime=2.86 cores=0-7
/proc/8257/task/8482/stat : 8482 (java) S 8255 8255 3602 0 -1 1077944384 18 0 0 0 286 0 0 0 20 0 28 0 97039791 27177725952 240562 33554432000 4194304 4196468 140735389556432 140323644232464 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8483] ppid=8255 vsize=26540748 memory=13056 CPUtime=2.87 cores=0-7
/proc/8257/task/8483/stat : 8483 (java) S 8255 8255 3602 0 -1 1077944384 19 0 0 0 287 0 0 0 20 0 28 0 97039791 27177725952 240562 33554432000 4194304 4196468 140735389556432 140323643180432 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
[pid=8257/tid=8484] ppid=8255 vsize=26540748 memory=792 CPUtime=2.91 cores=0-7
/proc/8257/task/8484/stat : 8484 (java) S 8255 8255 3602 0 -1 1077944384 18 0 0 0 291 0 0 0 20 0 28 0 97039792 27177725952 240562 33554432000 4194304 4196468 140735389556432 140324636530192 140325527844565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16216064 140735389557912 140735389558088 140735389558088 140735389560783 0
Current children cumulated CPU time: 1744.85 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 963632 KiB

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

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

[startup+252.038 s]
# the end of solver process 8257 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1743.03 s, system=1.87236 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.038
CPU time (s): 1744.9
CPU user time (s): 1743.03
CPU system time (s): 1.87236
CPU usage (%): 692.315
Max. virtual memory (cumulated for all children) (KiB): 26552736
Max. memory (cumulated for all children) (KiB): 1185620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.03
system time used= 1.87236
maximum resident set size= 1190380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16908
involuntary context switches= 19116


# summary of solver processes directly reported to runsolver:
#   pid: 8255,8257
#   total CPU time (s): 1744.9
#   total CPU user time (s): 1743.03
#   total CPU system time (s): 1.87236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.77858 second user time and 2.10088 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-13 17:33:34
IDJOB=4254794
IDBENCH=115840
IDSOLVER=2636
FILE ID=node114/4254794-1502639272
RUNJOBID= node114-1502634593-3629
PBS_JOBID= 20628323
Free space on /tmp= 61700 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-6.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-4254794-1502639272/watcher-4254794-1502639272 -o /tmp/evaluation-result-4254794-1502639272/solver-4254794-1502639272 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502634593-3629 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1355447684 HOME/instance-4254794-1502639272.xml

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

MD5SUM BENCH= 0823366b416f0d4f591b1c2bb0d09de5
RANDOM SEED=1355447684

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.98
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:        27023136 kB
MemAvailable:   31988924 kB
Buffers:          158816 kB
Cached:          5097024 kB
SwapCached:            0 kB
Active:           449336 kB
Inactive:        4861292 kB
Active(anon):      57988 kB
Inactive(anon):    25036 kB
Active(file):     391348 kB
Inactive(file):  4836256 kB
Unevictable:        6520 kB
Mlocked:            6520 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8164 kB
Writeback:             4 kB
AnonPages:         61504 kB
Mapped:            43272 kB
Shmem:             25224 kB
Slab:             133444 kB
SReclaimable:     108036 kB
SUnreclaim:        25408 kB
KernelStack:        3248 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61692 MiB
End job on node114 at 2017-08-13 17:37:46