Trace number 4121130

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.2662 5.26845

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n70-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM6ee2047dbca6b3f0b3d34a3dae84afe3
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.222965
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables105
Total number of constraints280
Number of constraints which are clauses280
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:04:49+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-4121130-1467313489.opb"]
0.00/0.01	c use --random-gen="1310592312 83002201 3413053120 1432191059 3424157125 3436436004 3821142811 21736248 775033937 1210726281 643012928 1506139354 80099183 2663919611 3683622685 406447502 836054011 2862458013 1084653523 2686749296 938931976 122914301 2253650602 632997938 3966339701 1996125431 4279862589 1097435290 2197459446 1243923664 2787383446 583373341 834434738 326201399 281656086 2853024553 385619629 3302989257 2441432262 4133373980 1782383336 189448599 3817639096 964264517 588706314 85657639 3643073033 2956310841 2515189595 2425172292 2943067662 3438609325 2086425880 2980944482 3032068902 1079108768 1552522999 609394929 1171790066 2029141375 4212471488 3642276063 2184657388 2381691274 262860825 3423030867 3727583739 2318507480 1425072693 1455682291 3385480674 4039257108 1632166239 1578826897 2194443986 2963872068 858416573 55619652 1359679397 2181930853 23244893 3348452807 4216915736 3773308348 3828890568 663250016 3985742875 2778603228 1195923182 822397518 2917065065 1645253476 3846885730 3450700965 239266339 1501592783 4006243352 3797783367 1914543039 3234636859 1761373301 1752438934 3154012695 3444041522 2728395185 3906987703 3664386210 1639286282 1987917852 776475555 2236653043 776113788 4190970389 1789861907 922761771 1618900026 477092110 4096189540 2742601774 3493212329 3621985691 4115762177 3969701887 187440104 3106164062 3432131389 3395633979 1397635871 10799159 2967344607 3530075729 3919063110 980265502 3399068576 1277011505 2905822926 3306696547 1156167552 1070590034 2876689948 781708647 1391713222 2053469682 1390887752 2762367247 3548326672 2721099465 2740996815 1190432195 1450682380 718451299 638147439 1960132275 3853205153 3241918918 3643277545 1808204068 2923390632 2957976591 2748822957 2771452309 3992393231 3622526797 2706360908 1364506208 1211952144 1831691858 284808831 271788158 3684374087 1347470617 1725703657 3029102963 1644720 3892962483 1300503187 1386929767 3553852296 1044110030 3212439272 608389155 2291100532 2870569569 1650274189 818355391 3668870666 2448192321 396865484 2436092206 3912230691 1868288825 540301124 1744940477 477016303 3942437929 3096473010 4242999339 1316035669 2961259706 4144334928 2631670347 1658252405 4067972657 978216759 3943639947 1956411142 286784539 3992198013 2449611210 2513870899 2801291287 4216684353 3803226028 1230794634 3812781471 2344380211 2160009111 958094678 3956675417 9018350 502510861 1899071244 2918476442 741892485 3735970500 2869682830 4017054451 2259438958 1159635527 1201340411 1289467034 4059313440 319297166 1830656847 2057919877 284887912 2400915117 2601000877 1667119909 3601382563 473388818 741302327 3452293086 1002146839 3134958582 452789160 34210930 825065023 3786384837 3733158624 2062167621 3013930978 4219367384 2996439221 3432273281 2184484052 255 362436" option to reproduce the execution
0.00/0.01	c #vars 105
0.00/0.01	c #constraints 280
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 |      128      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      153 |      100 |      128      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      386 |      250 |      141      1 |        0 |        0
0.00/0.05	c  0.0s |       3 |      650 |      475 |      156      3 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1139 |      813 |      172      7 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1791 |     1320 |      190     11 |        0 |        0
0.09/0.18	c  0.2s |       6 |     2810 |     2081 |      232     17 |        0 |        0
0.19/0.29	c  0.3s |       7 |     4146 |     3223 |      256     26 |        0 |        0
0.39/0.44	c  0.4s |       8 |     6413 |     4936 |      282     38 |        0 |        0
0.58/0.64	c  0.6s |       9 |     9982 |     7506 |      311     56 |        0 |        0
0.89/0.93	c  0.9s |      10 |    15462 |    11361 |      343     79 |        0 |        0
1.20/1.29	c  1.3s |      11 |    23454 |    17144 |      378    112 |        0 |        0
1.69/1.71	c  1.7s |      12 |    35209 |    25819 |      416    157 |        0 |        0
2.38/2.41	c  2.4s |      13 |    52914 |    38832 |      458    218 |        0 |        0
3.39/3.44	c  3.4s |      14 |    77629 |    58352 |      504    302 |        0 |        0
4.78/4.87	c  4.9s |      15 |   118257 |    87632 |      555    414 |        2 |        8
5.18/5.20	c  5.2s |      15 |   127507 |    94460 |      555    436 |       17 |       52
5.18/5.20	c #cpu_time = 5.176s
5.18/5.20	c #wall_clock_time = 5.190s
5.18/5.20	c #decision = 127507
5.18/5.20	c #random_decision = 608
5.18/5.20	c #conflict = 94460
5.18/5.20	c #restart = 15
5.18/5.20	s UNSATISFIABLE
5.18/5.20	c total CPU time = 5.194s
5.18/5.20	c total wall clock time = 5.208s

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

