Trace number 4122050

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 12.93 12.9322

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-plain.pb.metafix.opb
MD5SUMc65379df657c135b3200c8f123912df5
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.62445
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables69
Total number of constraints148
Number of constraints which are clauses148
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T21:47:51+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4122050-1467316071.opb"]
0.00/0.01	c use --random-gen="2604982673 3574578600 2861327320 3601844786 2495908236 3712521486 3512156782 761982916 1368356033 4230434146 3137355824 106963346 330157093 57383416 1016437059 1632134359 964684828 2977030326 1486487291 381090853 2310832040 2144632170 3065318015 2564075500 2729964569 634133497 418447894 2473032239 3430662808 13715477 2168171100 3032976005 1263257091 1152300626 1704081045 2719165778 174148548 403806547 3088463605 4121972403 1400159811 1950540032 1046669801 585696494 545366389 1312785340 230117355 2205569026 3481909158 606322964 3876716566 4000816781 2098442748 4217801449 141237356 1551498561 435180001 4099031692 2693725823 3472258764 3633273780 3351896195 4079310243 2860017636 2286744381 833469799 2795783933 3328706086 1585588012 2788432893 3882594108 2841809114 2398680304 891831866 3220849432 2999727859 1457031921 1114507696 2939705594 1484014324 2424511348 2508088235 1986996882 3727668569 3452017183 2146896484 1303114873 2568918691 1394188184 3403217280 1743823633 2321181710 2595076096 2446855851 2911833106 3885074195 2519860889 875819651 3003037068 3742145009 2219383568 2536547381 3559848586 2936560748 3591424134 2777065431 4218083440 2975568380 763992435 3612014253 1729204159 4153574744 610737593 1301088440 1229231837 1429237586 1097690697 1817491443 412475883 3533192223 2592934251 2837154599 2941051483 2362923078 2446982427 2130162538 2150927707 3603281959 2487487936 2328661178 1802971687 872164502 3943998165 862005593 2430349665 4123121674 1920246352 4245392005 2675231894 1829743074 990409364 3426463278 175381091 2611774273 3344157687 2372985087 4137433610 1055633756 2655691377 1635882895 1388389111 2564140666 1307561273 43290296 1649953391 4208920501 226832711 131882184 3591704944 3075306406 37005266 145454691 680506801 3080640124 1482369249 2030635498 3253609666 753965339 3696093601 1164953688 828769353 331887019 53452434 2792788303 503747470 1289568900 432410647 3009553566 1820810418 3024545200 3678605483 2298387182 1309990983 656700881 854112184 2198218282 1193287208 1662069818 2126195430 2481229192 2337265948 1578838010 722745894 632505216 1414603448 2979778850 3539517719 4046214249 3992268501 3281087971 2860297869 3977509744 3869624647 4077575890 1642783497 1267374123 2173038308 1735696454 2911015118 1161933528 2639214599 3246796722 808160518 3924398227 4265034417 2286093971 789306498 135911832 3546617650 2602279651 2890872283 647152522 3869904994 2331117425 1986682945 1954838661 4041832398 262507087 877068876 1064219592 1658455177 2058650750 1909379163 481578341 2536193386 1463831757 4139636477 4140787951 1723520392 963582324 2052696699 3308782073 1407480905 1346360003 2063366458 1037916551 3438464391 2685909195 2830104255 845536700 3808518360 1165864078 2076677575 2176687222 3774741919 1543800052 255 362436" option to reproduce the execution
0.00/0.01	c #vars 69
0.00/0.01	c #constraints 148
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       72      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      117 |      100 |       72      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      341 |      250 |       80      4 |        0 |        0
0.00/0.05	c  0.0s |       3 |      622 |      475 |       88      8 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1097 |      813 |       97     14 |        0 |        0
0.08/0.13	c  0.1s |       5 |     1714 |     1320 |      107     22 |        0 |        0
0.08/0.19	c  0.2s |       6 |     2717 |     2081 |      130     34 |        0 |        0
0.19/0.28	c  0.3s |       7 |     4242 |     3223 |      143     50 |        0 |        0
0.39/0.43	c  0.4s |       8 |     6547 |     4936 |      158     72 |        0 |        0
0.59/0.65	c  0.6s |       9 |     9646 |     7506 |      174    102 |        0 |        0
0.89/0.99	c  1.0s |      10 |    14578 |    11361 |      192    144 |        0 |        0
1.29/1.35	c  1.3s |      11 |    21886 |    17144 |      212    201 |        0 |        0
1.79/1.89	c  1.9s |      12 |    32718 |    25819 |      234    278 |        0 |        0
2.59/2.68	c  2.7s |      13 |    48720 |    38832 |      258    385 |        0 |        0
3.79/3.89	c  3.9s |      14 |    71632 |    58352 |      284    531 |        0 |        0
5.59/5.62	c  5.6s |      15 |   110244 |    87632 |      313    730 |        0 |        0
7.59/7.63	c  7.6s |      15 |   154152 |   121132 |      313    938 |        0 |        0
8.19/8.28	c  8.3s |      16 |   166802 |   131552 |      345   1002 |        0 |        0
10.19/10.28	c 10.3s |      16 |   209159 |   164752 |      345   1190 |        0 |        0
12.19/12.28	c 12.3s |      17 |   249620 |   197432 |      380   1372 |        3 |        9
12.78/12.87	c 12.9s |      17 |   261308 |   206972 |      380   1417 |       41 |       68
12.78/12.87	c #cpu_time = 12.822s
12.78/12.87	c #wall_clock_time = 12.855s
12.78/12.87	c #decision = 261308
12.78/12.87	c #random_decision = 1089
12.78/12.87	c #conflict = 206972
12.78/12.87	c #restart = 17
12.78/12.87	s UNSATISFIABLE
12.78/12.87	c total CPU time = 12.837s
12.78/12.87	c total wall clock time = 12.870s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4122050-1467316071/watcher-4122050-1467316071 -o /tmp/evaluation-result-4122050-1467316071/solver-4122050-1467316071 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18593 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122050-1467316071.opb 

