Trace number 4120738

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 7.16991 7.17285

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM0186bcb88f1926b56099e1740253c398
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.367943
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables87
Total number of constraints232
Number of constraints which are clauses232
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:17+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-4120738-1467312257.opb"]
0.00/0.01	c use --random-gen="2597895029 2542812518 952475622 3254042479 1769421044 906917732 163535432 2420549683 2968132241 3759423205 2247660639 953202455 4191832514 1888216895 2114462863 4071366897 2543626169 1920341670 2668674566 3365005986 2114640443 2517286141 2360616658 2402403837 87916328 2289969883 4136708273 2805414182 2172343677 1102320750 3139364168 248267293 1108359034 3946843130 1786453403 1472685611 1390347948 4108811346 3500019498 56499013 3862813574 1643353074 105238537 484050246 1308987299 448972408 3944647897 4235750001 2201347950 976891890 3354993227 3831074564 3202832822 791954328 157037346 3730273831 4023757614 1315010549 499083921 1943736073 924988981 353679933 1322780425 4241205952 2276816940 612346747 3892567898 2435887012 1894129632 3296674440 2453679704 3252958485 2920374342 1314147006 2605624710 1669095124 4249902942 2820380916 4008811493 3693623852 3681164630 3832186995 728075804 2980989688 674504829 2147909694 1387146713 2195994338 951183185 2719243179 2868220860 3940611100 2236077907 4208428032 2707328563 2152603076 1566732082 391687180 2983876125 729189128 1479305789 2805499115 4220944154 714470230 1499838642 1773954819 174832027 687391923 545115707 2703168939 948246521 3575581164 354809093 2939195253 1263067583 2385770018 3106835916 3708487851 1815987688 2356876199 3866028693 1591243289 3615427130 4136570707 3932714403 2556544851 3499048975 601078584 685978963 145933022 2555076826 2278827169 3839270541 825234171 3807634929 2471586354 2448022291 918223790 1154821778 1322116942 3908967021 1949381441 873674044 348534734 210970924 93507424 2142402344 3754815009 3529975175 442722261 3720334365 3828442174 3435720487 3387253443 4084046719 2730131466 3187335939 1351438544 174167571 2235097747 3521488528 414472670 2375273696 2609180681 2656897845 2664178467 3346470563 490272072 3389972054 3558648260 1653931240 2730039152 2442386250 1711344277 685904277 2188298746 4148895083 1076935094 1790778764 2757758547 1952037910 1467745518 3681533002 3072049052 1771303070 2282508093 3114781235 1652799812 3766451821 2041941319 836068421 1793338723 3890588636 1772702782 68890869 2362653550 2347489427 1294526999 555186316 1514426802 313723138 373560047 4189092444 1759697980 2705972201 3807576004 142190558 2706842341 1735942952 2836278146 2946058417 2149120931 4145195569 552283566 2045059391 280382098 2433540585 4113622399 1897406123 2228994015 4094447485 836592151 1611291428 2697408231 845945443 1817336930 2714524621 1647607868 2075299957 716221940 266988642 1824933166 612721481 4259004787 2233359581 2385142337 868360486 1592145217 2816879109 3644814062 1860086535 1412878381 1959970033 1556885538 1397116933 2772787388 3677118895 1228595775 1394584910 1754359034 3644574285 3206510212 3152849964 2616025051 750270906 959727337 255 362436" option to reproduce the execution
0.00/0.01	c #vars 87
0.00/0.01	c #constraints 232
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 |      106      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      195 |      100 |      106      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      421 |      250 |      117      2 |        0 |        0
0.00/0.05	c  0.0s |       3 |      742 |      475 |      129      5 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1162 |      813 |      142      9 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1922 |     1320 |      157     14 |        0 |        0
0.09/0.18	c  0.2s |       6 |     3046 |     2081 |      191     22 |        0 |        0
0.18/0.27	c  0.3s |       7 |     4547 |     3223 |      211     33 |        0 |        0
0.29/0.40	c  0.4s |       8 |     6951 |     4936 |      233     49 |        0 |        0
0.29/0.57	c  0.6s |       9 |    10986 |     7506 |      257     70 |        0 |        0
0.79/0.86	c  0.8s |      10 |    16865 |    11361 |      283     99 |        0 |        0
1.09/1.19	c  1.2s |      11 |    26214 |    17144 |      312    138 |        0 |        0
1.59/1.60	c  1.6s |      12 |    39043 |    25819 |      344    193 |        0 |        0
2.19/2.26	c  2.2s |      13 |    56222 |    38832 |      379    267 |        0 |        0
3.19/3.24	c  3.2s |      14 |    82567 |    58352 |      417    368 |        0 |        0
4.70/4.77	c  4.8s |      15 |   120689 |    87632 |      459    506 |        0 |        0
6.69/6.77	c  6.8s |      15 |   172394 |   126232 |      459    671 |        2 |        8
6.99/7.03	c  7.0s |      16 |   179636 |   131552 |      505    692 |        4 |       16
7.09/7.11	c  7.1s |      16 |   181841 |   133386 |      505    697 |       18 |       56
7.09/7.11	c #cpu_time = 7.097s
7.09/7.11	c #wall_clock_time = 7.097s
7.09/7.11	c #decision = 181841
7.09/7.11	c #random_decision = 803
7.09/7.11	c #conflict = 133386
7.09/7.11	c #restart = 16
7.09/7.11	s UNSATISFIABLE
7.09/7.11	c total CPU time = 7.113s
7.09/7.11	c total wall clock time = 7.114s

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

