Trace number 4078686

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 5.33119 5.34234

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
MD5SUM0767c1a06efa13af223b4b90ef1e7572
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.89456
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 1231
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:58+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-4078686-1465219078.opb"]
0.00/0.01	c use --random-gen="3087165512 331101172 3404071329 2748280738 3319496261 2061074482 607160014 1570103773 2825645941 2616521213 3834739831 306549442 3585804340 2945894458 2958061369 3608616965 294243020 3861390885 3228705178 1038976387 2896672276 4123348292 2424422894 4159021693 865834561 1989755976 496620926 2024921215 3342235941 698401431 4255821260 1407127953 295789633 2015956512 2320076075 581779959 345158488 427825109 51124842 4102821685 2061089942 3575224783 2496622754 4178380365 1982976743 2785206293 2725607207 3524290695 1285417493 2691776551 1706546195 4294596111 2868771427 1411394699 665828558 3070166735 2082908274 3772287343 2912489921 399178213 301593349 1863351003 792353279 396240996 3768363531 1719150581 3813097467 3588869113 3669154226 1657278957 656010713 1774540226 3483854221 1315987878 616143728 690245277 3190019570 4116176352 2031547211 2767441624 212123430 2427769521 1597134259 124117288 3323413287 792924261 3033855871 3755182559 2735614933 4160944578 1667751620 69117202 3849783897 1990187937 2477546644 2287961490 3611376506 4185763887 100395611 1679534644 1142675062 1703843823 926230723 937264745 2061968615 3998455394 1236689368 2493291901 2687676217 2165310356 3446333021 1526180144 1689458252 4129638335 2271359831 4021999878 1626635578 4229088813 2883988545 842382421 4116378638 4259135599 3150336139 1070357354 1509586 753087085 2320272737 214020334 3593206397 1524734584 3601498546 1621251546 3139265447 2289682493 1635469328 3978773785 149657537 793429722 1022976744 2376611538 2171968928 3923984059 125382544 3587632364 2313264194 3757957752 712445854 3039001398 639787800 3916918346 3417964269 144779667 274690006 2091805831 250557242 4225071900 2227950156 3886521374 2214028711 3969620094 3436012432 1729404192 1845055887 1285978039 2337686695 2339395010 1108807240 1850480977 278289163 3337969934 3897629469 1716319093 2603871743 1910613038 2534215112 760335084 3836408820 2284346512 442866152 1367218149 3735465289 2849828460 3519434525 700466831 1251494618 980531640 465084902 3368271862 1512108873 2545050340 1171563991 408017120 433750011 26304459 4126814511 3562574283 176662405 3991098815 2091379358 3227939326 3255022861 3572226971 2270884501 2311572398 3972534692 3778923028 3828776832 3345426422 1981873018 2297462133 432125853 510608756 4077785288 898564354 385982781 1739785209 932705152 3861163569 3419131143 1089801122 2396971048 1194856015 1595124878 3720196524 3541335664 3822174067 1894111379 1975553547 1389787384 3090891602 3372919424 3230881134 262554238 1591915729 2588167023 1975351144 2034507003 916965325 1915530604 3214894983 1968354097 3777538791 595182963 824832711 1558723330 3855552451 2179141140 1093510053 4006856307 3584105514 149513760 3139719502 1939584192 2860649475 467285848 3258731371 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 |      210 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      450 |      250 |      100      2 |        0 |        0
0.00/0.08	c  0.1s |       3 |      811 |      475 |      111      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1378 |      813 |      123      8 |        0 |        0
0.09/0.18	c  0.2s |       5 |     2185 |     1320 |      136     13 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3404 |     2081 |      165     19 |        1 |        0
0.39/0.41	c  0.4s |       7 |     5211 |     3223 |      182     27 |        1 |        0
0.59/0.62	c  0.6s |       8 |     7897 |     4936 |      201     40 |        2 |        0
0.89/0.94	c  0.9s |       9 |    11580 |     7506 |      222     57 |        3 |        0
1.39/1.44	c  1.4s |      10 |    17063 |    11361 |      245     81 |        3 |        0
1.99/2.04	c  2.0s |      11 |    25305 |    17144 |      270    113 |        5 |        0
2.79/2.84	c  2.8s |      12 |    37603 |    25819 |      297    156 |        9 |        0
3.99/4.05	c  4.0s |      13 |    55722 |    38832 |      327    216 |       16 |        0
5.19/5.28	c  5.3s |      13 |    73148 |    51706 |      327    259 |      140 |       28
5.19/5.28	c #cpu_time = 5.248s
5.19/5.28	c #wall_clock_time = 5.262s
5.19/5.28	c #decision = 73148
5.19/5.28	c #random_decision = 180
5.19/5.28	c #conflict = 51706
5.19/5.28	c #restart = 13
5.19/5.28	s UNSATISFIABLE
5.19/5.28	c total CPU time = 5.267s
5.19/5.28	c total wall clock time = 5.281s

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

