Trace number 4271404

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)677 19377.6 2520.1201

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-2.xml
MD5SUMb5461c8e5264bee8206ce4144564b5f2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark617
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size9
Maximum domain size717
Distribution of domain sizes[{"size":9,"count":40},{"size":10,"count":160},{"size":717,"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-4271404-1502664219.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271404-1502664219.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.18/0.87	c solve instance...
108.26/14.21	o 716 
127.88/16.89	o 715 
131.45/17.62	o 714 
267.46/34.73	o 712 
379.75/49.42	o 711 
400.73/53.47	o 710 
401.00/53.51	o 709 
403.21/55.35	o 706 
469.84/65.91	o 705 
613.98/84.60	o 704 
711.93/97.64	o 703 
760.09/103.74	o 702 
781.64/107.03	o 701 
792.49/112.23	o 700 
845.07/120.88	o 699 
849.21/121.45	o 697 
857.27/124.92	o 696 
863.37/126.17	o 695 
947.13/137.79	o 691 
1093.07/160.32	o 690 
1102.55/167.38	o 689 
1105.56/169.97	o 687 
1107.67/170.95	o 686 
1147.18/179.90	o 685 
1478.95/230.33	o 684 
1523.59/239.66	o 683 
1526.39/240.03	o 682 
1526.39/240.08	o 681 
1699.11/263.94	o 680 
1703.70/268.19	o 679 
1798.08/284.25	o 678 
1835.53/293.27	o 677 
19376.82/2520.09	s SATISFIABLE
19376.82/2520.09	v <instantiation>
19376.82/2520.09	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>
19376.82/2520.09	v 	<values>0 37 100 130 221 309 439 580 595 654 0 39 111 186 263 347 429 510 514 639 7 11 57 212 311 355 411 462 537 591 29 123 214 273 288 368 451 542 614 676 37 124 230 277 293 339 368 510 532 582 0 70 185 211 309 400 463 538 556 655 49 170 222 263 284 412 469 538 569 582 63 128 160 185 299 415 500 559 575 652 7 48 116 185 262 309 333 409 460 512 0 2 45 137 319 368 461 526 591 597 677 659 614 677 672 677 652 677 558 674 37 63 28 91 75 99 75 9 58 23 39 72 73 73 76 82 81 4 61 20 4 45 68 99 44 52 49 48 36 23 83 91 59 15 80 49 86 72 62 1 86 41 18 16 46 8 71 16 35 90 45 87 25 97 91 63 71 16 79 22 6 46 39 15 33 47 36 21 13 70 38 32 25 92 68 80 56 10 77 25 32 66 69 74 25 24 62 50 52 46 2 43 85 74 45 93 39 65 4 77 7 5 8 4 2 6 9 0 1 3 6 1 5 8 4 0 3 2 9 7 3 0 9 5 1 4 7 2 8 6 3 7 1 8 9 5 0 4 6 2 7 2 4 3 8 0 9 6 1 5 4 6 5 0 3 1 8 2 7 9 8 2 9 6 7 4 1 0 5 3 0 8 1 3 2 6 7 5 9 4 1 2 3 6 9 0 7 8 4 5 3 8 4 9 5 2 7 6 1 0 580 595 221 654 130 37 309 0 100 439 347 39 510 429 263 111 0 639 186 514 11 311 462 7 355 212 591 411 537 57 451 214 676 29 542 368 614 123 273 288 339 532 124 277 230 582 510 37 293 368 211 400 538 309 0 185 70 556 463 655 538 469 170 582 412 569 263 284 49 222 63 160 299 185 652 559 415 500 128 575 309 7 48 116 460 512 185 333 409 262 597 591 368 0 45 319 526 461 2 137 </values>
19376.82/2520.09	v </instantiation>
19376.82/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	677

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271404-1502664219/watcher-4271404-1502664219 -o /tmp/evaluation-result-4271404-1502664219/solver-4271404-1502664219 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502660839-23535 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 557556677 HOME/instance-4271404-1502664219.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=23722, runsolver pid=23719

[startup+0.10016 s]*
/proc/loadavg: 7.54 8.01 8.18 2/199 23743
/proc/meminfo: memFree=31560004/32770624 swapFree=67108860/67108860
[pid=23722] ppid=23719 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23722/stat : 23722 (xcsp3-exec) S 23719 23722 23508 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99509626 9740288 346 33554432000 4194304 5098028 140722118500800 140722118498904 139694315758204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26112000 140722118509669 140722118509879 140722118509879 140722118512619 0
/proc/23722/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23722 vsize=25999808 memory=29784 CPUtime=0.12 cores=0-7
/proc/23724/stat : 23724 (java) S 23722 23722 23508 0 -1 1077944320 5373 0 0 0 11 1 0 0 20 0 20 0 99509626 26623803392 7446 33554432000 4194304 4196468 140726073608560 140726073591104 139962538237687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
/proc/23724/statm: 6499952 7446 2843 1 0 6488269 0
[pid=23724/tid=23725] ppid=23722 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/23724/task/23725/stat : 23725 (java) R 23722 23722 23508 0 -1 4202560 3375 0 0 0 8 0 0 0 20 0 20 0 99509626 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962542470016 139962538249622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23726] ppid=23722 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/23724/task/23726/stat : 23726 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962460818064 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23727] ppid=23722 vsize=25999808 memory=140053552899712 CPUtime=0 cores=0-7
/proc/23724/task/23727/stat : 23727 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962459765264 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23728] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23728/stat : 23728 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962458712464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23729] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23729/stat : 23729 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962457659664 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23730] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23730/stat : 23730 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962456607888 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23731] ppid=23722 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23724/task/23731/stat : 23731 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962455555088 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23732] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23732/stat : 23732 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7446 33554432000 4194304 4196468 140726073608560 139962454502288 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23733] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23733/stat : 23733 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99509627 26623803392 7511 33554432000 4194304 4196468 140726073608560 139962453449488 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23734] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23734/stat : 23734 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509629 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961123203440 139962538248834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23735] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23735/stat : 23735 (java) S 23722 23722 23508 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99509629 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961122149408 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23736] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23736/stat : 23736 (java) S 23722 23722 23508 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99509629 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961121096560 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23737] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23737/stat : 23737 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509632 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961120044880 139962538256283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23738] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23738/stat : 23738 (java) S 23722 23722 23508 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 99509632 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961118993264 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23739] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23739/stat : 23739 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99509632 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961117940464 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23740] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23740/stat : 23740 (java) S 23722 23722 23508 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 99509632 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961116887664 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23741] ppid=23722 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23724/task/23741/stat : 23741 (java) R 23722 23722 23508 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 99509632 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961115834864 139962516937888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23742] ppid=23722 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23742/stat : 23742 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99509632 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961114782304 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23743] ppid=23722 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23724/task/23743/stat : 23743 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509632 26623803392 7511 33554432000 4194304 4196468 140726073608560 139961113729584 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 31168 KiB

