Trace number 4121122

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.39133 4.39441

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n64-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMfa0c46420f881189096dc48bb94adf4a
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.239963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables96
Total number of constraints256
Number of constraints which are clauses256
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:45+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-4121122-1467313485.opb"]
0.00/0.01	c use --random-gen="1343010802 233309765 460379627 1045254624 2643286139 3139590728 4144253248 1125316043 445920086 2834306516 2541187950 3494873520 3895641745 245584737 2751211102 1255655795 2743920242 2323777385 2754502614 1443677259 3920561782 252410607 1916456866 635550948 969042914 2468579 3468091670 1054415507 197609313 1603926534 2284995649 2307166965 2783218368 4039390729 2080440447 1860412128 103740836 539430420 631520357 368652999 2304075419 3147810060 3702047080 2998563682 1455446698 4221485155 2777853612 1539568535 2243532501 2171021259 3146070484 1833522432 1342719883 2187064099 3878132591 4254491513 1822642630 727264476 2689541109 1934774770 2845469942 1959137588 3317879260 723378672 43696436 2218597867 3744301905 3283003766 1014216823 1516524088 45290295 323417129 892641361 673775608 774834041 3895370876 218174476 4017643118 4261856154 3687721899 2592274740 225712875 1441937188 93518906 1833462575 1117453622 663793076 3277006571 547544629 985329833 2147025649 2413209889 2957523618 398979858 1545846102 3891928916 857780576 1150613845 902832383 605867975 2420546794 782124091 2769034897 2911882193 97982269 2647306884 481587374 394272694 1768402990 1668268341 1398698628 1722911326 1968273040 483788589 3906476968 3348565266 2488346084 1600487330 1277080115 3910175157 4208298495 1794683037 1371683234 1614677016 143111455 250275949 2035186238 514961714 1883962817 2590564030 1112633552 264160132 1138088657 107242462 269889433 535221492 908281252 3182593733 3006240168 3907389843 2876917796 1101735521 1016233330 253399268 3779279959 3265633381 1183772801 3327869486 3926921077 3250847789 1490413284 1473804069 378268726 2240557989 556362115 2330525696 151589260 1163707639 371980268 3656584446 950746237 1108625172 4198800139 1674873643 2233705208 664112870 3901645966 2550037541 3156555231 2284160161 2439145930 2400916065 69605859 230374333 1192760795 1821552144 3441214066 815638952 867474275 875300672 3878913824 211432974 1293185501 1202929397 3030715472 1287484462 3014069445 823310070 1564131338 1070204567 3322573180 3850635713 1492584234 2214207931 3781360754 625193636 129348800 2174461368 1504234600 2784299697 850298382 3122846618 4204292282 1386519848 1547567621 3184444260 1928720053 629458142 1234120061 4186567734 635693559 3614882411 3119066189 1785739641 2878763382 3104175092 1213288618 2876308864 3164081951 2773455750 3377662918 1397793326 4258075806 2531040910 3541290441 1928739245 2182063571 1522677643 3275820256 3433027783 806838561 316677382 3271695167 3510584951 881721514 2490152973 3433820680 568530375 3992436799 1972368541 2345049689 2832811299 3530127938 2512952440 1707074342 2710043870 4194026088 473373917 4204113066 876183493 2572285106 1705664585 2560158560 1930859943 4034464653 2932714730 255 362436" option to reproduce the execution
0.00/0.01	c #vars 96
0.00/0.01	c #constraints 256
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      117      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      173 |      100 |      117      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      422 |      250 |      129      1 |        0 |        0
0.00/0.05	c  0.0s |       3 |      807 |      475 |      142      4 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1356 |      813 |      157      8 |        0 |        0
0.09/0.12	c  0.1s |       5 |     2009 |     1320 |      173     13 |        0 |        0
0.09/0.18	c  0.2s |       6 |     3134 |     2081 |      211     20 |        0 |        0
0.19/0.28	c  0.3s |       7 |     4757 |     3223 |      233     30 |        0 |        0
0.38/0.41	c  0.4s |       8 |     7069 |     4936 |      257     44 |        0 |        0
0.59/0.60	c  0.6s |       9 |    10842 |     7506 |      283     63 |        0 |        0
0.78/0.88	c  0.9s |      10 |    16624 |    11361 |      312     89 |        0 |        0
1.19/1.23	c  1.2s |      11 |    24271 |    17144 |      344    126 |        0 |        0
1.68/1.70	c  1.7s |      12 |    36700 |    25819 |      379    175 |        0 |        0
2.29/2.36	c  2.3s |      13 |    54968 |    38832 |      417    242 |        0 |        0
3.29/3.33	c  3.3s |      14 |    83568 |    58352 |      459    334 |        0 |        0
4.28/4.33	c  4.3s |      14 |   116482 |    80288 |      459    423 |       19 |       60
4.28/4.33	c #cpu_time = 4.304s
4.28/4.33	c #wall_clock_time = 4.315s
4.28/4.33	c #decision = 116482
4.28/4.33	c #random_decision = 561
4.28/4.33	c #conflict = 80288
4.28/4.33	c #restart = 14
4.28/4.33	s UNSATISFIABLE
4.28/4.33	c total CPU time = 4.322s
4.28/4.33	c total wall clock time = 4.333s

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-4121122-1467313485/watcher-4121122-1467313485 -o /tmp/evaluation-result-4121122-1467313485/solver-4121122-1467313485 -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-4121122-1467313485.opb 

