Trace number 4254795

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)666 1682.21 252.125

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-9.xml
MD5SUM61a67ae858673343e351cd0fcc1d1459
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark648
Best CPU time to get the best result obtained on this benchmark1726.14
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size704
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":704,"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-4254795-1502637751.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4254795-1502637751.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.19/0.86	c solve instance...
102.34/13.55	o 703 
102.34/13.56	o 701 
125.43/16.55	o 700 
133.40/17.88	o 699 
202.16/27.13	o 697 
253.02/33.54	o 696 
267.90/35.97	o 695 
286.92/38.54	o 693 
295.40/39.63	o 692 
533.33/70.48	o 691 
545.71/73.94	o 690 
576.15/79.46	o 689 
678.44/93.10	o 688 
740.69/101.78	o 687 
740.83/101.82	o 686 
740.83/101.86	o 685 
742.84/102.37	o 684 
746.37/105.03	o 683 
750.17/106.46	o 682 
764.68/109.37	o 681 
764.82/109.43	o 680 
764.82/109.49	o 679 
883.57/127.74	o 678 
919.75/132.51	o 677 
958.77/138.03	o 676 
1000.61/146.09	o 675 
1145.25/169.33	o 674 
1155.10/171.39	o 673 
1173.62/175.57	o 672 
1179.98/179.83	o 671 
1294.88/195.66	o 670 
1496.19/222.06	o 669 
1613.00/241.16	o 668 
1614.97/241.92	o 667 
1618.97/244.13	o 666 
1681.44/252.08	s SATISFIABLE
1681.44/252.08	v <instantiation>
1681.44/252.08	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>
1681.44/252.08	v 	<values>69 127 135 186 190 191 201 360 453 602 1 101 211 250 262 343 389 481 490 579 32 65 160 194 226 288 338 455 490 504 10 48 148 197 265 414 472 539 603 656 0 1 65 171 211 298 332 397 437 534 0 45 59 147 216 235 261 347 496 569 3 97 256 350 397 435 500 539 585 587 0 97 192 255 285 329 361 398 470 578 12 82 99 133 229 276 344 397 494 596 11 91 101 143 193 201 269 318 370 440 666 650 577 658 603 654 666 665 663 529 48 8 51 4 1 10 34 76 35 64 98 93 39 12 67 46 90 9 44 71 33 95 26 32 30 50 97 32 13 73 22 3 47 64 78 34 19 63 36 2 1 64 67 20 77 25 65 40 95 69 45 14 88 64 19 22 66 24 73 85 91 93 91 44 38 65 39 46 2 79 91 94 60 29 33 9 37 72 69 87 70 16 28 68 47 68 53 84 84 67 34 10 42 50 7 64 41 42 67 89 0 1 7 2 8 3 9 5 4 6 1 5 0 3 9 2 6 7 8 4 0 3 2 5 4 6 9 8 7 1 0 9 4 7 2 3 1 6 8 5 0 4 9 3 6 1 7 2 5 8 3 8 2 0 1 9 7 6 4 5 5 8 4 3 0 9 6 2 7 1 7 6 8 0 5 9 4 1 2 3 6 4 1 9 5 8 0 7 3 2 9 7 4 1 6 2 3 5 8 0 69 127 186 191 453 360 602 135 190 201 211 1 343 250 579 101 389 481 490 262 32 504 160 65 226 194 288 490 455 338 10 472 265 414 148 656 539 197 603 48 0 298 397 171 1 437 211 332 534 65 147 216 59 0 496 569 347 261 45 235 397 587 539 350 256 3 500 585 97 435 255 398 470 578 361 285 97 0 192 329 344 99 596 494 82 229 12 397 276 133 440 143 201 269 101 318 193 91 370 11 </values>
1681.44/252.08	v </instantiation>
1681.44/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	666

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254795-1502637751/watcher-4254795-1502637751 -o /tmp/evaluation-result-4254795-1502637751/solver-4254795-1502637751 -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 428826470 HOME/instance-4254795-1502637751.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=6780, runsolver pid=6777
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 7.70 6.41 4.85 3/199 6801
/proc/meminfo: memFree=27007080/32770624 swapFree=67108860/67108860
[pid=6780] ppid=6777 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6780/stat : 6780 (xcsp3-exec) S 6777 6780 3602 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 96862907 9740288 346 33554432000 4194304 5098028 140725185554896 140725185553000 139792485016188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17526784 140725185557611 140725185557820 140725185557820 140725185560555 0
/proc/6780/statm: 2378 346 289 221 0 87 0
[pid=6782] ppid=6780 vsize=25999808 memory=26780 CPUtime=0.11 cores=0-7
/proc/6782/stat : 6782 (java) S 6780 6780 3602 0 -1 1077944320 5636 0 0 0 10 1 0 0 20 0 20 0 96862907 26623803392 6695 33554432000 4194304 4196468 140729379811408 140729379793952 140370132930295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
/proc/6782/statm: 6499952 6695 2847 1 0 6488269 0
[pid=6782/tid=6783] ppid=6780 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6782/task/6783/stat : 6783 (java) R 6780 6780 3602 0 -1 4202560 3639 0 0 0 8 1 0 0 20 0 20 0 96862907 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370137162544 140370132942230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6784] ppid=6780 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6782/task/6784/stat : 6784 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370085550480 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6785] ppid=6780 vsize=25999808 memory=139670825502336 CPUtime=0 cores=0-7
/proc/6782/task/6785/stat : 6785 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370084497680 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6786] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6786/stat : 6786 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370083445392 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6787] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6787/stat : 6787 (java) S 6780 6780 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370082392592 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6788] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6788/stat : 6788 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370081340304 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6789] ppid=6780 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6782/task/6789/stat : 6789 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370080287504 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6790] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6790/stat : 6790 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370079235216 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6791] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6791/stat : 6791 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26623803392 6695 33554432000 4194304 4196468 140729379811408 140370078182416 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6792] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6792/stat : 6792 (java) S 6780 6780 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96862910 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369461233776 140370132941442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6793] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6793/stat : 6793 (java) S 6780 6780 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96862910 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369460179744 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6794] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6794/stat : 6794 (java) S 6780 6780 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96862910 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369459127408 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6795] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6795/stat : 6795 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862913 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369458075728 140370132948891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6796] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6796/stat : 6796 (java) S 6780 6780 3602 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 96862913 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369457023600 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6797] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6797/stat : 6797 (java) R 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96862913 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369455970800 140370132941442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6798] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6798/stat : 6798 (java) S 6780 6780 3602 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 96862913 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369454918512 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6799] ppid=6780 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6782/task/6799/stat : 6799 (java) R 6780 6780 3602 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 96862913 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369453865712 140370132942230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6800] ppid=6780 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6800/stat : 6800 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96862913 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369452812640 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6801] ppid=6780 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6782/task/6801/stat : 6801 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862913 26623803392 6695 33554432000 4194304 4196468 140729379811408 140369451759920 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28164 KiB

