Trace number 4120730

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 4.66329 4.66462

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n54-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMcf5bca21cd7b00f665c291e01c6c8eaa
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.283956
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81
Total number of constraints216
Number of constraints which are clauses216
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-30T20:44:14+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-4120730-1467312254.opb"]
0.00/0.01	c use --random-gen="936966878 1140450923 2686742073 793095581 898624785 2962866417 3748262701 2934015449 2906620930 1944910346 3020680103 531247243 3336889758 1500898510 112228326 734399593 1937413506 3748605981 515631957 2646823080 187900815 3223255919 1936228806 1588019970 1177941277 1952261472 2459698444 3357336368 1029951301 2022311665 1052694857 3450205917 2885554007 3888458620 2779446882 1695570734 1419581498 3376544855 3727752654 879792512 3913808442 447830553 320216713 2044481828 4270080100 3314630337 3015528411 3757533705 2412751927 3530412200 2977477220 107160242 1290046455 3803012533 1087041670 3181883526 2675869119 2690741498 3379534472 1651655227 2018420709 2381837483 521771461 2299588333 4200053838 800878680 1622622552 2324177963 2591375101 2314904065 1763701499 1313340125 2734023070 649386929 3105983524 2451395649 2602172637 2015752034 4184971840 1689035704 4099269970 3141421377 1098354339 1178696911 462842131 2019950114 2380262061 2895438131 2091426608 1888460940 3775483575 1433185099 3039139197 3234251055 3413627787 865007225 362846682 3584229541 1353627402 3794471753 4245915210 2639518853 3955996770 3661876122 4049062551 502912792 1496408948 258102100 544899469 600134599 1094587740 785985762 480933027 1424816763 3561774568 1322334619 2450112934 3862817928 2561843238 346847312 3236285754 635779479 3752393767 286472748 2481760050 3212388905 961808658 1090233926 575221577 4127082597 3745894014 394412313 4268181620 853291099 2511216455 988176356 2395001001 2321046700 1890434821 2283467152 2568906704 3427704761 3751125788 2748895066 2415285961 845724551 2666215901 2193044143 1567483289 4253348210 257057936 183351848 3932176663 999253701 35066064 2393545792 1048587243 2215706077 3853010295 1342959782 2544345633 1308964257 2037877595 3835556187 1933191863 3807029620 792379110 2254510614 3866308647 3295359256 1901701326 1122432446 1324950812 1994423686 240729141 1854784974 993929816 2421632134 715542360 502152462 491881027 1915103666 2883189200 689293349 867132565 3990111471 1207637384 3946295474 2530662837 923080179 3736533349 2755030414 2450172304 630249479 2797462120 2704204605 2448640661 427187247 3678480960 2483632009 1248754289 1462193904 3068101089 1711611432 367553197 3410260417 1226761515 1217658088 2193735752 1997612158 3120711463 987179520 1071777509 2893019123 1128995308 858112244 3862270371 2485463369 1473212627 2505768264 2622015221 1523021247 4094354122 4243455110 1438568688 2417917281 3460273358 2452450260 3289886440 3493683130 232442863 1417979406 3431452209 62132840 3301207543 953777783 2518844142 3133462124 3081522314 3019608541 3492779597 438131621 3580036460 2407659046 1903934377 238705816 677853229 3236163018 2105734321 3387461480 2936870917 205868404 1408958383 79845236 36575944 3036695918 255 362436" option to reproduce the execution
0.00/0.01	c #vars 81
0.00/0.01	c #constraints 216
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 |       99      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      124 |      100 |       99      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      326 |      250 |      109      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      627 |      475 |      120      5 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1053 |      813 |      132      9 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1749 |     1320 |      146     16 |        0 |        0
0.09/0.18	c  0.2s |       6 |     2729 |     2081 |      178     24 |        0 |        0
0.19/0.27	c  0.3s |       7 |     4362 |     3223 |      196     36 |        0 |        0
0.39/0.40	c  0.4s |       8 |     6863 |     4936 |      216     52 |        0 |        0
0.59/0.61	c  0.6s |       9 |    10701 |     7506 |      238     75 |        0 |        0
0.89/0.97	c  1.0s |      10 |    15533 |    11361 |      262    105 |        0 |        0
1.29/1.30	c  1.3s |      11 |    23239 |    17144 |      289    148 |        0 |        0
1.69/1.79	c  1.8s |      12 |    34136 |    25819 |      318    206 |        0 |        0
2.49/2.50	c  2.5s |      13 |    51998 |    38832 |      350    286 |        0 |        0
3.40/3.45	c  3.4s |      14 |    80565 |    58352 |      386    395 |        0 |        0
4.59/4.60	c  4.6s |      14 |   115633 |    83132 |      386    517 |       15 |       48
4.59/4.60	c #cpu_time = 4.575s
4.59/4.60	c #wall_clock_time = 4.587s
4.59/4.60	c #decision = 115633
4.59/4.60	c #random_decision = 555
4.59/4.60	c #conflict = 83132
4.59/4.60	c #restart = 14
4.59/4.60	s UNSATISFIABLE
4.59/4.60	c total CPU time = 4.592s
4.59/4.60	c total wall clock time = 4.604s

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

