Trace number 4098633

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-02SAT 5.82511 5.82706

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223596.opb
MD5SUMeda0156fba6759200dec5fbbafb5b94e
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.18582
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
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 1216
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:54+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-4098633-1466206073.opb"]
0.00/0.01	c use --random-gen="3903039592 610795255 223689878 13378745 1837927650 1569678614 3709018320 2406091083 2446121801 3899117860 3694701600 2145695723 719237998 2804637868 2285678465 4274720938 921037754 1211214015 2487752440 4121695186 3596928242 2353131419 1097512416 504329282 1482024437 263497732 461906479 1351133726 4037004949 588039374 3581078225 579625688 4039217847 1621950368 2103911998 3295231291 2625592817 4000441569 4271102674 3642487440 2231669281 1857963035 4217610958 2873583278 332245049 2025610474 1169896428 3947616487 1052441715 1875211600 2650497464 1818006351 3432186937 488723656 3873680121 1140844675 2068413171 2220619683 782921123 1692419977 3171930828 1645846066 3155734114 1764169653 1390800295 556355424 2752756828 2224597318 319685230 1833106820 3923388512 2523786946 2423784263 936391866 2488941504 1060767350 1009503605 3787465326 4074287728 1715521049 3296286080 2247736788 611758840 733537519 2327505083 2625853643 270491203 1339148059 1139400088 4038095734 1492689926 1761092950 1543545075 148812030 963478323 3633123369 4149882369 638079420 4285243674 580210499 1806774514 3403999660 324985079 4137493497 2574118282 1095577458 3962566249 28154986 2521166288 2104745062 2334310903 939112262 700294634 3838107154 2314146628 1566817214 3230280940 2894093776 1140192867 1258781716 755274360 1998509201 562278948 3082462271 1455376574 1949352089 4243186189 4133639547 245377778 4106274040 2510470182 4259822623 742864558 3591902403 3274066640 1120049805 1647209379 3767191160 773695796 1860731635 2399318560 3061588463 988005531 1354687011 403300521 1801460215 3935897178 3140074169 4036569399 799072371 2734678261 2678140806 1005707730 1905935584 1741012014 1955799497 2234272122 683200140 2353685087 3906290618 272254243 621065979 2049430126 1086822195 3908587423 4173677243 224532179 571717818 3625920758 2216249298 766757481 2791480900 2604192348 1052565705 1302544634 622274194 1535083249 3307475966 2803440981 516975993 1097789323 2081881838 3983409823 1973852844 3859997838 3324536580 1918374917 1043220445 1521930817 3921101552 3988908374 471178433 3232526373 2008656621 3238104025 3385582324 1688335929 3065800621 1153531114 2516732572 1577530417 3064286098 2422308049 1084078454 441313170 3112729992 3957806427 2818635473 463937342 3986522321 897869537 3836917464 1935819841 287824025 803715013 1182482175 1432922522 2503990431 2293261970 744525033 2353078732 2053864018 2469162269 2155116262 900787354 3725834946 205788284 2582278834 1610730206 3695118551 1994027593 1045991578 2904468693 4224297801 3145760858 3435847941 4057329654 403019924 1525368586 3441968826 605909912 1966577178 3226880659 1402224604 733112497 655284102 1943726587 4108958985 2360828706 2046262978 579486162 3683920764 2968174847 3739170942 2237915021 527654791 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.02	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      154 |      100 |       90      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      408 |      250 |      100      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      753 |      475 |      111      4 |        0 |        0
0.08/0.11	c  0.1s |       4 |     1218 |      813 |      123      7 |        0 |        0
0.08/0.17	c  0.2s |       5 |     1939 |     1320 |      136     12 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3035 |     2081 |      165     18 |        0 |        0
0.39/0.40	c  0.4s |       7 |     4643 |     3223 |      182     27 |        0 |        0
0.58/0.61	c  0.6s |       8 |     7260 |     4936 |      201     40 |        0 |        0
0.89/0.93	c  0.9s |       9 |    10946 |     7506 |      222     57 |        0 |        0
1.38/1.42	c  1.4s |      10 |    16419 |    11361 |      245     81 |        1 |        0
1.89/1.99	c  2.0s |      11 |    24771 |    17144 |      270    113 |        3 |        0
2.69/2.77	c  2.8s |      12 |    37327 |    25819 |      297    157 |        7 |        0
3.89/3.96	c  3.9s |      13 |    55327 |    38832 |      327    224 |        8 |        0
5.69/5.75	c  5.7s |      14 |    82169 |    58352 |      360    305 |       32 |        2
5.69/5.76	c  5.7s |      14 |    82310 |    58442 |      360    305 |       33 |        3
5.69/5.76	c #cpu_time = 5.732s
5.69/5.76	c #wall_clock_time = 5.747s
5.69/5.76	c #decision = 82310
5.69/5.76	c #random_decision = 186
5.69/5.76	c #conflict = 58442
5.69/5.76	c #restart = 14
5.69/5.76	s SATISFIABLE
5.69/5.76	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10
5.69/5.76	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
5.69/5.76	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
5.69/5.76	v x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
5.69/5.76	v -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50
5.69/5.76	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
5.69/5.76	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
5.69/5.76	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
5.69/5.76	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90
5.69/5.76	v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100
5.69/5.76	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
5.69/5.76	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
5.69/5.76	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130
5.69/5.76	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
5.69/5.76	v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
5.69/5.76	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
5.69/5.76	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169
5.69/5.76	c total CPU time = 5.750s
5.69/5.76	c total wall clock time = 5.765s

