Trace number 4078682

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 4.89525 4.9048

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
MD5SUMc60ccfdf4fb13f80717cfb4db13af995
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark2.97255
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
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 1221
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-06T15:17:26+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-4078682-1465219046.opb"]
0.00/0.01	c use --random-gen="43939302 4110206052 2582219488 1705067316 49604561 3114587526 3409805698 1245018 3857936222 3624699179 4096212953 2747946147 737720918 1580069104 1491215509 751469390 1601189030 2662630635 1023526034 1006484606 1853402768 397897541 703263464 2907080339 3044737596 2157256210 202367783 1635053540 1096818578 2821148884 3000852439 4261029945 4122424691 3960098660 2396377298 1624470045 2020967172 1695471598 1971665030 1495795922 199875125 2311722168 1755060005 3065479851 1136893271 4199266872 3286456646 597105556 3795042370 725693136 618772732 2646126934 3087267776 756635059 886030162 3478479016 1444208695 3689721020 1360239692 2525331171 3592974444 1128442812 871170316 291919158 1894693970 1680167976 2600814183 5121183 1056804590 3041167765 2280366495 1901457581 2605945872 2695989856 2263086753 2011100728 2638779753 2721812115 2918656670 3730780152 3399999046 3983846816 2967725454 3513725583 1479851546 3949794349 2152629605 1079481114 3457732963 3093596815 2904824797 3155821284 1272940049 3453425751 3967595841 1471725149 3773352630 4000467446 2117032969 2820524004 2182479674 569096703 3623636971 2879555404 2981703378 1256559848 1323096125 1957708747 1460030631 1116767625 1295198872 1447627686 1247388753 520770387 1000729197 4023403559 2577818681 1568819335 499848521 3288334931 1274168346 3887130988 1149466805 169840503 1536184624 770511955 70679295 1114225800 247402423 672295764 583646811 2627105907 719903038 1250741216 3948134133 2578735625 1083710270 718119069 3557295160 2093817742 2590168933 2047130189 2186515168 223133142 3209535549 3448937186 2306184094 472318997 1059336701 3111777723 1430383577 1671224998 473527726 1287829592 2300827982 1761911606 191756868 2482138074 1704916400 3196832067 2866787892 2908929084 691341201 702906275 1192352806 4283472052 1562172476 2223148163 2975011864 2918453861 59309082 978791751 3173782781 1516592989 2477561569 3774347738 1877894308 2611672074 379753344 3608394343 3315199819 394395324 306898653 1626390312 3962982055 404476510 3077048672 2669576031 2044780457 1254574227 2817614521 4162878838 3641798599 2181788449 4060300266 419727308 3721529681 1889947545 161192236 1590893687 443794405 2250326556 3064636931 681815507 463848154 4268509969 3995557206 3077358165 901706594 308929394 3022653326 2783160697 3386055217 3046385537 3851200824 3162194615 3011796149 1776266630 1414350433 2311363300 788860496 146962638 1804691258 3589375132 2077629859 2775312602 964561345 866600918 783230487 1931850412 2520748327 3843912695 21780309 3771331627 1382897904 2509637438 2763797696 844595661 1863557009 680868405 2680791004 1881502619 1375661830 2384550034 3321005379 1476630017 3109294171 3884473961 2006084934 4028410684 3284440349 1953800557 3752881305 2367624120 617624366 12437419 255 362436" option to reproduce the execution
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      182 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      433 |      250 |      100      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      854 |      475 |      111      4 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1380 |      813 |      123      7 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2162 |     1320 |      136     12 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3391 |     2081 |      165     19 |        0 |        0
0.38/0.40	c  0.4s |       7 |     5129 |     3223 |      182     27 |        1 |        0
0.59/0.61	c  0.6s |       8 |     7531 |     4936 |      201     37 |        2 |        0
0.88/0.92	c  0.9s |       9 |    11250 |     7506 |      222     55 |        2 |        0
1.39/1.40	c  1.4s |      10 |    16908 |    11361 |      245     79 |        3 |        0
1.89/1.98	c  2.0s |      11 |    25273 |    17144 |      270    112 |        5 |        1
2.69/2.75	c  2.7s |      12 |    37134 |    25819 |      297    157 |        7 |        1
3.89/3.92	c  3.9s |      13 |    55076 |    38832 |      327    216 |       14 |        1
4.79/4.84	c  4.8s |      13 |    70033 |    49308 |      327    248 |      159 |       32
4.79/4.84	c #cpu_time = 4.812s
4.79/4.84	c #wall_clock_time = 4.825s
4.79/4.84	c #decision = 70033
4.79/4.84	c #random_decision = 185
4.79/4.84	c #conflict = 49308
4.79/4.84	c #restart = 13
4.79/4.84	s UNSATISFIABLE
4.79/4.84	c total CPU time = 4.831s
4.79/4.84	c total wall clock time = 4.844s

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

