Trace number 4099109

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 11.1613 11.1679

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb
MD5SUMa7f9415d82387c85347e0216376f3dfd
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 benchmark2.14367
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 695
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:29+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-4099109-1466206109.opb"]
0.00/0.01	c use --random-gen="4264447040 3650101373 3172722788 2756489165 344427772 3856036211 2254514130 3220137319 506595938 2026259202 155666615 3936797618 2284974563 3835502606 311166706 3194782228 2630348479 3630667267 3858279923 2081017205 1849602929 4081232121 519866283 2084217413 180849093 125366117 2616655815 3646427211 3189557576 1613907641 1339380314 2722454789 3656423493 3661642430 2678809927 4166063643 1942699386 3872050243 4153375939 2602241090 1160155272 1840088358 3583267937 2659433361 153658513 3994943465 3305768694 3682974052 3203905965 3544727946 2664236710 740266993 883770196 4207183682 1751155172 1608804896 2758262590 4203619891 964342754 2300618196 3897282819 1415297821 3847064251 1883914515 4045223359 1887555969 690290559 1157188333 3927872752 3511092230 504100932 3585543324 3340674560 3428444511 2963791409 2234716416 3844894365 2824326666 2448830627 2985803324 1485382923 3247156401 3394837820 2020014059 192418411 64012543 3547167498 311678116 1271497053 4280146716 3136443890 2977035799 2726513 3987718747 3289345480 2900975412 2092965683 696909931 1042663916 349119761 2087830821 2112560250 3380871368 61211734 2045383461 2418425651 3014244448 727225821 3981399828 3817371799 1787917080 2994515135 4290215445 1827526641 517773217 651423684 3383285153 2828121156 3682610230 3440696761 3196074227 3289778057 1780097055 3540474472 2201673190 925782991 3506238842 1551691641 1573007747 3108555759 2170962821 3045123207 1843591934 2049516148 2583743371 1590309796 155400120 3832721050 38815432 641367463 2209307991 1102881029 3281738865 2625274635 738826994 2927116733 3580434112 470752737 3290762187 1827341634 2834552444 1980603548 2758191038 1443799241 48613447 649008103 4109617494 2177850702 2069984408 3984182746 4044566523 2723680899 1193927890 2500336078 1527307199 3968882689 427260299 3437521174 733905207 498458164 1553544673 1825548276 1540459022 751634453 1616550274 155895844 230710663 1946564681 1465292724 1575903687 3610161482 2735055985 1646757137 2656583770 1939747038 3858556501 1624159451 4271407164 2360658523 1723228271 265109125 2641652410 2745227054 3222559723 1738680845 3865423063 1320830327 1272395663 2769125 3293587655 1547894324 934754713 315144758 2901763074 857205662 1096799925 2308054994 1791899406 753428482 2689799925 1085946247 2969230629 4235866182 1219360636 1862677777 4248038201 39673708 4169949149 93522977 493793748 2810677766 1363819809 466468849 952121541 1893078434 415877726 1369585067 2860264192 2442841657 753158482 3447978014 430349809 380247208 2691365901 1414859 1517210427 2252733612 1881153207 3965402117 2648315952 2495607750 3210426837 3825863814 3163197005 2366096644 3304288311 3237896546 1753418549 2379671338 3492270742 151726830 2936332863 672581278 2646928742 3523923401 1627171043 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 |      285 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      601 |      250 |     1077      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      996 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1557 |      813 |     1304      0 |        0 |        0
0.29/0.35	c  0.3s |       5 |     2558 |     1320 |     1435      0 |        0 |        0
0.49/0.52	c  0.4s |       6 |     3926 |     2081 |     1737      1 |        0 |        0
0.69/0.79	c  0.7s |       7 |     5904 |     3223 |     1911      2 |        0 |        0
1.19/1.27	c  1.2s |       8 |     8798 |     4936 |     2103      4 |        0 |        0
1.89/1.91	c  1.8s |       9 |    13238 |     7506 |     2314      5 |        1 |       11
2.79/2.88	c  2.8s |      10 |    19581 |    11361 |     2546      8 |        1 |       11
4.09/4.17	c  4.1s |      11 |    29305 |    17144 |     2801     11 |        2 |       22
6.19/6.20	c  6.1s |      11 |    43696 |    25644 |     2801     16 |        3 |       33
6.19/6.24	c  6.2s |      12 |    44030 |    25819 |     3082     16 |        3 |       33
8.19/8.25	c  8.2s |      12 |    63597 |    36419 |     3082     20 |        5 |       55
8.59/8.65	c  8.6s |      13 |    67802 |    38832 |     3391     22 |        5 |       55
10.59/10.65	c 10.6s |      13 |    89475 |    50732 |     3391     27 |        9 |       99
10.99/11.10	c 11.0s |      13 |    95163 |    53714 |     3391     28 |      165 |      319
10.99/11.10	c #cpu_time = 11.024s
10.99/11.10	c #wall_clock_time = 11.026s
10.99/11.10	c #decision = 95163
10.99/11.10	c #random_decision = 391
10.99/11.10	c #conflict = 53714
10.99/11.10	c #restart = 13
10.99/11.10	s UNSATISFIABLE
10.99/11.10	c total CPU time = 11.102s
10.99/11.10	c total wall clock time = 11.104s

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