pid=16930
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.00 2.01 2.24 3/243 16933
/proc/meminfo: memFree=30125196/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 2626 0 0 0 0 0 0 0 20 0 4 0 12331893 721874944 3497 33554432000 4194304 16246674 140737377745792 140737377745216 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 177007 3509 441 2943 0 173901 0
[pid=16933/tid=16934] ppid=16930 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 741797888 3570 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 745992192 3588 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 750186496 3604 33554432000 4194304 16246674 140737377745792 140271350181040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.00 2.01 2.24 3/243 16933
/proc/meminfo: memFree=30125196/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 25701 0 0 0 6 3 0 0 20 0 4 0 12331893 1247350784 26561 33554432000 4194304 16246674 140737377745792 140737377745216 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 304529 26570 707 2943 0 301423 0
[pid=16933/tid=16934] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 26576 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 26582 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 26589 33554432000 4194304 16246674 140737377745792 140271350181040 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.200493 s]
/proc/loadavg: 2.00 2.01 2.24 3/243 16933
/proc/meminfo: memFree=30125196/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 48904 0 0 0 13 6 0 0 20 0 4 0 12331893 1247350784 49765 33554432000 4194304 16246674 140737377745792 140737377745216 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 304529 49779 707 2943 0 301423 0
[pid=16933/tid=16934] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 49783 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 49792 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 49799 33554432000 4194304 16246674 140737377745792 140271350181040 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.00 2.01 2.24 3/243 16933
/proc/meminfo: memFree=30125196/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 71734 0 0 0 19 10 0 0 20 0 4 0 12331893 1247350784 72595 33554432000 4194304 16246674 140737377745792 140737377745216 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 304529 72607 707 2943 0 301423 0
[pid=16933/tid=16934] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 72619 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 72628 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 72636 33554432000 4194304 16246674 140737377745792 140271350181040 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.700391 s]
/proc/loadavg: 2.00 2.01 2.24 3/243 16933
/proc/meminfo: memFree=30125196/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 162330 0 0 0 47 21 0 0 20 0 4 0 12331893 1247350784 163190 33554432000 4194304 16246674 140737377745792 140737377745216 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 304529 163199 707 2943 0 301423 0
[pid=16933/tid=16934] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 163205 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 163213 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 163218 33554432000 4194304 16246674 140737377745792 140271350181040 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.5004 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 16937
/proc/meminfo: memFree=29140468/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 245510 0 0 0 115 34 0 0 20 0 4 0 12331893 1247350784 246350 33554432000 4194304 16246674 140737377745792 140737377745104 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 304529 246350 784 2943 0 301423 0
[pid=16933/tid=16934] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 246350 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 246350 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1247350784 246350 33554432000 4194304 16246674 140737377745792 140271350181040 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.1004 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 16937
/proc/meminfo: memFree=29052676/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 267397 0 0 0 271 38 0 0 20 0 4 0 12331893 1337528320 268237 33554432000 4194304 16246674 140737377745792 140737377728792 5994429 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 326545 268237 784 2943 0 323439 0
[pid=16933/tid=16934] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268237 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268237 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268237 33554432000 4194304 16246674 140737377745792 140271350181040 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 16933 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20047 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 16937
/proc/meminfo: memFree=29052676/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1306180 CPUtime=3.19 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 267397 0 0 0 281 38 0 0 20 0 4 0 12331893 1337528320 268237 33554432000 4194304 16246674 140737377745792 140737377728792 6012046 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 326545 268237 784 2943 0 323439 0
[pid=16933/tid=16934] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268237 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268237 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268237 33554432000 4194304 16246674 140737377745792 140271350181040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1306180