pid=19272
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.30 2.36 2.29 3/179 19275
/proc/meminfo: memFree=27263228/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 2591 0 0 0 0 0 0 0 20 0 4 0 12565580 713486336 3464 33554432000 4194304 16246674 140733419085904 140733419085328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 174703 3472 441 2943 0 171597 0
[pid=19275/tid=19276] ppid=19272 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 731312128 3532 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 735506432 3550 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 740749312 3566 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.30 2.36 2.29 3/179 19275
/proc/meminfo: memFree=27263228/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 25374 0 0 0 5 3 0 0 20 0 4 0 12565580 1247350784 26235 33554432000 4194304 16246674 140733419085904 140733419085328 5546859 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 304529 26245 708 2943 0 301423 0
[pid=19275/tid=19276] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 26252 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 26258 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 26265 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200476 s]
/proc/loadavg: 2.30 2.36 2.29 3/179 19275
/proc/meminfo: memFree=27263228/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 48732 0 0 0 12 7 0 0 20 0 4 0 12565580 1247350784 49594 33554432000 4194304 16246674 140733419085904 140733419085328 12467381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 304529 49604 708 2943 0 301423 0
[pid=19275/tid=19276] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 49613 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 49622 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 49628 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.30 2.36 2.29 3/179 19275
/proc/meminfo: memFree=27263228/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 71891 0 0 0 19 10 0 0 20 0 4 0 12565580 1247350784 72753 33554432000 4194304 16246674 140733419085904 140733419085328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 304529 72763 708 2943 0 301423 0
[pid=19275/tid=19276] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 72769 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 72777 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 72784 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.30 2.36 2.29 3/179 19275
/proc/meminfo: memFree=27263228/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 164025 0 0 0 46 23 0 0 20 0 4 0 12565580 1247350784 164887 33554432000 4194304 16246674 140733419085904 140733419085328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 304529 164899 708 2943 0 301423 0
[pid=19275/tid=19276] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 164904 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 164912 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 164918 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.30 2.36 2.29 3/183 19279
/proc/meminfo: memFree=26278632/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 245469 0 0 0 114 35 0 0 20 0 4 0 12565580 1247350784 246310 33554432000 4194304 16246674 140733419085904 140733419085216 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 304529 246310 784 2943 0 301423 0
[pid=19275/tid=19276] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 246310 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 246310 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1247350784 246310 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.30 2.36 2.29 3/183 19279
/proc/meminfo: memFree=26190344/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 267392 0 0 0 272 37 0 0 20 0 4 0 12565580 1337528320 268233 33554432000 4194304 16246674 140733419085904 140733419068904 5546243 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 326545 268233 784 2943 0 323439 0
[pid=19275/tid=19276] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268233 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268233 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268233 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.28 2.36 2.29 3/183 19279
/proc/meminfo: memFree=26189868/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 267395 0 0 0 592 37 0 0 20 0 4 0 12565580 1337528320 268236 33554432000 4194304 16246674 140733419085904 140733419067776 5676609 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 326545 268236 786 2943 0 323439 0
[pid=19275/tid=19276] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268236 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268236 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268236 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.26 2.35 2.29 3/183 19279
/proc/meminfo: memFree=26190500/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 267405 0 0 0 1231 37 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 140733419067776 12483481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 326545 268246 786 2943 0 323439 0
[pid=19275/tid=19276] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19275 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8005 s]
/proc/loadavg: 2.26 2.35 2.29 3/183 19279
/proc/meminfo: memFree=26190500/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=1306180 CPUtime=12.78 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202496 267405 0 0 0 1241 37 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 140733419067776 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 326545 268246 786 2943 0 323439 0
[pid=19275/tid=19276] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19276/stat : 19276 (toysat) S 19272 19275 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 139642636578032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19275/tid=19277] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19277/stat : 19277 (toysat) S 19272 19275 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 139642626088176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19275/tid=19278] ppid=19272 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19275/task/19278/stat : 19278 (toysat) S 19272 19275 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12565580 1337528320 268246 33554432000 4194304 16246674 140733419085904 139642540125360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 1306180