pid=18926
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.15 2.18 2.17 3/179 18929
/proc/meminfo: memFree=28501608/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=549308 CPUtime=0 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 2018 0 0 0 0 0 0 0 20 0 4 0 12305287 562491392 2379 33554432000 4194304 16246674 140736811822592 140736811821528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 137839 2387 441 2943 0 134733 0
[pid=18929/tid=18930] ppid=18926 vsize=566716 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 580317184 2448 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=571836 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 585560064 2466 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=575932 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 589754368 2483 33554432000 4194304 16246674 140736811822592 140108141423792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10021 s]
/proc/loadavg: 2.15 2.18 2.17 3/179 18929
/proc/meminfo: memFree=28501608/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 25242 0 0 0 6 3 0 0 20 0 4 0 12305287 1247350784 25593 33554432000 4194304 16246674 140736811822592 140736811821528 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 304529 25599 708 2943 0 301423 0
[pid=18929/tid=18930] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 25606 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 25613 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 25620 33554432000 4194304 16246674 140736811822592 140108141423792 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.200503 s]
/proc/loadavg: 2.15 2.18 2.17 3/179 18929
/proc/meminfo: memFree=28501608/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 48616 0 0 0 12 7 0 0 20 0 4 0 12305287 1247350784 48966 33554432000 4194304 16246674 140736811822592 140736811821528 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 304529 48976 708 2943 0 301423 0
[pid=18929/tid=18930] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 48982 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 48990 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 48996 33554432000 4194304 16246674 140736811822592 140108141423792 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.300427 s]
/proc/loadavg: 2.15 2.18 2.17 3/179 18929
/proc/meminfo: memFree=28501608/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 71595 0 0 0 20 9 0 0 20 0 4 0 12305287 1247350784 71945 33554432000 4194304 16246674 140736811822592 140736811821528 5516226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 304529 71956 708 2943 0 301423 0
[pid=18929/tid=18930] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 71964 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 71971 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 71978 33554432000 4194304 16246674 140736811822592 140108141423792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700381 s]
/proc/loadavg: 2.15 2.18 2.17 3/179 18929
/proc/meminfo: memFree=28501608/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 161467 0 0 0 48 21 0 0 20 0 4 0 12305287 1247350784 161817 33554432000 4194304 16246674 140736811822592 140736811821528 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 304529 161828 708 2943 0 301423 0
[pid=18929/tid=18930] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 161835 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 161841 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 161849 33554432000 4194304 16246674 140736811822592 140108141423792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.15 2.18 2.17 3/183 18933
/proc/meminfo: memFree=27519300/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 245524 0 0 0 115 33 0 0 20 0 4 0 12305287 1247350784 245854 33554432000 4194304 16246674 140736811822592 140736811821904 6013056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 304529 245854 784 2943 0 301423 0
[pid=18929/tid=18930] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 245854 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 245854 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1247350784 245854 33554432000 4194304 16246674 140736811822592 140108141423792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10036 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 18933
/proc/meminfo: memFree=27431368/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 267365 0 0 0 273 35 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140736811805592 12466664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 326545 267695 784 2943 0 323439 0
[pid=18929/tid=18930] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140108141423792 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 18929 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20045 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 18933
/proc/meminfo: memFree=27431368/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1306180 CPUtime=3.18 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 267365 0 0 0 283 35 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140736811805592 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 326545 267695 784 2943 0 323439 0
[pid=18929/tid=18930] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267695 33554432000 4194304 16246674 140736811822592 140108141423792 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.00035 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 18933
/proc/meminfo: memFree=27430996/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1306180 CPUtime=3.98 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 267385 0 0 0 363 35 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140736811805592 6043977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 326545 267715 784 2943 0 323439 0
[pid=18929/tid=18930] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108141423792 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.20035 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 18933
/proc/meminfo: memFree=27430996/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1306180 CPUtime=4.18 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 267385 0 0 0 383 35 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140736811805592 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 326545 267715 784 2943 0 323439 0
[pid=18929/tid=18930] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108141423792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 1306180

