Trace number 4121594

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 5.19221 5.20476

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM19a163867891cd311e122ad80dca0b94
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 benchmark0.109983
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables87
Total number of constraints232
Number of constraints which are clauses232
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:30:36+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-4121594-1467315036.opb"]
0.00/0.01	c use --random-gen="4107041075 1676405796 3002761815 2417994156 2131699480 1618262305 1636953664 1210094383 4084178983 592221140 2165604817 682824059 3505988321 950089239 2739898182 205512697 3148849819 1615302605 3126099724 4134634842 3043152076 3454870156 1575176764 2595547657 2863223374 3824144780 783221524 3821436196 2068537841 154348467 3785671231 3893552566 878907350 992187996 110975479 1359723704 1211732339 1953075118 1551300257 1168589576 3282562232 698260244 766350864 2522435809 3067883316 166895716 2780745356 2766101976 1100838813 2206777249 2244169826 90051113 354531407 2630017097 1562818377 3786110936 1836071895 3987057321 2939107874 3608761398 1183473795 2829546969 2667966761 347885922 1058334343 4220426791 3592243893 2527811073 1642935884 2016627577 3493663396 234477194 3717555087 731859706 3488729560 875410321 2165523524 1483144923 920092966 1206323453 4204599104 1514799165 1534306365 3383671051 3170018145 2454306324 3065065173 4106024769 3238548280 4088819268 595466267 3837550324 3460018844 1521097346 403497134 2615485277 532141884 2497016847 583761769 496177696 918034320 3838767856 1975389618 2495588323 3304333959 2872740114 3133821735 1220867252 4282585217 2728078310 3823325071 2732769324 2685624445 2588626013 989472438 1690483112 1398636594 2833396898 3785875994 2104601567 210697870 3345744475 1539747268 3037054974 2236241817 3572833672 3777248214 919512965 554534310 1128749210 1053015338 4003163464 3908679663 648344501 3957137030 773268052 3712826767 3215509866 276115351 3081231413 2075302579 13351626 759778388 2173710992 2027247814 3369872517 3246234305 2589231505 2648874829 858245437 3208335640 2073343124 956925628 60318142 1297650681 1728218294 871713531 1407861875 1448547729 4152698480 2185462220 2007361251 2641433542 3993662543 2761604500 347399555 4191074460 2499808959 1690595010 1754179463 3454637793 3873286520 230281499 2777114623 855674425 2532992522 2034038426 1292035679 3572598713 684090296 1065079547 3331897750 1386353843 40027847 3144415866 3640211347 1057801292 2223375348 609042514 748492436 3027836054 2393267090 3174963431 1024341790 3131924251 2737991595 3018243159 1716880040 1656948960 132182555 3083982287 4063087826 1778901326 1599613537 1043301099 1024973770 1361194744 2282948928 3942291411 2214669635 1871939839 1743017543 651868580 1001139839 3887353039 316158002 4861554 3163994488 2193708752 24347917 3160673697 2057406248 1249036741 513826443 602852490 1043597449 4281544217 2467844904 570169900 3416795676 716222261 289441697 987680441 2456319612 1871960223 4009139566 548906182 4071584872 2058942494 66167375 2822323482 2322959623 481047425 2224384014 4294178656 3733740381 2491296344 2772818676 3387528984 1589544325 670674451 3439444796 309762628 3431955987 1144528345 1901566169 255 362436" option to reproduce the execution
0.00/0.01	c #vars 87
0.00/0.01	c #constraints 232
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 |      106      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      183 |      100 |      106      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      422 |      250 |      117      2 |        0 |        0
0.00/0.05	c  0.0s |       3 |      844 |      475 |      129      5 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1362 |      813 |      142      9 |        0 |        0
0.09/0.11	c  0.1s |       5 |     2194 |     1320 |      157     15 |        0 |        0
0.09/0.17	c  0.2s |       6 |     3335 |     2081 |      191     23 |        0 |        0
0.19/0.24	c  0.2s |       7 |     5200 |     3223 |      211     34 |        0 |        0
0.29/0.37	c  0.4s |       8 |     7832 |     4936 |      233     49 |        0 |        0
0.49/0.56	c  0.5s |       9 |    11767 |     7506 |      257     70 |        0 |        0
0.78/0.85	c  0.8s |      10 |    16789 |    11361 |      283     99 |        0 |        0
1.10/1.20	c  1.2s |      11 |    25642 |    17144 |      312    138 |        0 |        0
1.49/1.62	c  1.6s |      12 |    38466 |    25819 |      344    193 |        0 |        0
2.19/2.28	c  2.3s |      13 |    57873 |    38832 |      379    267 |        0 |        0
3.19/3.26	c  3.2s |      14 |    87197 |    58352 |      417    368 |        0 |        0
4.70/4.73	c  4.7s |      15 |   130970 |    87632 |      459    505 |        1 |        4
5.09/5.14	c  5.1s |      15 |   143033 |    96082 |      459    537 |       16 |       56
5.09/5.14	c #cpu_time = 5.108s
5.09/5.14	c #wall_clock_time = 5.126s
5.09/5.14	c #decision = 143033
5.09/5.14	c #random_decision = 707
5.09/5.14	c #conflict = 96082
5.09/5.14	c #restart = 15
5.09/5.14	s UNSATISFIABLE
5.09/5.14	c total CPU time = 5.125s
5.09/5.14	c total wall clock time = 5.143s

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-4121594-1467315036/watcher-4121594-1467315036 -o /tmp/evaluation-result-4121594-1467315036/solver-4121594-1467315036 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15886 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121594-1467315036.opb 

