Trace number 4280554

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-18)SAT (TO)1305 19019.301 2520.1699

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-015-15-4.xml
MD5SUM428eef4dc0068476798a4d67b3fd28ef
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1233
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints255
Number of domains1
Minimum domain size1333
Maximum domain size1333
Distribution of domain sizes[{"size":1333,"count":240}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":15},{"degree":3,"count":225}]
Minimum constraint arity1
Maximum constraint arity15
Distribution of constraint arities[{"arity":1,"count":15},{"arity":2,"count":225},{"arity":15,"count":15}]
Number of extensional constraints0
Number of intensional constraints240
Distribution of constraint types[{"type":"intension","count":240},{"type":"noOverlap","count":15}]
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-4280554-1503108904.xml"  -tl '20160s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4280554-1503108904.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
2.18/0.81	c solve instance...
170.06/22.05	o 1330 
272.91/35.06	o 1329 
531.16/68.97	o 1328 
584.59/75.78	o 1326 
824.14/107.21	o 1325 
1572.67/203.08	o 1324 
2183.02/280.81	o 1323 
2363.22/303.74	o 1316 
2698.72/346.49	o 1315 
2904.10/375.46	o 1314 
2924.21/379.88	o 1313 
3474.37/451.20	o 1312 
4555.91/591.81	o 1310 
4555.91/591.87	o 1309 
4715.05/613.25	o 1308 
4864.25/633.54	o 1307 
9486.97/1239.06	o 1306 
18250.79/2416.94	o 1305 
19019.10/2520.14	s SATISFIABLE
19019.10/2520.14	v <instantiation>
19019.10/2520.14	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[0][10] s[0][11] s[0][12] s[0][13] s[0][14] 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[1][10] s[1][11] s[1][12] s[1][13] s[1][14] 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[2][10] s[2][11] s[2][12] s[2][13] s[2][14] 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[3][10] s[3][11] s[3][12] s[3][13] s[3][14] 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[4][10] s[4][11] s[4][12] s[4][13] s[4][14] 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[5][10] s[5][11] s[5][12] s[5][13] s[5][14] 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[6][10] s[6][11] s[6][12] s[6][13] s[6][14] 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[7][10] s[7][11] s[7][12] s[7][13] s[7][14] 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[8][10] s[8][11] s[8][12] s[8][13] s[8][14] 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] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] </list>
19019.10/2520.14	v 	<values>24 64 177 257 364 440 556 579 658 730 811 889 1024 1181 1281 47 160 248 369 443 576 590 628 664 744 781 874 912 1040 1138 304 396 478 503 628 675 754 862 963 1017 1018 1119 1135 1137 1198 36 103 121 171 180 252 367 447 478 604 703 1003 1073 1154 1174 94 170 242 271 349 443 483 566 587 723 902 960 1015 1042 1152 35 131 162 191 263 269 345 443 502 585 639 725 766 870 972 63 223 401 501 589 673 745 792 920 1033 1115 1169 1179 1271 1272 20 106 202 294 309 341 390 493 560 678 759 849 978 1069 1131 21 141 191 243 266 267 347 410 431 450 511 549 646 657 779 152 170 247 395 492 527 670 750 834 888 924 961 1040 1131 1190 10 59 120 159 166 237 365 738 806 848 933 1038 1145 1189 1245 13 100 149 170 193 279 300 422 474 515 571 585 667 938 956 2 114 214 275 627 698 730 816 908 923 942 1018 1078 1129 1209 68 346 445 497 557 590 603 803 925 1000 1012 1095 1098 1213 1299 4 99 117 216 283 353 457 502 591 721 824 864 1063 1163 1288 1305 1209 1294 1271 1216 1031 1305 1178 839 1241 1293 1031 1299 1305 1300 </values>
19019.10/2520.14	v </instantiation>
19019.10/2520.14	c Unexpected resolution interruption!

Verifier Data 

OK	1305

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280554-1503108904/watcher-4280554-1503108904 -o /tmp/evaluation-result-4280554-1503108904/solver-4280554-1503108904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503100462-3948 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 623051565 HOME/instance-4280554-1503108904.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=4429, runsolver pid=4426