[startup+0.209591 s]*
/proc/loadavg: 7.70 6.41 4.85 3/199 6801
/proc/meminfo: memFree=26995404/32770624 swapFree=67108860/67108860
[pid=6780] ppid=6777 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6780/stat : 6780 (xcsp3-exec) S 6777 6780 3602 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 96862907 9740288 346 33554432000 4194304 5098028 140725185554896 140725185553000 139792485016188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17526784 140725185557611 140725185557820 140725185557820 140725185560555 0
/proc/6780/statm: 2378 346 289 221 0 87 0
[pid=6782] ppid=6780 vsize=26004064 memory=38688 CPUtime=0.33 cores=0-7
/proc/6782/stat : 6782 (java) S 6780 6780 3602 0 -1 1077944320 8293 0 0 0 30 3 0 0 20 0 20 0 96862907 26628161536 9672 33554432000 4194304 4196468 140729379811408 140729379793952 140370132930295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
/proc/6782/statm: 6501016 9672 3039 1 0 6488269 0
[pid=6782/tid=6783] ppid=6780 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6782/task/6783/stat : 6783 (java) R 6780 6780 3602 0 -1 4202560 5423 0 0 0 18 2 0 0 20 0 20 0 96862907 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370137151120 140370125608309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6784] ppid=6780 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/6782/task/6784/stat : 6784 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370085550480 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6785] ppid=6780 vsize=26004064 memory=139670825511263 CPUtime=0 cores=0-7
/proc/6782/task/6785/stat : 6785 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370084497680 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6786] ppid=6780 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6782/task/6786/stat : 6786 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370083445392 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6787] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6787/stat : 6787 (java) S 6780 6780 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370082392592 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6788] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6788/stat : 6788 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370081340304 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6789] ppid=6780 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6782/task/6789/stat : 6789 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370080287504 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6790] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6790/stat : 6790 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370079235216 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6791] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6791/stat : 6791 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 9672 33554432000 4194304 4196468 140729379811408 140370078182416 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6792] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6792/stat : 6792 (java) S 6780 6780 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96862910 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369461233776 140370132941442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6793] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6793/stat : 6793 (java) S 6780 6780 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96862910 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369460179744 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6794] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6794/stat : 6794 (java) S 6780 6780 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96862910 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369459127408 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6795] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6795/stat : 6795 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862913 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369458075728 140370132948891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6796] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6796/stat : 6796 (java) R 6780 6780 3602 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 20 0 96862913 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369457023600 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6797] ppid=6780 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6782/task/6797/stat : 6797 (java) S 6780 6780 3602 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 96862913 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369455970800 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6798] ppid=6780 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/6782/task/6798/stat : 6798 (java) S 6780 6780 3602 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 96862913 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369454918512 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6799] ppid=6780 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/6782/task/6799/stat : 6799 (java) R 6780 6780 3602 0 -1 4202560 719 0 0 0 7 0 0 0 20 0 20 0 96862913 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369453865712 140370117176708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6800] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6800/stat : 6800 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96862913 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369452812640 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6801] ppid=6780 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6782/task/6801/stat : 6801 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862913 26628161536 9672 33554432000 4194304 4196468 140729379811408 140369451759920 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40072 KiB