pid=18975
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.14 2.18 2.17 3/179 18978
/proc/meminfo: memFree=28500572/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 2983 0 0 0 0 0 0 0 20 0 4 0 12305752 815198208 2834 33554432000 4194304 16246674 140734643944096 140734643943520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 199791 2842 441 2943 0 196685 0
[pid=18978/tid=18979] ppid=18975 vsize=817596 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 837218304 2918 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=822716 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 842461184 2938 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305752 846655488 2953 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.14 2.18 2.17 3/179 18978
/proc/meminfo: memFree=28500572/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 26010 0 0 0 6 3 0 0 20 0 4 0 12305752 1247350784 25849 33554432000 4194304 16246674 140734643944096 140734643943520 5997113 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 304529 25860 708 2943 0 301423 0
[pid=18978/tid=18979] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 25869 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 25875 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 25882 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200545 s]
/proc/loadavg: 2.14 2.18 2.17 3/179 18978
/proc/meminfo: memFree=28500572/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 49905 0 0 0 13 6 0 0 20 0 4 0 12305752 1247350784 49745 33554432000 4194304 16246674 140734643944096 140734643927096 5997438 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 304529 49756 708 2943 0 301423 0
[pid=18978/tid=18979] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 49766 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 49772 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 49777 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 2.14 2.18 2.17 3/179 18978
/proc/meminfo: memFree=28500572/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 73316 0 0 0 19 9 0 0 20 0 4 0 12305752 1247350784 73156 33554432000 4194304 16246674 140734643944096 140734643927096 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 304529 73168 708 2943 0 301423 0
[pid=18978/tid=18979] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 73173 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 73180 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 73187 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.7004 s]
/proc/loadavg: 2.14 2.18 2.17 3/179 18978
/proc/meminfo: memFree=28500572/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 164780 0 0 0 46 22 0 0 20 0 4 0 12305752 1247350784 164619 33554432000 4194304 16246674 140734643944096 140734643927096 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 304529 164631 709 2943 0 301423 0
[pid=18978/tid=18979] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 164638 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 164645 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305752 1247350784 164652 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 18982
/proc/meminfo: memFree=27520368/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 245540 0 0 0 115 34 0 0 20 0 4 0 12305752 1248399360 245359 33554432000 4194304 16246674 140734643944096 140734643926016 5523513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 304785 245359 786 2943 0 301679 0
[pid=18978/tid=18979] ppid=18975 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1248399360 245359 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1248399360 245359 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12305752 1248399360 245359 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 18982
/proc/meminfo: memFree=27432220/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 267391 0 0 0 272 36 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140734643927096 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 326545 267210 786 2943 0 323439 0
[pid=18978/tid=18979] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

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