[startup+0.210152 s]*
/proc/loadavg: 7.54 8.01 8.18 3/199 23743
/proc/meminfo: memFree=31548468/32770624 swapFree=67108860/67108860
[pid=23722] ppid=23719 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23722/stat : 23722 (xcsp3-exec) S 23719 23722 23508 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99509626 9740288 346 33554432000 4194304 5098028 140722118500800 140722118498904 139694315758204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26112000 140722118509669 140722118509879 140722118509879 140722118512619 0
/proc/23722/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23722 vsize=26004064 memory=42568 CPUtime=0.33 cores=0-7
/proc/23724/stat : 23724 (java) S 23722 23722 23508 0 -1 1077944320 8238 0 0 0 31 2 0 0 20 0 20 0 99509626 26628161536 10642 33554432000 4194304 4196468 140726073608560 140726073591104 139962538237687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
/proc/23724/statm: 6501016 10642 3044 1 0 6488269 0
[pid=23724/tid=23725] ppid=23722 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23724/task/23725/stat : 23725 (java) R 23722 23722 23508 0 -1 4202560 5303 0 0 0 18 1 0 0 20 0 20 0 99509626 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962542458496 139962522318174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23726] ppid=23722 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/23724/task/23726/stat : 23726 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962460818064 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23727] ppid=23722 vsize=26004064 memory=288370429704611456 CPUtime=0 cores=0-7
/proc/23724/task/23727/stat : 23727 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962459765264 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23728] ppid=23722 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23724/task/23728/stat : 23728 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962458712464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23729] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23729/stat : 23729 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962457659664 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23730] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23730/stat : 23730 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962456607888 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23731] ppid=23722 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23724/task/23731/stat : 23731 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962455555088 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23732] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23732/stat : 23732 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962454502288 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23733] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23733/stat : 23733 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 10642 33554432000 4194304 4196468 140726073608560 139962453449488 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23734] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23734/stat : 23734 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509629 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961123203440 139962538248834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23735] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23735/stat : 23735 (java) S 23722 23722 23508 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99509629 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961122149408 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23736] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23736/stat : 23736 (java) S 23722 23722 23508 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99509629 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961121096560 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23737] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23737/stat : 23737 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509632 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961120044880 139962538256283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23738] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23738/stat : 23738 (java) S 23722 23722 23508 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 99509632 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961118993264 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23739] ppid=23722 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23724/task/23739/stat : 23739 (java) S 23722 23722 23508 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 99509632 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961117940464 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23740] ppid=23722 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/23724/task/23740/stat : 23740 (java) S 23722 23722 23508 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 20 0 99509632 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961116887664 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23741] ppid=23722 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/23724/task/23741/stat : 23741 (java) R 23722 23722 23508 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 20 0 99509632 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961115834864 139962538259034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23742] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23742/stat : 23742 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99509632 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961114782304 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23743] ppid=23722 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23724/task/23743/stat : 23743 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509632 26628161536 10642 33554432000 4194304 4196468 140726073608560 139961113729584 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 43952 KiB

