Trace number 4078683

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 4.29035 4.29184

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
MD5SUM78c7dd053a309e76acc4f92715af72ca
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 benchmark0.405938
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 1168
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:10+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-4078683-1465219030.opb"]
0.00/0.01	c use --random-gen="192567427 784794561 352995687 4252642458 4187073267 2707225309 3904010289 580586066 532753501 1269700669 66921199 2024135002 4092478748 2044196238 3107129185 2267815964 1884985795 1465650838 452066633 1597837929 2759436970 1852237299 929411927 341448588 3004171418 97638771 1798608957 302836267 1878206509 912178340 40233897 2035673268 3861904575 3820708837 365841685 1398353556 2300963871 4228152242 2811831977 3055991614 3767493401 3968211910 670835047 1064778858 3885372857 2249823628 3145043914 1135059092 1434528994 3196162573 3772559537 1324210983 4164683642 381505754 1047998062 3653828946 3452489801 1375598946 3138302145 3242634468 1136287446 1451155211 4206743050 363935884 1364305830 3262800032 2110671884 263534282 1182637950 1992891765 2682825623 1755794324 2248234258 3300353327 772679871 685673447 3641791743 2494403183 555138277 3947416841 662406169 4150100609 2330784786 3824185405 1074316006 3656109906 4231075864 369697353 1418256876 2311295921 1864516085 1562294180 1631906110 2653431477 3036404813 2997064235 3628618444 1766623889 1702760612 3150832704 2466479274 3393660860 3509991503 3392759165 3580475582 1288651987 1190674159 3185176845 522535606 180259912 2444807449 2102819100 2982983576 2208460534 535352683 936987512 2429834416 558289625 410238542 617699219 4160036999 610171076 2219878937 4077088222 3594689566 3235119934 161205997 227561522 3389541048 819707195 2869907356 2501994736 1344759520 4096748462 3606531891 3017448866 1001175416 420620052 3144846258 499211239 1891229939 3580908644 670695750 3075906410 3288998948 1751311878 3804691620 1512466783 2327300383 2708678606 1404138690 3444234001 821218378 264137314 2486413163 1426807248 3945321424 454598199 2940024474 2379385751 3264115960 1446115479 1632322075 1982819987 986719205 8322634 790554467 1254864849 716636496 2786121061 2569116219 3862484620 4082666737 3833038469 2063764971 1243827456 4064003849 156452899 116300675 675848542 1186051227 996657546 279122263 964071027 648043785 1405984431 852437079 3922498711 2536381202 3637283790 4206286972 1374952482 2302899294 2389914692 2478054682 2900602556 989819483 2118409899 386813245 1651622298 2925233347 3682377727 443239928 186395854 3294062143 240450590 4073207894 1768890423 1055579880 1310043664 3807234148 1174923859 292883360 3376210421 1939346354 2906128943 3772707278 424840979 636733399 2436533694 565174305 3374765393 1044248985 3351277453 3944786751 1701927630 365850085 4087206078 3813032943 3072081110 742211186 2031072617 712207589 3983288995 33783433 4080470694 526693001 2639650862 777271437 2106897492 284081329 2366803233 3312768646 806060925 4087556159 3538307515 2021854585 2605360503 3166583303 639352602 2783879838 1215089062 1459991444 2041511983 1882540630 2803346797 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 |      191 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      422 |      250 |      100      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      805 |      475 |      111      5 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1336 |      813 |      123      9 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2115 |     1320 |      136     13 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3198 |     2081 |      165     18 |        1 |        0
0.39/0.40	c  0.4s |       7 |     4829 |     3223 |      182     27 |        1 |        0
0.59/0.61	c  0.6s |       8 |     7345 |     4936 |      201     39 |        1 |        0
0.88/0.92	c  0.9s |       9 |    11109 |     7506 |      222     56 |        2 |        0
1.39/1.40	c  1.4s |      10 |    16356 |    11361 |      245     79 |        3 |        0
1.89/1.99	c  2.0s |      11 |    24134 |    17144 |      270    113 |        4 |        0
2.79/2.85	c  2.8s |      12 |    35533 |    25819 |      297    160 |        5 |        0
3.99/4.04	c  4.0s |      13 |    53261 |    38832 |      327    223 |        9 |        0
4.19/4.23	c  4.2s |      13 |    56085 |    40928 |      327    231 |       10 |        0
4.19/4.32	c #cpu_time = 4.200s
4.19/4.32	c #wall_clock_time = 4.211s
4.19/4.32	c #decision = 56085
4.19/4.32	c #random_decision = 124
4.19/4.32	c #conflict = 40928
4.19/4.32	c #restart = 13
4.19/4.32	s SATISFIABLE
4.19/4.32	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
4.19/4.32	v -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20
4.19/4.32	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
4.19/4.32	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
4.19/4.32	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
4.19/4.32	v x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
4.19/4.32	v x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
4.19/4.32	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
4.19/4.32	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
4.19/4.32	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
4.19/4.32	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
4.19/4.32	v -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
4.19/4.32	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
4.19/4.32	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140
4.19/4.32	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
4.19/4.32	v -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 x160
4.19/4.32	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
4.19/4.32	c total CPU time = 4.219s
4.19/4.32	c total wall clock time = 4.230s

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

