Trace number 4078698

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-02SAT 2.45662 2.46194

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
MD5SUM6da70b87b54711284828af94090392b9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.06684
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
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 1247
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:18:40+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-4078698-1465219120.opb"]
0.00/0.01	c use --random-gen="2935258702 3851875719 1976059665 1792112196 1798723822 1193385502 2604932020 3295266661 393922521 3047105863 407643239 2977403524 2420454393 2713884649 273216053 2348810344 2070861081 3824810461 3382515172 241769168 2782940647 3411706319 2574355000 1758840738 3720041253 880466632 1529930038 2006774883 3811451815 2131524433 372503926 3887413287 2683722402 2741982993 1935186854 484834181 1274148227 3266723908 1201768791 2808287642 1542137803 3138754800 3081593086 2719231517 2241979567 3099875785 1946012069 2964156704 498175406 1108738314 1664078489 48435880 1932671201 3767665220 281682150 639316403 4127975538 1657443467 967564950 2963006540 2879809600 1801547983 2029948333 1729840995 705015105 1938088887 3280400214 580165919 2242841621 919408528 2040344019 1865022572 3127610122 4089683956 3647447604 2465560536 2220104061 1706176971 3222133538 2385318049 2653274468 98574360 789015400 3215030135 1420956498 3085023885 1139528695 3872162115 624274577 1365168154 491828471 3490658426 659116650 2549437888 4029779732 3274050621 1968263707 809023178 1489755492 1678652697 1914126858 1532564078 684224479 2434171502 1860337484 3585773206 480832558 1600037694 2693249783 304914790 2955735116 4083391553 194441533 1401091748 793639756 2499616571 3457734778 62049542 3735919106 1564058372 578485091 1357412131 4132443187 3061329283 3041703410 3407514853 4076391347 2360867155 233622836 3546884315 116981458 138038081 4224731899 581847976 3104665477 4210620259 2453814883 1337751701 3010943025 3700153929 3762348595 3402648389 2387282991 3682553988 3537168694 909178117 2937372753 933354104 1921117577 3600670824 2057879937 1917909260 3113073577 2061412958 1220691545 4199446412 530029361 581295407 1769312478 2901688564 2760158516 18946647 3868072178 2765893573 3516604671 2139699735 1245464313 4064676898 3990592460 2771182538 1017948324 2161410157 3503188896 60942932 3701576767 4142899253 2925532811 3488729270 1499052493 2389464737 3965968120 3562028409 2483853566 4266132756 3400190228 2631340389 3026820545 490426848 176295099 2653882944 373696351 3437061448 799114118 965468114 3852991870 2612858393 3936859008 1095930540 3516268497 385006467 585746511 2029952479 3530580647 2530237393 1467846391 3351378790 4150917969 2698945109 511956042 1112098622 4202305911 2851366692 673311928 3741552742 195204441 1678139823 4001495848 3041403236 3439586150 4006406052 4190903721 294840173 3134202953 3957842532 988925158 733753234 3157234935 3912714976 2682753482 4279925026 3743981974 235079511 4089486424 2152132992 3413683332 1229049250 3275861336 4012204756 2302035941 1941750623 3466938761 2757781996 2836390961 2698478346 1701257121 3057183552 3463057077 701186893 3172625265 2590881055 768898684 2390124529 43942314 1606471827 1687158915 1134999118 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 |      187 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      450 |      250 |      100      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      799 |      475 |      111      4 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1338 |      813 |      123      7 |        0 |        0
0.09/0.18	c  0.2s |       5 |     2247 |     1320 |      136     12 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3472 |     2081 |      165     18 |        0 |        0
0.39/0.41	c  0.4s |       7 |     5238 |     3223 |      182     26 |        1 |        0
0.59/0.62	c  0.6s |       8 |     7852 |     4936 |      201     38 |        1 |        0
0.88/0.94	c  0.9s |       9 |    11694 |     7506 |      222     56 |        2 |        0
1.39/1.42	c  1.4s |      10 |    17517 |    11361 |      245     79 |        3 |        0
1.89/1.99	c  2.0s |      11 |    25774 |    17144 |      270    110 |        6 |        0
2.39/2.40	c  2.4s |      11 |    31867 |    21690 |      270    134 |        7 |        0
2.39/2.40	c #cpu_time = 2.380s
2.39/2.40	c #wall_clock_time = 2.386s
2.39/2.40	c #decision = 31867
2.39/2.40	c #random_decision = 62
2.39/2.40	c #conflict = 21690
2.39/2.40	c #restart = 11
2.39/2.40	s SATISFIABLE
2.39/2.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
2.39/2.40	v -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
2.39/2.40	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
2.39/2.40	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
2.39/2.40	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
2.39/2.40	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
2.39/2.40	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
2.39/2.40	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
2.39/2.40	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
2.39/2.40	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
2.39/2.40	v -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
2.39/2.40	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
2.39/2.40	v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
2.39/2.40	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
2.39/2.40	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
2.39/2.40	v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
2.39/2.40	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
2.39/2.40	c total CPU time = 2.399s
2.39/2.40	c total wall clock time = 2.405s

Verifier Data 

OK	0

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