Verifier Data 

OK	0

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

pid=31417
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: 0.54 0.21 0.12 3/179 31420
/proc/meminfo: memFree=29647148/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 2692 0 0 0 0 0 0 0 20 0 4 0 22653887 738652160 3052 33554432000 4194304 16246674 140735545033168 140735545032592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 181103 3060 441 2943 0 177997 0
[pid=31420/tid=31421] ppid=31417 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 756477952 3120 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 761720832 3140 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 765915136 3156 33554432000 4194304 16246674 140735545033168 140101833190576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 0.54 0.21 0.12 3/179 31420
/proc/meminfo: memFree=29647148/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 19123 0 0 0 6 2 0 0 20 0 4 0 22653887 1247350784 19472 33554432000 4194304 16246674 140735545033168 140735545032592 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 304529 19480 722 2943 0 301423 0
[pid=31420/tid=31421] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 19485 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 19491 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 19494 33554432000 4194304 16246674 140735545033168 140101833190576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200542 s]
/proc/loadavg: 0.54 0.21 0.12 3/179 31420
/proc/meminfo: memFree=29647148/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 34406 0 0 0 14 5 0 0 20 0 4 0 22653887 1247350784 34755 33554432000 4194304 16246674 140735545033168 140735545032592 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 304529 34765 723 2943 0 301423 0
[pid=31420/tid=31421] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 34768 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 34775 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 34781 33554432000 4194304 16246674 140735545033168 140101833190576 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.300492 s]
/proc/loadavg: 0.54 0.21 0.12 3/179 31420
/proc/meminfo: memFree=29647148/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 48699 0 0 0 22 7 0 0 20 0 4 0 22653887 1247350784 49048 33554432000 4194304 16246674 140735545033168 140735545032592 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 304529 49056 723 2943 0 301423 0
[pid=31420/tid=31421] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 49059 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 49062 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 49065 33554432000 4194304 16246674 140735545033168 140101833190576 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.700363 s]
/proc/loadavg: 0.54 0.21 0.12 3/179 31420
/proc/meminfo: memFree=29647148/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 106914 0 0 0 54 15 0 0 20 0 4 0 22653887 1247350784 107264 33554432000 4194304 16246674 140735545033168 140735545032592 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 304529 107274 724 2943 0 301423 0
[pid=31420/tid=31421] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 107278 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 107284 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 107291 33554432000 4194304 16246674 140735545033168 140101833190576 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.5003 s]
/proc/loadavg: 0.54 0.21 0.12 3/183 31424
/proc/meminfo: memFree=28971740/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 229187 0 0 0 115 34 0 0 20 0 4 0 22653887 1247350784 229536 33554432000 4194304 16246674 140735545033168 140735545015040 6045692 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 304529 229539 724 2943 0 301423 0
[pid=31420/tid=31421] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 229544 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 229549 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1247350784 229552 33554432000 4194304 16246674 140735545033168 140101833190576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10032 s]
/proc/loadavg: 0.58 0.22 0.13 3/183 31473
/proc/meminfo: memFree=29668736/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1305156 CPUtime=3.09 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 267270 0 0 0 270 39 0 0 20 0 4 0 22653887 1336479744 267599 33554432000 4194304 16246674 140735545033168 140735545016168 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 326289 267599 791 2943 0 323183 0
[pid=31420/tid=31421] ppid=31417 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1336479744 267599 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1336479744 267599 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1336479744 267599 33554432000 4194304 16246674 140735545033168 140101833190576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

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