pid=27043
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.18 2.12 2.10 3/261 27046
/proc/meminfo: memFree=30990656/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1082948 CPUtime=0 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 4101 0 0 0 0 0 0 0 20 0 4 0 103749853 1108938752 4462 33554432000 4194304 16246674 140733342588960 140733342588384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 271249 4472 442 2943 0 268143 0
[pid=27046/tid=27047] ppid=27043 vsize=1105476 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1132007424 4549 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1109572 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1136201728 4566 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1113668 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103749853 1140396032 4584 33554432000 4194304 16246674 140733342588960 139985355263152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100152 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 27046
/proc/meminfo: memFree=30990656/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 17989 0 0 0 7 2 0 0 20 0 4 0 103749853 1247350784 18340 33554432000 4194304 16246674 140733342588960 140733342588384 6021055 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 304529 18344 732 2943 0 301423 0
[pid=27046/tid=27047] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 18345 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 18346 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 18350 33554432000 4194304 16246674 140733342588960 139985355263152 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.200501 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 27046
/proc/meminfo: memFree=30990656/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 31654 0 0 0 15 4 0 0 20 0 4 0 103749853 1247350784 32004 33554432000 4194304 16246674 140733342588960 140733342571960 5600539 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 304529 32007 732 2943 0 301423 0
[pid=27046/tid=27047] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 32010 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 32016 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 32024 33554432000 4194304 16246674 140733342588960 139985355263152 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.300406 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 27046
/proc/meminfo: memFree=30990656/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 45744 0 0 0 22 7 0 0 20 0 4 0 103749853 1247350784 46094 33554432000 4194304 16246674 140733342588960 140733342571960 5589077 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 304529 46105 733 2943 0 301423 0
[pid=27046/tid=27047] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 46113 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 46120 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 46129 33554432000 4194304 16246674 140733342588960 139985355263152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700388 s]
/proc/loadavg: 2.18 2.12 2.10 3/261 27046
/proc/meminfo: memFree=30990656/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 101972 0 0 0 54 15 0 0 20 0 4 0 103749853 1247350784 102324 33554432000 4194304 16246674 140733342588960 140733342571960 5711820 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 304529 102330 733 2943 0 301423 0
[pid=27046/tid=27047] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 102334 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 102336 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 102339 33554432000 4194304 16246674 140733342588960 139985355263152 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.50036 s]
/proc/loadavg: 2.18 2.12 2.10 3/265 27050
/proc/meminfo: memFree=30345056/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 216937 0 0 0 117 32 0 0 20 0 4 0 103749853 1247350784 217287 33554432000 4194304 16246674 140733342588960 140733342570880 5662075 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 304529 217292 734 2943 0 301423 0
[pid=27046/tid=27047] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 217296 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 217298 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103749853 1247350784 217303 33554432000 4194304 16246674 140733342588960 139985355263152 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.10038 s]
/proc/loadavg: 2.18 2.12 2.10 3/265 27050
/proc/meminfo: memFree=30006776/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1305156 CPUtime=3.09 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 267282 0 0 0 270 39 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 140733342571960 5711956 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 326289 267612 800 2943 0 323183 0
[pid=27046/tid=27047] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985355263152 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 27046 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20049 s]
/proc/loadavg: 2.18 2.12 2.10 3/265 27050
/proc/meminfo: memFree=30006776/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1305156 CPUtime=3.19 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 267282 0 0 0 280 39 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 140733342571960 5659272 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 326289 267612 800 2943 0 323183 0
[pid=27046/tid=27047] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985355263152 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.00037 s]
/proc/loadavg: 2.18 2.12 2.10 3/265 27050
/proc/meminfo: memFree=29919856/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1305156 CPUtime=3.99 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 267282 0 0 0 360 39 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 140733342571960 12466612 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 326289 267612 800 2943 0 323183 0
[pid=27046/tid=27047] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103749853 1336479744 267612 33554432000 4194304 16246674 140733342588960 139985355263152 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.80042 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 27050
/proc/meminfo: memFree=29919484/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1306180 CPUtime=4.79 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 267392 0 0 0 440 39 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 140733342570880 5600432 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 326545 267722 800 2943 0 323439 0
[pid=27046/tid=27047] ppid=27043 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 139985355263152 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+5.20042 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 27050
/proc/meminfo: memFree=29919484/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=1306180 CPUtime=5.19 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) R 27043 27046 25889 0 -1 4202496 267392 0 0 0 480 39 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 140733342570816 13808416 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 326545 267722 800 2943 0 323439 0
[pid=27046/tid=27047] ppid=27043 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) S 27043 27046 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 139985376226544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27046/tid=27048] ppid=27043 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27048/stat : 27048 (toysat) S 27043 27046 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 139985365736688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27046/tid=27049] ppid=27043 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27049/stat : 27049 (toysat) S 27043 27046 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103749853 1337528320 267722 33554432000 4194304 16246674 140733342588960 139985355263152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 1306180