[startup+0.309323 s]*
/proc/loadavg: 7.54 8.01 8.18 3/199 23743
/proc/meminfo: memFree=31543940/32770624 swapFree=67108860/67108860
[pid=23722] ppid=23719 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23722/stat : 23722 (xcsp3-exec) S 23719 23722 23508 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99509626 9740288 346 33554432000 4194304 5098028 140722118500800 140722118498904 139694315758204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26112000 140722118509669 140722118509879 140722118509879 140722118512619 0
/proc/23722/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23722 vsize=26004064 memory=47212 CPUtime=0.5 cores=0-7
/proc/23724/stat : 23724 (java) S 23722 23722 23508 0 -1 1077944320 9076 0 0 0 47 3 0 0 20 0 20 0 99509626 26628161536 11803 33554432000 4194304 4196468 140726073608560 140726073591104 139962538237687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
/proc/23724/statm: 6501016 11803 3066 1 0 6488269 0
[pid=23724/tid=23725] ppid=23722 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23724/task/23725/stat : 23725 (java) R 23722 23722 23508 0 -1 4202560 5976 0 0 0 27 2 0 0 20 0 20 0 99509626 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962542475376 139962524305806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23726] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23726/stat : 23726 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962460818064 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23727] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23727/stat : 23727 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962459765264 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23728] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23728/stat : 23728 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962458712464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23729] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23729/stat : 23729 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962457659664 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23730] ppid=23722 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23724/task/23730/stat : 23730 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962456607888 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23731] ppid=23722 vsize=26004064 memory=140053447799727 CPUtime=0 cores=0-7
/proc/23724/task/23731/stat : 23731 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962455555088 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23732] ppid=23722 vsize=26004064 memory=140053447802032 CPUtime=0 cores=0-7
/proc/23724/task/23732/stat : 23732 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962454502288 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23733] ppid=23722 vsize=26004064 memory=140053447804336 CPUtime=0 cores=0-7
/proc/23724/task/23733/stat : 23733 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99509627 26628161536 12315 33554432000 4194304 4196468 140726073608560 139962453449488 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23734] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23734/stat : 23734 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509629 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961123203440 139962538248834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23735] ppid=23722 vsize=26004064 memory=280106895615632 CPUtime=0 cores=0-7
/proc/23724/task/23735/stat : 23735 (java) S 23722 23722 23508 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99509629 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961122149408 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23736] ppid=23722 vsize=26004064 memory=280106895622544 CPUtime=0 cores=0-7
/proc/23724/task/23736/stat : 23736 (java) S 23722 23722 23508 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99509629 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961121096560 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23737] ppid=23722 vsize=26004064 memory=280106895563696 CPUtime=0 cores=0-7
/proc/23724/task/23737/stat : 23737 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509632 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961120044880 139962538256283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23738] ppid=23722 vsize=26004064 memory=280106895636368 CPUtime=0.01 cores=0-7
/proc/23724/task/23738/stat : 23738 (java) S 23722 23722 23508 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 99509632 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961118993264 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23739] ppid=23722 vsize=26004064 memory=280106895643280 CPUtime=0.02 cores=0-7
/proc/23724/task/23739/stat : 23739 (java) S 23722 23722 23508 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 20 0 99509632 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961117940464 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23740] ppid=23722 vsize=26004064 memory=280106895640976 CPUtime=0.03 cores=0-7
/proc/23724/task/23740/stat : 23740 (java) S 23722 23722 23508 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 20 0 99509632 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961116887664 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23741] ppid=23722 vsize=26004064 memory=280106895657136 CPUtime=0.12 cores=0-7
/proc/23724/task/23741/stat : 23741 (java) R 23722 23722 23508 0 -1 4202560 853 0 0 0 12 0 0 0 20 0 20 0 99509632 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961115832528 139962516821624 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23742] ppid=23722 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23742/stat : 23742 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99509632 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961114782304 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23743] ppid=23722 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23724/task/23743/stat : 23743 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99509632 26628161536 12315 33554432000 4194304 4196468 140726073608560 139961113729584 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48596 KiB

