Trace number 4280561

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)1754 19334 2520.1699

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-20-3.xml
MD5SUM5314b126c5fc4f843c68abc8a30fc0ca
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1684
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints440
Number of domains1
Minimum domain size1760
Maximum domain size1760
Distribution of domain sizes[{"size":1760,"count":420}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":400}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":20,"count":20}]
Number of extensional constraints0
Number of intensional constraints420
Distribution of constraint types[{"type":"intension","count":420},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280561-1503108904.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280561-1503108904.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.58/0.92	c solve instance...
211.86/27.38	o 1754 
19333.11/2520.09	s SATISFIABLE
19333.11/2520.09	v <instantiation>
19333.11/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[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[0][15] s[0][16] s[0][17] s[0][18] s[0][19] 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[1][15] s[1][16] s[1][17] s[1][18] s[1][19] 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[2][15] s[2][16] s[2][17] s[2][18] s[2][19] 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[3][15] s[3][16] s[3][17] s[3][18] s[3][19] 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[4][15] s[4][16] s[4][17] s[4][18] s[4][19] 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[5][15] s[5][16] s[5][17] s[5][18] s[5][19] 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[6][15] s[6][16] s[6][17] s[6][18] s[6][19] 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[7][15] s[7][16] s[7][17] s[7][18] s[7][19] 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[8][15] s[8][16] s[8][17] s[8][18] s[8][19] 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[9][15] s[9][16] s[9][17] s[9][18] s[9][19] 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[10][15] s[10][16] s[10][17] s[10][18] s[10][19] 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[11][15] s[11][16] s[11][17] s[11][18] s[11][19] 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[12][15] s[12][16] s[12][17] s[12][18] s[12][19] 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[13][15] s[13][16] s[13][17] s[13][18] s[13][19] 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] s[14][15] s[14][16] s[14][17] s[14][18] s[14][19] s[15][0] s[15][1] s[15][2] s[15][3] s[15][4] s[15][5] s[15][6] s[15][7] s[15][8] s[15][9] s[15][10] s[15][11] s[15][12] s[15][13] s[15][14] s[15][15] s[15][16] s[15][17] s[15][18] s[15][19] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[16][5] s[16][6] s[16][7] s[16][8] s[16][9] s[16][10] s[16][11] s[16][12] s[16][13] s[16][14] s[16][15] s[16][16] s[16][17] s[16][18] s[16][19] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[17][5] s[17][6] s[17][7] s[17][8] s[17][9] s[17][10] s[17][11] s[17][12] s[17][13] s[17][14] s[17][15] s[17][16] s[17][17] s[17][18] s[17][19] s[18][0] s[18][1] s[18][2] s[18][3] s[18][4] s[18][5] s[18][6] s[18][7] s[18][8] s[18][9] s[18][10] s[18][11] s[18][12] s[18][13] s[18][14] s[18][15] s[18][16] s[18][17] s[18][18] s[18][19] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] s[19][5] s[19][6] s[19][7] s[19][8] s[19][9] s[19][10] s[19][11] s[19][12] s[19][13] s[19][14] s[19][15] s[19][16] s[19][17] s[19][18] s[19][19] 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] e[15] e[16] e[17] e[18] e[19] </list>
19333.11/2520.09	v 	<values>6 113 193 227 340 369 534 559 608 735 798 848 938 967 1121 1156 1194 1234 1343 1401 411 484 552 595 693 761 783 851 939 1011 1061 1202 1296 1381 1444 1485 1521 1595 1675 1739 0 6 134 288 359 410 473 559 582 645 652 670 760 815 912 998 1114 1306 1375 1604 0 58 93 172 230 316 366 430 518 575 644 717 735 739 808 848 883 920 962 1044 0 2 43 135 252 283 349 717 783 879 1044 1073 1122 1218 1268 1306 1386 1476 1512 1591 27 42 76 165 252 307 356 464 484 585 737 815 1158 1233 1314 1379 1385 1458 1587 1660 24 121 166 295 326 411 490 518 575 708 838 899 1022 1183 1276 1450 1484 1520 1568 1708 28 138 207 227 287 351 573 697 867 962 1022 1042 1127 1180 1239 1298 1322 1408 1520 1585 0 57 345 834 933 1015 1106 1118 1137 1196 1239 1259 1354 1378 1462 1522 1604 1667 1699 1728 0 143 221 442 531 534 578 585 667 737 750 932 984 1194 1296 1375 1444 1476 1564 1587 43 126 135 305 430 514 601 679 754 777 928 975 1150 1183 1193 1211 1298 1386 1515 1616 0 28 222 315 326 351 418 473 503 670 760 774 901 944 997 1369 1408 1460 1535 1616 0 24 68 126 199 316 366 596 610 616 657 676 697 733 805 901 967 1386 1484 1585 0 91 133 230 295 373 413 506 570 578 634 644 737 765 842 929 1110 1180 1217 1386 0 15 60 264 369 464 503 525 896 975 1042 1123 1233 1298 1322 1360 1389 1522 1595 1654 0 93 121 193 264 356 373 462 531 582 622 783 865 929 1066 1125 1132 1298 1476 1540 282 391 400 437 514 616 685 729 768 783 867 899 971 1122 1217 1287 1378 1460 1561 1591 68 210 315 341 484 610 768 920 928 998 1066 1103 1123 1158 1257 1284 1296 1370 1580 1678 63 138 139 174 247 282 288 326 400 812 863 879 1274 1332 1428 1525 1580 1623 1688 1746 0 27 63 113 134 166 172 206 290 340 387 501 595 644 676 774 842 883 912 971 1499 1753 1687 1127 1667 1704 1720 1627 1748 1686 1708 1660 1667 1421 1746 1623 1635 1753 1754 1061 </values>
19333.11/2520.09	v </instantiation>
19333.11/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	1754

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280561-1503108904/watcher-4280561-1503108904 -o /tmp/evaluation-result-4280561-1503108904/solver-4280561-1503108904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503100474-19641 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1361404665 HOME/instance-4280561-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=20123, runsolver pid=20120