[startup+5.30037 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 27050
/proc/meminfo: memFree=29919484/32872528 swapFree=9196/9196
[pid=27046] ppid=27043 vsize=0 CPUtime=5.29 cores=0-3,8-11
/proc/27046/stat : 27046 (toysat) Z 27043 27046 25889 0 -1 4202508 267399 0 0 0 488 41 0 0 20 0 2 0 103749853 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27046/statm: 0 0 0 0 0 0 0
[pid=27046/tid=27047] ppid=27043 vsize=0 CPUtime=0 cores=0-3,8-11
/proc/27046/task/27047/stat : 27047 (toysat) R 27043 27046 25889 0 -1 4203588 10 0 0 0 0 0 0 0 20 0 2 0 103749853 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) 5.29
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 5.34234
CPU time (s): 5.33119
CPU user time (s): 4.88726
CPU system time (s): 0.443932
CPU usage (%): 99.7912
Max. virtual memory (cumulated for all children) (KiB): 1306180

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031995 second user time and 0.06499 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:17:58
IDJOB=4078686
IDBENCH=1217
IDSOLVER=2542
FILE ID=node132/4078686-1465219078
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.1110974180.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078686-1465219078/watcher-4078686-1465219078 -o /tmp/evaluation-result-4078686-1465219078/solver-4078686-1465219078 -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-4078686-1465219078.opb

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

MD5SUM BENCH= 0767c1a06efa13af223b4b90ef1e7572
RANDOM SEED=181451690

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:        30990688 kB
Buffers:            6064 kB
Cached:            70876 kB
SwapCached:         3236 kB
Active:          1142084 kB
Inactive:          20428 kB
Active(anon):    1084800 kB
Inactive(anon):     3236 kB
Active(file):      57284 kB
Inactive(file):    17192 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16480 kB
Writeback:             0 kB
AnonPages:       1094504 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             572976 kB
SReclaimable:      12280 kB
SUnreclaim:       560696 kB
KernelStack:        2240 kB
PageTables:         6428 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:   1079296 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:18:04