pid=19078
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.27 2.22 2.13 3/178 19081
/proc/meminfo: memFree=27577312/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=804420 CPUtime=0 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 3017 0 0 0 0 0 0 0 20 0 4 0 12186763 823726080 2868 33554432000 4194304 16246674 140734831424688 140734831424112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 201873 2879 442 2943 0 198767 0
[pid=19081/tid=19082] ppid=19078 vsize=822852 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 842600448 2939 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=826948 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 846794752 2956 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=831044 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12186763 850989056 2973 33554432000 4194304 16246674 140734831424688 140376533879984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.27 2.22 2.13 3/178 19081
/proc/meminfo: memFree=27577312/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 25853 0 0 0 5 4 0 0 20 0 4 0 12186763 1247350784 25693 33554432000 4194304 16246674 140734831424688 140734831406592 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 304529 25707 708 2943 0 301423 0
[pid=19081/tid=19082] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 25716 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 25722 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 25728 33554432000 4194304 16246674 140734831424688 140376533879984 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.200534 s]
/proc/loadavg: 2.27 2.22 2.13 3/178 19081
/proc/meminfo: memFree=27577312/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 49154 0 0 0 12 6 0 0 20 0 4 0 12186763 1247350784 48993 33554432000 4194304 16246674 140734831424688 140734831406592 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 304529 49007 708 2943 0 301423 0
[pid=19081/tid=19082] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 49014 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 49021 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 49026 33554432000 4194304 16246674 140734831424688 140376533879984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300481 s]
/proc/loadavg: 2.27 2.22 2.13 3/178 19081
/proc/meminfo: memFree=27577312/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 72271 0 0 0 20 9 0 0 20 0 4 0 12186763 1247350784 72111 33554432000 4194304 16246674 140734831424688 140734831406592 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 304529 72123 708 2943 0 301423 0
[pid=19081/tid=19082] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 72129 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 72137 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 72143 33554432000 4194304 16246674 140734831424688 140376533879984 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.700419 s]
/proc/loadavg: 2.27 2.22 2.13 3/178 19081
/proc/meminfo: memFree=27577312/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 162931 0 0 0 49 20 0 0 20 0 4 0 12186763 1247350784 162771 33554432000 4194304 16246674 140734831424688 140734831406592 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 304529 162783 709 2943 0 301423 0
[pid=19081/tid=19082] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 162790 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 162797 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 162805 33554432000 4194304 16246674 140734831424688 140376533879984 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.50049 s]
/proc/loadavg: 2.27 2.22 2.13 3/182 19085
/proc/meminfo: memFree=26597068/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 245519 0 0 0 119 30 0 0 20 0 4 0 12186763 1247350784 245338 33554432000 4194304 16246674 140734831424688 140734831424000 5822989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 304529 245338 785 2943 0 301423 0
[pid=19081/tid=19082] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 245338 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 245338 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12186763 1247350784 245338 33554432000 4194304 16246674 140734831424688 140376533879984 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.10041 s]
/proc/loadavg: 2.25 2.22 2.13 4/182 19085
/proc/meminfo: memFree=26509144/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 267385 0 0 0 276 33 0 0 20 0 4 0 12186763 1337528320 267204 33554432000 4194304 16246674 140734831424688 140734831406592 5663615 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 326545 267204 785 2943 0 323439 0
[pid=19081/tid=19082] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267204 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267204 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267204 33554432000 4194304 16246674 140734831424688 140376533879984 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) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.25 2.22 2.13 4/183 19086
/proc/meminfo: memFree=26509196/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 267419 0 0 0 596 33 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140734831406592 13962580 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 326545 267238 785 2943 0 323439 0
[pid=19081/tid=19082] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376533879984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

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