[startup+0.100158 s]*
/proc/loadavg: 7.91 8.23 8.15 2/199 20144
/proc/meminfo: memFree=25508168/32770624 swapFree=67108860/67108860
[pid=20123] ppid=20120 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20123/stat : 20123 (xcsp3-exec) S 20120 20123 19614 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 143971322 9740288 346 33554432000 4194304 5098028 140727860691792 140727860689896 140167324263036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8417280 140727860696164 140727860696375 140727860696375 140727860699115 0
/proc/20123/statm: 2378 346 289 221 0 87 0
[pid=20125] ppid=20123 vsize=25999808 memory=27164 CPUtime=0.11 cores=0-7
/proc/20125/stat : 20125 (java) S 20123 20123 19614 0 -1 1077944320 5222 0 0 0 10 1 0 0 20 0 20 0 143971322 26623803392 6791 33554432000 4194304 4196468 140723912255312 140723912237856 139868172295927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
/proc/20125/statm: 6499952 6791 2843 1 0 6488269 0
[pid=20125/tid=20126] ppid=20123 vsize=25999808 memory=7751991766239059609 CPUtime=0.09 cores=0-7
/proc/20125/task/20126/stat : 20126 (java) R 20123 20123 19614 0 -1 4202560 3227 0 0 0 8 1 0 0 20 0 20 0 143971322 26623803392 6791 33554432000 4194304 4196468 140723912255312 139868176522528 139868172317853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20127] ppid=20123 vsize=25999808 memory=732370033144204261 CPUtime=0 cores=0-7
/proc/20125/task/20127/stat : 20127 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139868094876176 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20128] ppid=20123 vsize=25999808 memory=139894806750848 CPUtime=0 cores=0-7
/proc/20125/task/20128/stat : 20128 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139867729189520 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20129] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20129/stat : 20129 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139867728136464 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20130] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20130/stat : 20130 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139867727083920 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20131] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20131/stat : 20131 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139867726031888 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20132] ppid=20123 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20125/task/20132/stat : 20132 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139867724979344 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20133] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20133/stat : 20133 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139867723926288 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20134] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20134/stat : 20134 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26623803392 6791 33554432000 4194304 4196468 140723912255312 139867722873744 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20135] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20135/stat : 20135 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971325 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866847299824 139868172307074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20136] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20136/stat : 20136 (java) S 20123 20123 19614 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143971325 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866846246048 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20137] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20137/stat : 20137 (java) S 20123 20123 19614 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143971325 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866845192944 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20138] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20138/stat : 20138 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971328 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866844141520 139868172314523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20139] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20139/stat : 20139 (java) R 20123 20123 19614 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 143971328 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866843089648 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20140] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20140/stat : 20140 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143971328 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866842037104 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20141] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20141/stat : 20141 (java) S 20123 20123 19614 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 143971328 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866840984048 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20142] ppid=20123 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20125/task/20142/stat : 20142 (java) R 20123 20123 19614 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 143971328 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866839931504 139868172317274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20143] ppid=20123 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20143/stat : 20143 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143971328 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866838878688 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20144] ppid=20123 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20125/task/20144/stat : 20144 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971328 26623803392 6791 33554432000 4194304 4196468 140723912255312 139866837826224 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28548 KiB