[startup+4.30041 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 18933
/proc/meminfo: memFree=27430996/32872528 swapFree=1498612/1645780
[pid=18929] ppid=18926 vsize=1306180 CPUtime=4.28 cores=1,3,5,7
/proc/18929/stat : 18929 (toysat) R 18926 18929 13393 0 -1 4202496 267385 0 0 0 393 35 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140736811805592 5823737 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 326545 267715 784 2943 0 323439 0
[pid=18929/tid=18930] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (toysat) S 18926 18929 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108238925040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18929/tid=18931] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (toysat) S 18926 18929 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108228435184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18929/tid=18932] ppid=18926 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (toysat) S 18926 18929 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12305287 1337528320 267715 33554432000 4194304 16246674 140736811822592 140108141423792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 4.39441
CPU time (s): 4.39133
CPU user time (s): 3.9724
CPU system time (s): 0.418936
CPU usage (%): 99.9299
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9724
system time used= 0.418936
maximum resident set size= 1070872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267390
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= 23
involuntary context switches= 7

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

The end

Launcher Data 

Begin job on node124 at 2016-06-30 21:04:45
IDJOB=4121122
IDBENCH=110311
IDSOLVER=2542
FILE ID=node124/4121122-1467313485
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-n64-d3-i2-r2.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-4121122-1467313485/watcher-4121122-1467313485 -o /tmp/evaluation-result-4121122-1467313485/solver-4121122-1467313485 -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-4121122-1467313485.opb

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

MD5SUM BENCH= fa0c46420f881189096dc48bb94adf4a
RANDOM SEED=67931523

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:        28501500 kB
Buffers:          149064 kB
Cached:           737148 kB
SwapCached:            0 kB
Active:          1348548 kB
Inactive:         631036 kB
Active(anon):    1084608 kB
Inactive(anon):    11336 kB
Active(file):     263940 kB
Inactive(file):   619700 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16368 kB
Writeback:             0 kB
AnonPages:       2739064 kB
Mapped:            17112 kB
Shmem:               204 kB
Slab:             610872 kB
SReclaimable:      54816 kB
SUnreclaim:       556056 kB
KernelStack:        1496 kB
PageTables:         9504 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:    520192 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:49