[startup+0.100063 s]*
/proc/loadavg: 8.32 8.33 8.33 3/200 4450
/proc/meminfo: memFree=27036784/32770624 swapFree=67108860/67108860
[pid=4429] ppid=4426 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4429/stat : 4429 (xcsp3-exec) S 4426 4429 3921 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143978444 9740288 346 33554432000 4194304 5098028 140720585869152 140720585867256 140027126825596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23773184 140720585876581 140720585876791 140720585876791 140720585879531 0
/proc/4429/statm: 2378 346 289 221 0 87 0
[pid=4431] ppid=4429 vsize=25999808 memory=26456 CPUtime=0.11 cores=0-7
/proc/4431/stat : 4431 (java) S 4429 4429 3921 0 -1 1077944320 5434 0 0 0 9 2 0 0 20 0 20 0 143978444 26623803392 6614 33554432000 4194304 4196468 140729582247168 140729582229712 139676951326455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
/proc/4431/statm: 6499952 6614 2891 1 0 6488269 0
[pid=4431/tid=4432] ppid=4429 vsize=25999808 memory=4354585507820368792 CPUtime=0.08 cores=0-7
/proc/4431/task/4432/stat : 4432 (java) R 4429 4429 3921 0 -1 4202560 3447 0 0 0 7 1 0 0 20 0 20 0 143978444 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676955549904 139676937394574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4433] ppid=4429 vsize=25999808 memory=732370439132167141 CPUtime=0 cores=0-7
/proc/4431/task/4433/stat : 4433 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676903946512 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4434] ppid=4429 vsize=25999808 memory=140300794713728 CPUtime=0 cores=0-7
/proc/4431/task/4434/stat : 4434 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676902893968 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4435] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4435/stat : 4435 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676901841424 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4436] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4436/stat : 4436 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676505995920 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4437] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4437/stat : 4437 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676504943376 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4438] ppid=4429 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4431/task/4438/stat : 4438 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676503890832 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4439] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4439/stat : 4439 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676502838288 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4440] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4440/stat : 4440 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26623803392 6679 33554432000 4194304 4196468 140729582247168 139676501785744 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4441] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4441/stat : 4441 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978447 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675223664624 139676951337602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4442] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4442/stat : 4442 (java) S 4429 4429 3921 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143978447 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675155030944 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4443] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4443/stat : 4443 (java) S 4429 4429 3921 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143978447 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675153978352 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4444] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4444/stat : 4444 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978450 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675152926928 139676951345051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4445] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4445/stat : 4445 (java) S 4429 4429 3921 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 143978450 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675151874544 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4446] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4446/stat : 4446 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978450 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675150822000 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4447] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4447/stat : 4447 (java) R 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978450 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675149769456 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4448] ppid=4429 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4431/task/4448/stat : 4448 (java) R 4429 4429 3921 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 143978450 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675148716912 139676930724353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4449] ppid=4429 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4449/stat : 4449 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978450 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675147663584 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4450] ppid=4429 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4431/task/4450/stat : 4450 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978451 26623803392 6679 33554432000 4194304 4196468 140729582247168 139675146611120 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27840 KiB

[startup+0.210288 s]*
/proc/loadavg: 8.32 8.33 8.33 4/200 4450
/proc/meminfo: memFree=27026364/32770624 swapFree=67108860/67108860
[pid=4429] ppid=4426 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4429/stat : 4429 (xcsp3-exec) S 4426 4429 3921 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143978444 9740288 346 33554432000 4194304 5098028 140720585869152 140720585867256 140027126825596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23773184 140720585876581 140720585876791 140720585876791 140720585879531 0
/proc/4429/statm: 2378 346 289 221 0 87 0
[pid=4431] ppid=4429 vsize=26004064 memory=39064 CPUtime=0.32 cores=0-7
/proc/4431/stat : 4431 (java) S 4429 4429 3921 0 -1 1077944320 8319 0 0 0 30 2 0 0 20 0 20 0 143978444 26628161536 9766 33554432000 4194304 4196468 140729582247168 140729582229712 139676951326455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
/proc/4431/statm: 6501016 9766 3063 1 0 6488269 0
[pid=4431/tid=4432] ppid=4429 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/4431/task/4432/stat : 4432 (java) R 4429 4429 3921 0 -1 4202560 5370 0 0 0 17 2 0 0 20 0 20 0 143978444 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676955548384 139676951348381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4433] ppid=4429 vsize=26004064 memory=732370439132167141 CPUtime=0 cores=0-7
/proc/4431/task/4433/stat : 4433 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676903946512 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4434] ppid=4429 vsize=26004064 memory=140300794713728 CPUtime=0 cores=0-7
/proc/4431/task/4434/stat : 4434 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676902893968 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4435] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4435/stat : 4435 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676901841424 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4436] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4436/stat : 4436 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676505995920 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4437] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4437/stat : 4437 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676504943376 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4438] ppid=4429 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4431/task/4438/stat : 4438 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676503890832 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4439] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4439/stat : 4439 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676502838288 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4440] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4440/stat : 4440 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 9766 33554432000 4194304 4196468 140729582247168 139676501785744 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4441] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4441/stat : 4441 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978447 26628161536 9766 33554432000 4194304 4196468 140729582247168 139675223664624 139676951337602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4442] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4442/stat : 4442 (java) S 4429 4429 3921 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143978447 26628161536 9766 33554432000 4194304 4196468 140729582247168 139675155030944 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4443] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4443/stat : 4443 (java) S 4429 4429 3921 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143978447 26628161536 9766 33554432000 4194304 4196468 140729582247168 139675153978352 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4444] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4444/stat : 4444 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978450 26628161536 9766 33554432000 4194304 4196468 140729582247168 139675152926928 139676951345051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4445] ppid=4429 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4431/task/4445/stat : 4445 (java) S 4429 4429 3921 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 20 0 143978450 26628161536 9766 33554432000 4194304 4196468 140729582247168 139675151874544 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4446] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4446/stat : 4446 (java) S 4429 4429 3921 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 143978450 26628161536 9766 33554432000 4194304 4196468 140729582247168 139675150822000 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4447] ppid=4429 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4431/task/4447/stat : 4447 (java) R 4429 4429 3921 0 -1 4202560 166 0 0 0 1 0 0 0 20 0 20 0 143978450 26628161536 9766 33554432000 4194304 4196468 140729582247168 139675149769456 139676951347802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4448] ppid=4429 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/4431/task/4448/stat : 4448 (java) R 4429 4429 3921 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 143978450 26628161536 9769 33554432000 4194304 4196468 140729582247168 139675148716912 139676935406942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4449] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4449/stat : 4449 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978450 26628161536 9769 33554432000 4194304 4196468 140729582247168 139675147663584 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4450] ppid=4429 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4431/task/4450/stat : 4450 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978451 26628161536 9769 33554432000 4194304 4196468 140729582247168 139675146611120 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40448 KiB

