Trace number 4078674

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 4.55731 4.56649

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
MD5SUM3972d8c24730f4742ee881de3ad25c62
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.72289
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 707
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:22:20+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-4078674-1465219340.opb"]
0.00/0.01	c use --random-gen="34778586 3376315561 3284451525 219545890 2553854902 3272173924 2130852766 4167960897 3502683329 3143525633 1251988481 3740318686 2911734228 3595869783 1270750465 2776808299 3707185638 408839051 4290151906 2904376118 2742484533 2416358635 3614274435 3288510770 61970108 184165776 1574989561 3718761100 695168957 3595440604 321605728 1813769400 4095839709 2304856163 3762615224 291056135 2449605236 4064938479 2559884894 2466371892 3845117728 3715988899 360837248 1254351090 1052948609 3330399193 3798560422 2655683286 3786072576 1595153454 1218306416 4207846853 71345402 1876085198 1845075857 358519749 4124807088 2931897470 3486245544 1481731880 2402956192 2790129065 1423293572 81479631 3004822560 3797087931 4271765822 777391404 2349327086 1582585451 1579540101 1794466258 3255176552 1022719075 3044250291 1244666347 2865832242 4181957385 2103324858 826480819 2959772028 3327683378 3958842602 3125736221 2049692627 112912829 2988335566 2347044500 3429454957 122019156 737440421 3365225196 4188107689 2012095798 2407763568 956169630 2697709149 3585645680 1573552712 2732918628 2057010146 2353924779 3278886509 2019996986 3959462156 1635665115 1548643634 2740831748 2627645061 3871563988 61589022 1206832949 3555001689 1134944707 2143038882 98798043 3854614680 3249629562 4056854202 1702020433 1757438584 2521572274 3169795390 3909933558 1435038177 380650210 4026612978 498316188 4256509560 1327554379 1069091321 924491276 2725030020 2454733986 1818488459 1683445193 1891799251 2502561425 4258733461 14559795 1912082019 3659380893 3071850989 348977820 787109640 2870606889 3094517681 1349359614 3262220377 1980975935 120749769 3014755182 2683515516 2848545461 4139550723 2101133762 3767353343 1797846796 3121554241 1270911466 297790003 1269129850 2316606677 27127126 3476764107 2234413497 3724221870 42588405 4027497368 3201626633 2978728476 3935640123 1614050788 4259494123 2454394581 577083268 1469480183 3772160249 4082308170 3696359112 2133608044 3185465747 1499358111 3114418164 1874110147 1640753232 194610358 3532853805 380328696 879022151 1986902106 846619062 3042716616 1749811117 26005550 3682960891 3712914250 1700510861 4035519635 950893065 1314204302 1336283034 1965449569 2683260335 92330862 1264155660 1589768361 3380910511 312934236 2286412635 3806126993 724952974 1473731007 1602567546 2580780163 444600649 1824766134 852750624 3042385153 1947031973 2538127563 3719751846 617570100 2053857291 1663191231 1234907823 2451987465 4141872156 2743657865 66044486 738092969 2134641232 2942770321 1253521539 2200889653 2060450464 943392483 1258405732 91319049 873692820 2593541220 721372813 207633178 2954255080 3166903956 1365070776 3246038693 2747424281 702709212 2431078277 3740955762 248558258 389099903 2647168689 3820558710 1362065780 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.10	c  0.0s |       1 |      180 |      100 |      979      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      394 |      250 |     1077      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |      718 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1203 |      813 |     1304      0 |        0 |        0
0.29/0.34	c  0.3s |       5 |     1994 |     1320 |     1435      0 |        0 |        0
0.49/0.52	c  0.4s |       6 |     3246 |     2081 |     1737      1 |        0 |        0
0.79/0.81	c  0.7s |       7 |     5096 |     3223 |     1911      2 |        0 |        0
1.20/1.29	c  1.2s |       8 |     7801 |     4936 |     2103      4 |        0 |        0
1.79/1.88	c  1.8s |       9 |    11963 |     7506 |     2314      6 |        0 |        0
2.59/2.66	c  2.6s |      10 |    18864 |    11361 |     2546      8 |        1 |       11
3.59/3.65	c  3.6s |      11 |    28838 |    17144 |     2801     10 |        3 |       33
4.39/4.50	c  4.4s |      11 |    39819 |    23426 |     2801     10 |       56 |      336
4.39/4.50	c #cpu_time = 4.415s
4.39/4.50	c #wall_clock_time = 4.427s
4.39/4.50	c #decision = 39819
4.39/4.50	c #random_decision = 145
4.39/4.50	c #conflict = 23426
4.39/4.50	c #restart = 11
4.39/4.50	s UNSATISFIABLE
4.39/4.50	c total CPU time = 4.494s
4.39/4.50	c total wall clock time = 4.505s

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