pid=26504
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.13 2.10 3/261 26507
/proc/meminfo: memFree=30990844/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1071548 CPUtime=0 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 4061 0 0 0 0 0 0 0 20 0 4 0 103745007 1097265152 4421 33554432000 4194304 16246674 140735990858512 140735990857936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 268655 4429 441 2943 0 265549 0
[pid=26507/tid=26508] ppid=26504 vsize=1094076 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1120333824 4508 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1098172 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1124528128 4525 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1103292 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745008 1129771008 4542 33554432000 4194304 16246674 140735990858512 140729261214896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100147 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 26507
/proc/meminfo: memFree=30990844/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 18141 0 0 0 7 2 0 0 20 0 4 0 103745007 1247350784 18490 33554432000 4194304 16246674 140735990858512 140735990857936 5677277 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 304529 18496 732 2943 0 301423 0
[pid=26507/tid=26508] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 18500 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 18502 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745008 1247350784 18505 33554432000 4194304 16246674 140735990858512 140729261214896 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.200529 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 26507
/proc/meminfo: memFree=30990844/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 32690 0 0 0 15 4 0 0 20 0 4 0 103745007 1247350784 33040 33554432000 4194304 16246674 140735990858512 140735990857936 5669490 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 304529 33046 732 2943 0 301423 0
[pid=26507/tid=26508] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 33050 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 33053 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745008 1247350784 33060 33554432000 4194304 16246674 140735990858512 140729261214896 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.300481 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 26507
/proc/meminfo: memFree=30990844/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 47602 0 0 0 23 6 0 0 20 0 4 0 103745007 1247350784 47951 33554432000 4194304 16246674 140735990858512 140735990857936 13759916 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 304529 47958 733 2943 0 301423 0
[pid=26507/tid=26508] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 47962 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 47966 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745008 1247350784 47971 33554432000 4194304 16246674 140735990858512 140729261214896 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.700394 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 26507
/proc/meminfo: memFree=30990844/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 107006 0 0 0 55 14 0 0 20 0 4 0 103745007 1247350784 107356 33554432000 4194304 16246674 140735990858512 140735990840384 5722241 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 304529 107363 733 2943 0 301423 0
[pid=26507/tid=26508] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 107366 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 107371 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745008 1247350784 107375 33554432000 4194304 16246674 140735990858512 140729261214896 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.18 2.13 2.10 3/265 26511
/proc/meminfo: memFree=30324108/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 228113 0 0 0 119 30 0 0 20 0 4 0 103745007 1247350784 228462 33554432000 4194304 16246674 140735990858512 140735990840384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 304529 228471 734 2943 0 301423 0
[pid=26507/tid=26508] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 228476 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1247350784 228480 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103745008 1247350784 228484 33554432000 4194304 16246674 140735990858512 140729261214896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.18 2.13 2.10 3/265 26511
/proc/meminfo: memFree=30007468/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1305156 CPUtime=3.09 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 267286 0 0 0 274 35 0 0 20 0 4 0 103745007 1336479744 267615 33554432000 4194304 16246674 140735990858512 140735990841512 5661155 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 326289 267615 799 2943 0 323183 0
[pid=26507/tid=26508] ppid=26504 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1336479744 267615 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1336479744 267615 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103745008 1336479744 267615 33554432000 4194304 16246674 140735990858512 140729261214896 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 26507 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20048 s]
/proc/loadavg: 2.18 2.13 2.10 3/265 26511
/proc/meminfo: memFree=30007468/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1305156 CPUtime=3.19 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 267286 0 0 0 284 35 0 0 20 0 4 0 103745007 1336479744 267615 33554432000 4194304 16246674 140735990858512 140735990841512 15015658 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 326289 267615 799 2943 0 323183 0
[pid=26507/tid=26508] ppid=26504 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1336479744 267615 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1336479744 267615 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103745008 1336479744 267615 33554432000 4194304 16246674 140735990858512 140729261214896 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.00039 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 26511
/proc/meminfo: memFree=29920544/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1306180 CPUtime=3.99 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 267416 0 0 0 364 35 0 0 20 0 4 0 103745007 1337528320 267745 33554432000 4194304 16246674 140735990858512 140735990841512 13943664 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 326545 267745 799 2943 0 323439 0
[pid=26507/tid=26508] ppid=26504 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1337528320 267745 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1337528320 267745 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103745008 1337528320 267745 33554432000 4194304 16246674 140735990858512 140729261214896 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) 1306180