[startup+0.210057 s]*
/proc/loadavg: 7.91 8.23 8.15 2/199 20144
/proc/meminfo: memFree=25497556/32770624 swapFree=67108860/67108860
[pid=20123] ppid=20120 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20123/stat : 20123 (xcsp3-exec) S 20120 20123 19614 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 143971322 9740288 346 33554432000 4194304 5098028 140727860691792 140727860689896 140167324263036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8417280 140727860696164 140727860696375 140727860696375 140727860699115 0
/proc/20123/statm: 2378 346 289 221 0 87 0
[pid=20125] ppid=20123 vsize=26004064 memory=38824 CPUtime=0.33 cores=0-7
/proc/20125/stat : 20125 (java) S 20123 20123 19614 0 -1 1077944320 7824 0 0 0 31 2 0 0 20 0 20 0 143971322 26628161536 9706 33554432000 4194304 4196468 140723912255312 140723912237856 139868172295927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
/proc/20125/statm: 6501016 9706 3055 1 0 6488269 0
[pid=20125/tid=20126] ppid=20123 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/20125/task/20126/stat : 20126 (java) R 20123 20123 19614 0 -1 4202560 4949 0 0 0 18 1 0 0 20 0 20 0 143971322 26628161536 9706 33554432000 4194304 4196468 140723912255312 139868176515984 139868172307862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20127] ppid=20123 vsize=26004064 memory=732370033144204261 CPUtime=0 cores=0-7
/proc/20125/task/20127/stat : 20127 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139868094876176 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20128] ppid=20123 vsize=26004064 memory=139894806750848 CPUtime=0 cores=0-7
/proc/20125/task/20128/stat : 20128 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139867729189520 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20129] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20129/stat : 20129 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139867728136464 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20130] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20130/stat : 20130 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139867727083920 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20131] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20131/stat : 20131 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139867726031888 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20132] ppid=20123 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20125/task/20132/stat : 20132 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139867724979344 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20133] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20133/stat : 20133 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139867723926288 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20134] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20134/stat : 20134 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 9706 33554432000 4194304 4196468 140723912255312 139867722873744 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20135] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20135/stat : 20135 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971325 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866847299824 139868172307074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20136] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20136/stat : 20136 (java) S 20123 20123 19614 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143971325 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866846246048 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20137] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20137/stat : 20137 (java) S 20123 20123 19614 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143971325 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866845192944 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20138] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20138/stat : 20138 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971328 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866844141520 139868172314523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20139] ppid=20123 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20125/task/20139/stat : 20139 (java) S 20123 20123 19614 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 143971328 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866843089648 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20140] ppid=20123 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20125/task/20140/stat : 20140 (java) S 20123 20123 19614 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 143971328 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866842037104 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20141] ppid=20123 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20125/task/20141/stat : 20141 (java) S 20123 20123 19614 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 143971328 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866840984048 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20142] ppid=20123 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/20125/task/20142/stat : 20142 (java) S 20123 20123 19614 0 -1 1077944384 720 0 0 0 7 0 0 0 20 0 20 0 143971328 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866839931504 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20143] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20143/stat : 20143 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143971328 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866838878688 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20144] ppid=20123 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20125/task/20144/stat : 20144 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971328 26628161536 9706 33554432000 4194304 4196468 140723912255312 139866837826224 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40208 KiB

