Trace number 4099228

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 12.6491 12.6519

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
MD5SUMdf3a88f9ce76cdc5f93bc528741f3e95
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 benchmark4.71328
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
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-18T01:28:41+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-4099228-1466206121.opb"]
0.00/0.01	c use --random-gen="2697995203 3975187974 2001918605 236169803 4230359144 425709779 4042793294 1073293710 2018353477 970013586 3853303808 2011939304 3003028695 1415993736 3248434189 136445995 2704259872 503685830 2699033235 3990808917 3226093296 1960181636 4056666802 591683447 895716586 1053241237 2329348772 873003427 3144928761 302830639 2125182614 111460988 1637158059 1283065459 4008880034 3283934499 3493525938 1223558964 3707746254 3431027828 321164138 2468851745 1127415806 3157638455 4087960326 2618131168 409274708 2375731647 1696356345 4033619085 3321466963 159811951 1640677347 663024989 3188312282 389423909 2972512114 3582850537 2146098299 2379495139 2362167893 123510211 3555937354 70258290 1894233524 1846731854 2063255262 4107956849 3727027296 728835015 385306239 1888052778 2992190916 4743000 2349467758 3404122416 1510921556 1812617217 678341326 263536791 1624341301 3045961039 757192624 4246912512 15739165 1033342780 2656241414 2971551804 1148257671 1499993711 273726118 2831044443 2481748798 2191874819 2690999400 3524608851 778260719 3045159265 1823848006 239004221 1996673950 1183740680 3172808969 535010264 4022367024 2282794123 4277228109 3180550133 2964911420 3684440574 3920364390 4158870044 2625379823 1757855831 755146883 982993459 1353550613 2080153085 1220290117 113694978 2612680567 2254488766 4006551007 2201916151 1762312234 1578129940 4043546332 1627821275 3140872579 1971552939 1775844679 1196977791 3710333206 1445708858 1914959255 4175646334 2244726820 2857449155 3362722611 3894377582 1500122184 1941972790 2690880125 2223812477 2908075585 3815943326 2030632878 3986425616 1031745293 2411131736 2195807827 3080460166 3368489568 2952214300 4273167035 3122380497 477876149 2115816057 1605245945 1674994177 1927189250 2792653766 3729748882 3112418950 304149383 2043488790 4222956056 3651875653 1065264483 1513430677 2808232748 3929376886 2288165552 754679859 1687878214 3178222245 3293618787 1545823245 543790246 2005726529 3135652757 801267770 103976695 3518006300 1092160676 1048559896 2522752413 521416470 350252564 197252743 1065334715 3255804340 2364312801 1384672390 3554090630 598175095 1695702867 912548909 2057753259 2255535147 2237323249 1549316389 3657117577 1193565873 588809020 1798803568 3092503101 3585052210 1577479949 2095336738 1443086227 2653026727 2013332989 1862231051 3819762906 3918553144 129397901 2570146536 174644974 2795866443 2514519623 3848475256 2778051583 1799203714 2406621189 504542886 1858951416 1785108871 3318831761 756615873 90974492 1301869516 20548589 3214356569 3301911103 3240727420 765313999 3467442253 605025330 2402916876 1032506825 1837695925 1405781428 4076024263 593246022 4122356610 1738816796 55408936 3711270918 143151798 291065441 1122175574 3055396514 3879975720 2817590911 3654182585 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      244 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      483 |      250 |     1077      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      817 |      475 |     1185      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |     1365 |      813 |     1304      0 |        0 |        0
0.29/0.34	c  0.3s |       5 |     2289 |     1320 |     1435      0 |        0 |        0
0.49/0.52	c  0.4s |       6 |     3556 |     2081 |     1737      1 |        0 |        0
0.69/0.80	c  0.7s |       7 |     5396 |     3223 |     1911      2 |        0 |        0
1.19/1.28	c  1.2s |       8 |     7744 |     4936 |     2103      4 |        0 |        0
1.89/1.91	c  1.8s |       9 |    11044 |     7506 |     2314      6 |        0 |        0
2.79/2.83	c  2.8s |      10 |    16872 |    11361 |     2546      9 |        0 |        0
4.09/4.16	c  4.1s |      11 |    25971 |    17144 |     2801     12 |        1 |       11
5.99/6.06	c  6.0s |      12 |    41096 |    25819 |     3082     17 |        2 |       22
7.99/8.07	c  8.0s |      12 |    61093 |    36619 |     3082     22 |        4 |       44
8.39/8.45	c  8.4s |      13 |    65196 |    38832 |     3391     22 |        5 |       55
10.39/10.46	c 10.4s |      13 |    84928 |    49832 |     3391     23 |        9 |       99
11.89/11.98	c 11.9s |      14 |   100110 |    58352 |     3731     26 |       13 |      143
12.49/12.59	c 12.5s |      14 |   106215 |    61968 |     3731     27 |       45 |      396
12.49/12.59	c #cpu_time = 12.482s
12.49/12.59	c #wall_clock_time = 12.514s
12.49/12.59	c #decision = 106215
12.49/12.59	c #random_decision = 391
12.49/12.59	c #conflict = 61968
12.49/12.59	c #restart = 14
12.49/12.59	s UNSATISFIABLE
12.49/12.59	c total CPU time = 12.559s
12.49/12.59	c total wall clock time = 12.591s

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