[startup+0.310277 s]*
/proc/loadavg: 8.32 8.33 8.33 3/200 4450
/proc/meminfo: memFree=27019964/32770624 swapFree=67108860/67108860
[pid=4429] ppid=4426 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4429/stat : 4429 (xcsp3-exec) S 4426 4429 3921 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143978444 9740288 346 33554432000 4194304 5098028 140720585869152 140720585867256 140027126825596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23773184 140720585876581 140720585876791 140720585876791 140720585879531 0
/proc/4429/statm: 2378 346 289 221 0 87 0
[pid=4431] ppid=4429 vsize=26004064 memory=43716 CPUtime=0.49 cores=0-7
/proc/4431/stat : 4431 (java) S 4429 4429 3921 0 -1 1077944320 9173 0 0 0 46 3 0 0 20 0 20 0 143978444 26628161536 10929 33554432000 4194304 4196468 140729582247168 140729582229712 139676951326455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
/proc/4431/statm: 6501016 10929 3103 1 0 6488269 0
[pid=4431/tid=4432] ppid=4429 vsize=26004064 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/4431/task/4432/stat : 4432 (java) R 4429 4429 3921 0 -1 4202560 6058 0 0 0 26 2 0 0 20 0 20 0 143978444 26628161536 10929 33554432000 4194304 4196468 140729582247168 139676955565488 139676937394574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4433] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4433/stat : 4433 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 10929 33554432000 4194304 4196468 140729582247168 139676903946512 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4434] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4434/stat : 4434 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 10929 33554432000 4194304 4196468 140729582247168 139676902893968 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4435] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4435/stat : 4435 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 11441 33554432000 4194304 4196468 140729582247168 139676901841424 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4436] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4436/stat : 4436 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 11441 33554432000 4194304 4196468 140729582247168 139676505995920 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4437] ppid=4429 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4431/task/4437/stat : 4437 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 11441 33554432000 4194304 4196468 140729582247168 139676504943376 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4438] ppid=4429 vsize=26004064 memory=140300676854703 CPUtime=0 cores=0-7
/proc/4431/task/4438/stat : 4438 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 11441 33554432000 4194304 4196468 140729582247168 139676503890832 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4439] ppid=4429 vsize=26004064 memory=140300676857008 CPUtime=0 cores=0-7
/proc/4431/task/4439/stat : 4439 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 11441 33554432000 4194304 4196468 140729582247168 139676502838288 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4440] ppid=4429 vsize=26004064 memory=140300676859312 CPUtime=0 cores=0-7
/proc/4431/task/4440/stat : 4440 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26628161536 11441 33554432000 4194304 4196468 140729582247168 139676501785744 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4441] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4441/stat : 4441 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978447 26628161536 11441 33554432000 4194304 4196468 140729582247168 139675223664624 139676951337602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4442] ppid=4429 vsize=26004064 memory=280601353725584 CPUtime=0 cores=0-7
/proc/4431/task/4442/stat : 4442 (java) S 4429 4429 3921 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143978447 26628161536 11441 33554432000 4194304 4196468 140729582247168 139675155030944 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4443] ppid=4429 vsize=26004064 memory=280601353732496 CPUtime=0 cores=0-7
/proc/4431/task/4443/stat : 4443 (java) S 4429 4429 3921 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143978447 26628161536 11441 33554432000 4194304 4196468 140729582247168 139675153978352 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4444] ppid=4429 vsize=26004064 memory=280601353673776 CPUtime=0 cores=0-7
/proc/4431/task/4444/stat : 4444 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978450 26628161536 11441 33554432000 4194304 4196468 140729582247168 139675152926928 139676951345051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4445] ppid=4429 vsize=26004064 memory=280601353746320 CPUtime=0.02 cores=0-7
/proc/4431/task/4445/stat : 4445 (java) S 4429 4429 3921 0 -1 1077944384 646 0 0 0 2 0 0 0 20 0 20 0 143978450 26628161536 11441 33554432000 4194304 4196468 140729582247168 139675151874544 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4446] ppid=4429 vsize=26004064 memory=280601353753232 CPUtime=0.01 cores=0-7
/proc/4431/task/4446/stat : 4446 (java) S 4429 4429 3921 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 143978450 26628161536 11507 33554432000 4194304 4196468 140729582247168 139675150822000 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4447] ppid=4429 vsize=26004064 memory=280601353750928 CPUtime=0.03 cores=0-7
/proc/4431/task/4447/stat : 4447 (java) S 4429 4429 3921 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 20 0 143978450 26628161536 11507 33554432000 4194304 4196468 140729582247168 139675149769456 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4448] ppid=4429 vsize=26004064 memory=280601353767088 CPUtime=0.12 cores=0-7
/proc/4431/task/4448/stat : 4448 (java) R 4429 4429 3921 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 20 0 143978450 26628161536 11507 33554432000 4194304 4196468 140729582247168 139675148716912 139676944423291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4449] ppid=4429 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4431/task/4449/stat : 4449 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978450 26628161536 11507 33554432000 4194304 4196468 140729582247168 139675147663584 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4450] ppid=4429 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4431/task/4450/stat : 4450 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978451 26628161536 11507 33554432000 4194304 4196468 140729582247168 139675146611120 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45100 KiB