[startup+6.60042 s]
/proc/loadavg: 2.25 2.22 2.13 4/183 19086
/proc/meminfo: memFree=26509196/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1306180 CPUtime=6.59 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 267419 0 0 0 626 33 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140734831406592 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 326545 267238 785 2943 0 323439 0
[pid=19081/tid=19082] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376533879984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 1306180

[startup+7.00042 s]
/proc/loadavg: 2.31 2.23 2.14 4/183 19086
/proc/meminfo: memFree=26509196/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1306180 CPUtime=6.99 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 267419 0 0 0 666 33 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140734831406592 5808520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 326545 267238 785 2943 0 323439 0
[pid=19081/tid=19082] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376533879984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 1306180

[startup+7.10042 s]
/proc/loadavg: 2.31 2.23 2.14 4/183 19086
/proc/meminfo: memFree=26509196/32872528 swapFree=1427768/1542232
[pid=19081] ppid=19078 vsize=1306180 CPUtime=7.09 cores=1,3,5,7
/proc/19081/stat : 19081 (toysat) R 19078 19081 15544 0 -1 4202496 267419 0 0 0 676 33 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140734831406592 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19081/statm: 326545 267238 785 2943 0 323439 0
[pid=19081/tid=19082] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19082/stat : 19082 (toysat) S 19078 19081 15544 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376554843376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19081/tid=19083] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19083/stat : 19083 (toysat) S 19078 19081 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376544353520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19081/tid=19084] ppid=19078 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19081/task/19084/stat : 19084 (toysat) S 19078 19081 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12186763 1337528320 267238 33554432000 4194304 16246674 140734831424688 140376533879984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 7.17285
CPU time (s): 7.16991
CPU user time (s): 6.77597
CPU system time (s): 0.39394
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.77597
system time used= 0.39394
maximum resident set size= 1068968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267424
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= 18
involuntary context switches= 9

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

The end

Launcher Data 

Begin job on node116 at 2016-06-30 20:44:17
IDJOB=4120738
IDBENCH=110089
IDSOLVER=2542
FILE ID=node116/4120738-1467312257
RUNJOBID= node116-1467310476-18421
PBS_JOBID= 20005287
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-n58-d3-i1-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-4120738-1467312257/watcher-4120738-1467312257 -o /tmp/evaluation-result-4120738-1467312257/solver-4120738-1467312257 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120738-1467312257.opb

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

MD5SUM BENCH= 0186bcb88f1926b56099e1740253c398
RANDOM SEED=1719458921

node116.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.426
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	: 5332.85
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.426
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.426
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.426
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		: 2666.426
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.426
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.426
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.54
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.426
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:        27577592 kB
Buffers:          203744 kB
Cached:          1709596 kB
SwapCached:            0 kB
Active:          1422724 kB
Inactive:        1574020 kB
Active(anon):    1085984 kB
Inactive(anon):        0 kB
Active(file):     336740 kB
Inactive(file):  1574020 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16632 kB
Writeback:             0 kB
AnonPages:       2633780 kB
Mapped:            17116 kB
Shmem:               204 kB
Slab:             614492 kB
SReclaimable:      58084 kB
SUnreclaim:       556408 kB
KernelStack:        1520 kB
PageTables:         9204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2766896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    606208 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 node116 at 2016-06-30 20:44:25