Trace number 4078671

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 2.6356 2.63691

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
MD5SUM4a96a2353b6045ef15a9bfabac06d14b
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 benchmark0.84887
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 737
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-06T15:21:21+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-4078671-1465219281.opb"]
0.00/0.01	c use --random-gen="3638342426 3338562533 3771305834 751072236 3036518518 1268260744 2446946948 3116375931 3690462779 4217955367 3594696608 1435412565 537046409 693688213 3146792431 356533767 2754233644 1990755867 3034352156 2453761949 3583680372 1590476415 1223408340 4006023178 1112072008 2142295437 2922846979 926030116 2113644517 2388327411 857917710 1262697932 4278656347 1360669781 1493219820 1525949503 2130867862 922364971 4284252932 3805565151 1041846075 1395931137 1234273232 3295730665 4197086293 1297001156 1007716111 916693591 2672298267 90562072 2891257244 1409164299 3392456293 2204910053 3587330759 753292502 3085471145 2979365153 2166124997 4057011703 3856581602 3522294826 1746403062 1913768361 3939947276 3310243812 4021286192 908693368 1368063732 1996988264 2007357108 3707671898 1518459510 2539113149 3373012432 1623665049 3707158480 2706145631 4284791906 2255171590 1898156902 3610519891 1136259779 310398025 4048436042 4185613820 1754681843 3972103294 3803550091 3471412937 794556401 807458427 3473704071 612646432 3736093005 3273560827 611162523 605666670 3730624676 3118074280 1213972667 2316114904 1551055764 3308828120 2713161231 706060729 1718210220 2007366622 953389646 964436037 1912111361 1244898066 1366042341 4133360564 3030762842 103341624 1732732656 4235320517 1198866957 3726896986 3813224457 2927040148 3002625235 857300375 229311545 1390740200 3250978772 3615546825 2584252736 2582079928 2202208267 322483174 1282093844 1349178250 2306107215 2570006663 2772230591 3216257503 2972377466 3796343365 2795483802 55075670 2323846226 3094903723 50013491 1869176932 950804240 254577390 2033998129 576618427 231300118 2918728249 141484181 1577060808 1802828764 4259159482 68949530 1612013153 3535609571 1634360867 2370946996 157553029 3774801313 2877139765 2561132198 2701540635 2790658225 4192454433 1154408845 2906005141 1051749666 1467404154 4210651384 485354171 2689899453 4117368541 1191633533 1794883835 460291457 4162366169 1715346041 735084317 3387918013 2374604685 283912714 729964634 4197615059 2826101389 272411264 1937989179 3880434587 926915415 3987668293 3910506401 2665634869 1916672135 2406902932 1243497004 1347484958 1346606636 1240305069 532094195 2472016497 652819414 1227170326 1218421263 3397827410 2594158538 2584413257 2079936150 3948949501 4113358125 3028037201 765225153 2156159072 1366729431 1044475787 309357863 1178177245 2122131050 2458134424 2011399934 3539505137 3176149074 1127520010 3761679693 540415342 1031682812 3684421940 2790165931 3366887985 2313818381 1072389731 1975059255 1333377506 964045698 3491732346 1386742799 2766058526 3112977995 3690010636 4144920500 2708836936 1349197443 630457526 1505131774 3044024969 4038722307 3240353224 741195039 2354052690 585931942 585305830 3164469073 852352846 1883056087 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      405 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      663 |      250 |     1077      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |     1088 |      475 |     1185      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |     1783 |      813 |     1304      0 |        0 |        0
0.28/0.35	c  0.3s |       5 |     2683 |     1320 |     1435      0 |        0 |        0
0.49/0.53	c  0.5s |       6 |     4058 |     2081 |     1737      1 |        0 |        0
0.79/0.83	c  0.8s |       7 |     6240 |     3223 |     1911      2 |        0 |        0
1.20/1.23	c  1.2s |       8 |     9205 |     4936 |     2103      2 |        1 |       11
1.79/1.80	c  1.7s |       9 |    13930 |     7506 |     2314      5 |        2 |       22
2.30/2.36	c  2.3s |      10 |    22039 |    11361 |     2546      5 |        5 |       55
2.49/2.58	c  2.5s |      10 |    24924 |    12856 |     2546      5 |      143 |     1378
2.49/2.58	c #cpu_time = 2.494s
2.49/2.58	c #wall_clock_time = 2.501s
2.49/2.58	c #decision = 24924
2.49/2.58	c #random_decision = 77
2.49/2.58	c #conflict = 12856
2.49/2.58	c #restart = 10
2.49/2.58	s UNSATISFIABLE
2.49/2.58	c total CPU time = 2.573s
2.49/2.58	c total wall clock time = 2.580s

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

