Trace number 4098423

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.2562 5.25981

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972763.opb
MD5SUMa13decadac3e5cf92a10367f269822f9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark2.08568
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
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 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1209
Number of bits of the biggest sum of numbers11
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-18T01:27:39+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-4098423-1466206059.opb"]
0.00/0.01	c use --random-gen="4021375157 3028176291 369787338 3141876940 1162649681 1584764341 2783250624 3461858724 4050351925 2269229976 3700856106 1222152207 259117744 2922857893 230677134 3744780400 2471893750 1409704259 2409739495 351692694 11742342 4180158946 3776424851 2122548696 291826259 2460911315 2849744659 584298476 681039878 47808944 206794934 1699796478 2214298209 1767500633 3649333545 2512785109 789055371 3675800011 305846321 22287731 3020819107 719430039 4131479851 3685017752 2156341226 570173493 3934094019 3490135518 3137182953 2488550563 3043672625 1947959199 577929129 2589590965 1319416985 2401451143 2671954342 2989107052 1474142053 138972413 3017516824 4145204128 295497812 4163967476 3325735917 732857628 4270714330 1926379737 1334253288 2370331948 3412318097 3677539152 4095036970 1334785035 2463050662 3947890661 3639646870 159885678 676987209 3010007313 1604723411 3572373600 668445021 224454074 2691638774 3008744385 3146036021 86976074 3578047039 1093140099 2596187040 1109978069 1995059797 3991726964 1716693381 2008478402 1420852389 758625534 2732565672 3835236788 3772254894 3683221183 550579575 986649746 3910566564 26749690 1586645753 1340602449 2263884430 3283488559 2461400445 4078478643 2197213138 2470855714 4175311096 2491717036 1470448850 2901744686 662446587 2607100227 2162006292 2829152051 3834398769 1423750521 3262159008 2978617339 641084721 3633851751 4022956902 2332871765 3074769131 2533669270 2431954520 3339450617 1316863561 2951224247 324764859 997845984 2888256907 3296664472 3972345328 2409214432 2824918697 22907884 2539209981 3813295303 1778870537 1311595917 1661136713 1734239519 2970371359 1233828091 189408873 2792910218 3439604805 3317468446 3214751099 3320457085 1557915367 2305405278 3519728769 3672442664 1316159534 665506156 2134170223 3227314156 85033889 2746125615 3266005588 2921479204 621895382 3880739795 428297332 710631983 856025927 3599240055 2092971632 1389962528 2144036646 1785409989 603189193 1855770541 1948956275 2702641986 2580999788 3078435958 4073714420 3932898833 1683051133 840678410 2509110815 1307509309 2171029466 2796280833 3334319520 1771079441 957953950 2522830290 398929710 3873643097 1092760254 450554026 237835161 4047832963 1989062963 1301118432 3083864698 923475796 3966168916 2554478423 2771333865 3148154974 2414482574 3655501304 1898163371 2330107043 1120994249 1839709049 2811438126 41969257 948475488 859097114 2642729424 2591178174 1245957451 2870822596 849908367 2658474938 2442917954 1467145635 124039133 554663288 911153843 4027497222 1119497515 2290536802 1825225174 1407672646 3304288850 1050031440 1919058432 338822534 867054326 2511144560 629811343 1298658928 2663453516 1897850281 2141330925 1827567675 4163914479 1895576890 3644416110 294369728 4236164740 954525036 255 362436" option to reproduce the execution
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
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 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      128 |      100 |       90      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      338 |      250 |      100      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      688 |      475 |      111      4 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1180 |      813 |      123      7 |        0 |        0
0.09/0.17	c  0.2s |       5 |     1886 |     1320 |      136     12 |        0 |        0
0.19/0.26	c  0.2s |       6 |     2996 |     2081 |      165     18 |        0 |        0
0.28/0.39	c  0.4s |       7 |     4645 |     3223 |      182     27 |        0 |        0
0.58/0.61	c  0.6s |       8 |     7020 |     4936 |      201     40 |        0 |        0
0.89/0.94	c  0.9s |       9 |    10663 |     7506 |      222     58 |        0 |        0
1.39/1.41	c  1.4s |      10 |    15870 |    11361 |      245     81 |        2 |        0
1.89/1.96	c  1.9s |      11 |    23803 |    17144 |      270    115 |        3 |        1
2.69/2.72	c  2.7s |      12 |    35460 |    25819 |      297    159 |        7 |        1
3.78/3.87	c  3.9s |      13 |    53232 |    38832 |      327    228 |        8 |        1
5.18/5.20	c  5.2s |      13 |    73806 |    54281 |      327    287 |      169 |       28
5.18/5.20	c #cpu_time = 5.169s
5.18/5.20	c #wall_clock_time = 5.183s
5.18/5.20	c #decision = 73806
5.18/5.20	c #random_decision = 192
5.18/5.20	c #conflict = 54281
5.18/5.20	c #restart = 13
5.18/5.20	s UNSATISFIABLE
5.18/5.20	c total CPU time = 5.187s
5.18/5.20	c total wall clock time = 5.200s

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