[startup+0.700912 s]
/proc/loadavg: 7.54 8.01 8.18 4/199 23743
/proc/meminfo: memFree=31528368/32770624 swapFree=67108860/67108860
[pid=23722] ppid=23719 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23722/stat : 23722 (xcsp3-exec) S 23719 23722 23508 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99509626 9740288 346 33554432000 4194304 5098028 140722118500800 140722118498904 139694315758204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26112000 140722118509669 140722118509879 140722118509879 140722118512619 0
/proc/23722/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23722 vsize=26006188 memory=92108 CPUtime=1.7 cores=0-7
/proc/23724/stat : 23724 (java) S 23722 23722 23508 0 -1 1077944320 13250 0 0 0 164 6 0 0 20 0 20 0 99509626 26630336512 22961 33554432000 4194304 4196468 140726073608560 140726073591104 139962538237687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
/proc/23724/statm: 6501547 23027 3207 1 0 6488781 0
[pid=23724/tid=23725] ppid=23722 vsize=26006188 memory=280106896015024 CPUtime=0.67 cores=0-7
/proc/23724/task/23725/stat : 23725 (java) R 23722 23722 23508 0 -1 4202560 6888 0 0 0 64 3 0 0 20 0 20 0 99509626 26630336512 23027 33554432000 4194304 4196468 140726073608560 139962542473776 139962133843642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23726] ppid=23722 vsize=26006188 memory=140053448008560 CPUtime=0 cores=0-7
/proc/23724/task/23726/stat : 23726 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26630336512 23027 33554432000 4194304 4196468 140726073608560 139962460818064 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23727] ppid=23722 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23724/task/23727/stat : 23727 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26630336512 23027 33554432000 4194304 4196468 140726073608560 139962459765264 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23728] ppid=23722 vsize=26006188 memory=10928 CPUtime=0 cores=0-7
/proc/23724/task/23728/stat : 23728 (java) S 23722 23722 23508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99509627 26630336512 23027 33554432000 4194304 4196468 140726073608560 139962458712464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0

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

[pid=23724/tid=24016] ppid=23722 vsize=26540748 memory=1384 CPUtime=2108.98 cores=0-7
/proc/23724/task/24016/stat : 24016 (java) R 23722 23722 23508 0 -1 4202560 28692 0 0 0 210881 17 0 0 20 0 28 0 99538953 27177725952 85837 33554432000 4194304 4196468 140726073608560 139960787140472 139962129656520 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
Current children cumulated CPU time: 18765.9 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 344732 KiB