[startup+0.700988 s]
/proc/loadavg: 8.32 8.33 8.33 3/200 4450
/proc/meminfo: memFree=27005392/32770624 swapFree=67108860/67108860
[pid=4429] ppid=4426 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4429/stat : 4429 (xcsp3-exec) S 4426 4429 3921 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143978444 9740288 346 33554432000 4194304 5098028 140720585869152 140720585867256 140027126825596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23773184 140720585876581 140720585876791 140720585876791 140720585879531 0
/proc/4429/statm: 2378 346 289 221 0 87 0
[pid=4431] ppid=4429 vsize=26006188 memory=93140 CPUtime=1.73 cores=0-7
/proc/4431/stat : 4431 (java) S 4429 4429 3921 0 -1 1077944320 14499 0 0 0 167 6 0 0 20 0 20 0 143978444 26630336512 23285 33554432000 4194304 4196468 140729582247168 140729582229712 139676951326455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
/proc/4431/statm: 6501547 23285 3206 1 0 6488781 0
[pid=4431/tid=4432] ppid=4429 vsize=26006188 memory=280601354062016 CPUtime=0.66 cores=0-7
/proc/4431/task/4432/stat : 4432 (java) R 4429 4429 3921 0 -1 4202560 6886 0 0 0 63 3 0 0 20 0 20 0 143978444 26630336512 23285 33554432000 4194304 4196468 140729582247168 139676955563472 139676581134624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4433] ppid=4429 vsize=26006188 memory=1012 CPUtime=0 cores=0-7
/proc/4431/task/4433/stat : 4433 (java) S 4429 4429 3921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143978445 26630336512 23285 33554432000 4194304 4196468 140729582247168 139676903946512 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4434] ppid=4429 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/4431/task/4434/stat : 4434 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143978445 26630336512 23285 33554432000 4194304 4196468 140729582247168 139676902893968 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4435] ppid=4429 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/4431/task/4435/stat : 4435 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143978445 26630336512 23285 33554432000 4194304 4196468 140729582247168 139676901841424 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0

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