pid=16431
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: 0.50 0.25 0.19 3/179 16434
/proc/meminfo: memFree=28473804/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 2740 0 0 0 0 0 0 0 20 0 4 0 22651399 751235072 2591 33554432000 4194304 16246674 140737160152096 140737160151520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 184175 2600 441 2943 0 181069 0
[pid=16434/tid=16435] ppid=16431 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 770109440 2664 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 774303744 2680 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=761276 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22651399 779546624 2698 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 0.50 0.25 0.19 3/179 16434
/proc/meminfo: memFree=28473804/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 19627 0 0 0 7 2 0 0 20 0 4 0 22651399 1247350784 19466 33554432000 4194304 16246674 140737160152096 140737160151520 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 304529 19472 732 2943 0 301423 0
[pid=16434/tid=16435] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 19475 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 19478 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 19481 33554432000 4194304 16246674 140737160152096 140574303702192 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.200498 s]
/proc/loadavg: 0.50 0.25 0.19 3/179 16434
/proc/meminfo: memFree=28473804/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 34520 0 0 0 15 4 0 0 20 0 4 0 22651399 1247350784 34360 33554432000 4194304 16246674 140737160152096 140737160151520 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 304529 34363 732 2943 0 301423 0
[pid=16434/tid=16435] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 34368 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 34372 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 34377 33554432000 4194304 16246674 140737160152096 140574303702192 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.300459 s]
/proc/loadavg: 0.50 0.25 0.19 3/179 16434
/proc/meminfo: memFree=28473804/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 49043 0 0 0 23 5 0 0 20 0 4 0 22651399 1247350784 48883 33554432000 4194304 16246674 140737160152096 140737160151520 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 304529 48888 732 2943 0 301423 0
[pid=16434/tid=16435] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 48892 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 48898 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 48900 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700386 s]
/proc/loadavg: 0.50 0.25 0.19 3/179 16434
/proc/meminfo: memFree=28473804/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 110813 0 0 0 55 14 0 0 20 0 4 0 22651399 1247350784 110652 33554432000 4194304 16246674 140737160152096 140737160151520 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 304529 110663 733 2943 0 301423 0
[pid=16434/tid=16435] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 110668 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 110671 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 110679 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 0.50 0.25 0.19 3/183 16438
/proc/meminfo: memFree=27149328/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 231712 0 0 0 118 31 0 0 20 0 4 0 22651399 1247350784 231551 33554432000 4194304 16246674 140737160152096 140737160135096 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 304529 231557 734 2943 0 301423 0
[pid=16434/tid=16435] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 231559 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 231564 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22651399 1247350784 231568 33554432000 4194304 16246674 140737160152096 140574303702192 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.10039 s]
/proc/loadavg: 0.62 0.28 0.20 3/183 16438
/proc/meminfo: memFree=26727100/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1305156 CPUtime=3.08 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 267292 0 0 0 272 36 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140737160134016 6022322 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 326289 267111 799 2943 0 323183 0
[pid=16434/tid=16435] ppid=16431 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1305156

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

