Trace number 4282023

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 seq (2017-08-18)SAT (TO)1318 2520.0901 2510.4099

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-015-15-2.xml
MD5SUM42633f1d08cbe99acfb79d5a930fb228
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1218
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints255
Number of domains1
Minimum domain size1322
Maximum domain size1322
Distribution of domain sizes[{"size":1322,"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.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282023-1503099163.xml"  -tl '2520s' -p 1 -x 0
0.05/0.31	c [HOME/instance-4282023-1503099163.xml, -tl, 2520s, -p, 1, -x, 0]
0.24/0.37	c simple solver
0.40/0.44	c parse instance...
1.03/0.73	c solve instance...
999.80/991.56	o 1321 
999.91/991.63	o 1319 
1387.62/1378.78	o 1318 
2520.07/2510.40	s SATISFIABLE
2520.07/2510.40	v <instantiation>
2520.07/2510.40	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>
2520.07/2510.40	v 	<values>110 260 478 559 621 701 704 742 804 858 926 1014 1096 1099 1111 0 256 341 388 473 802 896 966 984 1022 1117 1143 1173 1186 1279 194 338 419 580 667 705 783 854 950 969 1002 1046 1117 1288 1297 10 146 228 308 375 471 502 513 539 589 644 657 667 759 1121 73 109 158 168 308 377 450 469 534 697 754 786 826 1004 1109 0 83 115 121 413 540 634 670 771 861 891 947 1107 1139 1207 83 121 252 371 559 576 619 633 684 700 1018 1090 1109 1208 1246 0 36 228 307 310 325 387 619 670 957 1006 1090 1201 1206 1277 0 69 109 142 500 644 705 802 854 879 924 1018 1040 1101 1231 0 27 31 66 146 195 241 325 377 657 759 777 800 940 1208 0 96 113 195 262 471 513 638 783 891 926 1033 1040 1094 1186 31 158 313 375 418 449 562 648 700 800 878 957 966 1009 1033 0 262 375 413 476 621 661 672 746 865 947 1014 1143 1201 1301 0 10 96 189 252 313 375 450 540 580 675 817 844 1078 1147 0 73 142 189 260 263 310 394 478 531 589 684 771 861 969 1199 1301 1318 1196 1121 1279 1310 1304 1247 1231 1224 1075 1318 1211 1044 </values>
2520.07/2510.40	v </instantiation>
2520.07/2510.40	c Unexpected resolution interruption!

Verifier Data 

OK	1318

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282023-1503099163/watcher-4282023-1503099163 -o /tmp/evaluation-result-4282023-1503099163/solver-4282023-1503099163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8615 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2134793756 HOME/instance-4282023-1503099163.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9138, runsolver pid=9135
Current StackSize limit: 8192 KiB


[startup+0.100417 s]*
/proc/loadavg: 1.96 1.98 1.85 4/198 9141
/proc/meminfo: memFree=31303700/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13358712 memory=12784 CPUtime=0 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 2982 0 0 0 0 0 0 0 20 0 6 0 112111462 13679321088 3196 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3339678 3196 1635 1 0 3329175 0
[pid=9140/tid=9141] ppid=9138 vsize=13358712 memory=-7023750066829733734 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9138 9138 8557 0 -1 4202560 1860 0 0 0 0 0 0 0 20 0 6 0 112111462 13679321088 3328 18446744073709551615 4194304 4196468 140721767978880 140594466738768 140594423484013 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112111463 13679321088 3328 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13358712 memory=140199132690048 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112111463 13679321088 3328 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112111463 13679321088 3328 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112111463 13679321088 3328 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14164 KiB

[startup+0.210092 s]*
/proc/loadavg: 1.96 1.98 1.85 4/210 9153
/proc/meminfo: memFree=31293964/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13907304 memory=21716 CPUtime=0.05 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 4881 0 0 0 4 1 0 0 20 0 14 0 112111462 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3476826 5429 2555 1 0 3466323 0
[pid=9140/tid=9141] ppid=9138 vsize=13907304 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) D 9138 9138 8557 0 -1 4202560 3055 0 0 0 4 1 0 0 20 0 14 0 112111462 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140594466740128 140594462524669 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13907304 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112111463 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13907304 memory=140199133212679 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112111463 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112111463 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112111463 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9146] ppid=9138 vsize=13907304 memory=140199132690048 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112111464 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 112111465 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593939330592 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112111465 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593938277744 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112111467 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593937226064 140594462521243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9150] ppid=9138 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9138 9138 8557 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 112111468 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593936173424 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9151] ppid=9138 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112111468 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593935120624 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9152] ppid=9138 vsize=13907304 memory=140199132690048 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9138 9138 8557 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 112111468 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593934067824 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9153] ppid=9138 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112111468 14241079296 5429 18446744073709551615 4194304 4196468 140721767978880 140593933015264 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23096 KiB