[startup+4.00039 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 16937
/proc/meminfo: memFree=29052180/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1306180 CPUtime=3.99 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 267403 0 0 0 361 38 0 0 20 0 4 0 12331893 1337528320 268243 33554432000 4194304 16246674 140737377745792 140737377728792 6026371 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 326545 268243 784 2943 0 323439 0
[pid=16933/tid=16934] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271350181040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 1306180

[startup+4.40041 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 16937
/proc/meminfo: memFree=29052228/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1306180 CPUtime=4.4 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 267403 0 0 0 402 38 0 0 20 0 4 0 12331893 1337528320 268243 33554432000 4194304 16246674 140737377745792 140737377728792 13006860 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 326545 268243 784 2943 0 323439 0
[pid=16933/tid=16934] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271350181040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 1306180

[startup+4.6004 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 16937
/proc/meminfo: memFree=29052228/32872528 swapFree=189444/189444
[pid=16933] ppid=16930 vsize=1306180 CPUtime=4.59 cores=0,2,4,6
/proc/16933/stat : 16933 (toysat) R 16930 16933 13211 0 -1 4202496 267403 0 0 0 421 38 0 0 20 0 4 0 12331893 1337528320 268243 33554432000 4194304 16246674 140737377745792 140737377728792 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16933/statm: 326545 268243 784 2943 0 323439 0
[pid=16933/tid=16934] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16934/stat : 16934 (toysat) S 16930 16933 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271442439408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16933/tid=16935] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16935/stat : 16935 (toysat) S 16930 16933 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271431949552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16933/tid=16936] ppid=16930 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16933/task/16936/stat : 16936 (toysat) S 16930 16933 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12331894 1337528320 268243 33554432000 4194304 16246674 140737377745792 140271350181040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 4.66462
CPU time (s): 4.66329
CPU user time (s): 4.22236
CPU system time (s): 0.440932
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.22236
system time used= 0.440932
maximum resident set size= 1072984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267408
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= 5

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

The end

Launcher Data 

Begin job on node102 at 2016-06-30 20:44:14
IDJOB=4120730
IDBENCH=110088
IDSOLVER=2542
FILE ID=node102/4120730-1467312254
RUNJOBID= node102-1467310764-16424
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-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-4120730-1467312254/watcher-4120730-1467312254 -o /tmp/evaluation-result-4120730-1467312254/solver-4120730-1467312254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120730-1467312254.opb

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

MD5SUM BENCH= cf5bca21cd7b00f665c291e01c6c8eaa
RANDOM SEED=1240331258

node102.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.744
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.48
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.744
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.744
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		: 2666.744
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.49
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.744
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.54
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.744
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.744
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.744
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:        30125732 kB
Buffers:          156760 kB
Cached:           569628 kB
SwapCached:            0 kB
Active:          1396740 kB
Inactive:         419504 kB
Active(anon):    1092276 kB
Inactive(anon):        0 kB
Active(file):     304464 kB
Inactive(file):   419504 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16504 kB
Writeback:             0 kB
AnonPages:       1278628 kB
Mapped:            17676 kB
Shmem:               204 kB
Slab:             609340 kB
SReclaimable:      52940 kB
SUnreclaim:       556400 kB
KernelStack:        1984 kB
PageTables:         6780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1426100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 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= 71636 MiB
End job on node102 at 2016-06-30 20:44:19