pid=26700
running on 8 cores: 0-3,8-11

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.14 2.12 2.10 3/261 26703
/proc/meminfo: memFree=30992008/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1070660 CPUtime=0 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 4058 0 0 0 0 0 0 0 20 0 4 0 103746579 1096355840 4930 33554432000 4194304 16246674 140734254585360 140734254584784 15002730 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 268433 4939 442 2943 0 265327 0
[pid=26703/tid=26704] ppid=26700 vsize=1092164 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1118375936 5013 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1096260 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1122570240 5027 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1101380 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1127813120 5047 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.14 2.12 2.10 3/261 26703
/proc/meminfo: memFree=30992008/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 18179 0 0 0 6 3 0 0 20 0 4 0 103746579 1247350784 19039 33554432000 4194304 16246674 140734254585360 140734254584784 5667714 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 304529 19042 731 2943 0 301423 0
[pid=26703/tid=26704] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 19045 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 19049 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 19052 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20045 s]
/proc/loadavg: 2.14 2.12 2.10 3/261 26703
/proc/meminfo: memFree=30992008/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 32741 0 0 0 14 5 0 0 20 0 4 0 103746579 1247350784 33602 33554432000 4194304 16246674 140734254585360 140734254584784 5545885 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 304529 33607 732 2943 0 301423 0
[pid=26703/tid=26704] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 33609 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 33616 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 33619 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.14 2.12 2.10 3/261 26703
/proc/meminfo: memFree=30992008/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1218116 CPUtime=0.28 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 46810 0 0 0 22 6 0 0 20 0 4 0 103746579 1247350784 47670 33554432000 4194304 16246674 140734254585360 140734254584784 12874965 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 304529 47676 732 2943 0 301423 0
[pid=26703/tid=26704] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 47678 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 47681 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 47686 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.14 2.12 2.10 3/261 26703
/proc/meminfo: memFree=30992008/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 105432 0 0 0 54 15 0 0 20 0 4 0 103746579 1247350784 106292 33554432000 4194304 16246674 140734254585360 140734254584784 5545885 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 304529 106301 732 2943 0 301423 0
[pid=26703/tid=26704] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 106305 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 106310 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 106315 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.14 2.12 2.10 3/265 26707
/proc/meminfo: memFree=30330540/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 222563 0 0 0 118 31 0 0 20 0 4 0 103746579 1247350784 223423 33554432000 4194304 16246674 140734254585360 140734254567232 5677277 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 304529 223430 732 2943 0 301423 0
[pid=26703/tid=26704] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 223434 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 223439 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1247350784 223442 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 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.05 2.10 2.09 3/265 26707
/proc/meminfo: memFree=30005404/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1305156 CPUtime=3.09 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 267280 0 0 0 272 37 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140734254568360 13001491 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 326289 268120 798 2943 0 323183 0
[pid=26703/tid=26704] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 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 26703 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20049 s]
/proc/loadavg: 2.05 2.10 2.09 3/265 26707
/proc/meminfo: memFree=30005404/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1305156 CPUtime=3.19 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 267280 0 0 0 282 37 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140734254568360 5827966 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 326289 268120 798 2943 0 323183 0
[pid=26703/tid=26704] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268120 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1305156