[startup+0.309295 s]*
/proc/loadavg: 7.70 6.41 4.85 3/199 6801
/proc/meminfo: memFree=26991000/32770624 swapFree=67108860/67108860
[pid=6780] ppid=6777 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6780/stat : 6780 (xcsp3-exec) S 6777 6780 3602 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 96862907 9740288 346 33554432000 4194304 5098028 140725185554896 140725185553000 139792485016188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17526784 140725185557611 140725185557820 140725185557820 140725185560555 0
/proc/6780/statm: 2378 346 289 221 0 87 0
[pid=6782] ppid=6780 vsize=26004064 memory=43600 CPUtime=0.5 cores=0-7
/proc/6782/stat : 6782 (java) S 6780 6780 3602 0 -1 1077944320 9128 0 0 0 46 4 0 0 20 0 20 0 96862907 26628161536 10900 33554432000 4194304 4196468 140729379811408 140729379793952 140370132930295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
/proc/6782/statm: 6501016 10900 3077 1 0 6488269 0
[pid=6782/tid=6783] ppid=6780 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6782/task/6783/stat : 6783 (java) R 6780 6780 3602 0 -1 4202560 6095 0 0 0 26 3 0 0 20 0 20 0 96862907 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370137169520 140370132952221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6784] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6784/stat : 6784 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370085550480 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6785] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6785/stat : 6785 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370084497680 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6786] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6786/stat : 6786 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370083445392 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6787] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6787/stat : 6787 (java) S 6780 6780 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370082392592 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6788] ppid=6780 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6782/task/6788/stat : 6788 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370081340304 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6789] ppid=6780 vsize=26004064 memory=139670725948335 CPUtime=0 cores=0-7
/proc/6782/task/6789/stat : 6789 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370080287504 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6790] ppid=6780 vsize=26004064 memory=139670725950640 CPUtime=0 cores=0-7
/proc/6782/task/6790/stat : 6790 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370079235216 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6791] ppid=6780 vsize=26004064 memory=139670725952944 CPUtime=0 cores=0-7
/proc/6782/task/6791/stat : 6791 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26628161536 11412 33554432000 4194304 4196468 140729379811408 140370078182416 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6792] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6792/stat : 6792 (java) S 6780 6780 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96862910 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369461233776 140370132941442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6793] ppid=6780 vsize=26004064 memory=279341451912848 CPUtime=0 cores=0-7
/proc/6782/task/6793/stat : 6793 (java) S 6780 6780 3602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96862910 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369460179744 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6794] ppid=6780 vsize=26004064 memory=279341451919760 CPUtime=0 cores=0-7
/proc/6782/task/6794/stat : 6794 (java) S 6780 6780 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96862910 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369459127408 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6795] ppid=6780 vsize=26004064 memory=279341451861040 CPUtime=0 cores=0-7
/proc/6782/task/6795/stat : 6795 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862913 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369458075728 140370132948891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6796] ppid=6780 vsize=26004064 memory=279341451933584 CPUtime=0.01 cores=0-7
/proc/6782/task/6796/stat : 6796 (java) S 6780 6780 3602 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 96862913 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369457023600 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6797] ppid=6780 vsize=26004064 memory=279341451940496 CPUtime=0.02 cores=0-7
/proc/6782/task/6797/stat : 6797 (java) S 6780 6780 3602 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 20 0 96862913 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369455970800 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6798] ppid=6780 vsize=26004064 memory=279341451938192 CPUtime=0.02 cores=0-7
/proc/6782/task/6798/stat : 6798 (java) S 6780 6780 3602 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 20 0 96862913 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369454918512 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6799] ppid=6780 vsize=26004064 memory=279341451954352 CPUtime=0.12 cores=0-7
/proc/6782/task/6799/stat : 6799 (java) R 6780 6780 3602 0 -1 4202560 825 0 0 0 12 0 0 0 20 0 20 0 96862913 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369453861440 140370116973925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6800] ppid=6780 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6800/stat : 6800 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96862913 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369452812640 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6801] ppid=6780 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6782/task/6801/stat : 6801 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862913 26628161536 11412 33554432000 4194304 4196468 140729379811408 140369451759920 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44984 KiB