pid=24137
running on 4 cores: 1,3,5,7

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: 0.96 0.31 0.11 2/170 24140
/proc/meminfo: memFree=31940544/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 2610 0 0 0 0 0 0 0 20 0 4 0 22656895 716632064 2970 33554432000 4194304 16246674 140736504555632 140736504555056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 175727 2980 441 2943 0 172621 0
[pid=24140/tid=24141] ppid=24137 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 735506432 3040 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 739700736 3058 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 743895040 3074 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 0.96 0.31 0.11 2/170 24140
/proc/meminfo: memFree=31940544/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 25328 0 0 0 5 4 0 0 20 0 4 0 22656895 1247350784 25677 33554432000 4194304 16246674 140736504555632 140736504555056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 304529 25683 724 2943 0 301423 0
[pid=24140/tid=24141] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 25686 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 25693 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 25698 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200517 s]
/proc/loadavg: 0.96 0.31 0.11 2/170 24140
/proc/meminfo: memFree=31940544/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 41203 0 0 0 13 6 0 0 20 0 4 0 22656895 1247350784 41552 33554432000 4194304 16246674 140736504555632 140736504555056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 304529 41557 724 2943 0 301423 0
[pid=24140/tid=24141] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 41563 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 41566 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 41572 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 0.96 0.31 0.11 2/170 24140
/proc/meminfo: memFree=31940544/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 56582 0 0 0 21 8 0 0 20 0 4 0 22656895 1247350784 56931 33554432000 4194304 16246674 140736504555632 140736504555056 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 304529 56935 724 2943 0 301423 0
[pid=24140/tid=24141] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 56941 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 56947 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 56953 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 0.96 0.31 0.11 2/170 24140
/proc/meminfo: memFree=31940544/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 121877 0 0 0 52 17 0 0 20 0 4 0 22656895 1247350784 122226 33554432000 4194304 16246674 140736504555632 140736504555056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 304529 122235 730 2943 0 301423 0
[pid=24140/tid=24141] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 122238 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 122242 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1247350784 122246 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 0.96 0.31 0.11 2/175 24145
/proc/meminfo: memFree=31134920/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 246199 0 0 0 115 34 0 0 20 0 4 0 22656895 1250496512 246528 33554432000 4194304 16246674 140736504555632 140736504554944 12483484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 305297 246528 797 2943 0 302191 0
[pid=24140/tid=24141] ppid=24137 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1250496512 246528 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1250496512 246528 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1250496512 246528 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10038 s]
/proc/loadavg: 0.96 0.32 0.11 3/183 24162
/proc/meminfo: memFree=30343436/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 266714 0 0 0 273 36 0 0 20 0 4 0 22656895 1334382592 267043 33554432000 4194304 16246674 140736504555632 140736504538632 5824045 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 325777 267043 799 2943 0 322671 0
[pid=24140/tid=24141] ppid=24137 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1334382592 267043 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1334382592 267043 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1334382592 267043 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30042 s]
/proc/loadavg: 0.96 0.32 0.11 3/183 24162
/proc/meminfo: memFree=29780652/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 267838 0 0 0 593 36 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 140736504537536 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 326801 268167 799 2943 0 323695 0
[pid=24140/tid=24141] ppid=24137 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

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