Current children cumulated CPU time: 18886 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 335288 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 6.97 7.11 7.47 9/208 4660
/proc/meminfo: memFree=26729708/32770624 swapFree=67108860/67108860
[pid=4429] ppid=4426 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4429/stat : 4429 (xcsp3-exec) S 4426 4429 3921 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143978444 9740288 346 33554432000 4194304 5098028 140720585869152 140720585867256 140027126825596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23773184 140720585876581 140720585876791 140720585876791 140720585879531 0
/proc/4429/statm: 2378 346 289 221 0 87 0
[pid=4431] ppid=4429 vsize=26605264 memory=333756 CPUtime=19018.4 cores=0-7
/proc/4431/stat : 4431 (java) S 4429 4429 3921 0 -1 1077944320 673822 0 0 0 1892011 9830 0 0 20 0 28 0 143978444 27243790336 83439 33554432000 4194304 4196468 140729582247168 140729582229712 139676951326455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
/proc/4431/statm: 6651316 83439 3302 1 0 6638550 0
[pid=4431/tid=4432] ppid=4429 vsize=26605264 memory=644 CPUtime=0.8 cores=0-7
/proc/4431/task/4432/stat : 4432 (java) S 4429 4429 3921 0 -1 1077944384 8787 0 0 0 76 4 0 0 20 0 28 0 143978444 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676955567232 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4433] ppid=4429 vsize=26605264 memory=1788 CPUtime=6.95 cores=0-7
/proc/4431/task/4433/stat : 4433 (java) S 4429 4429 3921 0 -1 1077944384 24274 0 0 0 656 39 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676903946512 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4434] ppid=4429 vsize=26605264 memory=956 CPUtime=6.94 cores=0-7
/proc/4431/task/4434/stat : 4434 (java) S 4429 4429 3921 0 -1 1077944384 22526 0 0 0 657 37 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676902893968 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4435] ppid=4429 vsize=26605264 memory=-7003737579269690708 CPUtime=6.93 cores=0-7
/proc/4431/task/4435/stat : 4435 (java) S 4429 4429 3921 0 -1 1077944384 23876 0 0 0 656 37 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676901841424 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4436] ppid=4429 vsize=26605264 memory=333728 CPUtime=6.98 cores=0-7
/proc/4431/task/4436/stat : 4436 (java) S 4429 4429 3921 0 -1 1077944384 22184 0 0 0 660 38 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676505995920 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4437] ppid=4429 vsize=26605264 memory=4140 CPUtime=6.94 cores=0-7
/proc/4431/task/4437/stat : 4437 (java) S 4429 4429 3921 0 -1 1077944384 23471 0 0 0 657 37 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676504943376 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4438] ppid=4429 vsize=26605264 memory=40008 CPUtime=6.96 cores=0-7
/proc/4431/task/4438/stat : 4438 (java) S 4429 4429 3921 0 -1 1077944384 24981 0 0 0 655 41 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676503890832 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4439] ppid=4429 vsize=26605264 memory=1296 CPUtime=6.95 cores=0-7
/proc/4431/task/4439/stat : 4439 (java) S 4429 4429 3921 0 -1 1077944384 21264 0 0 0 657 38 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676502838288 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4440] ppid=4429 vsize=26605264 memory=2336 CPUtime=6.99 cores=0-7
/proc/4431/task/4440/stat : 4440 (java) S 4429 4429 3921 0 -1 1077944384 24550 0 0 0 658 41 0 0 20 0 28 0 143978445 27243790336 83439 33554432000 4194304 4196468 140729582247168 139676501785744 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4441] ppid=4429 vsize=26605264 memory=1724 CPUtime=144.27 cores=0-7
/proc/4431/task/4441/stat : 4441 (java) S 4429 4429 3921 0 -1 1077944384 69079 0 0 0 5127 9300 0 0 20 0 28 0 143978447 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675223664624 139676951337602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4442] ppid=4429 vsize=26605264 memory=1012 CPUtime=0 cores=0-7
/proc/4431/task/4442/stat : 4442 (java) S 4429 4429 3921 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 143978447 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675155031008 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4443] ppid=4429 vsize=26605264 memory=1716 CPUtime=0 cores=0-7
/proc/4431/task/4443/stat : 4443 (java) S 4429 4429 3921 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 143978447 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675153978368 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4444] ppid=4429 vsize=26605264 memory=5792 CPUtime=0 cores=0-7
/proc/4431/task/4444/stat : 4444 (java) S 4429 4429 3921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 143978450 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675152926928 139676951345051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4445] ppid=4429 vsize=26605264 memory=4616 CPUtime=2.87 cores=0-7
/proc/4431/task/4445/stat : 4445 (java) S 4429 4429 3921 0 -1 1077944384 23253 0 0 0 283 4 0 0 20 0 28 0 143978450 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675151874544 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4446] ppid=4429 vsize=26605264 memory=792 CPUtime=3.47 cores=0-7
/proc/4431/task/4446/stat : 4446 (java) S 4429 4429 3921 0 -1 1077944384 26190 0 0 0 342 5 0 0 20 0 28 0 143978450 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675150822000 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4447] ppid=4429 vsize=26605264 memory=333424 CPUtime=2.9 cores=0-7
/proc/4431/task/4447/stat : 4447 (java) S 4429 4429 3921 0 -1 1077944384 22532 0 0 0 283 7 0 0 20 0 28 0 143978450 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675149769456 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4448] ppid=4429 vsize=26605264 memory=1384 CPUtime=0.94 cores=0-7
/proc/4431/task/4448/stat : 4448 (java) S 4429 4429 3921 0 -1 1077944384 21196 0 0 0 91 3 0 0 20 0 28 0 143978450 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675148716912 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4449] ppid=4429 vsize=26605264 memory=333424 CPUtime=0 cores=0-7
/proc/4431/task/4449/stat : 4449 (java) S 4429 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143978450 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675147663584 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4450] ppid=4429 vsize=26605264 memory=5792 CPUtime=0.73 cores=0-7
/proc/4431/task/4450/stat : 4450 (java) R 4429 4429 3921 0 -1 1077944384 4469 0 0 0 44 29 0 0 20 0 28 0 143978451 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675146611120 139676951337602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4653] ppid=4429 vsize=26605264 memory=4616 CPUtime=93.16 cores=0-7
/proc/4431/task/4653/stat : 4653 (java) R 4429 4429 3921 0 -1 4202560 1044 0 0 0 9315 1 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675134388872 139676588595848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4654] ppid=4429 vsize=26605264 memory=792 CPUtime=93.07 cores=0-7
/proc/4431/task/4654/stat : 4654 (java) R 4429 4429 3921 0 -1 4202560 1574 0 0 0 9306 1 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675132284664 139676581438562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4655] ppid=4429 vsize=26605264 memory=1420 CPUtime=93.5 cores=0-7
/proc/4431/task/4655/stat : 4655 (java) R 4429 4429 3921 0 -1 4202560 1389 0 0 0 9349 1 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675133337272 139676588907899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4656] ppid=4429 vsize=26605264 memory=13144 CPUtime=96.29 cores=0-7
/proc/4431/task/4656/stat : 4656 (java) R 4429 4429 3921 0 -1 4202560 461 0 0 0 9628 1 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675136495600 139676584281850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4657] ppid=4429 vsize=26605264 memory=1944 CPUtime=93.33 cores=0-7
/proc/4431/task/4657/stat : 4657 (java) R 4429 4429 3921 0 -1 4202560 992 0 0 0 9333 0 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675137548408 139676589102377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4658] ppid=4429 vsize=26605264 memory=1196 CPUtime=100.52 cores=0-7
/proc/4431/task/4658/stat : 4658 (java) R 4429 4429 3921 0 -1 4202560 984 0 0 0 10051 1 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675130179824 139676584281833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4659] ppid=4429 vsize=26605264 memory=8588 CPUtime=93.27 cores=0-7
/proc/4431/task/4659/stat : 4659 (java) R 4429 4429 3921 0 -1 4202560 1738 0 0 0 9326 1 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675138603296 139676588906587 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4660] ppid=4429 vsize=26605264 memory=1384 CPUtime=93.43 cores=0-7
/proc/4431/task/4660/stat : 4660 (java) R 4429 4429 3921 0 -1 4202560 2071 0 0 0 9343 0 0 0 20 0 28 0 144220138 27243790336 83439 33554432000 4194304 4196468 140729582247168 139675135442216 139676589102252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
Current children cumulated CPU time: 19018.4 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 335140 KiB

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

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