[startup+0.7014 s]
/proc/loadavg: 7.70 6.41 4.85 5/199 6801
/proc/meminfo: memFree=26976312/32770624 swapFree=67108860/67108860
[pid=6780] ppid=6777 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6780/stat : 6780 (xcsp3-exec) S 6777 6780 3602 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 96862907 9740288 346 33554432000 4194304 5098028 140725185554896 140725185553000 139792485016188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17526784 140725185557611 140725185557820 140725185557820 140725185560555 0
/proc/6780/statm: 2378 346 289 221 0 87 0
[pid=6782] ppid=6780 vsize=26006188 memory=90160 CPUtime=1.71 cores=0-7
/proc/6782/stat : 6782 (java) S 6780 6780 3602 0 -1 1077944320 13829 0 0 0 164 7 0 0 20 0 20 0 96862907 26630336512 22540 33554432000 4194304 4196468 140729379811408 140729379793952 140370132930295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
/proc/6782/statm: 6501547 22540 3208 1 0 6488781 0
[pid=6782/tid=6783] ppid=6780 vsize=26006188 memory=279341452312240 CPUtime=0.67 cores=0-7
/proc/6782/task/6783/stat : 6783 (java) R 6780 6780 3602 0 -1 4202560 6997 0 0 0 63 4 0 0 20 0 20 0 96862907 26630336512 22540 33554432000 4194304 4196468 140729379811408 140370137166992 140369748589294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6784] ppid=6780 vsize=26006188 memory=139670726157168 CPUtime=0 cores=0-7
/proc/6782/task/6784/stat : 6784 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26630336512 22540 33554432000 4194304 4196468 140729379811408 140370085550480 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6785] ppid=6780 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6785/stat : 6785 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26630336512 22540 33554432000 4194304 4196468 140729379811408 140370084497680 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6786] ppid=6780 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/6782/task/6786/stat : 6786 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96862908 26630336512 22540 33554432000 4194304 4196468 140729379811408 140370083445392 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0

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

[pid=6782/tid=6801] ppid=6780 vsize=26540748 memory=747696 CPUtime=0.03 cores=0-7
/proc/6782/task/6801/stat : 6801 (java) S 6780 6780 3602 0 -1 1077944384 2039 0 0 0 2 1 0 0 20 0 28 0 96862913 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369451759920 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7018] ppid=6780 vsize=26540748 memory=1384 CPUtime=16.15 cores=0-7
/proc/6782/task/7018/stat : 7018 (java) R 6780 6780 3602 0 -1 4202560 124 0 0 0 1615 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369442695760 140369756735194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7019] ppid=6780 vsize=26540748 memory=1384 CPUtime=16.15 cores=0-7
/proc/6782/task/7019/stat : 7019 (java) R 6780 6780 3602 0 -1 4202560 161 0 0 0 1615 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369438486904 140369757638833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7020] ppid=6780 vsize=26540748 memory=747696 CPUtime=16.15 cores=0-7
/proc/6782/task/7020/stat : 7020 (java) R 6780 6780 3602 0 -1 4202560 182 0 0 0 1615 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369443753136 140369757043136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7021] ppid=6780 vsize=26540748 memory=916 CPUtime=16.14 cores=0-7
/proc/6782/task/7021/stat : 7021 (java) R 6780 6780 3602 0 -1 4202560 107 0 0 0 1614 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369440591784 140369759332589 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7022] ppid=6780 vsize=26540748 memory=956 CPUtime=16.06 cores=0-7
/proc/6782/task/7022/stat : 7022 (java) R 6780 6780 3602 0 -1 4202560 486 0 0 0 1606 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369436381864 140369755233114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7023] ppid=6780 vsize=26540748 memory=2344 CPUtime=15.95 cores=0-7
/proc/6782/task/7023/stat : 7023 (java) R 6780 6780 3602 0 -1 4202560 172 0 0 0 1595 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369441644320 140369755233104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7024] ppid=6780 vsize=26540748 memory=1576 CPUtime=16.15 cores=0-7
/proc/6782/task/7024/stat : 7024 (java) R 6780 6780 3602 0 -1 4202560 190 0 0 0 1615 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369439539352 140369757589121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7025] ppid=6780 vsize=26540748 memory=1384 CPUtime=16.13 cores=0-7
/proc/6782/task/7025/stat : 7025 (java) R 6780 6780 3602 0 -1 4202560 119 0 0 0 1613 0 0 0 20 0 28 0 96877516 27177725952 188089 33554432000 4194304 4196468 140729379811408 140369437432992 140369756703516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
Current children cumulated CPU time: 1129.8 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 753740 KiB