[startup+2502.3 s]
/proc/loadavg: 8.57 8.16 8.05 9/208 24074
/proc/meminfo: memFree=31244964/32770624 swapFree=67108860/67108860
[pid=23722] ppid=23719 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23722/stat : 23722 (xcsp3-exec) S 23719 23722 23508 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99509626 9740288 346 33554432000 4194304 5098028 140722118500800 140722118498904 139694315758204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26112000 140722118509669 140722118509879 140722118509879 140722118512619 0
/proc/23722/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23722 vsize=26540748 memory=343536 CPUtime=19237.4 cores=0-7
/proc/23724/stat : 23724 (java) S 23722 23722 23508 0 -1 1077944320 569841 0 0 0 1921370 2374 0 0 20 0 28 0 99509626 27177725952 85884 33554432000 4194304 4196468 140726073608560 140726073591104 139962538237687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
/proc/23724/statm: 6635187 85884 3304 1 0 6622421 0
[pid=23724/tid=23725] ppid=23722 vsize=26540748 memory=343536 CPUtime=0.89 cores=0-7
/proc/23724/task/23725/stat : 23725 (java) S 23722 23722 23508 0 -1 1077944384 10397 0 0 0 85 4 0 0 20 0 28 0 99509626 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962542478464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23726] ppid=23722 vsize=26540748 memory=343388 CPUtime=2.61 cores=0-7
/proc/23724/task/23726/stat : 23726 (java) S 23722 23722 23508 0 -1 1077944384 21535 0 0 0 241 20 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962460818064 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23727] ppid=23722 vsize=26540748 memory=343400 CPUtime=2.57 cores=0-7
/proc/23724/task/23727/stat : 23727 (java) S 23722 23722 23508 0 -1 1077944384 23916 0 0 0 233 24 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962459765264 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23728] ppid=23722 vsize=26540748 memory=343472 CPUtime=2.58 cores=0-7
/proc/23724/task/23728/stat : 23728 (java) S 23722 23722 23508 0 -1 1077944384 24567 0 0 0 234 24 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962458712464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23729] ppid=23722 vsize=26540748 memory=343536 CPUtime=2.58 cores=0-7
/proc/23724/task/23729/stat : 23729 (java) S 23722 23722 23508 0 -1 1077944384 21232 0 0 0 236 22 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962457659664 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23730] ppid=23722 vsize=26540748 memory=1384 CPUtime=2.59 cores=0-7
/proc/23724/task/23730/stat : 23730 (java) S 23722 23722 23508 0 -1 1077944384 28081 0 0 0 239 20 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962456607888 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23731] ppid=23722 vsize=26540748 memory=343536 CPUtime=2.58 cores=0-7
/proc/23724/task/23731/stat : 23731 (java) S 23722 23722 23508 0 -1 1077944384 25509 0 0 0 234 24 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962455555088 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23732] ppid=23722 vsize=26540748 memory=343536 CPUtime=2.6 cores=0-7
/proc/23724/task/23732/stat : 23732 (java) S 23722 23722 23508 0 -1 1077944384 21001 0 0 0 240 20 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962454502288 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23733] ppid=23722 vsize=26540748 memory=1384 CPUtime=2.6 cores=0-7
/proc/23724/task/23733/stat : 23733 (java) S 23722 23722 23508 0 -1 1077944384 21597 0 0 0 238 22 0 0 20 0 28 0 99509627 27177725952 85884 33554432000 4194304 4196468 140726073608560 139962453449488 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23734] ppid=23722 vsize=26540748 memory=1384 CPUtime=32.55 cores=0-7
/proc/23724/task/23734/stat : 23734 (java) S 23722 23722 23508 0 -1 1077944384 37099 0 0 0 1260 1995 0 0 20 0 28 0 99509629 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961123203440 139962538248834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23735] ppid=23722 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/23724/task/23735/stat : 23735 (java) S 23722 23722 23508 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 99509629 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961122149472 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23736] ppid=23722 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/23724/task/23736/stat : 23736 (java) S 23722 23722 23508 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 99509629 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961121096576 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23737] ppid=23722 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/23724/task/23737/stat : 23737 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 99509632 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961120044880 139962538256283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23738] ppid=23722 vsize=26540748 memory=1384 CPUtime=2.9 cores=0-7
/proc/23724/task/23738/stat : 23738 (java) S 23722 23722 23508 0 -1 1077944384 14031 0 0 0 285 5 0 0 20 0 28 0 99509632 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961118993264 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23739] ppid=23722 vsize=26540748 memory=640 CPUtime=3.18 cores=0-7
/proc/23724/task/23739/stat : 23739 (java) S 23722 23722 23508 0 -1 1077944384 17975 0 0 0 315 3 0 0 20 0 28 0 99509632 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961117940464 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23740] ppid=23722 vsize=26540748 memory=952 CPUtime=3.21 cores=0-7
/proc/23724/task/23740/stat : 23740 (java) S 23722 23722 23508 0 -1 1077944384 17808 0 0 0 317 4 0 0 20 0 28 0 99509632 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961116887664 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23741] ppid=23722 vsize=26540748 memory=343536 CPUtime=1.1 cores=0-7
/proc/23724/task/23741/stat : 23741 (java) S 23722 23722 23508 0 -1 1077944384 21688 0 0 0 105 5 0 0 20 0 28 0 99509632 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961115834864 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23742] ppid=23722 vsize=26540748 memory=4132 CPUtime=0 cores=0-7
/proc/23724/task/23742/stat : 23742 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 99509632 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961114782304 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23743] ppid=23722 vsize=26540748 memory=1384 CPUtime=0.63 cores=0-7
/proc/23724/task/23743/stat : 23743 (java) S 23722 23722 23508 0 -1 1077944384 4509 0 0 0 20 43 0 0 20 0 28 0 99509632 27177725952 85884 33554432000 4194304 4196468 140726073608560 139961113729584 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24009] ppid=23722 vsize=26540748 memory=1384 CPUtime=2166.02 cores=0-7
/proc/23724/task/24009/stat : 24009 (java) R 23722 23722 23508 0 -1 4202560 26389 0 0 0 216585 17 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960791350424 139962139279938 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24010] ppid=23722 vsize=26540748 memory=1384 CPUtime=2165.55 cores=0-7
/proc/23724/task/24010/stat : 24010 (java) R 23722 23722 23508 0 -1 4202560 21200 0 0 0 216540 15 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960786088280 139962139876487 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24011] ppid=23722 vsize=26540748 memory=343536 CPUtime=2168.29 cores=0-7
/proc/23724/task/24011/stat : 24011 (java) R 23722 23722 23508 0 -1 4202560 24248 0 0 0 216816 13 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960785036392 139962136458332 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24012] ppid=23722 vsize=26540748 memory=1384 CPUtime=2162.67 cores=0-7
/proc/23724/task/24012/stat : 24012 (java) R 23722 23722 23508 0 -1 4202560 35411 0 0 0 216243 24 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960788193744 139962139280013 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24013] ppid=23722 vsize=26540748 memory=1384 CPUtime=2191.19 cores=0-7
/proc/23724/task/24013/stat : 24013 (java) R 23722 23722 23508 0 -1 4202560 21702 0 0 0 219056 63 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960792407152 139962141153328 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24014] ppid=23722 vsize=26540748 memory=1384 CPUtime=2164.07 cores=0-7
/proc/23724/task/24014/stat : 24014 (java) R 23722 23722 23508 0 -1 4202560 21391 0 0 0 216390 17 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960789246104 139962138315816 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24015] ppid=23722 vsize=26540748 memory=1384 CPUtime=2165.12 cores=0-7
/proc/23724/task/24015/stat : 24015 (java) R 23722 23722 23508 0 -1 4202560 21526 0 0 0 216500 12 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960790299352 139962139279126 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24016] ppid=23722 vsize=26540748 memory=219100 CPUtime=2167.69 cores=0-7
/proc/23724/task/24016/stat : 24016 (java) R 23722 23722 23508 0 -1 4202560 28820 0 0 0 216752 17 0 0 20 0 28 0 99538953 27177725952 85884 33554432000 4194304 4196468 140726073608560 139960787140176 139962139279945 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
Current children cumulated CPU time: 19237.4 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 344920 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.56 8.18 8.06 9/208 24074
/proc/meminfo: memFree=31245476/32770624 swapFree=67108860/67108860
[pid=23722] ppid=23719 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23722/stat : 23722 (xcsp3-exec) S 23719 23722 23508 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 99509626 9740288 346 33554432000 4194304 5098028 140722118500800 140722118498904 139694315758204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26112000 140722118509669 140722118509879 140722118509879 140722118512619 0
/proc/23722/statm: 2378 346 289 221 0 87 0
[pid=23724] ppid=23722 vsize=26540748 memory=343556 CPUtime=19376.8 cores=0-7
/proc/23724/stat : 23724 (java) S 23722 23722 23508 0 -1 1077944320 570527 0 0 0 1935291 2391 0 0 20 0 28 0 99509626 27177725952 85889 33554432000 4194304 4196468 140726073608560 140726073591104 139962538237687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
/proc/23724/statm: 6635187 85889 3304 1 0 6622421 0
[pid=23724/tid=23725] ppid=23722 vsize=26540748 memory=1398720917958146503 CPUtime=0.89 cores=0-7
/proc/23724/task/23725/stat : 23725 (java) S 23722 23722 23508 0 -1 1077944384 10397 0 0 0 85 4 0 0 20 0 28 0 99509626 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962542478464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23726] ppid=23722 vsize=26540748 memory=4872558044660077418 CPUtime=2.62 cores=0-7
/proc/23724/task/23726/stat : 23726 (java) S 23722 23722 23508 0 -1 1077944384 21549 0 0 0 242 20 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962460818064 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23727] ppid=23722 vsize=26540748 memory=1696 CPUtime=2.59 cores=0-7
/proc/23724/task/23727/stat : 23727 (java) S 23722 23722 23508 0 -1 1077944384 23933 0 0 0 235 24 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962459765264 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23728] ppid=23722 vsize=26540748 memory=920 CPUtime=2.59 cores=0-7
/proc/23724/task/23728/stat : 23728 (java) S 23722 23722 23508 0 -1 1077944384 24624 0 0 0 235 24 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962458712464 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23729] ppid=23722 vsize=26540748 memory=4116 CPUtime=2.59 cores=0-7
/proc/23724/task/23729/stat : 23729 (java) S 23722 23722 23508 0 -1 1077944384 21291 0 0 0 237 22 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962457659664 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23730] ppid=23722 vsize=26540748 memory=1152 CPUtime=2.6 cores=0-7
/proc/23724/task/23730/stat : 23730 (java) S 23722 23722 23508 0 -1 1077944384 28094 0 0 0 240 20 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962456607888 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23731] ppid=23722 vsize=26540748 memory=4872558044660077418 CPUtime=2.59 cores=0-7
/proc/23724/task/23731/stat : 23731 (java) S 23722 23722 23508 0 -1 1077944384 25524 0 0 0 235 24 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962455555088 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23732] ppid=23722 vsize=26540748 memory=1296 CPUtime=2.61 cores=0-7
/proc/23724/task/23732/stat : 23732 (java) S 23722 23722 23508 0 -1 1077944384 21038 0 0 0 241 20 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962454502288 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23733] ppid=23722 vsize=26540748 memory=1384 CPUtime=2.61 cores=0-7
/proc/23724/task/23733/stat : 23733 (java) S 23722 23722 23508 0 -1 1077944384 21616 0 0 0 239 22 0 0 20 0 28 0 99509627 27177725952 85889 33554432000 4194304 4196468 140726073608560 139962453449488 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23734] ppid=23722 vsize=26540748 memory=343556 CPUtime=32.82 cores=0-7
/proc/23724/task/23734/stat : 23734 (java) S 23722 23722 23508 0 -1 1077944384 37161 0 0 0 1271 2011 0 0 20 0 28 0 99509629 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961123203440 139962538248834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23735] ppid=23722 vsize=26540748 memory=2408 CPUtime=0 cores=0-7
/proc/23724/task/23735/stat : 23735 (java) S 23722 23722 23508 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 99509629 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961122149472 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23736] ppid=23722 vsize=26540748 memory=1728 CPUtime=0 cores=0-7
/proc/23724/task/23736/stat : 23736 (java) S 23722 23722 23508 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 99509629 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961121096576 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23737] ppid=23722 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/23724/task/23737/stat : 23737 (java) S 23722 23722 23508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 99509632 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961120044880 139962538256283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23738] ppid=23722 vsize=26540748 memory=343556 CPUtime=2.9 cores=0-7
/proc/23724/task/23738/stat : 23738 (java) S 23722 23722 23508 0 -1 1077944384 14033 0 0 0 285 5 0 0 20 0 28 0 99509632 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961118993264 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23739] ppid=23722 vsize=26540748 memory=2200 CPUtime=3.18 cores=0-7
/proc/23724/task/23739/stat : 23739 (java) S 23722 23722 23508 0 -1 1077944384 17977 0 0 0 315 3 0 0 20 0 28 0 99509632 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961117940464 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23740] ppid=23722 vsize=26540748 memory=6508 CPUtime=3.21 cores=0-7
/proc/23724/task/23740/stat : 23740 (java) S 23722 23722 23508 0 -1 1077944384 17810 0 0 0 317 4 0 0 20 0 28 0 99509632 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961116887664 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23741] ppid=23722 vsize=26540748 memory=836 CPUtime=1.1 cores=0-7
/proc/23724/task/23741/stat : 23741 (java) S 23722 23722 23508 0 -1 1077944384 21690 0 0 0 105 5 0 0 20 0 28 0 99509632 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961115834864 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23742] ppid=23722 vsize=26540748 memory=1696 CPUtime=0 cores=0-7
/proc/23724/task/23742/stat : 23742 (java) S 23722 23722 23508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 99509632 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961114782304 139962538247893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=23743] ppid=23722 vsize=26540748 memory=920 CPUtime=0.63 cores=0-7
/proc/23724/task/23743/stat : 23743 (java) S 23722 23722 23508 0 -1 1077944384 4522 0 0 0 20 43 0 0 20 0 28 0 99509632 27177725952 85889 33554432000 4194304 4196468 140726073608560 139961113729584 139962538248834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24009] ppid=23722 vsize=26540748 memory=4116 CPUtime=2183.25 cores=0-7
/proc/23724/task/24009/stat : 24009 (java) R 23722 23722 23508 0 -1 4202560 26418 0 0 0 218307 18 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960791349912 139962137992704 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24010] ppid=23722 vsize=26540748 memory=343556 CPUtime=2182.89 cores=0-7
/proc/23724/task/24010/stat : 24010 (java) R 23722 23722 23508 0 -1 4202560 21260 0 0 0 218274 15 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960786091624 139962141351398 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24011] ppid=23722 vsize=26540748 memory=1200 CPUtime=2185.66 cores=0-7
/proc/23724/task/24011/stat : 24011 (java) R 23722 23722 23508 0 -1 4202560 24313 0 0 0 218553 13 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960785036376 139962139279777 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24012] ppid=23722 vsize=26540748 memory=8564 CPUtime=2180.07 cores=0-7
/proc/23724/task/24012/stat : 24012 (java) R 23722 23722 23508 0 -1 4202560 35457 0 0 0 217983 24 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960788197736 139962138276902 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24013] ppid=23722 vsize=26540748 memory=5664 CPUtime=2208.72 cores=0-7
/proc/23724/task/24013/stat : 24013 (java) R 23722 23722 23508 0 -1 4202560 21734 0 0 0 220809 63 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960792404160 139962141153312 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24014] ppid=23722 vsize=26540748 memory=4616 CPUtime=2181.44 cores=0-7
/proc/23724/task/24014/stat : 24014 (java) R 23722 23722 23508 0 -1 4202560 21445 0 0 0 218127 17 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960789250312 139962136459119 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24015] ppid=23722 vsize=26540748 memory=1228 CPUtime=2182.5 cores=0-7
/proc/23724/task/24015/stat : 24015 (java) R 23722 23722 23508 0 -1 4202560 21552 0 0 0 218238 12 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960790298632 139962138899961 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
[pid=23724/tid=24016] ppid=23722 vsize=26540748 memory=10928 CPUtime=2185.07 cores=0-7
/proc/23724/task/24016/stat : 24016 (java) R 23722 23722 23508 0 -1 4202560 28880 0 0 0 218490 17 0 0 20 0 28 0 99538953 27177725952 85889 33554432000 4194304 4196468 140726073608560 139960787142896 139962139279769 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 25911296 140726073611410 140726073611587 140726073611587 140726073614287 0
Current children cumulated CPU time: 19376.8 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 344940 KiB

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

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