pid=27631
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.09 2.10 2.09 3/261 27634
/proc/meminfo: memFree=30989008/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1078716 CPUtime=0 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 4089 0 0 0 0 0 0 0 20 0 4 0 103754059 1104605184 4449 33554432000 4194304 16246674 140737021065200 140737021064624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 270191 4457 441 2943 0 267085 0
[pid=27634/tid=27635] ppid=27631 vsize=1100220 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1126625280 4530 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1104316 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1130819584 4547 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1108412 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103754059 1135013888 4565 33554432000 4194304 16246674 140737021065200 140190098115760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.09 2.10 2.09 3/261 27634
/proc/meminfo: memFree=30989008/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 18374 0 0 0 6 3 0 0 20 0 4 0 103754059 1247350784 18724 33554432000 4194304 16246674 140737021065200 140737021047104 13954518 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304529 18728 731 2943 0 301423 0
[pid=27634/tid=27635] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 18733 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 18735 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 18742 33554432000 4194304 16246674 140737021065200 140190098115760 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.200538 s]
/proc/loadavg: 2.09 2.10 2.09 3/261 27634
/proc/meminfo: memFree=30989008/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 32011 0 0 0 14 5 0 0 20 0 4 0 103754059 1247350784 32360 33554432000 4194304 16246674 140737021065200 140737021047104 5831697 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304529 32367 732 2943 0 301423 0
[pid=27634/tid=27635] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 32371 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 32372 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 32375 33554432000 4194304 16246674 140737021065200 140190098115760 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.30045 s]
/proc/loadavg: 2.09 2.10 2.09 3/261 27634
/proc/meminfo: memFree=30989008/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 45721 0 0 0 22 7 0 0 20 0 4 0 103754059 1247350784 46070 33554432000 4194304 16246674 140737021065200 140737021047104 13965592 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304529 46075 732 2943 0 301423 0
[pid=27634/tid=27635] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 46080 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 46084 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 46087 33554432000 4194304 16246674 140737021065200 140190098115760 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.700401 s]
/proc/loadavg: 2.09 2.10 2.09 3/261 27634
/proc/meminfo: memFree=30989008/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 103165 0 0 0 54 15 0 0 20 0 4 0 103754059 1247350784 103515 33554432000 4194304 16246674 140737021065200 140737021047104 6023792 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304529 103523 733 2943 0 301423 0
[pid=27634/tid=27635] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 103529 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 103535 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 103541 33554432000 4194304 16246674 140737021065200 140190098115760 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.50041 s]
/proc/loadavg: 2.09 2.10 2.09 3/265 27638
/proc/meminfo: memFree=30349212/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 216326 0 0 0 116 33 0 0 20 0 4 0 103754059 1247350784 216675 33554432000 4194304 16246674 140737021065200 140737021047104 6020769 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304529 216682 733 2943 0 301423 0
[pid=27634/tid=27635] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 216687 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 216692 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 216695 33554432000 4194304 16246674 140737021065200 140190098115760 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

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

[startup+1.60048 s]
/proc/loadavg: 2.09 2.10 2.09 3/265 27638
/proc/meminfo: memFree=30349212/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1218116 CPUtime=1.59 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 230560 0 0 0 124 35 0 0 20 0 4 0 103754059 1247350784 230909 33554432000 4194304 16246674 140737021065200 140737021047104 5675357 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304529 230918 733 2943 0 301423 0
[pid=27634/tid=27635] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 230922 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 230927 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103754059 1247350784 230929 33554432000 4194304 16246674 140737021065200 140190098115760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 1218116

[startup+2.0004 s]
/proc/loadavg: 2.09 2.10 2.09 3/265 27638
/proc/meminfo: memFree=30349212/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1219140 CPUtime=1.99 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 245631 0 0 0 162 37 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140737021064512 6021024 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304785 245960 798 2943 0 301679 0
[pid=27634/tid=27635] ppid=27631 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140190098115760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 1219140

[startup+2.40041 s]
/proc/loadavg: 2.08 2.10 2.09 3/265 27638
/proc/meminfo: memFree=30005368/32872528 swapFree=9196/9196
[pid=27634] ppid=27631 vsize=1219140 CPUtime=2.39 cores=0-3,8-11
/proc/27634/stat : 27634 (toysat) R 27631 27634 25889 0 -1 4202496 245631 0 0 0 202 37 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140737021047104 13927401 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/27634/statm: 304785 245960 798 2943 0 301679 0
[pid=27634/tid=27635] ppid=27631 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27635/stat : 27635 (toysat) S 27631 27634 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140190119079152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=27634/tid=27636] ppid=27631 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27636/stat : 27636 (toysat) S 27631 27634 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140190108589296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=27634/tid=27637] ppid=27631 vsize=1219140 CPUtime=0 cores=0-3,8-11
/proc/27634/task/27637/stat : 27637 (toysat) S 27631 27634 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103754059 1248399360 245960 33554432000 4194304 16246674 140737021065200 140190098115760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 1219140

Child status: 0
Real time (s): 2.46194
CPU time (s): 2.45662
CPU user time (s): 2.02869
CPU system time (s): 0.427934
CPU usage (%): 99.7843
Max. virtual memory (cumulated for all children) (KiB): 1219140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.02869
system time used= 0.427934
maximum resident set size= 983864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245639
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.021996 second user time and 0.027995 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 6da70b87b54711284828af94090392b9
RANDOM SEED=959188375

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:        30988968 kB
Buffers:            6768 kB
Cached:            71168 kB
SwapCached:         3236 kB
Active:          1142944 kB
Inactive:          20820 kB
Active(anon):    1085044 kB
Inactive(anon):     3236 kB
Active(file):      57900 kB
Inactive(file):    17584 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16524 kB
Writeback:             0 kB
AnonPages:       1092896 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             573892 kB
SReclaimable:      12588 kB
SUnreclaim:       561304 kB
KernelStack:        2240 kB
PageTables:         6596 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:18:43