[startup+3.27504 s]
/proc/loadavg: 0.58 0.22 0.13 3/183 31473
/proc/meminfo: memFree=29668736/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1305156 CPUtime=3.26 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 267271 0 0 0 287 39 0 0 20 0 4 0 22653887 1336479744 267600 33554432000 4194304 16246674 140735545033168 140735545016168 5522921 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 326289 267600 791 2943 0 323183 0
[pid=31420/tid=31421] ppid=31417 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1336479744 267600 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1336479744 267600 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1336479744 267600 33554432000 4194304 16246674 140735545033168 140101833190576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 1305156

[startup+4.80037 s]
/proc/loadavg: 0.58 0.22 0.13 4/183 31473
/proc/meminfo: memFree=28661476/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1306180 CPUtime=4.79 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 267418 0 0 0 440 39 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140735545016168 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 326545 267747 791 2943 0 323439 0
[pid=31420/tid=31421] ppid=31417 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140101833190576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.60741 s]
/proc/loadavg: 0.58 0.22 0.13 4/183 31473
/proc/meminfo: memFree=28574692/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=1306180 CPUtime=5.6 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202496 267418 0 0 0 521 39 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140735545016168 5673957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 326545 267747 791 2943 0 323439 0
[pid=31420/tid=31421] ppid=31417 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31421/stat : 31421 (toysat) S 31417 31420 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140101922303216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31420/tid=31422] ppid=31417 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31422/stat : 31422 (toysat) S 31417 31420 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140101911813360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31420/tid=31423] ppid=31417 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31420/task/31423/stat : 31423 (toysat) S 31417 31420 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653887 1337528320 267747 33554432000 4194304 16246674 140735545033168 140101833190576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 1306180

[startup+5.80038 s]
/proc/loadavg: 0.58 0.22 0.13 4/183 31473
/proc/meminfo: memFree=28574692/32872528 swapFree=1200228/1314692
[pid=31420] ppid=31417 vsize=0 CPUtime=5.79 cores=1,3,5,7
/proc/31420/stat : 31420 (toysat) R 31417 31420 31224 0 -1 4202500 267425 0 0 0 537 42 0 0 20 0 1 0 22653887 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31420/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 5.82706
CPU time (s): 5.82511
CPU user time (s): 5.37218
CPU system time (s): 0.452931
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.37218
system time used= 0.452931
maximum resident set size= 1071008
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= 21
involuntary context switches= 8

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

The end

Launcher Data 

Begin job on node131 at 2016-06-18 01:27:54
IDJOB=4098633
IDBENCH=1218
IDSOLVER=2542
FILE ID=node131/4098633-1466206073
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= eda0156fba6759200dec5fbbafb5b94e
RANDOM SEED=431157225

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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		: 2666.752
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.57
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.752
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:        29647784 kB
Buffers:           36256 kB
Cached:            96120 kB
SwapCached:         1500 kB
Active:          1148932 kB
Inactive:          55416 kB
Active(anon):    1071620 kB
Inactive(anon):     2640 kB
Active(file):      77312 kB
Inactive(file):    52776 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:             33228 kB
Writeback:             0 kB
AnonPages:       2386084 kB
Mapped:            10296 kB
Shmem:                 0 kB
Slab:             570592 kB
SReclaimable:      13728 kB
SUnreclaim:       556864 kB
KernelStack:        1448 kB
PageTables:         8676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2530136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71676 MiB
End job on node131 at 2016-06-18 01:28:00