[startup+3.2005 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 18982
/proc/meminfo: memFree=27432220/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1306180 CPUtime=3.18 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 267391 0 0 0 282 36 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140734643927096 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 326545 267210 786 2943 0 323439 0
[pid=18978/tid=18979] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267210 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 1306180

[startup+4.0004 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 18982
/proc/meminfo: memFree=27431848/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1306180 CPUtime=3.98 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 267392 0 0 0 362 36 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140734643927096 5662186 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 326545 267211 786 2943 0 323439 0
[pid=18978/tid=18979] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 1306180

[startup+4.8004 s]
/proc/loadavg: 2.13 2.18 2.17 4/183 18982
/proc/meminfo: memFree=27431848/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1306180 CPUtime=4.78 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 267392 0 0 0 442 36 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140734643927096 5546019 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 326545 267211 786 2943 0 323439 0
[pid=18978/tid=18979] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267211 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 1306180

[startup+5.20039 s]
/proc/loadavg: 2.13 2.18 2.17 4/183 18982
/proc/meminfo: memFree=27431848/32872528 swapFree=1498612/1645780
[pid=18978] ppid=18975 vsize=1306180 CPUtime=5.18 cores=1,3,5,7
/proc/18978/stat : 18978 (toysat) R 18975 18978 13393 0 -1 4202496 267393 0 0 0 482 36 0 0 20 0 4 0 12305752 1337528320 267212 33554432000 4194304 16246674 140734643944096 140734643927096 6861656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18978/statm: 326545 267212 786 2943 0 323439 0
[pid=18978/tid=18979] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18979/stat : 18979 (toysat) S 18975 18978 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267212 33554432000 4194304 16246674 140734643944096 140338906770672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18978/tid=18980] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18980/stat : 18980 (toysat) S 18975 18978 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267212 33554432000 4194304 16246674 140734643944096 140338896280816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18978/tid=18981] ppid=18975 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18978/task/18981/stat : 18981 (toysat) S 18975 18978 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12305752 1337528320 267212 33554432000 4194304 16246674 140734643944096 140338885807280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 5.26845
CPU time (s): 5.2662
CPU user time (s): 4.83726
CPU system time (s): 0.428934
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.83726
system time used= 0.428934
maximum resident set size= 1068864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267398
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= 7

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

The end

Launcher Data 

Begin job on node124 at 2016-06-30 21:04:49
IDJOB=4121130
IDBENCH=110316
IDSOLVER=2542
FILE ID=node124/4121130-1467313489
RUNJOBID= node124-1467310918-18130
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-f.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-4121130-1467313489/watcher-4121130-1467313489 -o /tmp/evaluation-result-4121130-1467313489/solver-4121130-1467313489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18130 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121130-1467313489.opb

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

MD5SUM BENCH= 6ee2047dbca6b3f0b3d34a3dae84afe3
RANDOM SEED=1213228126

node124.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		: 2667.062
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	: 5334.12
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		: 2667.062
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		: 2667.062
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.55
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		: 2667.062
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		: 2667.062
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		: 2667.062
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		: 2667.062
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.062
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:        28501752 kB
Buffers:          149112 kB
Cached:           737136 kB
SwapCached:            0 kB
Active:          1346028 kB
Inactive:         631044 kB
Active(anon):    1082068 kB
Inactive(anon):    11336 kB
Active(file):     263960 kB
Inactive(file):   619708 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16628 kB
Writeback:             0 kB
AnonPages:       2738748 kB
Mapped:            17092 kB
Shmem:               204 kB
Slab:             611340 kB
SReclaimable:      54952 kB
SUnreclaim:       556388 kB
KernelStack:        1520 kB
PageTables:         9020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2873828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    536576 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= 71692 MiB
End job on node124 at 2016-06-30 21:04:55