pid=16278
running on 4 cores: 0,2,4,6

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.27 2.17 1.95 3/180 16281
/proc/meminfo: memFree=27204736/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 2715 0 0 0 0 0 0 0 20 0 4 0 10531230 745992192 3076 33554432000 4194304 16246674 140735043214288 140735043213712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16281/statm: 182639 3085 441 2943 0 179533 0
[pid=16281/tid=16282] ppid=16278 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 762769408 3143 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 768012288 3163 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531230 772206592 3179 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100219 s]
/proc/loadavg: 2.27 2.17 1.95 3/180 16281
/proc/meminfo: memFree=27204736/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 25030 0 0 0 6 3 0 0 20 0 4 0 10531230 1247350784 25380 33554432000 4194304 16246674 140735043214288 140735043213712 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16281/statm: 304529 25389 708 2943 0 301423 0
[pid=16281/tid=16282] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 25396 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 25404 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 25410 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200514 s]
/proc/loadavg: 2.27 2.17 1.95 3/180 16281
/proc/meminfo: memFree=27204736/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 47675 0 0 0 13 6 0 0 20 0 4 0 10531230 1247350784 48026 33554432000 4194304 16246674 140735043214288 140735043213712 5725352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16281/statm: 304529 48035 708 2943 0 301423 0
[pid=16281/tid=16282] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 48043 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 48048 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 48055 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.27 2.17 1.95 3/180 16281
/proc/meminfo: memFree=27204736/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 69961 0 0 0 20 9 0 0 20 0 4 0 10531230 1247350784 70312 33554432000 4194304 16246674 140735043214288 140735043197288 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16281/statm: 304529 70324 709 2943 0 301423 0
[pid=16281/tid=16282] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 70330 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 70337 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 70343 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700286 s]
/proc/loadavg: 2.27 2.17 1.95 3/180 16281
/proc/meminfo: memFree=27204736/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 158177 0 0 0 47 21 0 0 20 0 4 0 10531230 1247350784 158527 33554432000 4194304 16246674 140735043214288 140735043197288 13950688 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16281/statm: 304529 158527 709 2943 0 301423 0
[pid=16281/tid=16282] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 158527 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 158527 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 158527 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.27 2.17 1.95 3/184 16285
/proc/meminfo: memFree=26222444/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 245500 0 0 0 114 35 0 0 20 0 4 0 10531230 1247350784 245830 33554432000 4194304 16246674 140735043214288 140735043197288 5823534 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16281/statm: 304529 245830 786 2943 0 301423 0
[pid=16281/tid=16282] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 245830 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 245830 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531230 1247350784 245830 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10035 s]
/proc/loadavg: 2.27 2.17 1.95 3/184 16285
/proc/meminfo: memFree=26133908/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 267386 0 0 0 271 38 0 0 20 0 4 0 10531230 1337528320 267716 33554432000 4194304 16246674 140735043214288 140735043197288 5828573 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16281/statm: 326545 267716 786 2943 0 323439 0
[pid=16281/tid=16282] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267716 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267716 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267716 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

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