[startup+0.312691 s]*
/proc/loadavg: 1.96 1.98 1.85 5/211 9154
/proc/meminfo: memFree=31285920/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13974352 memory=33836 CPUtime=0.24 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 6340 0 0 0 22 2 0 0 20 0 15 0 112111462 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3493588 8459 2978 1 0 3482964 0
[pid=9140/tid=9141] ppid=9138 vsize=13974352 memory=7680170660397595203 CPUtime=0.14 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9138 9138 8557 0 -1 4202560 3662 0 0 0 13 1 0 0 20 0 15 0 112111462 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140594466730400 140594443896378 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112111463 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9146] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112111464 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112111465 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593939330592 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112111465 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593938277744 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111467 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593937226064 140594462521243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9150] ppid=9138 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9138 9138 8557 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 112111468 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593936173424 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9151] ppid=9138 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9138 9138 8557 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 112111468 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593935120624 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9152] ppid=9138 vsize=13974352 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9138 9138 8557 0 -1 1077944384 692 0 0 0 5 0 0 0 20 0 15 0 112111468 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593934067824 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9153] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111468 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593933015264 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9154] ppid=9138 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111475 14309736448 8459 18446744073709551615 4194304 4196468 140721767978880 140593931963568 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 35216 KiB

[startup+0.701626 s]
/proc/loadavg: 1.96 1.98 1.85 5/211 9154
/proc/meminfo: memFree=31266392/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13980732 memory=60984 CPUtime=1.03 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 12429 0 0 0 98 5 0 0 20 0 15 0 112111462 14316269568 15246 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3495183 15246 3155 1 0 3483476 0
[pid=9140/tid=9141] ppid=9138 vsize=13980732 memory=280398013932848 CPUtime=0.52 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9138 9138 8557 0 -1 4202560 8503 0 0 0 48 4 0 0 20 0 15 0 112111462 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140594466723616 140594096705979 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13980732 memory=6080794525916817768 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13980732 memory=5865210008343897187 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13980732 memory=13791432551 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9146] ppid=9138 vsize=13980732 memory=514 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112111464 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13980732 memory=198 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593939330592 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13980732 memory=3835 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593938277744 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13980732 memory=427 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111467 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593937226064 140594462521243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9150] ppid=9138 vsize=13980732 memory=6 CPUtime=0.1 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) R 9138 9138 8557 0 -1 4202560 707 0 0 0 10 0 0 0 20 0 15 0 112111468 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593936154440 140594446003198 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9151] ppid=9138 vsize=13980732 memory=590 CPUtime=0.11 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) R 9138 9138 8557 0 -1 4202560 521 0 0 0 11 0 0 0 20 0 15 0 112111468 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593935101640 140594448566160 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9152] ppid=9138 vsize=13980732 memory=48152 CPUtime=0.28 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) R 9138 9138 8557 0 -1 4202560 1392 0 0 0 28 0 0 0 20 0 15 0 112111468 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593934064696 140594455219799 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9153] ppid=9138 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111468 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593933015264 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9154] ppid=9138 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111475 14316269568 15758 18446744073709551615 4194304 4196468 140721767978880 140593931963568 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62364 KiB