[startup+0.309355 s]*
/proc/loadavg: 7.91 8.23 8.15 3/199 20144
/proc/meminfo: memFree=25493152/32770624 swapFree=67108860/67108860
[pid=20123] ppid=20120 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20123/stat : 20123 (xcsp3-exec) S 20120 20123 19614 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 143971322 9740288 346 33554432000 4194304 5098028 140727860691792 140727860689896 140167324263036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8417280 140727860696164 140727860696375 140727860696375 140727860699115 0
/proc/20123/statm: 2378 346 289 221 0 87 0
[pid=20125] ppid=20123 vsize=26004064 memory=45488 CPUtime=0.49 cores=0-7
/proc/20125/stat : 20125 (java) S 20123 20123 19614 0 -1 1077944320 8608 0 0 0 46 3 0 0 20 0 20 0 143971322 26628161536 11372 33554432000 4194304 4196468 140723912255312 140723912237856 139868172295927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
/proc/20125/statm: 6501016 11372 3071 1 0 6488269 0
[pid=20125/tid=20126] ppid=20123 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20125/task/20126/stat : 20126 (java) R 20123 20123 19614 0 -1 4202560 5610 0 0 0 27 2 0 0 20 0 20 0 143971322 26628161536 11372 33554432000 4194304 4196468 140723912255312 139868176533664 139868172307862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20127] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20127/stat : 20127 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139868094876176 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20128] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20128/stat : 20128 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139867729189520 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20129] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20129/stat : 20129 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139867728136464 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20130] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20130/stat : 20130 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139867727083920 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20131] ppid=20123 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20125/task/20131/stat : 20131 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139867726031888 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20132] ppid=20123 vsize=26004064 memory=139894668227503 CPUtime=0 cores=0-7
/proc/20125/task/20132/stat : 20132 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139867724979344 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20133] ppid=20123 vsize=26004064 memory=139894668229808 CPUtime=0 cores=0-7
/proc/20125/task/20133/stat : 20133 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139867723926288 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20134] ppid=20123 vsize=26004064 memory=139894668232112 CPUtime=0 cores=0-7
/proc/20125/task/20134/stat : 20134 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26628161536 11372 33554432000 4194304 4196468 140723912255312 139867722873744 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20135] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20135/stat : 20135 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971325 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866847299824 139868172307074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20136] ppid=20123 vsize=26004064 memory=279789336471184 CPUtime=0 cores=0-7
/proc/20125/task/20136/stat : 20136 (java) S 20123 20123 19614 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143971325 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866846246048 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20137] ppid=20123 vsize=26004064 memory=279789336478096 CPUtime=0 cores=0-7
/proc/20125/task/20137/stat : 20137 (java) S 20123 20123 19614 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143971325 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866845192944 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20138] ppid=20123 vsize=26004064 memory=279789336419376 CPUtime=0 cores=0-7
/proc/20125/task/20138/stat : 20138 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971328 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866844141520 139868172314523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20139] ppid=20123 vsize=26004064 memory=279789336491920 CPUtime=0.01 cores=0-7
/proc/20125/task/20139/stat : 20139 (java) S 20123 20123 19614 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 143971328 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866843089648 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20140] ppid=20123 vsize=26004064 memory=279789336498832 CPUtime=0.01 cores=0-7
/proc/20125/task/20140/stat : 20140 (java) R 20123 20123 19614 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 20 0 143971328 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866842037104 139868156689817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20141] ppid=20123 vsize=26004064 memory=279789336496528 CPUtime=0.03 cores=0-7
/proc/20125/task/20141/stat : 20141 (java) R 20123 20123 19614 0 -1 4202560 238 0 0 0 3 0 0 0 20 0 20 0 143971328 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866840984048 139868153840416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20142] ppid=20123 vsize=26004064 memory=279789336512688 CPUtime=0.12 cores=0-7
/proc/20125/task/20142/stat : 20142 (java) R 20123 20123 19614 0 -1 4202560 823 0 0 0 12 0 0 0 20 0 20 0 143971328 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866839927872 139868150922304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20143] ppid=20123 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20125/task/20143/stat : 20143 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143971328 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866838878688 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20144] ppid=20123 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20125/task/20144/stat : 20144 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971328 26628161536 11372 33554432000 4194304 4196468 140723912255312 139866837826224 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46872 KiB

[startup+0.700942 s]
/proc/loadavg: 7.91 8.23 8.15 3/199 20144
/proc/meminfo: memFree=25478528/32770624 swapFree=67108860/67108860
[pid=20123] ppid=20120 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20123/stat : 20123 (xcsp3-exec) S 20120 20123 19614 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 143971322 9740288 346 33554432000 4194304 5098028 140727860691792 140727860689896 140167324263036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8417280 140727860696164 140727860696375 140727860696375 140727860699115 0
/proc/20123/statm: 2378 346 289 221 0 87 0
[pid=20125] ppid=20123 vsize=26006188 memory=93104 CPUtime=1.72 cores=0-7
/proc/20125/stat : 20125 (java) S 20123 20123 19614 0 -1 1077944320 13917 0 0 0 166 6 0 0 20 0 20 0 143971322 26630336512 23276 33554432000 4194304 4196468 140723912255312 140723912237856 139868172295927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
/proc/20125/statm: 6501547 23276 3206 1 0 6488781 0
[pid=20125/tid=20126] ppid=20123 vsize=26006188 memory=279789336807616 CPUtime=0.67 cores=0-7
/proc/20125/task/20126/stat : 20126 (java) R 20123 20123 19614 0 -1 4202560 6443 0 0 0 64 3 0 0 20 0 20 0 143971322 26630336512 23276 33554432000 4194304 4196468 140723912255312 139868176533936 139867779146564 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20127] ppid=20123 vsize=26006188 memory=12136 CPUtime=0 cores=0-7
/proc/20125/task/20127/stat : 20127 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143971323 26630336512 23276 33554432000 4194304 4196468 140723912255312 139868094876176 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20128] ppid=20123 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/20125/task/20128/stat : 20128 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26630336512 23276 33554432000 4194304 4196468 140723912255312 139867729189520 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20129] ppid=20123 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/20125/task/20129/stat : 20129 (java) S 20123 20123 19614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143971323 26630336512 23276 33554432000 4194304 4196468 140723912255312 139867728136464 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0

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

