Trace number 4089106

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 13.9359 13.941

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid6x11.opb
MD5SUMcee1cd9faebae1483df960990c0d2bd7
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.002999
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables66
Total number of constraints133
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint66
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
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-15T22:09:50+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-4089106-1466021390.opb"]
0.00/0.01	c use --random-gen="1700223693 1826905183 3796562616 495674813 469068749 1471447475 360861274 115124806 4057862813 2985191782 3164461881 1287856905 1126968180 4242892117 762620175 3899649110 626086831 938916613 177523432 1725859127 3218856543 54783972 3844791759 3175659142 824365254 2472340176 16746124 3589697595 1947063184 1602143256 2068372413 2861437151 1766627659 2527003421 1537944538 4264853888 1786698066 1434724167 1406948803 3394903001 3668281383 3834968040 3622694450 1962164701 1630181069 4218977196 1409137039 1112844038 3167815286 2234234734 4253292614 3155613284 3580209302 2565757796 2539494177 1523993101 1398094936 612370211 2190732889 630890345 2343693843 944393740 2864724162 1073856883 3640396522 574292955 3915305089 3804852474 1127338295 1210944005 1641665156 1202723002 2991715706 2560577288 1900023570 4138318530 895887512 4254997858 3555006869 636548211 2553589551 1201871843 2991524538 127277239 4082116761 400405310 1822070158 635681339 3459238034 3519902503 4029160074 4011979554 3782369954 3150004951 2995088813 2800041616 2589509441 2560772691 1036323218 1024783187 1408680059 601869465 483355907 1928958905 2940692149 2694396335 3184401811 3725150667 3816385647 109663848 2396286640 909111741 3578185244 2071230538 898827381 573160574 2548763347 1075340743 3482293653 1627169300 4266012968 413852834 2631011157 4263165415 667153983 3627686466 2900533456 2951298650 1934455885 407050287 59533650 4163380526 866781989 907528773 1316789105 1761119280 629304998 579297299 809482365 3818042625 3811218479 906520075 4168512453 1584255015 1905524318 2297438296 1769173252 4239506654 2212081900 22578803 3674656551 1719247906 1197552704 1892176004 809062453 3079564297 3258728531 1940500088 629798308 606188209 3906480169 1657641250 3204910621 1842834850 4070441541 3003915008 2974454775 2276237230 658377820 3071157326 1175247188 729785171 3078656681 2342812658 2323940774 573146502 2721176987 2308595851 2961131457 2062348147 1982908690 607832856 1760198025 804878776 2924790657 3910742095 3809203802 861531040 4012452813 2466192385 1431494697 172045268 2428290808 1219381270 769588060 4202900231 1955402634 4285060108 2955462160 1083102912 3169953642 1293684653 788826475 3522089711 3395314531 4273320900 453507118 3286308010 1282837556 20982878 2763202251 2999478060 2613409077 1762554068 2481319751 296278299 2721576760 2589940030 912283856 3153886531 3402827239 637291769 398914522 3623621489 2248610159 3709241121 1718606202 1694000988 2435876611 412048211 3778513608 4149904418 2660012133 983018419 2545449501 3581197107 600875134 4187845491 349831784 1518768660 1710810525 2893297608 1050341167 2491862450 1809555752 2289758022 3928188246 512155709 2097953333 2387046740 2764145832 1404608417 3298789836 3738458343 4231562308 1980407762 255 362436" option to reproduce the execution
0.00/0.01	c #vars 66
0.00/0.01	c #constraints 133
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 |       66      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      133 |      100 |       66      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      310 |      250 |       73      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      556 |      475 |       81      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |      922 |      813 |       90     13 |        0 |        0
0.09/0.13	c  0.1s |       5 |     1466 |     1320 |      100     21 |        0 |        0
0.19/0.20	c  0.2s |       6 |     2265 |     2081 |      123     32 |        0 |        0
0.28/0.31	c  0.3s |       7 |     3485 |     3223 |      136     48 |        0 |        0
0.39/0.46	c  0.5s |       8 |     5249 |     4936 |      150     69 |        0 |        0
0.69/0.70	c  0.7s |       9 |     7934 |     7506 |      165     98 |        0 |        0
0.98/1.01	c  1.0s |      10 |    11914 |    11361 |      182    139 |        0 |        0
1.28/1.37	c  1.4s |      11 |    17970 |    17144 |      201    195 |        0 |        0
1.88/1.92	c  1.9s |      12 |    27062 |    25819 |      222    272 |        0 |        0
2.68/2.71	c  2.7s |      13 |    40810 |    38832 |      245    379 |        0 |        0
3.78/3.88	c  3.9s |      14 |    61208 |    58352 |      270    525 |        0 |        0
5.59/5.64	c  5.6s |      15 |    91794 |    87632 |      297    726 |        0 |        0
7.59/7.64	c  7.6s |      15 |   127954 |   121832 |      297    942 |        0 |        0
8.19/8.21	c  8.2s |      16 |   137987 |   131552 |      327   1002 |        0 |        0
10.19/10.21	c 10.2s |      16 |   174281 |   166152 |      327   1201 |        0 |        0
11.89/11.94	c 11.9s |      17 |   206981 |   197432 |      360   1377 |        5 |       16
13.79/13.87	c 13.9s |      17 |   246104 |   234657 |      360   1563 |       54 |      112
13.79/13.87	c #cpu_time = 13.824s
13.79/13.87	c #wall_clock_time = 13.860s
13.79/13.87	c #decision = 246104
13.79/13.87	c #random_decision = 1069
13.79/13.87	c #conflict = 234657
13.79/13.87	c #restart = 17
13.79/13.87	s UNSATISFIABLE
13.79/13.87	c total CPU time = 13.838s
13.79/13.87	c total wall clock time = 13.875s

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