[startup+2520.12 s]
# the end of solver process 23724 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19353.7 s, system=23.9279 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): 2520.12
CPU time (s): 19377.6
CPU user time (s): 19353.7
CPU system time (s): 23.9279
CPU usage (%): 768.918
Max. virtual memory (cumulated for all children) (KiB): 26550260
Max. memory (cumulated for all children) (KiB): 501036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19353.7
system time used= 23.9279
maximum resident set size= 516776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210784
involuntary context switches= 200235


# summary of solver processes directly reported to runsolver:
#   pid: 23722,23724
#   total CPU time (s): 19377.6
#   total CPU user time (s): 19353.7
#   total CPU system time (s): 23.9279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8877 second user time and 25.7839 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-14 00:29:21
IDJOB=4271404
IDBENCH=115854
IDSOLVER=2662
FILE ID=node115/4271404-1502664219
RUNJOBID= node115-1502660839-23535
PBS_JOBID= 20628961
Free space on /tmp= 61812 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-2.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-4271404-1502664219/watcher-4271404-1502664219 -o /tmp/evaluation-result-4271404-1502664219/solver-4271404-1502664219 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502660839-23535 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 557556677 HOME/instance-4271404-1502664219.xml

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

MD5SUM BENCH= b5461c8e5264bee8206ce4144564b5f2
RANDOM SEED=557556677

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
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:        31580460 kB
MemAvailable:   31986648 kB
Buffers:          139656 kB
Cached:           552432 kB
SwapCached:            0 kB
Active:           526940 kB
Inactive:         220428 kB
Active(anon):       3624 kB
Inactive(anon):    79404 kB
Active(file):     523316 kB
Inactive(file):   141024 kB
Unevictable:        6220 kB
Mlocked:            6220 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7596 kB
Writeback:             4 kB
AnonPages:         61588 kB
Mapped:            43908 kB
Shmem:             25224 kB
Slab:             141060 kB
SReclaimable:     115364 kB
SUnreclaim:        25696 kB
KernelStack:        3168 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323308 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-14 01:11:21