[pid=20125/tid=20180] ppid=20123 vsize=26538700 memory=1384 CPUtime=2414.55 cores=0-7
/proc/20125/task/20180/stat : 20180 (java) S 20123 20123 19614 0 -1 1077944384 55433 0 0 0 241405 50 0 0 20 0 28 0 143974061 27175628800 95446 33554432000 4194304 4196468 140723912255312 139866828762960 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20181] ppid=20123 vsize=26538700 memory=4616 CPUtime=2337.46 cores=0-7
/proc/20125/task/20181/stat : 20181 (java) S 20123 20123 19614 0 -1 1077944384 38108 0 0 0 233713 33 0 0 20 0 28 0 143974061 27175628800 95446 33554432000 4194304 4196468 140723912255312 139866827709584 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20182] ppid=20123 vsize=26538700 memory=8608 CPUtime=2337.92 cores=0-7
/proc/20125/task/20182/stat : 20182 (java) S 20123 20123 19614 0 -1 1077944384 46843 0 0 0 233760 32 0 0 20 0 28 0 143974061 27175628800 95446 33554432000 4194304 4196468 140723912255312 139866822446512 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
Current children cumulated CPU time: 19200.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 383168 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.26 7.60 7.75 9/208 20219
/proc/meminfo: memFree=25155556/32770624 swapFree=67108860/67108860
[pid=20123] ppid=20120 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20123/stat : 20123 (xcsp3-exec) S 20120 20123 19614 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 143971322 9740288 346 33554432000 4194304 5098028 140727860691792 140727860689896 140167324263036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8417280 140727860696164 140727860696375 140727860696375 140727860699115 0
/proc/20123/statm: 2378 346 289 221 0 87 0
[pid=20125] ppid=20123 vsize=26538700 memory=382016 CPUtime=19333.1 cores=0-7
/proc/20125/stat : 20125 (java) S 20123 20123 19614 0 -1 1077944320 826161 0 0 0 1925753 7558 0 0 20 0 28 0 143971322 27175628800 95504 33554432000 4194304 4196468 140723912255312 140723912237856 139868172295927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
/proc/20125/statm: 6634675 95504 3301 1 0 6621909 0
[pid=20125/tid=20126] ppid=20123 vsize=26538700 memory=1398720917958146503 CPUtime=0.91 cores=0-7
/proc/20125/task/20126/stat : 20126 (java) S 20123 20123 19614 0 -1 1077944384 6649 0 0 0 87 4 0 0 20 0 28 0 143971322 27175628800 95504 33554432000 4194304 4196468 140723912255312 139868176536704 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20127] ppid=20123 vsize=26538700 memory=-7003737579269690708 CPUtime=6.32 cores=0-7
/proc/20125/task/20127/stat : 20127 (java) S 20123 20123 19614 0 -1 1077944384 35634 0 0 0 593 39 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139868094876176 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20128] ppid=20123 vsize=26538700 memory=2240 CPUtime=6.27 cores=0-7
/proc/20125/task/20128/stat : 20128 (java) S 20123 20123 19614 0 -1 1077944384 31109 0 0 0 592 35 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139867729189520 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20129] ppid=20123 vsize=26538700 memory=2424 CPUtime=6.3 cores=0-7
/proc/20125/task/20129/stat : 20129 (java) S 20123 20123 19614 0 -1 1077944384 37686 0 0 0 592 38 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139867728136464 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20130] ppid=20123 vsize=26538700 memory=4080 CPUtime=6.25 cores=0-7
/proc/20125/task/20130/stat : 20130 (java) S 20123 20123 19614 0 -1 1077944384 31957 0 0 0 589 36 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139867727083920 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20131] ppid=20123 vsize=26538700 memory=932 CPUtime=6.27 cores=0-7
/proc/20125/task/20131/stat : 20131 (java) S 20123 20123 19614 0 -1 1077944384 31607 0 0 0 590 37 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139867726031888 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20132] ppid=20123 vsize=26538700 memory=1584 CPUtime=6.26 cores=0-7
/proc/20125/task/20132/stat : 20132 (java) S 20123 20123 19614 0 -1 1077944384 33175 0 0 0 590 36 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139867724979344 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20133] ppid=20123 vsize=26538700 memory=1384 CPUtime=6.29 cores=0-7
/proc/20125/task/20133/stat : 20133 (java) S 20123 20123 19614 0 -1 1077944384 36841 0 0 0 594 35 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139867723926288 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20134] ppid=20123 vsize=26538700 memory=382016 CPUtime=6.32 cores=0-7
/proc/20125/task/20134/stat : 20134 (java) S 20123 20123 19614 0 -1 1077944384 37229 0 0 0 595 37 0 0 20 0 28 0 143971323 27175628800 95504 33554432000 4194304 4196468 140723912255312 139867722873744 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20135] ppid=20123 vsize=26538700 memory=1004 CPUtime=118.17 cores=0-7
/proc/20125/task/20135/stat : 20135 (java) S 20123 20123 19614 0 -1 1077944384 94970 0 0 0 4793 7024 0 0 20 0 28 0 143971325 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866847299824 139868172307074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20136] ppid=20123 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/20125/task/20136/stat : 20136 (java) S 20123 20123 19614 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 28 0 143971325 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866846246048 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20137] ppid=20123 vsize=26538700 memory=1952 CPUtime=0 cores=0-7
/proc/20125/task/20137/stat : 20137 (java) S 20123 20123 19614 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 143971325 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866845192944 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20138] ppid=20123 vsize=26538700 memory=5796 CPUtime=0 cores=0-7
/proc/20125/task/20138/stat : 20138 (java) S 20123 20123 19614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 143971328 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866844141520 139868172314523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20139] ppid=20123 vsize=26538700 memory=4616 CPUtime=3.25 cores=0-7
/proc/20125/task/20139/stat : 20139 (java) S 20123 20123 19614 0 -1 1077944384 25414 0 0 0 321 4 0 0 20 0 28 0 143971328 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866843089648 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20140] ppid=20123 vsize=26538700 memory=8608 CPUtime=3.54 cores=0-7
/proc/20125/task/20140/stat : 20140 (java) S 20123 20123 19614 0 -1 1077944384 22894 0 0 0 350 4 0 0 20 0 28 0 143971328 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866842037104 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20141] ppid=20123 vsize=26538700 memory=792 CPUtime=3.39 cores=0-7
/proc/20125/task/20141/stat : 20141 (java) S 20123 20123 19614 0 -1 1077944384 24255 0 0 0 335 4 0 0 20 0 28 0 143971328 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866840984048 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20142] ppid=20123 vsize=26538700 memory=1204 CPUtime=0.96 cores=0-7
/proc/20125/task/20142/stat : 20142 (java) S 20123 20123 19614 0 -1 1077944384 21372 0 0 0 93 3 0 0 20 0 28 0 143971328 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866839931504 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20143] ppid=20123 vsize=26538700 memory=382016 CPUtime=0 cores=0-7
/proc/20125/task/20143/stat : 20143 (java) S 20123 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143971328 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866838878688 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20144] ppid=20123 vsize=26538700 memory=288230583166042425 CPUtime=0.81 cores=0-7
/proc/20125/task/20144/stat : 20144 (java) S 20123 20123 19614 0 -1 1077944384 6876 0 0 0 46 35 0 0 20 0 28 0 143971328 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866837826224 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20175] ppid=20123 vsize=26538700 memory=1204 CPUtime=2357.75 cores=0-7
/proc/20125/task/20175/stat : 20175 (java) R 20123 20123 19614 0 -1 4202560 44863 0 0 0 235745 30 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866829813944 139867783433961 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20176] ppid=20123 vsize=26538700 memory=1728 CPUtime=2350.65 cores=0-7
/proc/20125/task/20176/stat : 20176 (java) R 20123 20123 19614 0 -1 4202560 47586 0 0 0 235028 37 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866825604288 139867782574175 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20177] ppid=20123 vsize=26538700 memory=1440 CPUtime=2356.38 cores=0-7
/proc/20125/task/20177/stat : 20177 (java) R 20123 20123 19614 0 -1 4202560 44951 0 0 0 235606 32 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866826657840 139867782869856 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20178] ppid=20123 vsize=26538700 memory=15880 CPUtime=2391.76 cores=0-7
/proc/20125/task/20178/stat : 20178 (java) R 20123 20123 19614 0 -1 4202560 30400 0 0 0 239134 42 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866823500000 139867778224988 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20179] ppid=20123 vsize=26538700 memory=16432 CPUtime=2356.09 cores=0-7
/proc/20125/task/20179/stat : 20179 (java) R 20123 20123 19614 0 -1 4202560 28402 0 0 0 235585 24 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866824552560 139867783434051 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20180] ppid=20123 vsize=26538700 memory=23232 CPUtime=2431.39 cores=0-7
/proc/20125/task/20180/stat : 20180 (java) R 20123 20123 19614 0 -1 4202560 56320 0 0 0 243089 50 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866828763104 139867778224988 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20181] ppid=20123 vsize=26538700 memory=4044 CPUtime=2353.44 cores=0-7
/proc/20125/task/20181/stat : 20181 (java) R 20123 20123 19614 0 -1 4202560 38736 0 0 0 235311 33 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866827712608 139867782574111 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20182] ppid=20123 vsize=26538700 memory=1728 CPUtime=2354.07 cores=0-7
/proc/20125/task/20182/stat : 20182 (java) R 20123 20123 19614 0 -1 4202560 47666 0 0 0 235375 32 0 0 20 0 28 0 143974061 27175628800 95504 33554432000 4194304 4196468 140723912255312 139866822446440 139867782870843 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
Current children cumulated CPU time: 19333.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 383400 KiB

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

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