[startup+1.50081 s]
/proc/loadavg: 1.96 1.98 1.85 7/211 9154
/proc/meminfo: memFree=31220760/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13980732 memory=112092 CPUtime=3.46 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 35674 0 0 0 337 9 0 0 20 0 15 0 112111462 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3495183 28023 3187 1 0 3483476 0
[pid=9140/tid=9141] ppid=9138 vsize=13980732 memory=280398013932848 CPUtime=1.31 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9138 9138 8557 0 -1 4202560 9795 0 0 0 127 4 0 0 20 0 15 0 112111462 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140594466733464 140594454754160 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13980732 memory=6080794525916817768 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13980732 memory=5865210008343897187 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13980732 memory=13791432551 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112111463 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9146] ppid=9138 vsize=13980732 memory=13361 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112111464 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140593939330592 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 28023 18446744073709551615 4194304 4196468 140721767978880 140593938277744 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

[pid=9140/tid=9146] ppid=9138 vsize=13980732 memory=195860 CPUtime=0.44 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 4986 0 0 0 40 4 0 0 20 0 15 0 112111464 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593939330656 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13980732 memory=195860 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593938277760 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111467 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593937226064 140594462521243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9150] ppid=9138 vsize=13980732 memory=78572131731316 CPUtime=3.9 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9138 9138 8557 0 -1 1077944384 28945 0 0 0 387 3 0 0 20 0 15 0 112111468 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593936173424 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9151] ppid=9138 vsize=13980732 memory=1380 CPUtime=3.85 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9138 9138 8557 0 -1 1077944384 24384 0 0 0 383 2 0 0 20 0 15 0 112111468 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593935120624 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9152] ppid=9138 vsize=13980732 memory=1380 CPUtime=0.63 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9138 9138 8557 0 -1 1077944384 11601 0 0 0 61 2 0 0 20 0 15 0 112111468 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593934067824 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9153] ppid=9138 vsize=13980732 memory=832 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111468 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593933015264 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9154] ppid=9138 vsize=13980732 memory=16436 CPUtime=0.69 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9138 9138 8557 0 -1 1077944384 1578 0 0 0 33 36 0 0 20 0 15 0 112111475 14316269568 48965 18446744073709551615 4194304 4196468 140721767978880 140593931963568 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 2391.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197240 KiB

[startup+2442.3 s]
/proc/loadavg: 1.53 1.57 1.63 3/211 9297
/proc/meminfo: memFree=31025684/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13980732 memory=197928 CPUtime=2451.92 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 110899 0 0 0 245137 55 0 0 20 0 15 0 112111462 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3495183 49482 3243 1 0 3483476 0
[pid=9140/tid=9141] ppid=9138 vsize=13980732 memory=1380 CPUtime=2440.74 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9138 9138 8557 0 -1 4202560 25037 0 0 0 244065 9 0 0 20 0 15 0 112111462 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594466741728 140594093827872 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13980732 memory=197928 CPUtime=0.37 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 2423 0 0 0 32 5 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13980732 memory=195860 CPUtime=0.37 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 3203 0 0 0 33 4 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13980732 memory=195876 CPUtime=0.37 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 3961 0 0 0 34 3 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13980732 memory=195876 CPUtime=0.37 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 2809 0 0 0 33 4 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9146] ppid=9138 vsize=13980732 memory=197928 CPUtime=0.46 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 5163 0 0 0 41 5 0 0 20 0 15 0 112111464 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13980732 memory=197928 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593939330656 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593938277760 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111467 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593937226064 140594462521243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9150] ppid=9138 vsize=13980732 memory=4584 CPUtime=3.95 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9138 9138 8557 0 -1 1077944384 29043 0 0 0 392 3 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593936173424 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9151] ppid=9138 vsize=13980732 memory=872 CPUtime=3.85 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9138 9138 8557 0 -1 1077944384 24397 0 0 0 383 2 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593935120624 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9152] ppid=9138 vsize=13980732 memory=1380 CPUtime=0.64 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9138 9138 8557 0 -1 1077944384 11872 0 0 0 62 2 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593934067824 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9153] ppid=9138 vsize=13980732 memory=197928 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593933015264 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9154] ppid=9138 vsize=13980732 memory=7680170660397595203 CPUtime=0.71 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9138 9138 8557 0 -1 1077944384 1593 0 0 0 34 37 0 0 20 0 15 0 112111475 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593931963568 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 2451.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 199308 KiB