[startup+6.50041 s]
/proc/loadavg: 0.96 0.32 0.11 3/183 24162
/proc/meminfo: memFree=29780652/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1307204 CPUtime=6.49 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 267838 0 0 0 613 36 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 140736504537536 5675656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 326801 268167 799 2943 0 323695 0
[pid=24140/tid=24141] ppid=24137 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1338576896 268167 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 1307204

[startup+9.70042 s]
/proc/loadavg: 1.04 0.35 0.12 3/183 24162
/proc/meminfo: memFree=29778180/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1310276 CPUtime=9.69 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 268607 0 0 0 932 37 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 140736504538632 5677656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 327569 268936 800 2943 0 324463 0
[pid=24140/tid=24141] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 1310276

[startup+11.3004 s]
/proc/loadavg: 1.04 0.35 0.12 3/183 24162
/proc/meminfo: memFree=29777084/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1310276 CPUtime=11.29 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 268607 0 0 0 1092 37 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 140736504537536 6861779 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 327569 268936 800 2943 0 324463 0
[pid=24140/tid=24141] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 1310276

[startup+12.1004 s]
/proc/loadavg: 1.04 0.35 0.12 3/183 24162
/proc/meminfo: memFree=29777084/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1310276 CPUtime=12.09 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 268607 0 0 0 1172 37 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 140736504537536 5723882 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 327569 268936 800 2943 0 324463 0
[pid=24140/tid=24141] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 1310276

[startup+12.5004 s]
/proc/loadavg: 1.12 0.37 0.13 3/183 24162
/proc/meminfo: memFree=29774240/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=1310276 CPUtime=12.49 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202496 268607 0 0 0 1212 37 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 140736504537536 13923648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 327569 268936 800 2943 0 324463 0
[pid=24140/tid=24141] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24141/stat : 24141 (toysat) S 24137 24140 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656694836464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24142/stat : 24142 (toysat) S 24137 24140 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656684346608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24140/task/24143/stat : 24143 (toysat) S 24137 24140 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656895 1341722624 268936 33554432000 4194304 16246674 140736504555632 139656565877936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 1310276

[startup+12.6004 s]
/proc/loadavg: 1.12 0.37 0.13 3/183 24162
/proc/meminfo: memFree=29774240/32872528 swapFree=7780/7780
[pid=24140] ppid=24137 vsize=0 CPUtime=12.59 cores=1,3,5,7
/proc/24140/stat : 24140 (toysat) R 24137 24140 23276 0 -1 4202500 268612 0 0 0 1222 37 0 0 20 0 1 0 22656895 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24140/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 12.6519
CPU time (s): 12.6491
CPU user time (s): 12.2201
CPU system time (s): 0.428934
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2201
system time used= 0.428934
maximum resident set size= 1075756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268612
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= 13

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028995 second user time and 0.057991 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 01:28:41
IDJOB=4099228
IDBENCH=1337
IDSOLVER=2542
FILE ID=node151/4099228-1466206121
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099228-1466206121/watcher-4099228-1466206121 -o /tmp/evaluation-result-4099228-1466206121/solver-4099228-1466206121 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099228-1466206121.opb

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

MD5SUM BENCH= df3a88f9ce76cdc5f93bc528741f3e95
RANDOM SEED=545390728

node151.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.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.20
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.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.55
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.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.54
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.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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.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.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.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.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31941072 kB
Buffers:           38268 kB
Cached:           176900 kB
SwapCached:         2016 kB
Active:            71648 kB
Inactive:         146820 kB
Active(anon):       3840 kB
Inactive(anon):     1744 kB
Active(file):      67808 kB
Inactive(file):   145076 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             16636 kB
Writeback:             0 kB
AnonPages:         10400 kB
Mapped:             8032 kB
Shmem:                 0 kB
Slab:             573712 kB
SReclaimable:      16704 kB
SUnreclaim:       557008 kB
KernelStack:        1376 kB
PageTables:         4172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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 node151 at 2016-06-18 01:28:54