Trace number 4078681

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 3.68744 3.68834

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
MD5SUMc9a87792271871ea771a066925b39a9d
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.29265
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 1238
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:18+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-4078681-1465219038.opb"]
0.00/0.01	c use --random-gen="3785528318 280667737 613917611 678210977 3365600706 3341313291 3290675746 1612031984 208857360 557944311 4130640902 3950513951 2257092681 2078484129 1483395619 411467944 3525917448 3206753834 864218002 3244574288 1763180987 650496959 2287940182 3451809132 3401242143 508928317 944348677 510724111 936196881 738513388 1930670079 1775066374 266397039 1181167994 1969176179 227720148 324376691 663294331 1383360069 390163242 2599188982 1278554828 3523084501 1642994918 1871802624 157815361 3796534118 2760528682 643576297 3717832750 1988367520 2291051893 139356677 846277787 3811847724 574917529 816272195 1232743181 1345846890 2327825554 2983223944 4174061822 426888150 3978657856 355726870 3414093981 3561272562 4081232268 2293660828 3358352985 2449167373 1731927187 1462165738 3781695453 2974680523 2439590833 2781688426 279541398 595527864 2037396754 1131264815 607835151 3681733631 59654600 550161016 824333572 237244061 117072909 1222295785 1534763152 331214936 1357219980 1881356997 3083608438 492017095 2946150511 3581354523 1405906630 2004131222 2793931993 1288316943 1298088726 4110470681 679521644 1047538486 2449807692 377683249 1148811555 2915692921 3111430770 2927669155 3683588901 1303275534 1671447414 3265076109 3351597873 3950058098 2740779925 2429929830 3423141582 3749311934 1381773523 4093269592 1767995449 263351855 2146215846 2630933418 1495412279 990369111 2250733156 3150395037 3101785796 2322857952 1793630295 3729726119 1595312675 4280604716 2577729561 1769784077 596168400 1292406475 2870882783 2062203925 1794714586 3760183475 2642622022 671541733 3026239465 2390975836 2261101831 1862033827 4230516313 3769749625 759154864 1582214171 1918778602 2155322472 4205962687 1916470685 3850723239 1262185427 1833053788 3394234846 3065129407 1683151513 1322367077 2054295000 2878791261 4158349321 1460009043 1904613606 1124660430 217494327 230505690 4263556349 909198099 3647974530 2161501164 2558851396 738137790 2454787375 3202671082 4039655294 2085789260 2345686083 1271261062 3182161199 968148131 3186255606 330314636 2260732385 1263421599 2304926277 3691799618 2387822343 528562179 15279359 3079471802 2729312636 261257826 2710636644 245619168 2660377615 3716205989 755721790 2253071287 2061100943 315022490 4087242291 1101672082 1366335324 3548035277 2897154497 1799804550 2423300024 2295159181 2819151220 412493293 111729070 1260464937 4101142805 415525 1339036585 2140220878 1452431450 2165049874 2495157100 2032438101 832938211 2650868183 3294537855 2680688046 998683617 2543343913 4082607446 1790780149 2703661356 1740611723 3275183506 4285752809 2781532852 820464045 752558299 2861415390 1192751223 2953000313 3547912358 1475936987 713467088 556983308 3515413718 3156191816 3483827663 2589156759 1470339318 1493197124 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 |      205 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      464 |      250 |      100      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      806 |      475 |      111      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1350 |      813 |      123      8 |        0 |        0
0.09/0.18	c  0.2s |       5 |     2175 |     1320 |      136     12 |        1 |        0
0.19/0.28	c  0.3s |       6 |     3398 |     2081 |      165     17 |        1 |        0
0.39/0.42	c  0.4s |       7 |     5164 |     3223 |      182     25 |        2 |        0
0.59/0.63	c  0.6s |       8 |     7912 |     4936 |      201     37 |        3 |        0
0.88/0.95	c  0.9s |       9 |    11535 |     7506 |      222     54 |        3 |        0
1.39/1.45	c  1.4s |      10 |    16998 |    11361 |      245     77 |        5 |        0
1.99/2.07	c  2.0s |      11 |    25145 |    17144 |      270    109 |        7 |        0
2.79/2.85	c  2.8s |      12 |    37700 |    25819 |      297    147 |       15 |        1
3.60/3.62	c  3.6s |      12 |    48519 |    33530 |      297    179 |      167 |       26
3.60/3.62	c #cpu_time = 3.590s
3.60/3.62	c #wall_clock_time = 3.600s
3.60/3.62	c #decision = 48519
3.60/3.62	c #random_decision = 122
3.60/3.62	c #conflict = 33530
3.60/3.62	c #restart = 12
3.60/3.62	s UNSATISFIABLE
3.60/3.62	c total CPU time = 3.612s
3.60/3.62	c total wall clock time = 3.622s

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