pid=9981
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.43 2.29 2.13 4/181 9984
/proc/meminfo: memFree=29315952/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=484796 CPUtime=0 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 1766 0 0 0 0 0 0 0 20 0 4 0 4185449 496431104 2127 33554432000 4194304 16246674 140736434498656 140736434498080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 121967 2135 441 2943 0 118861 0
[pid=9984/tid=9985] ppid=9981 vsize=502204 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 514256896 2194 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=506300 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 518451200 2211 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=510396 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185450 522645504 2227 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.43 2.29 2.13 4/181 9984
/proc/meminfo: memFree=29315952/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 27165 0 0 0 5 4 0 0 20 0 4 0 4185449 1247350784 27514 33554432000 4194304 16246674 140736434498656 140736434498080 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 304529 27524 710 2943 0 301423 0
[pid=9984/tid=9985] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 27530 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 27541 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 27546 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20048 s]
/proc/loadavg: 2.43 2.29 2.13 4/181 9984
/proc/meminfo: memFree=29315952/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 53515 0 0 0 11 8 0 0 20 0 4 0 4185449 1247350784 53864 33554432000 4194304 16246674 140736434498656 140736434481656 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 304529 53878 710 2943 0 301423 0
[pid=9984/tid=9985] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 53885 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 53893 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 53898 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300472 s]
/proc/loadavg: 2.43 2.29 2.13 4/181 9984
/proc/meminfo: memFree=29315952/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 79880 0 0 0 17 11 0 0 20 0 4 0 4185449 1247350784 80229 33554432000 4194304 16246674 140736434498656 140736434481656 5515837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 304529 80240 710 2943 0 301423 0
[pid=9984/tid=9985] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 80249 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 80255 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 80264 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700364 s]
/proc/loadavg: 2.43 2.29 2.13 4/181 9984
/proc/meminfo: memFree=29315952/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 184764 0 0 0 44 25 0 0 20 0 4 0 4185449 1247350784 185113 33554432000 4194304 16246674 140736434498656 140736434481656 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 304529 185126 711 2943 0 301423 0
[pid=9984/tid=9985] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 185132 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 185141 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 185148 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.43 2.29 2.13 4/185 9988
/proc/meminfo: memFree=28334032/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 245473 0 0 0 114 34 0 0 20 0 4 0 4185449 1247350784 245802 33554432000 4194304 16246674 140736434498656 140736434481656 5830058 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 304529 245802 787 2943 0 301423 0
[pid=9984/tid=9985] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 245802 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 245802 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185450 1247350784 245802 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10046 s]
/proc/loadavg: 2.43 2.29 2.13 4/185 10037
/proc/meminfo: memFree=28809596/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 267403 0 0 0 271 37 0 0 20 0 4 0 4185449 1337528320 267732 33554432000 4194304 16246674 140736434498656 140736434481656 5724624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 326545 267732 787 2943 0 323439 0
[pid=9984/tid=9985] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267732 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267732 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267732 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30046 s]
/proc/loadavg: 2.39 2.28 2.13 3/185 10037
/proc/meminfo: memFree=28256676/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 267406 0 0 0 591 38 0 0 20 0 4 0 4185449 1337528320 267735 33554432000 4194304 16246674 140736434498656 140736434481656 12874961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 326545 267735 789 2943 0 323439 0
[pid=9984/tid=9985] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267735 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267735 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267735 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.36 2.28 2.13 3/186 10040
/proc/meminfo: memFree=28255968/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 267432 0 0 0 1231 38 0 0 20 0 4 0 4185449 1337528320 267761 33554432000 4194304 16246674 140736434498656 140736434481656 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 326545 267761 789 2943 0 323439 0
[pid=9984/tid=9985] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

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