[startup+2502.3 s]
/proc/loadavg: 1.47 1.54 1.62 3/214 9314
/proc/meminfo: memFree=31021000/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13980732 memory=197928 CPUtime=2511.96 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 110990 0 0 0 251140 56 0 0 20 0 15 0 112111462 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3495183 49482 3243 1 0 3483476 0
[pid=9140/tid=9141] ppid=9138 vsize=13980732 memory=1380 CPUtime=2500.7 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9138 9138 8557 0 -1 4202560 25079 0 0 0 250061 9 0 0 20 0 15 0 112111462 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594466741792 140594099819820 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13980732 memory=197928 CPUtime=0.38 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 2426 0 0 0 33 5 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13980732 memory=197928 CPUtime=0.38 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 3208 0 0 0 34 4 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13980732 memory=1380 CPUtime=0.38 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 3968 0 0 0 35 3 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13980732 memory=197928 CPUtime=0.38 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 2809 0 0 0 34 4 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9146] ppid=9138 vsize=13980732 memory=197928 CPUtime=0.47 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 5167 0 0 0 42 5 0 0 20 0 15 0 112111464 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593939330656 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13980732 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593938277760 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13980732 memory=61064 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111467 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593937226064 140594462521243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9150] ppid=9138 vsize=13980732 memory=7680170660397595203 CPUtime=3.95 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9138 9138 8557 0 -1 1077944384 29043 0 0 0 392 3 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593936173424 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9151] ppid=9138 vsize=13980732 memory=5768 CPUtime=3.86 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9138 9138 8557 0 -1 1077944384 24423 0 0 0 384 2 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593935120624 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9152] ppid=9138 vsize=13980732 memory=1380 CPUtime=0.64 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9138 9138 8557 0 -1 1077944384 11872 0 0 0 62 2 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593934067824 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9153] ppid=9138 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593933015264 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9154] ppid=9138 vsize=13980732 memory=1380 CPUtime=0.73 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9138 9138 8557 0 -1 1077944384 1597 0 0 0 35 38 0 0 20 0 15 0 112111475 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593931963568 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 2511.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 199308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.4 s]
/proc/loadavg: 1.43 1.54 1.61 2/198 9330
/proc/meminfo: memFree=31215800/32770624 swapFree=67105588/67108860
[pid=9138] ppid=9135 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9138/stat : 9138 (xcsp3-exec) S 9135 9138 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112111452 9740288 345 18446744073709551615 4194304 5098028 140724682162464 140724682160568 140032385282684 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 19914752 140724682170744 140724682170949 140724682170949 140724682174443 0
/proc/9138/statm: 2378 345 289 221 0 87 0
[pid=9140] ppid=9138 vsize=13980732 memory=197928 CPUtime=2520.07 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9138 9138 8557 0 -1 1077944320 111840 0 0 0 251951 56 0 0 20 0 15 0 112111462 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140721767961424 140594462502647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
/proc/9140/statm: 3495183 49482 3243 1 0 3483476 0
[pid=9140/tid=9141] ppid=9138 vsize=13980732 memory=1400 CPUtime=2508.8 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9138 9138 8557 0 -1 4202560 25375 0 0 0 250871 9 0 0 20 0 15 0 112111462 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594466741840 140594101505143 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9142] ppid=9138 vsize=13980732 memory=15348 CPUtime=0.39 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9138 9138 8557 0 -1 1077944384 2744 0 0 0 34 5 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594419468944 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9143] ppid=9138 vsize=13980732 memory=36388 CPUtime=0.38 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9138 9138 8557 0 -1 1077944384 3218 0 0 0 34 4 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594418416144 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9144] ppid=9138 vsize=13980732 memory=7680170660397595203 CPUtime=0.38 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9138 9138 8557 0 -1 1077944384 3984 0 0 0 35 3 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594417363344 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9145] ppid=9138 vsize=13980732 memory=2240 CPUtime=0.38 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9138 9138 8557 0 -1 1077944384 2829 0 0 0 34 4 0 0 20 0 15 0 112111463 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140594416310544 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9146] ppid=9138 vsize=13980732 memory=4088 CPUtime=0.48 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9138 9138 8557 0 -1 1077944384 5342 0 0 0 43 5 0 0 20 0 15 0 112111464 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593940384624 140594462513794 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9147] ppid=9138 vsize=13980732 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9138 9138 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593939330656 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9148] ppid=9138 vsize=13980732 memory=3208 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9138 9138 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112111465 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593938277760 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9149] ppid=9138 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111467 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593937226064 140594462521243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9150] ppid=9138 vsize=13980732 memory=204696 CPUtime=3.95 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9138 9138 8557 0 -1 1077944384 29043 0 0 0 392 3 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593936173424 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9151] ppid=9138 vsize=13980732 memory=1156 CPUtime=3.86 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9138 9138 8557 0 -1 1077944384 24423 0 0 0 384 2 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593935120624 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9152] ppid=9138 vsize=13980732 memory=280398014330776 CPUtime=0.64 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9138 9138 8557 0 -1 1077944384 11872 0 0 0 62 2 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593934067824 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9153] ppid=9138 vsize=13980732 memory=280398015711952 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9138 9138 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112111468 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593933015264 140594462512853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
[pid=9140/tid=9154] ppid=9138 vsize=13980732 memory=280398015712016 CPUtime=0.73 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9138 9138 8557 0 -1 1077944384 1612 0 0 0 35 38 0 0 20 0 15 0 112111475 14316269568 49482 18446744073709551615 4194304 4196468 140721767978880 140593931963568 140594462513794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27582464 140721767981489 140721767981665 140721767981665 140721767985103 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 199308 KiB

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