pid=26602
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.16 2.12 2.10 3/261 26605
/proc/meminfo: memFree=30991196/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=951740 CPUtime=0 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 3592 0 0 0 0 0 0 0 20 0 4 0 103745795 974581760 3953 33554432000 4194304 16246674 140734018270512 140734018269936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 238447 3961 441 2943 0 235341 0
[pid=26605/tid=26606] ppid=26602 vsize=974268 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 997650432 4038 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=978364 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1001844736 4053 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=979388 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745795 1002893312 4061 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0

[startup+0.100135 s]
/proc/loadavg: 2.16 2.12 2.10 3/261 26605
/proc/meminfo: memFree=30991196/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 17727 0 0 0 6 3 0 0 20 0 4 0 103745795 1247350784 18077 33554432000 4194304 16246674 140734018270512 140734018269936 5546181 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 304529 18083 731 2943 0 301423 0
[pid=26605/tid=26606] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 18085 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 18090 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 18095 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200479 s]
/proc/loadavg: 2.16 2.12 2.10 3/261 26605
/proc/meminfo: memFree=30991196/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 31360 0 0 0 14 5 0 0 20 0 4 0 103745795 1247350784 31710 33554432000 4194304 16246674 140734018270512 140734018269936 13954410 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 304529 31715 732 2943 0 301423 0
[pid=26605/tid=26606] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 31720 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 31725 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 31728 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300439 s]
/proc/loadavg: 2.16 2.12 2.10 3/261 26605
/proc/meminfo: memFree=30991196/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 45347 0 0 0 22 7 0 0 20 0 4 0 103745795 1247350784 45697 33554432000 4194304 16246674 140734018270512 140734018269936 5675357 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 304529 45703 733 2943 0 301423 0
[pid=26605/tid=26606] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 45706 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 45710 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 45714 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700357 s]
/proc/loadavg: 2.16 2.12 2.10 3/261 26605
/proc/meminfo: memFree=30991196/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 100942 0 0 0 53 16 0 0 20 0 4 0 103745795 1247350784 101293 33554432000 4194304 16246674 140734018270512 140734018269936 5662075 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 304529 101303 733 2943 0 301423 0
[pid=26605/tid=26606] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 101306 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 101309 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 101313 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 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.16 2.12 2.10 3/265 26609
/proc/meminfo: memFree=30357508/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1218116 CPUtime=1.48 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 216149 0 0 0 116 32 0 0 20 0 4 0 103745795 1247350784 216499 33554432000 4194304 16246674 140734018270512 140734018253512 12477891 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 304529 216506 733 2943 0 301423 0
[pid=26605/tid=26606] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 216509 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 216511 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745795 1247350784 216518 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10036 s]
/proc/loadavg: 2.16 2.12 2.10 3/265 26609
/proc/meminfo: memFree=30007588/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1305156 CPUtime=3.09 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 267320 0 0 0 270 39 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140734018253512 5667689 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 326289 267650 798 2943 0 323183 0
[pid=26605/tid=26606] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 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 26605 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.40038 s]
/proc/loadavg: 2.16 2.12 2.10 3/265 26609
/proc/meminfo: memFree=30007588/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1305156 CPUtime=3.39 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 267320 0 0 0 300 39 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140734018253512 15015658 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 326289 267650 798 2943 0 323183 0
[pid=26605/tid=26606] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 1305156

[startup+3.6107 s]
/proc/loadavg: 2.16 2.12 2.10 3/265 26609
/proc/meminfo: memFree=29920664/32872528 swapFree=9196/9196
[pid=26605] ppid=26602 vsize=1305156 CPUtime=3.6 cores=0-3,8-11
/proc/26605/stat : 26605 (toysat) R 26602 26605 25889 0 -1 4202496 267320 0 0 0 321 39 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140734018253512 5711338 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/26605/statm: 326289 267650 798 2943 0 323183 0
[pid=26605/tid=26606] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26606/stat : 26606 (toysat) S 26602 26605 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726146936048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=26605/tid=26607] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26607/stat : 26607 (toysat) S 26602 26605 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726136446192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=26605/tid=26608] ppid=26602 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26605/task/26608/stat : 26608 (toysat) S 26602 26605 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103745795 1336479744 267650 33554432000 4194304 16246674 140734018270512 140726125972656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 1305156

Child status: 0
Real time (s): 3.68834
CPU time (s): 3.68744
CPU user time (s): 3.23251
CPU system time (s): 0.45493
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1305156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.23251
system time used= 0.45493
maximum resident set size= 1070656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267336
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= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012998 second user time and 0.035994 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= c9a87792271871ea771a066925b39a9d
RANDOM SEED=796146579

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:        30990800 kB
Buffers:            5508 kB
Cached:            70664 kB
SwapCached:         3236 kB
Active:          1142576 kB
Inactive:          20132 kB
Active(anon):    1085748 kB
Inactive(anon):     3236 kB
Active(file):      56828 kB
Inactive(file):    16896 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16876 kB
Writeback:             0 kB
AnonPages:       1092956 kB
Mapped:            10220 kB
Shmem:                 0 kB
Slab:             573088 kB
SReclaimable:      12492 kB
SUnreclaim:       560596 kB
KernelStack:        2240 kB
PageTables:         6300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236912 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:22