[startup+2520.17 s]
# the end of solver process 4431 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18920.9 s, system=98.3529 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

[startup+2520.13 s]*
/proc/loadavg: 6.97 7.11 7.47 11/209 4662
/proc/meminfo: memFree=26729708/32770624 swapFree=67108860/67108860
[pid=4431] ppid=4426 vsize=26606292 memory=333900 CPUtime=19019.1 cores=0-7
/proc/4431/stat : 4431 (java) S 4426 4429 3921 0 -1 1077944320 673998 0 0 0 1892076 9834 0 0 20 0 30 0 143978444 27244843008 83475 33554432000 4194304 4196468 140729582247168 140729582229712 139676951326455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
/proc/4431/statm: 6651573 83475 3302 1 0 6638807 0
[pid=4431/tid=4432] ppid=4426 vsize=26606292 memory=4004 CPUtime=0.8 cores=0-7
/proc/4431/task/4432/stat : 4432 (java) S 4426 4429 3921 0 -1 1077944384 8787 0 0 0 76 4 0 0 20 0 30 0 143978444 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676955567232 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4433] ppid=4426 vsize=26606292 memory=1384 CPUtime=6.95 cores=0-7
/proc/4431/task/4433/stat : 4433 (java) S 4426 4429 3921 0 -1 1077944384 24274 0 0 0 656 39 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676903946512 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4434] ppid=4426 vsize=26606292 memory=333756 CPUtime=6.94 cores=0-7
/proc/4431/task/4434/stat : 4434 (java) S 4426 4429 3921 0 -1 1077944384 22526 0 0 0 657 37 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676902893968 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4435] ppid=4426 vsize=26606292 memory=-7003737579269690708 CPUtime=6.93 cores=0-7
/proc/4431/task/4435/stat : 4435 (java) S 4426 4429 3921 0 -1 1077944384 23876 0 0 0 656 37 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676901841424 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4436] ppid=4426 vsize=26606292 memory=1420 CPUtime=6.99 cores=0-7
/proc/4431/task/4436/stat : 4436 (java) S 4426 4429 3921 0 -1 1077944384 22184 0 0 0 661 38 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676505995920 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4437] ppid=4426 vsize=26606292 memory=13144 CPUtime=6.94 cores=0-7
/proc/4431/task/4437/stat : 4437 (java) S 4426 4429 3921 0 -1 1077944384 23471 0 0 0 657 37 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676504943376 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4438] ppid=4426 vsize=26606292 memory=1944 CPUtime=6.96 cores=0-7
/proc/4431/task/4438/stat : 4438 (java) S 4426 4429 3921 0 -1 1077944384 24981 0 0 0 655 41 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676503890832 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4439] ppid=4426 vsize=26606292 memory=1196 CPUtime=6.95 cores=0-7
/proc/4431/task/4439/stat : 4439 (java) S 4426 4429 3921 0 -1 1077944384 21265 0 0 0 657 38 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676502838288 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4440] ppid=4426 vsize=26606292 memory=8588 CPUtime=6.99 cores=0-7
/proc/4431/task/4440/stat : 4440 (java) S 4426 4429 3921 0 -1 1077944384 24550 0 0 0 658 41 0 0 20 0 30 0 143978445 27244843008 83475 33554432000 4194304 4196468 140729582247168 139676501785744 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4441] ppid=4426 vsize=26606292 memory=1228 CPUtime=144.33 cores=0-7
/proc/4431/task/4441/stat : 4441 (java) S 4426 4429 3921 0 -1 1077944384 69080 0 0 0 5129 9304 0 0 20 0 30 0 143978447 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675223664624 139676951337602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4442] ppid=4426 vsize=26606292 memory=15880 CPUtime=0 cores=0-7
/proc/4431/task/4442/stat : 4442 (java) S 4426 4429 3921 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 30 0 143978447 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675155031008 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4443] ppid=4426 vsize=26606292 memory=18476 CPUtime=0 cores=0-7
/proc/4431/task/4443/stat : 4443 (java) S 4426 4429 3921 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 30 0 143978447 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675153978368 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4444] ppid=4426 vsize=26606292 memory=22280 CPUtime=0 cores=0-7
/proc/4431/task/4444/stat : 4444 (java) S 4426 4429 3921 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 30 0 143978450 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675152926928 139676951345051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4445] ppid=4426 vsize=26606292 memory=4040 CPUtime=2.87 cores=0-7
/proc/4431/task/4445/stat : 4445 (java) S 4426 4429 3921 0 -1 1077944384 23253 0 0 0 283 4 0 0 20 0 30 0 143978450 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675151874544 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4446] ppid=4426 vsize=26606292 memory=1236 CPUtime=3.47 cores=0-7
/proc/4431/task/4446/stat : 4446 (java) S 4426 4429 3921 0 -1 1077944384 26190 0 0 0 342 5 0 0 20 0 30 0 143978450 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675150822000 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4447] ppid=4426 vsize=26606292 memory=644 CPUtime=2.9 cores=0-7
/proc/4431/task/4447/stat : 4447 (java) S 4426 4429 3921 0 -1 1077944384 22532 0 0 0 283 7 0 0 20 0 30 0 143978450 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675149769456 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4448] ppid=4426 vsize=26606292 memory=1788 CPUtime=0.94 cores=0-7
/proc/4431/task/4448/stat : 4448 (java) S 4426 4429 3921 0 -1 1077944384 21196 0 0 0 91 3 0 0 20 0 30 0 143978450 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675148716912 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4449] ppid=4426 vsize=26606292 memory=956 CPUtime=0 cores=0-7
/proc/4431/task/4449/stat : 4449 (java) S 4426 4429 3921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 30 0 143978450 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675147663584 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4450] ppid=4426 vsize=26606292 memory=2344 CPUtime=0.73 cores=0-7
/proc/4431/task/4450/stat : 4450 (java) S 4426 4429 3921 0 -1 1077944384 4469 0 0 0 44 29 0 0 20 0 30 0 143978451 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675146611120 139676951337602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4653] ppid=4426 vsize=26606292 memory=928 CPUtime=93.22 cores=0-7
/proc/4431/task/4653/stat : 4653 (java) R 4426 4429 3921 0 -1 4202560 1044 0 0 0 9321 1 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675134389048 139676589102380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4654] ppid=4426 vsize=26606292 memory=1568 CPUtime=93.14 cores=0-7
/proc/4431/task/4654/stat : 4654 (java) R 4426 4429 3921 0 -1 4202560 1574 0 0 0 9313 1 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675132287648 139676588104290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4655] ppid=4426 vsize=26606292 memory=2240 CPUtime=93.57 cores=0-7
/proc/4431/task/4655/stat : 4655 (java) R 4426 4429 3921 0 -1 4202560 1389 0 0 0 9356 1 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675133337464 139676588903016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4656] ppid=4426 vsize=26606292 memory=4128 CPUtime=96.38 cores=0-7
/proc/4431/task/4656/stat : 4656 (java) R 4426 4429 3921 0 -1 4202560 461 0 0 0 9637 1 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675136495600 139676584281850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4657] ppid=4426 vsize=26606292 memory=2204 CPUtime=93.4 cores=0-7
/proc/4431/task/4657/stat : 4657 (java) R 4426 4429 3921 0 -1 4202560 992 0 0 0 9340 0 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675137548760 139676589102506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4658] ppid=4426 vsize=26606292 memory=7788 CPUtime=100.65 cores=0-7
/proc/4431/task/4658/stat : 4658 (java) R 4426 4429 3921 0 -1 4202560 985 0 0 0 10064 1 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675130179960 139676587702644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4659] ppid=4426 vsize=26606292 memory=840 CPUtime=93.34 cores=0-7
/proc/4431/task/4659/stat : 4659 (java) R 4426 4429 3921 0 -1 4202560 1738 0 0 0 9333 1 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675138600504 139676590543998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4660] ppid=4426 vsize=26606292 memory=1692 CPUtime=93.5 cores=0-7
/proc/4431/task/4660/stat : 4660 (java) R 4426 4429 3921 0 -1 4202560 2071 0 0 0 9350 0 0 0 20 0 30 0 144220138 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675135442408 139676591672346 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4661] ppid=4426 vsize=26606292 memory=916 CPUtime=0 cores=0-7
/proc/4431/task/4661/stat : 4661 (java) S 4426 4429 3921 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 30 0 144230448 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675131236592 139676951336661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
[pid=4431/tid=4662] ppid=4426 vsize=26606292 memory=4116 CPUtime=0 cores=0-7
/proc/4431/task/4662/stat : 4662 (java) R 4426 4429 3921 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 30 0 144230456 27244843008 83475 33554432000 4194304 4196468 140729582247168 139675129134048 139676951336661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140729582249106 140729582249283 140729582249283 140729582251983 0
Current cumulated CPU time of completed processes: 0.00192 s
Current children cumulated CPU time: 19019.1 s
Current children cumulated vsize: 26606292 KiB
Current children cumulated memory: 333900 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 19019.3
CPU user time (s): 18920.9
CPU system time (s): 98.3529
CPU usage (%): 754.681
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 530048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18920.9
system time used= 98.3529
maximum resident set size= 528680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 674596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 467718
involuntary context switches= 210308