[startup+12.8004 s]
/proc/loadavg: 2.36 2.28 2.13 3/186 10040
/proc/meminfo: memFree=28255968/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1306180 CPUtime=12.79 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 267432 0 0 0 1241 38 0 0 20 0 4 0 4185449 1337528320 267761 33554432000 4194304 16246674 140736434498656 140736434481656 6843408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 326545 267761 789 2943 0 323439 0
[pid=9984/tid=9985] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1306180

[startup+13.6004 s]
/proc/loadavg: 2.36 2.28 2.13 3/186 10040
/proc/meminfo: memFree=28256084/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1306180 CPUtime=13.59 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 267432 0 0 0 1321 38 0 0 20 0 4 0 4185449 1337528320 267761 33554432000 4194304 16246674 140736434498656 140736434481656 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 326545 267761 789 2943 0 323439 0
[pid=9984/tid=9985] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.59
Current children cumulated vsize (KiB) 1306180

[startup+13.8004 s]
/proc/loadavg: 2.36 2.28 2.13 3/186 10040
/proc/meminfo: memFree=28256084/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=1306180 CPUtime=13.79 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202496 267432 0 0 0 1341 38 0 0 20 0 4 0 4185449 1337528320 267761 33554432000 4194304 16246674 140736434498656 140736434481656 5516137 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 326545 267761 789 2943 0 323439 0
[pid=9984/tid=9985] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9985/stat : 9985 (toysat) S 9981 9984 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731884743920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9984/tid=9986] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9986/stat : 9986 (toysat) S 9981 9984 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731874254064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9984/tid=9987] ppid=9981 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9984/task/9987/stat : 9987 (toysat) S 9981 9984 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185450 1337528320 267761 33554432000 4194304 16246674 140736434498656 140731863780528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.79
Current children cumulated vsize (KiB) 1306180

[startup+13.9004 s]
/proc/loadavg: 2.36 2.28 2.13 3/186 10040
/proc/meminfo: memFree=28256084/32872528 swapFree=1481856/1661728
[pid=9984] ppid=9981 vsize=0 CPUtime=13.89 cores=0,2,4,6
/proc/9984/stat : 9984 (toysat) R 9981 9984 6232 0 -1 4202500 267437 0 0 0 1349 40 0 0 20 0 1 0 4185449 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9984/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 13.941
CPU time (s): 13.9359
CPU user time (s): 13.4919
CPU system time (s): 0.443932
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4919
system time used= 0.443932
maximum resident set size= 1071056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267437
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 56

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047992 second user time and 0.06299 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-15 22:09:50
IDJOB=4089106
IDBENCH=107359
IDSOLVER=2542
FILE ID=node134/4089106-1466021390
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x11.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089106-1466021390/watcher-4089106-1466021390 -o /tmp/evaluation-result-4089106-1466021390/solver-4089106-1466021390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089106-1466021390.opb

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

MD5SUM BENCH= cee1cd9faebae1483df960990c0d2bd7
RANDOM SEED=646232012

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        29316332 kB
Buffers:           14976 kB
Cached:            77356 kB
SwapCached:        17304 kB
Active:          1149472 kB
Inactive:          44848 kB
Active(anon):    1086684 kB
Inactive(anon):    17948 kB
Active(file):      62788 kB
Inactive(file):    26900 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083696 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       2823020 kB
Mapped:            10892 kB
Shmem:                 0 kB
Slab:             566172 kB
SReclaimable:      10348 kB
SUnreclaim:       555824 kB
KernelStack:        1536 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2889520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1331200 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= 71704 MiB
End job on node134 at 2016-06-15 22:10:04