[startup+222.301 s]
/proc/loadavg: 6.30 6.49 5.24 2/208 7065
/proc/meminfo: memFree=26272440/32770624 swapFree=67108860/67108860
[pid=6780] ppid=6777 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6780/stat : 6780 (xcsp3-exec) S 6777 6780 3602 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 96862907 9740288 346 33554432000 4194304 5098028 140725185554896 140725185553000 139792485016188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17526784 140725185557611 140725185557820 140725185557820 140725185560555 0
/proc/6780/statm: 2378 346 289 221 0 87 0
[pid=6782] ppid=6780 vsize=26540748 memory=762032 CPUtime=1498.15 cores=0-7
/proc/6782/stat : 6782 (java) S 6780 6780 3602 0 -1 1077944320 224159 0 0 0 149629 186 0 0 20 0 28 0 96862907 27177725952 190508 33554432000 4194304 4196468 140729379811408 140729379793952 140370132930295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
/proc/6782/statm: 6635187 190508 3292 1 0 6622421 0
[pid=6782/tid=6783] ppid=6780 vsize=26540748 memory=762572 CPUtime=0.89 cores=0-7
/proc/6782/task/6783/stat : 6783 (java) S 6780 6780 3602 0 -1 1077944384 10895 0 0 0 83 6 0 0 20 0 28 0 96862907 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370137171072 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6784] ppid=6780 vsize=26540748 memory=760520 CPUtime=0.19 cores=0-7
/proc/6782/task/6784/stat : 6784 (java) S 6780 6780 3602 0 -1 1077944384 2616 0 0 0 11 8 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370085550480 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6785] ppid=6780 vsize=26540748 memory=753368 CPUtime=0.18 cores=0-7
/proc/6782/task/6785/stat : 6785 (java) S 6780 6780 3602 0 -1 1077944384 2393 0 0 0 11 7 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370084497680 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6786] ppid=6780 vsize=26540748 memory=753680 CPUtime=0.2 cores=0-7
/proc/6782/task/6786/stat : 6786 (java) S 6780 6780 3602 0 -1 1077944384 1645 0 0 0 12 8 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370083445392 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6787] ppid=6780 vsize=26540748 memory=753368 CPUtime=0.2 cores=0-7
/proc/6782/task/6787/stat : 6787 (java) S 6780 6780 3602 0 -1 1077944384 5140 0 0 0 12 8 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370082392592 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6788] ppid=6780 vsize=26540748 memory=756956 CPUtime=0.19 cores=0-7
/proc/6782/task/6788/stat : 6788 (java) S 6780 6780 3602 0 -1 1077944384 1062 0 0 0 11 8 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370081340304 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6789] ppid=6780 vsize=26540748 memory=759500 CPUtime=0.2 cores=0-7
/proc/6782/task/6789/stat : 6789 (java) S 6780 6780 3602 0 -1 1077944384 2475 0 0 0 11 9 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370080287504 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6790] ppid=6780 vsize=26540748 memory=760520 CPUtime=0.21 cores=0-7
/proc/6782/task/6790/stat : 6790 (java) S 6780 6780 3602 0 -1 1077944384 2476 0 0 0 12 9 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370079235216 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6791] ppid=6780 vsize=26540748 memory=762032 CPUtime=0.2 cores=0-7
/proc/6782/task/6791/stat : 6791 (java) S 6780 6780 3602 0 -1 1077944384 2884 0 0 0 11 9 0 0 20 0 28 0 96862908 27177725952 190508 33554432000 4194304 4196468 140729379811408 140370078182416 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6792] ppid=6780 vsize=26540748 memory=1384 CPUtime=0.28 cores=0-7
/proc/6782/task/6792/stat : 6792 (java) S 6780 6780 3602 0 -1 1077944384 9652 0 0 0 14 14 0 0 20 0 28 0 96862910 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369461233776 140370132941442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6793] ppid=6780 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/6782/task/6793/stat : 6793 (java) S 6780 6780 3602 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 96862910 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369460179808 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6794] ppid=6780 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/6782/task/6794/stat : 6794 (java) S 6780 6780 3602 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 96862910 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369459127424 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6795] ppid=6780 vsize=26540748 memory=756960 CPUtime=0 cores=0-7
/proc/6782/task/6795/stat : 6795 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96862913 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369458075728 140370132948891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6796] ppid=6780 vsize=26540748 memory=0 CPUtime=4.48 cores=0-7
/proc/6782/task/6796/stat : 6796 (java) S 6780 6780 3602 0 -1 1077944384 30438 0 0 0 441 7 0 0 20 0 28 0 96862913 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369457023600 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6797] ppid=6780 vsize=26540748 memory=1384 CPUtime=4.45 cores=0-7
/proc/6782/task/6797/stat : 6797 (java) S 6780 6780 3602 0 -1 1077944384 31215 0 0 0 438 7 0 0 20 0 28 0 96862913 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369455970800 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6798] ppid=6780 vsize=26540748 memory=1384 CPUtime=4.79 cores=0-7
/proc/6782/task/6798/stat : 6798 (java) S 6780 6780 3602 0 -1 1077944384 27301 0 0 0 473 6 0 0 20 0 28 0 96862913 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369454918512 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6799] ppid=6780 vsize=26540748 memory=0 CPUtime=1.07 cores=0-7
/proc/6782/task/6799/stat : 6799 (java) S 6780 6780 3602 0 -1 1077944384 21660 0 0 0 103 4 0 0 20 0 28 0 96862913 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369453865712 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6800] ppid=6780 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/6782/task/6800/stat : 6800 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96862913 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369452812640 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6801] ppid=6780 vsize=26540748 memory=4140 CPUtime=0.05 cores=0-7
/proc/6782/task/6801/stat : 6801 (java) S 6780 6780 3602 0 -1 1077944384 2472 0 0 0 3 2 0 0 20 0 28 0 96862913 27177725952 190508 33554432000 4194304 4196468 140729379811408 140369451759920 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
Current children cumulated CPU time: 1498.15 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 763416 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 6.06 6.43 5.26 9/208 7097
/proc/meminfo: memFree=26262532/32770624 swapFree=67108860/67108860
[pid=6780] ppid=6777 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6780/stat : 6780 (xcsp3-exec) S 6777 6780 3602 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 96862907 9740288 346 33554432000 4194304 5098028 140725185554896 140725185553000 139792485016188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17526784 140725185557611 140725185557820 140725185557820 140725185560555 0
/proc/6780/statm: 2378 346 289 221 0 87 0
[pid=6782] ppid=6780 vsize=26540748 memory=771812 CPUtime=1681.44 cores=0-7
/proc/6782/stat : 6782 (java) S 6780 6780 3602 0 -1 1077944320 253656 0 0 0 167936 208 0 0 20 0 28 0 96862907 27177725952 192953 33554432000 4194304 4196468 140729379811408 140729379793952 140370132930295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
/proc/6782/statm: 6635187 192953 3292 1 0 6622421 0
[pid=6782/tid=6783] ppid=6780 vsize=26540748 memory=1204 CPUtime=0.89 cores=0-7
/proc/6782/task/6783/stat : 6783 (java) S 6780 6780 3602 0 -1 1077944384 11374 0 0 0 83 6 0 0 20 0 28 0 96862907 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370137171072 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6784] ppid=6780 vsize=26540748 memory=15872 CPUtime=0.22 cores=0-7
/proc/6782/task/6784/stat : 6784 (java) S 6780 6780 3602 0 -1 1077944384 4227 0 0 0 13 9 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370085550480 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6785] ppid=6780 vsize=26540748 memory=4126316290023845779 CPUtime=0.22 cores=0-7
/proc/6782/task/6785/stat : 6785 (java) S 6780 6780 3602 0 -1 1077944384 2745 0 0 0 13 9 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370084497680 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6786] ppid=6780 vsize=26540748 memory=4052 CPUtime=0.23 cores=0-7
/proc/6782/task/6786/stat : 6786 (java) S 6780 6780 3602 0 -1 1077944384 1989 0 0 0 14 9 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370083445392 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6787] ppid=6780 vsize=26540748 memory=15788 CPUtime=0.24 cores=0-7
/proc/6782/task/6787/stat : 6787 (java) S 6780 6780 3602 0 -1 1077944384 6430 0 0 0 14 10 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370082392592 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6788] ppid=6780 vsize=26540748 memory=1236 CPUtime=0.22 cores=0-7
/proc/6782/task/6788/stat : 6788 (java) S 6780 6780 3602 0 -1 1077944384 2263 0 0 0 13 9 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370081340304 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6789] ppid=6780 vsize=26540748 memory=1792 CPUtime=0.23 cores=0-7
/proc/6782/task/6789/stat : 6789 (java) S 6780 6780 3602 0 -1 1077944384 3642 0 0 0 13 10 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370080287504 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6790] ppid=6780 vsize=26540748 memory=640 CPUtime=0.23 cores=0-7
/proc/6782/task/6790/stat : 6790 (java) S 6780 6780 3602 0 -1 1077944384 3591 0 0 0 14 9 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370079235216 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6791] ppid=6780 vsize=26540748 memory=956 CPUtime=0.23 cores=0-7
/proc/6782/task/6791/stat : 6791 (java) S 6780 6780 3602 0 -1 1077944384 3600 0 0 0 13 10 0 0 20 0 28 0 96862908 27177725952 192953 33554432000 4194304 4196468 140729379811408 140370078182416 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6792] ppid=6780 vsize=26540748 memory=2344 CPUtime=0.39 cores=0-7
/proc/6782/task/6792/stat : 6792 (java) S 6780 6780 3602 0 -1 1077944384 12976 0 0 0 19 20 0 0 20 0 28 0 96862910 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369461233776 140370132941442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6793] ppid=6780 vsize=26540748 memory=1576 CPUtime=0 cores=0-7
/proc/6782/task/6793/stat : 6793 (java) S 6780 6780 3602 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 96862910 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369460179808 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6794] ppid=6780 vsize=26540748 memory=932 CPUtime=0 cores=0-7
/proc/6782/task/6794/stat : 6794 (java) S 6780 6780 3602 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 96862910 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369459127424 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6795] ppid=6780 vsize=26540748 memory=2236 CPUtime=0 cores=0-7
/proc/6782/task/6795/stat : 6795 (java) S 6780 6780 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96862913 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369458075728 140370132948891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6796] ppid=6780 vsize=26540748 memory=4124 CPUtime=4.48 cores=0-7
/proc/6782/task/6796/stat : 6796 (java) S 6780 6780 3602 0 -1 1077944384 31331 0 0 0 441 7 0 0 20 0 28 0 96862913 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369457023600 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6797] ppid=6780 vsize=26540748 memory=1384 CPUtime=4.48 cores=0-7
/proc/6782/task/6797/stat : 6797 (java) S 6780 6780 3602 0 -1 1077944384 32427 0 0 0 441 7 0 0 20 0 28 0 96862913 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369455970800 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6798] ppid=6780 vsize=26540748 memory=771816 CPUtime=4.8 cores=0-7
/proc/6782/task/6798/stat : 6798 (java) S 6780 6780 3602 0 -1 1077944384 28427 0 0 0 474 6 0 0 20 0 28 0 96862913 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369454918512 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6799] ppid=6780 vsize=26540748 memory=15260333174426028 CPUtime=1.08 cores=0-7
/proc/6782/task/6799/stat : 6799 (java) S 6780 6780 3602 0 -1 1077944384 23218 0 0 0 104 4 0 0 20 0 28 0 96862913 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369453865712 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6800] ppid=6780 vsize=26540748 memory=15260333174426028 CPUtime=0 cores=0-7
/proc/6782/task/6800/stat : 6800 (java) S 6780 6780 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96862913 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369452812640 140370132940501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=6801] ppid=6780 vsize=26540748 memory=1576 CPUtime=0.07 cores=0-7
/proc/6782/task/6801/stat : 6801 (java) S 6780 6780 3602 0 -1 1077944384 2881 0 0 0 4 3 0 0 20 0 28 0 96862913 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369451759920 140370132941442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7090] ppid=6780 vsize=26540748 memory=932 CPUtime=7.8 cores=0-7
/proc/6782/task/7090/stat : 7090 (java) R 6780 6780 3602 0 -1 4202560 615 0 0 0 780 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369441643520 140369758969971 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7091] ppid=6780 vsize=26540748 memory=1384 CPUtime=7.8 cores=0-7
/proc/6782/task/7091/stat : 7091 (java) R 6780 6780 3602 0 -1 4202560 435 0 0 0 780 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369438486968 140369758748261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7092] ppid=6780 vsize=26540748 memory=771816 CPUtime=7.79 cores=0-7
/proc/6782/task/7092/stat : 7092 (java) R 6780 6780 3602 0 -1 4202560 432 0 0 0 779 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369440594736 140369756020520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7093] ppid=6780 vsize=26540748 memory=2200 CPUtime=7.79 cores=0-7
/proc/6782/task/7093/stat : 7093 (java) R 6780 6780 3602 0 -1 4202560 1026 0 0 0 779 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369442697632 140369760732355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7094] ppid=6780 vsize=26540748 memory=6760 CPUtime=7.77 cores=0-7
/proc/6782/task/7094/stat : 7094 (java) R 6780 6780 3602 0 -1 4202560 221 0 0 0 777 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369436381520 140369755233145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7095] ppid=6780 vsize=26540748 memory=840 CPUtime=7.71 cores=0-7
/proc/6782/task/7095/stat : 7095 (java) R 6780 6780 3602 0 -1 4202560 287 0 0 0 771 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369443750120 140369755176372 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7096] ppid=6780 vsize=26540748 memory=1692 CPUtime=7.76 cores=0-7
/proc/6782/task/7096/stat : 7096 (java) R 6780 6780 3602 0 -1 4202560 412 0 0 0 776 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369437433920 140369757045813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
[pid=6782/tid=7097] ppid=6780 vsize=26540748 memory=916 CPUtime=7.8 cores=0-7
/proc/6782/task/7097/stat : 7097 (java) R 6780 6780 3602 0 -1 4202560 394 0 0 0 780 0 0 0 20 0 28 0 96887321 27177725952 192953 33554432000 4194304 4196468 140729379811408 140369439542688 140369756021404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140729379812504 140729379812680 140729379812680 140729379815375 0
Current children cumulated CPU time: 1681.44 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 773196 KiB

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