[startup+4.2004 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 26511
/proc/meminfo: memFree=29920544/32872528 swapFree=9196/9196
[pid=26507] ppid=26504 vsize=1306180 CPUtime=4.19 cores=0-3,8-11
/proc/26507/stat : 26507 (toysat) R 26504 26507 25889 0 -1 4202496 267416 0 0 0 384 35 0 0 20 0 4 0 103745007 1337528320 267745 33554432000 4194304 16246674 140735990858512 140735990841512 13943664 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26507/statm: 326545 267745 799 2943 0 323439 0
[pid=26507/tid=26508] ppid=26504 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26508/stat : 26508 (toysat) S 26504 26507 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103745007 1337528320 267745 33554432000 4194304 16246674 140735990858512 140729282178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26507/tid=26509] ppid=26504 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26509/stat : 26509 (toysat) S 26504 26507 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103745007 1337528320 267745 33554432000 4194304 16246674 140735990858512 140729271688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26507/tid=26510] ppid=26504 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26507/task/26510/stat : 26510 (toysat) S 26504 26507 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103745008 1337528320 267745 33554432000 4194304 16246674 140735990858512 140729261214896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 4.29184
CPU time (s): 4.29035
CPU user time (s): 3.87241
CPU system time (s): 0.417936
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.87241
system time used= 0.417936
maximum resident set size= 1071008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267425
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= 19
involuntary context switches= 5

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025996 second user time and 0.036994 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 78c7dd053a309e76acc4f92715af72ca
RANDOM SEED=382769198

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:        30990424 kB
Buffers:            5392 kB
Cached:            70608 kB
SwapCached:         3236 kB
Active:          1141904 kB
Inactive:          20076 kB
Active(anon):    1085192 kB
Inactive(anon):     3236 kB
Active(file):      56712 kB
Inactive(file):    16840 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16844 kB
Writeback:             0 kB
AnonPages:       1094748 kB
Mapped:            10164 kB
Shmem:                 0 kB
Slab:             573048 kB
SReclaimable:      12532 kB
SUnreclaim:       560516 kB
KernelStack:        2240 kB
PageTables:         6608 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:   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:17:14