pid=11428
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: 1.07 0.33 0.11 3/179 11431
/proc/meminfo: memFree=30360100/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 2913 0 0 0 0 0 0 0 20 0 4 0 22656519 796323840 2762 33554432000 4194304 16246674 140737463589264 140737463588688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 195183 2771 441 2943 0 192077 0
[pid=11431/tid=11432] ppid=11428 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 815198208 2832 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 820441088 2850 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656519 825683968 2870 33554432000 4194304 16246674 140737463589264 140319495539888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.07 0.33 0.11 3/179 11431
/proc/meminfo: memFree=30360100/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 25367 0 0 0 5 4 0 0 20 0 4 0 22656519 1247350784 25206 33554432000 4194304 16246674 140737463589264 140737463588688 5546859 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 304529 25214 727 2943 0 301423 0
[pid=11431/tid=11432] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 25217 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 25222 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 25224 33554432000 4194304 16246674 140737463589264 140319495539888 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.20053 s]
/proc/loadavg: 1.07 0.33 0.11 3/179 11431
/proc/meminfo: memFree=30360100/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 40809 0 0 0 14 5 0 0 20 0 4 0 22656519 1247350784 40647 33554432000 4194304 16246674 140737463589264 140737463588688 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 304529 40655 727 2943 0 301423 0
[pid=11431/tid=11432] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 40658 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 40663 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 40667 33554432000 4194304 16246674 140737463589264 140319495539888 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.3005 s]
/proc/loadavg: 1.07 0.33 0.11 3/179 11431
/proc/meminfo: memFree=30360100/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 56512 0 0 0 22 7 0 0 20 0 4 0 22656519 1247350784 56351 33554432000 4194304 16246674 140737463589264 140737463588688 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 304529 56357 727 2943 0 301423 0
[pid=11431/tid=11432] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 56360 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 56368 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 56372 33554432000 4194304 16246674 140737463589264 140319495539888 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.700403 s]
/proc/loadavg: 1.07 0.33 0.11 3/179 11431
/proc/meminfo: memFree=30360100/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 120928 0 0 0 54 15 0 0 20 0 4 0 22656519 1247350784 120767 33554432000 4194304 16246674 140737463589264 140737463571136 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 304529 120776 734 2943 0 301423 0
[pid=11431/tid=11432] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 120780 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 120783 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656519 1247350784 120790 33554432000 4194304 16246674 140737463589264 140319495539888 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: 1.14 0.36 0.12 3/183 11435
/proc/meminfo: memFree=29627756/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 246144 0 0 0 118 31 0 0 20 0 4 0 22656519 1250496512 245962 33554432000 4194304 16246674 140737463589264 140737463588576 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 305297 245962 800 2943 0 302191 0
[pid=11431/tid=11432] ppid=11428 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1250496512 245962 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1250496512 245962 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1250496512 245962 33554432000 4194304 16246674 140737463589264 140319495539888 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.10044 s]
/proc/loadavg: 1.14 0.36 0.12 3/183 11435
/proc/meminfo: memFree=29377384/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 266675 0 0 0 276 33 0 0 20 0 4 0 22656519 1334382592 266493 33554432000 4194304 16246674 140737463589264 140737463571136 12477498 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 325777 266493 800 2943 0 322671 0
[pid=11431/tid=11432] ppid=11428 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1334382592 266493 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1334382592 266493 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1334382592 266493 33554432000 4194304 16246674 140737463589264 140319495539888 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.30043 s]
/proc/loadavg: 1.21 0.39 0.12 3/183 11435
/proc/meminfo: memFree=29289924/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 268060 0 0 0 595 34 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140737463571136 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11431/statm: 327057 267878 800 2943 0 323951 0
[pid=11431/tid=11432] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140319495539888 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) 1308228

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

[startup+6.40052 s]
/proc/loadavg: 1.21 0.39 0.12 3/183 11435
/proc/meminfo: memFree=29289924/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1308228 CPUtime=6.39 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 268060 0 0 0 605 34 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140737463571136 5672213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11431/statm: 327057 267878 800 2943 0 323951 0
[pid=11431/tid=11432] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267878 33554432000 4194304 16246674 140737463589264 140319495539888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1308228