[startup+2520.17 s]
# the end of solver process 20125 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19258.4 s, system=75.6317 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: 7.26 7.60 7.75 4/206 20221
/proc/meminfo: memFree=25155168/32770624 swapFree=67108860/67108860
[pid=20125] ppid=20120 vsize=26671828 memory=382160 CPUtime=19333.9 cores=0-7
/proc/20125/stat : 20125 (java) S 20120 20123 19614 0 -1 1077944320 826363 0 0 0 1925834 7560 0 0 20 0 27 0 143971322 27311951872 95540 33554432000 4194304 4196468 140723912255312 140723912237856 139868172295927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
/proc/20125/statm: 6667957 95540 3301 1 0 6655191 0
[pid=20125/tid=20126] ppid=20120 vsize=26671828 memory=4080 CPUtime=0.91 cores=0-7
/proc/20125/task/20126/stat : 20126 (java) S 20120 20123 19614 0 -1 1077944384 6649 0 0 0 87 4 0 0 20 0 27 0 143971322 27311951872 95540 33554432000 4194304 4196468 140723912255312 139868176536704 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20127] ppid=20120 vsize=26671828 memory=932 CPUtime=6.32 cores=0-7
/proc/20125/task/20127/stat : 20127 (java) S 20120 20123 19614 0 -1 1077944384 35634 0 0 0 593 39 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139868094876176 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20128] ppid=20120 vsize=26671828 memory=-7003737579269690708 CPUtime=6.27 cores=0-7
/proc/20125/task/20128/stat : 20128 (java) S 20120 20123 19614 0 -1 1077944384 31109 0 0 0 592 35 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139867729189520 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20129] ppid=20120 vsize=26671828 memory=1292 CPUtime=6.3 cores=0-7
/proc/20125/task/20129/stat : 20129 (java) S 20120 20123 19614 0 -1 1077944384 37686 0 0 0 592 38 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139867728136464 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20130] ppid=20120 vsize=26671828 memory=-7003737579269690708 CPUtime=6.25 cores=0-7
/proc/20125/task/20130/stat : 20130 (java) S 20120 20123 19614 0 -1 1077944384 31957 0 0 0 589 36 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139867727083920 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20131] ppid=20120 vsize=26671828 memory=1384 CPUtime=6.27 cores=0-7
/proc/20125/task/20131/stat : 20131 (java) S 20120 20123 19614 0 -1 1077944384 31607 0 0 0 590 37 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139867726031888 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20132] ppid=20120 vsize=26671828 memory=382016 CPUtime=6.26 cores=0-7
/proc/20125/task/20132/stat : 20132 (java) S 20120 20123 19614 0 -1 1077944384 33175 0 0 0 590 36 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139867724979344 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20133] ppid=20120 vsize=26671828 memory=6791534058613427641 CPUtime=6.29 cores=0-7
/proc/20125/task/20133/stat : 20133 (java) S 20120 20123 19614 0 -1 1077944384 36841 0 0 0 594 35 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139867723926288 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20134] ppid=20120 vsize=26671828 memory=2240 CPUtime=6.32 cores=0-7
/proc/20125/task/20134/stat : 20134 (java) S 20120 20123 19614 0 -1 1077944384 37229 0 0 0 595 37 0 0 20 0 27 0 143971323 27311951872 95540 33554432000 4194304 4196468 140723912255312 139867722873744 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20135] ppid=20120 vsize=26671828 memory=2424 CPUtime=118.2 cores=0-7
/proc/20125/task/20135/stat : 20135 (java) R 20120 20123 19614 0 -1 4202560 94970 0 0 0 4794 7026 0 0 20 0 27 0 143971325 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866847299960 139868164924135 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20136] ppid=20120 vsize=26671828 memory=4080 CPUtime=0 cores=0-7
/proc/20125/task/20136/stat : 20136 (java) S 20120 20123 19614 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 27 0 143971325 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866846246048 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20137] ppid=20120 vsize=26671828 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20125/task/20137/stat : 20137 (java) S 20120 20123 19614 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 27 0 143971325 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866845192944 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20139] ppid=20120 vsize=26671828 memory=1584 CPUtime=3.25 cores=0-7
/proc/20125/task/20139/stat : 20139 (java) S 20120 20123 19614 0 -1 1077944384 25414 0 0 0 321 4 0 0 20 0 27 0 143971328 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866843089648 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20140] ppid=20120 vsize=26671828 memory=1384 CPUtime=3.54 cores=0-7
/proc/20125/task/20140/stat : 20140 (java) S 20120 20123 19614 0 -1 1077944384 22894 0 0 0 350 4 0 0 20 0 27 0 143971328 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866842037104 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20141] ppid=20120 vsize=26671828 memory=382016 CPUtime=3.39 cores=0-7
/proc/20125/task/20141/stat : 20141 (java) S 20120 20123 19614 0 -1 1077944384 24255 0 0 0 335 4 0 0 20 0 27 0 143971328 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866840984048 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20142] ppid=20120 vsize=26671828 memory=960 CPUtime=0.96 cores=0-7
/proc/20125/task/20142/stat : 20142 (java) S 20120 20123 19614 0 -1 1077944384 21372 0 0 0 93 3 0 0 20 0 27 0 143971328 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866839931504 139868172307074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20143] ppid=20120 vsize=26671828 memory=2240 CPUtime=0 cores=0-7
/proc/20125/task/20143/stat : 20143 (java) S 20120 20123 19614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 143971328 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866838878688 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20175] ppid=20120 vsize=26671828 memory=2424 CPUtime=2357.84 cores=0-7
/proc/20125/task/20175/stat : 20175 (java) S 20120 20123 19614 0 -1 1077944384 44863 0 0 0 235754 30 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866829813968 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20176] ppid=20120 vsize=26671828 memory=4080 CPUtime=2350.74 cores=0-7
/proc/20125/task/20176/stat : 20176 (java) S 20120 20123 19614 0 -1 1077944384 47586 0 0 0 235037 37 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866825604272 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20177] ppid=20120 vsize=26671828 memory=932 CPUtime=2356.47 cores=0-7
/proc/20125/task/20177/stat : 20177 (java) S 20120 20123 19614 0 -1 1077944384 44951 0 0 0 235615 32 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866826657600 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20178] ppid=20120 vsize=26671828 memory=1584 CPUtime=2391.88 cores=0-7
/proc/20125/task/20178/stat : 20178 (java) S 20120 20123 19614 0 -1 1077944384 30400 0 0 0 239146 42 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866823500000 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20179] ppid=20120 vsize=26671828 memory=2196 CPUtime=2356.18 cores=0-7
/proc/20125/task/20179/stat : 20179 (java) S 20120 20123 19614 0 -1 1077944384 28402 0 0 0 235594 24 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866824552384 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20180] ppid=20120 vsize=26671828 memory=8052 CPUtime=2431.51 cores=0-7
/proc/20125/task/20180/stat : 20180 (java) R 20120 20123 19614 0 -1 4202560 56320 0 0 0 243101 50 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866828762992 139867778224985 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20181] ppid=20120 vsize=26671828 memory=840 CPUtime=2353.53 cores=0-7
/proc/20125/task/20181/stat : 20181 (java) S 20120 20123 19614 0 -1 1077944384 38736 0 0 0 235320 33 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866827709680 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20182] ppid=20120 vsize=26671828 memory=1692 CPUtime=2354.16 cores=0-7
/proc/20125/task/20182/stat : 20182 (java) S 20120 20123 19614 0 -1 1077944384 47667 0 0 0 235384 32 0 0 20 0 27 0 143974061 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866822446816 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
[pid=20125/tid=20220] ppid=20120 vsize=26671828 memory=916 CPUtime=0 cores=0-7
/proc/20125/task/20220/stat : 20220 (java) S 20120 20123 19614 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 27 0 144223327 27311951872 95540 33554432000 4194304 4196468 140723912255312 139866821398512 139868172306133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19861504 140723912262802 140723912262979 140723912262979 140723912265679 0
Current cumulated CPU time of completed processes: 0.001878 s
Current children cumulated CPU time: 19333.9 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 382160 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 19334
CPU user time (s): 19258.4
CPU system time (s): 75.6317
CPU usage (%): 767.171
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 521876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19258.4
system time used= 75.6317
maximum resident set size= 524912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 826902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398007
involuntary context switches= 210030