[startup+12.9004 s]
/proc/loadavg: 2.26 2.35 2.29 3/183 19279
/proc/meminfo: memFree=26190500/32872528 swapFree=1590004/1720820
[pid=19275] ppid=19272 vsize=0 CPUtime=12.89 cores=1,3,5,7
/proc/19275/stat : 19275 (toysat) R 19272 19275 13693 0 -1 4202500 267410 0 0 0 1249 40 0 0 20 0 1 0 12565580 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19275/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 12.9322
CPU time (s): 12.93
CPU user time (s): 12.4911
CPU system time (s): 0.438933
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4911
system time used= 0.438933
maximum resident set size= 1072996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 14

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031995 second user time and 0.055991 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-30 21:47:51
IDJOB=4122050
IDBENCH=110847
IDSOLVER=2542
FILE ID=node120/4122050-1467316071
RUNJOBID= node120-1467312316-18593
PBS_JOBID= 20005266
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122050-1467316071/watcher-4122050-1467316071 -o /tmp/evaluation-result-4122050-1467316071/solver-4122050-1467316071 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18593 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122050-1467316071.opb

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

MD5SUM BENCH= c65379df657c135b3200c8f123912df5
RANDOM SEED=1882505247

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.33
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
cpu MHz		: 2666.669
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.669
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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 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 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 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
cpu MHz		: 2666.669
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
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
cpu MHz		: 2666.669
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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 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 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 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:       32872528 kB
MemFree:        27263500 kB
Buffers:          169972 kB
Cached:          1880696 kB
SwapCached:            0 kB
Active:          1376688 kB
Inactive:        1764848 kB
Active(anon):    1093364 kB
Inactive(anon):        0 kB
Active(file):     283324 kB
Inactive(file):  1764848 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2811456 kB
Mapped:            17056 kB
Shmem:               204 kB
Slab:             612024 kB
SReclaimable:      55952 kB
SUnreclaim:       556072 kB
KernelStack:        1456 kB
PageTables:         9584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2944592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1204224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node120 at 2016-06-30 21:48:04