[startup+2510.41 s]
# the end of solver process 9138 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.52 s, system=0.567177 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2510.41
CPU time (s): 2520.09
CPU user time (s): 2519.52
CPU system time (s): 0.567177
CPU usage (%): 100.385
Max. virtual memory (cumulated for all children) (KiB): 13992240
Max. memory (cumulated for all children) (KiB): 233544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.52
system time used= 0.567177
maximum resident set size= 235216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69047
involuntary context switches= 2859


# summary of solver processes directly reported to runsolver:
#   pid: 9138
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.52
#   total CPU system time (s): 0.567177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5393 second user time and 22.9275 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-19 01:18:39
IDJOB=4282023
IDBENCH=115735
IDSOLVER=2677
FILE ID=node126/4282023-1503099163
RUNJOBID= node126-1503095802-8615
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-2.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282023-1503099163/watcher-4282023-1503099163 -o /tmp/evaluation-result-4282023-1503099163/solver-4282023-1503099163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8615 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2134793756 HOME/instance-4282023-1503099163.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 42633f1d08cbe99acfb79d5a930fb228
RANDOM SEED=2134793756

node126.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.81
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.81
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.81
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.81
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:        31307200 kB
MemAvailable:   31852032 kB
Buffers:          298052 kB
Cached:           536544 kB
SwapCached:          524 kB
Active:           638200 kB
Inactive:         354120 kB
Active(anon):     113320 kB
Inactive(anon):    93908 kB
Active(file):     524880 kB
Inactive(file):   260212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             15576 kB
Writeback:             4 kB
AnonPages:        146532 kB
Mapped:            69148 kB
Shmem:             49824 kB
Slab:             177660 kB
SReclaimable:     151152 kB
SUnreclaim:        26508 kB
KernelStack:        3456 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1288700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62016 MiB
End job on node126 at 2017-08-19 02:00:29