# summary of solver processes directly reported to runsolver:
#   pid: 4429,4431
#   total CPU time (s): 19019.3
#   total CPU user time (s): 18920.9
#   total CPU system time (s): 98.3529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.1371 second user time and 26.2373 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-19 04:00:44
IDJOB=4280554
IDBENCH=115757
IDSOLVER=2675
FILE ID=node103/4280554-1503108904
RUNJOBID= node103-1503100462-3948
PBS_JOBID= 20630744
Free space on /tmp= 61652 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-4.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-4280554-1503108904/watcher-4280554-1503108904 -o /tmp/evaluation-result-4280554-1503108904/solver-4280554-1503108904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503100462-3948 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 623051565 HOME/instance-4280554-1503108904.xml

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

MD5SUM BENCH= 428eef4dc0068476798a4d67b3fd28ef
RANDOM SEED=623051565

node103.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.56
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.56
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.56
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.56
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:        27052500 kB
MemAvailable:   31977656 kB
Buffers:          227980 kB
Cached:          4991360 kB
SwapCached:            0 kB
Active:           990476 kB
Inactive:        4283988 kB
Active(anon):       4340 kB
Inactive(anon):    86700 kB
Active(file):     986136 kB
Inactive(file):  4197288 kB
Unevictable:        7496 kB
Mlocked:            7496 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7544 kB
Writeback:             0 kB
AnonPages:         61992 kB
Mapped:            50464 kB
Shmem:             33420 kB
Slab:             141652 kB
SReclaimable:     115136 kB
SUnreclaim:        26516 kB
KernelStack:        3200 kB
PageTables:         4804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332596 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61644 MiB
End job on node103 at 2017-08-19 04:42:44