[startup+3.40039 s]
/proc/loadavg: 0.62 0.28 0.20 3/183 16438
/proc/meminfo: memFree=26727100/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1305156 CPUtime=3.38 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 267292 0 0 0 302 36 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140737160134016 5677376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 326289 267111 799 2943 0 323183 0
[pid=16434/tid=16435] ppid=16431 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22651399 1336479744 267111 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 1305156

[startup+4.20039 s]
/proc/loadavg: 0.62 0.28 0.20 2/177 16442
/proc/meminfo: memFree=27622040/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1306180 CPUtime=4.18 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 267420 0 0 0 382 36 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140737160135096 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 326545 267239 799 2943 0 323439 0
[pid=16434/tid=16435] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 1306180

[startup+5.00039 s]
/proc/loadavg: 0.62 0.28 0.20 3/183 16487
/proc/meminfo: memFree=27287600/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1306180 CPUtime=4.98 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 267420 0 0 0 462 36 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140737160134016 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 326545 267239 799 2943 0 323439 0
[pid=16434/tid=16435] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 1306180

[startup+5.20039 s]
/proc/loadavg: 0.62 0.28 0.20 3/183 16487
/proc/meminfo: memFree=27287600/32872528 swapFree=1459628/1655852
[pid=16434] ppid=16431 vsize=1306180 CPUtime=5.18 cores=0,2,4,6
/proc/16434/stat : 16434 (toysat) R 16431 16434 16189 0 -1 4202496 267420 0 0 0 482 36 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140737160134016 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16434/statm: 326545 267239 799 2943 0 323439 0
[pid=16434/tid=16435] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16435/stat : 16435 (toysat) S 16431 16434 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574324665584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16434/tid=16436] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16436/stat : 16436 (toysat) S 16431 16434 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574314175728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16434/tid=16437] ppid=16431 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16437/stat : 16437 (toysat) S 16431 16434 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22651399 1337528320 267239 33554432000 4194304 16246674 140737160152096 140574303702192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.25981
CPU time (s): 5.2562
CPU user time (s): 4.83027
CPU system time (s): 0.425935
CPU usage (%): 99.9313
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.83026
system time used= 0.425935
maximum resident set size= 1068972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267425
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= 22
involuntary context switches= 7

??? 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 node136 at 2016-06-18 01:27:39
IDJOB=4098423
IDBENCH=1170
IDSOLVER=2542
FILE ID=node136/4098423-1466206059
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972763.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098423-1466206059/watcher-4098423-1466206059 -o /tmp/evaluation-result-4098423-1466206059/solver-4098423-1466206059 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098423-1466206059.opb

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

MD5SUM BENCH= a13decadac3e5cf92a10367f269822f9
RANDOM SEED=1245912602

node136.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.278
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.55
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.278
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.278
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		: 2667.278
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.278
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.278
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.56
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.278
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.67
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.278
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:        28485228 kB
Buffers:          131588 kB
Cached:          1639476 kB
SwapCached:            0 kB
Active:           345124 kB
Inactive:        1639992 kB
Active(anon):     216516 kB
Inactive(anon):        0 kB
Active(file):     128608 kB
Inactive(file):  1639992 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32820 kB
Writeback:             0 kB
AnonPages:       1869956 kB
Mapped:            15672 kB
Shmem:               204 kB
Slab:             609380 kB
SReclaimable:      52368 kB
SUnreclaim:       557012 kB
KernelStack:        1440 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2784400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71708 MiB
End job on node136 at 2016-06-18 01:27:44