[startup+9.60042 s]
/proc/loadavg: 1.21 0.39 0.12 3/183 11435
/proc/meminfo: memFree=29290312/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1308228 CPUtime=9.59 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 268095 0 0 0 925 34 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140737463571136 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11431/statm: 327057 267913 800 2943 0 323951 0
[pid=11431/tid=11432] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319495539888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 1308228

[startup+10.4004 s]
/proc/loadavg: 1.21 0.39 0.12 3/183 11435
/proc/meminfo: memFree=29290312/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1308228 CPUtime=10.39 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 268095 0 0 0 1005 34 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140737463571136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11431/statm: 327057 267913 800 2943 0 323951 0
[pid=11431/tid=11432] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319495539888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 1308228

[startup+10.8004 s]
/proc/loadavg: 1.21 0.39 0.12 3/183 11435
/proc/meminfo: memFree=29290312/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1308228 CPUtime=10.79 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 268095 0 0 0 1045 34 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140737463572264 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11431/statm: 327057 267913 800 2943 0 323951 0
[pid=11431/tid=11432] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319495539888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (KiB) 1308228

[startup+11.0004 s]
/proc/loadavg: 1.27 0.41 0.13 3/183 11435
/proc/meminfo: memFree=29290212/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1308228 CPUtime=10.99 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) R 11428 11431 10353 0 -1 4202496 268095 0 0 0 1065 34 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140737463572264 5840515 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11431/statm: 327057 267913 800 2943 0 323951 0
[pid=11431/tid=11432] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319516503280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) S 11428 11431 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319506013424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267913 33554432000 4194304 16246674 140737463589264 140319495539888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 1308228

[startup+11.1075 s]
/proc/loadavg: 1.27 0.41 0.13 3/183 11435
/proc/meminfo: memFree=29290212/32872528 swapFree=534252/566956
[pid=11431] ppid=11428 vsize=1308228 CPUtime=11.09 cores=1,3,5,7
/proc/11431/stat : 11431 (toysat) S 11428 11431 10353 0 -1 4202496 268098 0 0 0 1075 34 0 0 20 0 4 0 22656519 1339625472 267915 33554432000 4194304 16246674 140737463589264 140737463588608 14069300 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11431/statm: 327057 267915 801 2943 0 323951 0
[pid=11431/tid=11432] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11432/stat : 11432 (toysat) S 11428 11431 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267915 33554432000 4194304 16246674 140737463589264 140319516503056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11431/tid=11433] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11433/stat : 11433 (toysat) R 11428 11431 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267915 33554432000 4194304 16246674 140737463589264 140319506013424 4220897 0 2 0 34082818 0 0 0 -1 1 0 0 0 0 0
[pid=11431/tid=11434] ppid=11428 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11431/task/11434/stat : 11434 (toysat) S 11428 11431 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656519 1339625472 267915 33554432000 4194304 16246674 140737463589264 140319495539888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 1308228

Child status: 0
Real time (s): 11.1679
CPU time (s): 11.1613
CPU user time (s): 10.7554
CPU system time (s): 0.405938
CPU usage (%): 99.9411
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7554
system time used= 0.405938
maximum resident set size= 1071668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268100
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= 17
involuntary context switches= 24

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

The end

Launcher Data 

Begin job on node138 at 2016-06-18 01:28:29
IDJOB=4099109
IDBENCH=1312
IDSOLVER=2542
FILE ID=node138/4099109-1466206109
RUNJOBID= node138-1466206053-10370
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= a7f9415d82387c85347e0216376f3dfd
RANDOM SEED=1527382516

node138.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		: 2666.395
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	: 5332.79
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		: 2666.395
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		: 2666.395
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		: 2666.395
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		: 2666.395
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.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		: 2666.395
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		: 2666.395
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.54
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		: 2666.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30361016 kB
Buffers:           38376 kB
Cached:            98932 kB
SwapCached:         1056 kB
Active:          1180300 kB
Inactive:          56740 kB
Active(anon):    1100808 kB
Inactive(anon):     1192 kB
Active(file):      79492 kB
Inactive(file):    55548 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             33220 kB
Writeback:             0 kB
AnonPages:       1665704 kB
Mapped:            10360 kB
Shmem:                 0 kB
Slab:             573512 kB
SReclaimable:      16632 kB
SUnreclaim:       556880 kB
KernelStack:        1456 kB
PageTables:         7724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1808272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71700 MiB
End job on node138 at 2016-06-18 01:28:40