# summary of solver processes directly reported to runsolver:
#   pid: 20123,20125
#   total CPU time (s): 19334
#   total CPU user time (s): 19258.4
#   total CPU system time (s): 75.6317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0617 second user time and 28.3403 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 04:00:44
IDJOB=4280561
IDBENCH=115758
IDSOLVER=2675
FILE ID=node148/4280561-1503108904
RUNJOBID= node148-1503100474-19641
PBS_JOBID= 20630745
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-3.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-4280561-1503108904/watcher-4280561-1503108904 -o /tmp/evaluation-result-4280561-1503108904/solver-4280561-1503108904 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503100474-19641 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1361404665 HOME/instance-4280561-1503108904.xml

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

MD5SUM BENCH= 5314b126c5fc4f843c68abc8a30fc0ca
RANDOM SEED=1361404665

node148.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.19
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.19
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.19
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.19
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:        25524456 kB
MemAvailable:   31976760 kB
Buffers:          287224 kB
Cached:          6458812 kB
SwapCached:            0 kB
Active:          1149872 kB
Inactive:        5649032 kB
Active(anon):       3564 kB
Inactive(anon):    84712 kB
Active(file):    1146308 kB
Inactive(file):  5564320 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:         59776 kB
Mapped:            50528 kB
Shmem:             33416 kB
Slab:             141164 kB
SReclaimable:     115024 kB
SUnreclaim:        26140 kB
KernelStack:        3216 kB
PageTables:         4800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61936 MiB
End job on node148 at 2017-08-19 04:42:45