pid=28909
running on 8 cores: 4-7,12-15

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.15 2.12 2.09 3/261 28912
/proc/meminfo: memFree=30994136/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1078852 CPUtime=0 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 4085 0 0 0 0 0 0 0 20 0 4 0 103776016 1104744448 4958 33554432000 4194304 16246674 140735154740768 140735154740192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 270225 4968 442 2943 0 267119 0
[pid=28912/tid=28913] ppid=28909 vsize=1103428 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1129910272 5054 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1107524 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1134104576 5072 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1112644 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1139347456 5091 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100197 s]
/proc/loadavg: 2.15 2.12 2.09 3/261 28912
/proc/meminfo: memFree=30994136/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 25479 0 0 0 6 3 0 0 20 0 4 0 103776016 1247350784 26340 33554432000 4194304 16246674 140735154740768 140735154740192 13780501 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 304529 26346 724 2943 0 301423 0
[pid=28912/tid=28913] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 26352 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 26358 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 26360 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.15 2.12 2.09 3/261 28912
/proc/meminfo: memFree=30994136/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 41508 0 0 0 13 6 0 0 20 0 4 0 103776016 1247350784 42370 33554432000 4194304 16246674 140735154740768 140735154740192 5721898 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 304529 42378 724 2943 0 301423 0
[pid=28912/tid=28913] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 42385 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 42391 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 42395 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 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.15 2.12 2.09 3/261 28912
/proc/meminfo: memFree=30994136/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1218116 CPUtime=0.29 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 56712 0 0 0 21 8 0 0 20 0 4 0 103776016 1247350784 57573 33554432000 4194304 16246674 140735154740768 140735154740192 12874965 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 304529 57582 724 2943 0 301423 0
[pid=28912/tid=28913] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 57584 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 57588 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 57592 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700382 s]
/proc/loadavg: 2.15 2.12 2.09 3/261 28912
/proc/meminfo: memFree=30994136/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 119389 0 0 0 54 15 0 0 20 0 4 0 103776016 1247350784 120250 33554432000 4194304 16246674 140735154740768 140735154722688 5662075 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 304529 120258 731 2943 0 301423 0
[pid=28912/tid=28913] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 120268 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 120274 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1247350784 120278 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 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.15 2.12 2.09 3/265 28916
/proc/meminfo: memFree=30257160/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1219140 CPUtime=1.49 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 245608 0 0 0 115 34 0 0 20 0 4 0 103776016 1248399360 246452 33554432000 4194304 16246674 140735154740768 140735154722688 4222282 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 304785 246457 760 2943 0 301679 0
[pid=28912/tid=28913] ppid=28909 vsize=1219140 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1248399360 246460 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1219140 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1248399360 246462 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1219140 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1248399360 246465 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.15 2.12 2.09 3/265 28916
/proc/meminfo: memFree=30006140/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1303108 CPUtime=3.09 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 266743 0 0 0 272 37 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140735154722688 6837112 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 325777 267584 797 2943 0 322671 0
[pid=28912/tid=28913] ppid=28909 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

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

[startup+3.30041 s]
/proc/loadavg: 2.15 2.12 2.09 3/265 28916
/proc/meminfo: memFree=30006140/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1303108 CPUtime=3.29 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 266743 0 0 0 292 37 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140735154722688 5523416 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 325777 267584 797 2943 0 322671 0
[pid=28912/tid=28913] ppid=28909 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1334382592 267584 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 1303108

[startup+4.10039 s]
/proc/loadavg: 2.14 2.12 2.09 3/265 28916
/proc/meminfo: memFree=29923804/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=1306180 CPUtime=4.09 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) R 28909 28912 25889 0 -1 4202496 267443 0 0 0 372 37 0 0 20 0 4 0 103776016 1337528320 268284 33554432000 4194304 16246674 140735154740768 140735154722688 5822964 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 326545 268284 798 2943 0 323439 0
[pid=28912/tid=28913] ppid=28909 vsize=1306180 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28913/stat : 28913 (toysat) S 28909 28912 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103776016 1337528320 268284 33554432000 4194304 16246674 140735154740768 140561350634736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=28912/tid=28914] ppid=28909 vsize=1306180 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28914/stat : 28914 (toysat) S 28909 28912 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103776016 1337528320 268284 33554432000 4194304 16246674 140735154740768 140561340144880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=1306180 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) S 28909 28912 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103776016 1337528320 268284 33554432000 4194304 16246674 140735154740768 140561260473520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 1306180

[startup+4.50038 s]
/proc/loadavg: 2.14 2.12 2.09 3/265 28916
/proc/meminfo: memFree=29921712/32872528 swapFree=9196/9196
[pid=28912] ppid=28909 vsize=0 CPUtime=4.5 cores=4-7,12-15
/proc/28912/stat : 28912 (toysat) Z 28909 28912 25889 0 -1 4202508 267449 0 0 0 413 37 0 0 20 0 2 0 103776016 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/28912/statm: 0 0 0 0 0 0 0
[pid=28912/tid=28915] ppid=28909 vsize=0 CPUtime=0 cores=4-7,12-15
/proc/28912/task/28915/stat : 28915 (toysat) R 28909 28912 25889 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 103776016 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.56649
CPU time (s): 4.55731
CPU user time (s): 4.13037
CPU system time (s): 0.426935
CPU usage (%): 99.7989
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.13037
system time used= 0.426935
maximum resident set size= 1073152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267449
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= 8

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

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:22:20
IDJOB=4078674
IDBENCH=1351
IDSOLVER=2542
FILE ID=node132/4078674-1465219340
RUNJOBID= node132-1465216787-25906
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.1900670167.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078674-1465219340/watcher-4078674-1465219340 -o /tmp/evaluation-result-4078674-1465219340/solver-4078674-1465219340 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078674-1465219340.opb

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

MD5SUM BENCH= 3972d8c24730f4742ee881de3ad25c62
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:        30994136 kB
Buffers:            8560 kB
Cached:            72016 kB
SwapCached:         3236 kB
Active:          1133900 kB
Inactive:          22084 kB
Active(anon):    1074956 kB
Inactive(anon):     3236 kB
Active(file):      58944 kB
Inactive(file):    18848 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             33492 kB
Writeback:             0 kB
AnonPages:       1082436 kB
Mapped:            10336 kB
Shmem:                 0 kB
Slab:             574088 kB
SReclaimable:      13016 kB
SUnreclaim:       561072 kB
KernelStack:        2240 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1227796 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:22:25