[startup+252.039 s]
# the end of solver process 6780 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00096 s, system=0.00096 s

[startup+252.125 s]
# the end of solver process 6782 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1680.1 s, system=2.10899 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.125
CPU time (s): 1682.21
CPU user time (s): 1680.1
CPU system time (s): 2.10899
CPU usage (%): 667.213
Max. virtual memory (cumulated for all children) (KiB): 26556060
Max. memory (cumulated for all children) (KiB): 773200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.1
system time used= 2.10899
maximum resident set size= 773864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21193
involuntary context switches= 18676


# summary of solver processes directly reported to runsolver:
#   pid: 6780,6782
#   total CPU time (s): 1682.21
#   total CPU user time (s): 1680.1
#   total CPU system time (s): 2.10899

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5518 second user time and 2.27364 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-13 17:08:12
IDJOB=4254795
IDBENCH=115805
IDSOLVER=2636
FILE ID=node114/4254795-1502637751
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-9.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-4254795-1502637751/watcher-4254795-1502637751 -o /tmp/evaluation-result-4254795-1502637751/solver-4254795-1502637751 -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 428826470 HOME/instance-4254795-1502637751.xml

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

MD5SUM BENCH= 61a67ae858673343e351cd0fcc1d1459
RANDOM SEED=428826470

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:        27023072 kB
MemAvailable:   31987644 kB
Buffers:          157700 kB
Cached:          5096492 kB
SwapCached:            0 kB
Active:           448972 kB
Inactive:        4860192 kB
Active(anon):      57816 kB
Inactive(anon):    25036 kB
Active(file):     391156 kB
Inactive(file):  4835156 kB
Unevictable:        6520 kB
Mlocked:            6520 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7872 kB
Writeback:             8 kB
AnonPages:         61076 kB
Mapped:            43676 kB
Shmem:             25224 kB
Slab:             133480 kB
SReclaimable:     108192 kB
SUnreclaim:        25288 kB
KernelStack:        3184 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323336 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:12:25