[startup+3.40034 s]
/proc/loadavg: 2.27 2.17 1.95 3/184 16285
/proc/meminfo: memFree=26133908/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1306180 CPUtime=3.39 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 267387 0 0 0 301 38 0 0 20 0 4 0 10531230 1337528320 267717 33554432000 4194304 16246674 140735043214288 140735043197288 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16281/statm: 326545 267717 786 2943 0 323439 0
[pid=16281/tid=16282] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267717 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267717 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267717 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 1306180

[startup+4.20035 s]
/proc/loadavg: 2.27 2.17 1.95 3/184 16285
/proc/meminfo: memFree=26133396/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1306180 CPUtime=4.19 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 267388 0 0 0 381 38 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140735043197288 5754525 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16281/statm: 326545 267718 786 2943 0 323439 0
[pid=16281/tid=16282] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 1306180

[startup+5.00035 s]
/proc/loadavg: 2.25 2.17 1.95 3/184 16285
/proc/meminfo: memFree=26133520/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=1306180 CPUtime=4.99 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) R 16278 16281 11291 0 -1 4202496 267388 0 0 0 461 38 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140735043197280 5673987 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16281/statm: 326545 267718 786 2943 0 323439 0
[pid=16281/tid=16282] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16282/stat : 16282 (toysat) S 16278 16281 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140320158231792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) S 16278 16281 11291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140320071199984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16281/tid=16284] ppid=16278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16281/task/16284/stat : 16284 (toysat) S 16278 16281 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531230 1337528320 267718 33554432000 4194304 16246674 140735043214288 140320060726448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 1306180

[startup+5.2004 s]
/proc/loadavg: 2.25 2.17 1.95 3/184 16285
/proc/meminfo: memFree=26133520/32872528 swapFree=1555460/1718980
[pid=16281] ppid=16278 vsize=0 CPUtime=5.18 cores=0,2,4,6
/proc/16281/stat : 16281 (toysat) Z 16278 16281 11291 0 -1 4202508 267393 0 0 0 475 43 0 0 20 0 2 0 10531230 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16281/statm: 0 0 0 0 0 0 0
[pid=16281/tid=16283] ppid=16278 vsize=0 CPUtime=0.04 cores=0,2,4,6
/proc/16281/task/16283/stat : 16283 (toysat) R 16278 16281 11291 0 -1 4203588 7 0 0 0 0 4 0 0 20 0 2 0 10531230 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 5.20476
CPU time (s): 5.19221
CPU user time (s): 4.75928
CPU system time (s): 0.432934
CPU usage (%): 99.7588
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.75928
system time used= 0.432934
maximum resident set size= 1070888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267393
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= 20
involuntary context switches= 31

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016997 second user time and 0.021996 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 21:30:36
IDJOB=4121594
IDBENCH=110567
IDSOLVER=2542
FILE ID=node117/4121594-1467315036
RUNJOBID= node117-1467314225-15886
PBS_JOBID= 20005275
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r1.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-4121594-1467315036/watcher-4121594-1467315036 -o /tmp/evaluation-result-4121594-1467315036/solver-4121594-1467315036 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15886 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121594-1467315036.opb

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

MD5SUM BENCH= 19a163867891cd311e122ad80dca0b94
RANDOM SEED=425487103

node117.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.714
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.42
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.714
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.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
cpu MHz		: 2666.714
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.45
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.714
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.714
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.714
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.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
cpu MHz		: 2666.714
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.714
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:        27205288 kB
Buffers:          151468 kB
Cached:          1963344 kB
SwapCached:            0 kB
Active:          1381688 kB
Inactive:        1816232 kB
Active(anon):    1085664 kB
Inactive(anon):        4 kB
Active(file):     296024 kB
Inactive(file):  1816228 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2804228 kB
Mapped:            17112 kB
Shmem:               204 kB
Slab:             615800 kB
SReclaimable:      59964 kB
SUnreclaim:       555836 kB
KernelStack:        1528 kB
PageTables:         9916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2937924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    815104 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= 71592 MiB
End job on node117 at 2016-06-30 21:30:41