pid=28321
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.11 2.09 3/261 28324
/proc/meminfo: memFree=30995968/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1110460 CPUtime=0 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 4212 0 0 0 0 0 0 0 20 0 4 0 103770151 1137111040 4573 33554432000 4194304 16246674 140734828897264 140734828896688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 278383 4582 441 2943 0 275277 0
[pid=28324/tid=28325] ppid=28321 vsize=1131964 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1159131136 4657 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1137084 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1164374016 4676 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1141180 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103770152 1168568320 4693 33554432000 4194304 16246674 140734828897264 140198415420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100094 s]
/proc/loadavg: 2.18 2.11 2.09 3/261 28324
/proc/meminfo: memFree=30995968/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 25262 0 0 0 6 3 0 0 20 0 4 0 103770151 1247350784 25612 33554432000 4194304 16246674 140734828897264 140734828896688 5712452 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 304529 25618 723 2943 0 301423 0
[pid=28324/tid=28325] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 25623 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 25628 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103770152 1247350784 25633 33554432000 4194304 16246674 140734828897264 140198415420592 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.200465 s]
/proc/loadavg: 2.18 2.11 2.09 3/261 28324
/proc/meminfo: memFree=30995968/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 40970 0 0 0 14 5 0 0 20 0 4 0 103770151 1247350784 41320 33554432000 4194304 16246674 140734828897264 140734828879168 5662075 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 304529 41328 723 2943 0 301423 0
[pid=28324/tid=28325] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 41334 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 41339 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103770152 1247350784 41342 33554432000 4194304 16246674 140734828897264 140198415420592 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.300451 s]
/proc/loadavg: 2.18 2.11 2.09 3/261 28324
/proc/meminfo: memFree=30995968/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1218116 CPUtime=0.28 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 56522 0 0 0 21 7 0 0 20 0 4 0 103770151 1247350784 56872 33554432000 4194304 16246674 140734828897264 140734828879168 5677277 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 304529 56880 723 2943 0 301423 0
[pid=28324/tid=28325] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 56887 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 56891 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103770152 1247350784 56897 33554432000 4194304 16246674 140734828897264 140198415420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 2.18 2.11 2.09 3/261 28324
/proc/meminfo: memFree=30995968/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 120370 0 0 0 53 16 0 0 20 0 4 0 103770151 1247350784 120721 33554432000 4194304 16246674 140734828897264 140734828879168 13759916 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 304529 120728 729 2943 0 301423 0
[pid=28324/tid=28325] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 120734 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1247350784 120740 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103770152 1247350784 120745 33554432000 4194304 16246674 140734828897264 140198415420592 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.50039 s]
/proc/loadavg: 2.17 2.11 2.09 3/265 28328
/proc/meminfo: memFree=30261296/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1221188 CPUtime=1.49 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 246004 0 0 0 116 33 0 0 20 0 4 0 103770151 1250496512 246337 33554432000 4194304 16246674 140734828897264 140734828879168 4221016 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 305297 246340 761 2943 0 302191 0
[pid=28324/tid=28325] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1250496512 246342 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1250496512 246345 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103770152 1250496512 246347 33554432000 4194304 16246674 140734828897264 140198415420592 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) 1221188

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

[startup+1.60045 s]
/proc/loadavg: 2.17 2.11 2.09 3/265 28328
/proc/meminfo: memFree=30261296/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1221188 CPUtime=1.59 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 246177 0 0 0 126 33 0 0 20 0 4 0 103770151 1250496512 246507 33554432000 4194304 16246674 140734828897264 140734828896576 5673867 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 305297 246507 797 2943 0 302191 0
[pid=28324/tid=28325] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1250496512 246507 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1250496512 246507 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103770152 1250496512 246507 33554432000 4194304 16246674 140734828897264 140198415420592 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) 1221188

[startup+2.4004 s]
/proc/loadavg: 2.17 2.11 2.09 3/265 28328
/proc/meminfo: memFree=30009824/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=1221188 CPUtime=2.39 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202496 246177 0 0 0 206 33 0 0 20 0 4 0 103770151 1250496512 246507 33554432000 4194304 16246674 140734828897264 140734828879168 13965544 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 305297 246507 797 2943 0 302191 0
[pid=28324/tid=28325] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28325/stat : 28325 (toysat) S 28321 28324 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103770151 1250496512 246507 33554432000 4194304 16246674 140734828897264 140198436383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28324/tid=28326] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28326/stat : 28326 (toysat) S 28321 28324 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103770151 1250496512 246507 33554432000 4194304 16246674 140734828897264 140198425894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28324/tid=28327] ppid=28321 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28324/task/28327/stat : 28327 (toysat) S 28321 28324 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103770152 1250496512 246507 33554432000 4194304 16246674 140734828897264 140198415420592 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) 1221188

[startup+2.60029 s]
/proc/loadavg: 2.17 2.11 2.09 3/265 28328
/proc/meminfo: memFree=30009824/32872528 swapFree=9196/9196
[pid=28324] ppid=28321 vsize=0 CPUtime=2.59 cores=0-3,8-11
/proc/28324/stat : 28324 (toysat) R 28321 28324 25889 0 -1 4202500 247517 0 0 0 224 35 0 0 20 0 1 0 103770151 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28324/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2.63691
CPU time (s): 2.6356
CPU user time (s): 2.24366
CPU system time (s): 0.39194
CPU usage (%): 99.9502
Max. virtual memory (cumulated for all children) (KiB): 1221188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.24366
system time used= 0.39194
maximum resident set size= 991380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247517
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.014997 second user time and 0.019996 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:21:21
IDJOB=4078671
IDBENCH=1309
IDSOLVER=2542
FILE ID=node132/4078671-1465219281
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/tsp/normalized-t3002.11tsp11.1900584106.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078671-1465219281/watcher-4078671-1465219281 -o /tmp/evaluation-result-4078671-1465219281/solver-4078671-1465219281 -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-4078671-1465219281.opb

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

MD5SUM BENCH= 4a96a2353b6045ef15a9bfabac06d14b
RANDOM SEED=1614314403

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:        30995976 kB
Buffers:            7808 kB
Cached:            71628 kB
SwapCached:         3236 kB
Active:          1135396 kB
Inactive:          21596 kB
Active(anon):    1076756 kB
Inactive(anon):     3236 kB
Active(file):      58640 kB
Inactive(file):    18360 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             33528 kB
Writeback:             0 kB
AnonPages:       1084560 kB
Mapped:            10676 kB
Shmem:                 0 kB
Slab:             573188 kB
SReclaimable:      12496 kB
SUnreclaim:       560692 kB
KernelStack:        2240 kB
PageTables:         6428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1228732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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:21:24