[startup+4.00038 s]
/proc/loadavg: 2.05 2.10 2.09 3/265 26707
/proc/meminfo: memFree=29918872/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1305156 CPUtime=3.99 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 267282 0 0 0 362 37 0 0 20 0 4 0 103746579 1336479744 268122 33554432000 4194304 16246674 140734254585360 140734254567232 5661363 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 326289 268122 798 2943 0 323183 0
[pid=26703/tid=26704] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268122 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268122 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1336479744 268122 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 1305156

[startup+4.4004 s]
/proc/loadavg: 2.05 2.10 2.09 3/265 26707
/proc/meminfo: memFree=29918260/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1306180 CPUtime=4.4 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 267413 0 0 0 403 37 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140734254567232 5523124 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 326545 268253 798 2943 0 323439 0
[pid=26703/tid=26704] ppid=26700 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 1306180

[startup+4.8004 s]
/proc/loadavg: 2.05 2.10 2.09 3/265 26707
/proc/meminfo: memFree=29918260/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=1306180 CPUtime=4.79 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) R 26700 26703 25889 0 -1 4202496 267413 0 0 0 442 37 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140734254567232 5677716 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 326545 268253 798 2943 0 323439 0
[pid=26703/tid=26704] ppid=26700 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26704/stat : 26704 (toysat) S 26700 26703 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140612424674544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26703/tid=26705] ppid=26700 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26705/stat : 26705 (toysat) S 26700 26703 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140612414184688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) S 26700 26703 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103746579 1337528320 268253 33554432000 4194304 16246674 140734254585360 140612330319024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+4.90041 s]
/proc/loadavg: 2.05 2.10 2.09 3/265 26707
/proc/meminfo: memFree=29918260/32872528 swapFree=9196/9196
[pid=26703] ppid=26700 vsize=0 CPUtime=4.89 cores=0-3,8-11
/proc/26703/stat : 26703 (toysat) Z 26700 26703 25889 0 -1 4202508 267421 0 0 0 447 42 0 0 20 0 2 0 103746579 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26703/statm: 0 0 0 0 0 0 0
[pid=26703/tid=26706] ppid=26700 vsize=0 CPUtime=0.04 cores=0-3,8-11
/proc/26703/task/26706/stat : 26706 (toysat) R 26700 26703 25889 0 -1 4203588 1 0 0 0 0 4 0 0 20 0 2 0 103746579 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.9048
CPU time (s): 4.89525
CPU user time (s): 4.47432
CPU system time (s): 0.420936
CPU usage (%): 99.8054
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.47432
system time used= 0.420936
maximum resident set size= 1073036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267421
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= 6

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033994 second user time and 0.038994 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:17:26
IDJOB=4078682
IDBENCH=1195
IDSOLVER=2542
FILE ID=node132/4078682-1465219046
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= c60ccfdf4fb13f80717cfb4db13af995
RANDOM SEED=18519256

node132.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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.41
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30991636 kB
Buffers:            5636 kB
Cached:            70732 kB
SwapCached:         3236 kB
Active:          1141560 kB
Inactive:          20208 kB
Active(anon):    1084828 kB
Inactive(anon):     3236 kB
Active(file):      56732 kB
Inactive(file):    16972 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16640 kB
Writeback:             0 kB
AnonPages:       1091432 kB
Mapped:            10280 kB
Shmem:                 0 kB
Slab:             573128 kB
SReclaimable:      12400 kB
SUnreclaim:       560728 kB
KernelStack:        2240 kB
PageTables:         6280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1077248 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= 71716 MiB
End job on node132 at 2016-06-06 15:17:31