Trace number 4098927

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 15.5346 15.5399

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb
MD5SUM58a39490a0f04cc377ab2aa6882fd7a1
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 benchmark3.45247
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T01:28:13+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-4098927-1466206093.opb"]
0.00/0.01	c use --random-gen="1123547226 840260349 945403711 3045712737 1712964981 207375623 2832362339 1047975854 2787202104 2802964163 995083709 2278624175 1758062957 1295602610 3497858907 3762745557 3419683360 2951004605 1442752705 301047203 4183044260 614035564 752650882 2702265904 2246658765 2384225433 516585330 520757195 2304969911 1910154692 2636348154 1007921636 2288640495 3978827633 2922243286 2494653358 2027952919 3157475480 903394576 1210410298 1377685112 1252274872 1293230094 1213958846 1988545292 3884525734 1695472711 3054821995 3919696644 1748171742 1548139152 2781673153 1142922631 4038713429 233470189 1196993991 1218686524 2561623045 2784758925 2548961636 500651240 1975383605 2199528689 2618955426 1788642302 1145759667 1521093667 2974576729 739633075 2605445709 3194476296 3868946753 1891738787 3897880083 2729358546 3186474823 2211374087 717479090 60970351 3163191381 1040091461 2643688901 1325563161 2998282703 1694325188 2236089657 1829429759 1879295271 1885864036 744839340 1256728888 1641987109 353137131 1639136505 3893982516 3522332685 2498542552 3311137954 1214571897 1752398350 2138954078 1422462187 2538960197 3238455689 442177178 2430873243 2664378565 1642016187 6783238 4216109933 3191950401 3824985972 2909817118 1575898161 267944681 3177841775 2195617182 3443968260 914067645 2691248270 2069398226 2406831304 2543324310 749357876 3895170954 1539564259 3113530363 1576731193 2447895785 314335877 4246830583 4080110357 791642073 3899731102 4146844796 4226686449 2643560222 3859643043 2886205362 3194089549 2859437886 4213000106 113296139 421222759 1305227041 2983221522 2284195856 2225965488 4118699896 1008447552 2630349056 2412286347 1753983917 647639372 4103821504 3957657858 1023293981 66679350 995520073 171734398 3383867787 1434398751 2260136956 2581479179 3517232264 3921942413 2572995767 1018702892 2137229793 3651315277 1112229472 2518671352 1366739491 2316620307 2006675898 537196207 3723145213 4027845052 666927923 2519180686 3038555491 2250073116 1135988674 3114641613 1516633335 1744256800 1336086844 780367399 1150762672 2465620981 3382621469 301235001 4133555546 823568598 723191791 2793459803 2541095152 2249032365 2571868690 2911741178 1260667211 1449398487 2441639089 877821165 3941166139 1330424793 3109508149 1776285978 2353153166 2116738106 1572980604 3675258905 4230946608 558435055 4096081012 3981573555 4055647808 335852524 1347848937 161192048 2709407549 2237673359 3431016497 679742159 1883699238 1770237215 1062733007 1724498149 1598786968 1722073681 2701800916 2250508386 2029423913 3925362249 933607488 532264021 1294478641 1836793469 3123745944 433826838 2752722771 2559251214 2353606263 1185039852 66809534 615089954 837305852 3153973666 1285320276 851003018 909570145 2263566050 640231813 3264933934 2113506696 12916605 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 |      264 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      486 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      874 |      475 |     1185      0 |        0 |        0
0.18/0.24	c  0.2s |       4 |     1393 |      813 |     1304      0 |        0 |        0
0.29/0.37	c  0.3s |       5 |     2155 |     1320 |     1435      0 |        0 |        0
0.49/0.58	c  0.5s |       6 |     3489 |     2081 |     1737      1 |        0 |        0
0.89/0.90	c  0.8s |       7 |     5482 |     3223 |     1911      2 |        0 |        0
1.39/1.41	c  1.3s |       8 |     8086 |     4936 |     2103      4 |        0 |        0
1.79/1.86	c  1.8s |       9 |    12559 |     7506 |     2314      6 |        0 |        0
2.79/2.80	c  2.7s |      10 |    18914 |    11361 |     2546      8 |        1 |       11
4.09/4.12	c  4.1s |      11 |    28655 |    17144 |     2801     12 |        1 |       11
5.79/5.84	c  5.8s |      12 |    43990 |    25819 |     3082     17 |        2 |       22
7.79/7.86	c  7.8s |      12 |    61883 |    36419 |     3082     22 |        6 |       66
8.28/8.33	c  8.3s |      13 |    65896 |    38832 |     3391     23 |        6 |       66
10.28/10.36	c 10.3s |      13 |    80003 |    47532 |     3391     28 |        6 |       66
12.29/12.37	c 12.3s |      13 |    97494 |    57832 |     3391     31 |       10 |      110
12.49/12.50	c 12.4s |      14 |    98299 |    58352 |     3731     31 |       10 |      110
14.49/14.51	c 14.4s |      14 |   117563 |    68852 |     3731     36 |       11 |      121
15.39/15.48	c 15.4s |      14 |   125732 |    73801 |     3731     36 |      104 |      209
15.39/15.48	c #cpu_time = 15.361s
15.39/15.48	c #wall_clock_time = 15.402s
15.39/15.48	c #decision = 125732
15.39/15.48	c #random_decision = 480
15.39/15.48	c #conflict = 73801
15.39/15.48	c #restart = 14
15.39/15.48	s UNSATISFIABLE
15.39/15.48	c total CPU time = 15.439s
15.39/15.48	c total wall clock time = 15.479s

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

pid=23910
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.88 0.23 0.08 3/179 23913
/proc/meminfo: memFree=30850664/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 3031 0 0 0 0 0 0 0 20 0 4 0 22654125 826732544 2880 33554432000 4194304 16246674 140734432376544 140734432375968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 202607 2890 441 2943 0 199501 0
[pid=23913/tid=23914] ppid=23910 vsize=824764 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 844558336 2948 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=829884 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 849801216 2967 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=833980 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654125 853995520 2982 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.1002 s]
/proc/loadavg: 0.88 0.23 0.08 3/179 23913
/proc/meminfo: memFree=30850664/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 25567 0 0 0 6 3 0 0 20 0 4 0 22654125 1247350784 25406 33554432000 4194304 16246674 140734432376544 140734432375968 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 304529 25413 729 2943 0 301423 0
[pid=23913/tid=23914] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 25418 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 25421 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 25424 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200448 s]
/proc/loadavg: 0.88 0.23 0.08 3/179 23913
/proc/meminfo: memFree=30850664/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 41609 0 0 0 13 5 0 0 20 0 4 0 22654125 1247350784 41447 33554432000 4194304 16246674 140734432376544 140734432375968 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 304529 41452 729 2943 0 301423 0
[pid=23913/tid=23914] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 41457 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 41460 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 41463 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300475 s]
/proc/loadavg: 0.88 0.23 0.08 3/179 23913
/proc/meminfo: memFree=30850664/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 57829 0 0 0 21 8 0 0 20 0 4 0 22654125 1247350784 57667 33554432000 4194304 16246674 140734432376544 140734432375968 5829366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 304529 57674 729 2943 0 301423 0
[pid=23913/tid=23914] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 57679 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 57683 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 57686 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 0.88 0.23 0.08 3/179 23913
/proc/meminfo: memFree=30850664/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 123771 0 0 0 52 17 0 0 20 0 4 0 22654125 1247350784 123609 33554432000 4194304 16246674 140734432376544 140734432358464 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 304529 123615 735 2943 0 301423 0
[pid=23913/tid=23914] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 123620 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 123625 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22654125 1247350784 123628 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 0.88 0.23 0.08 3/183 23917
/proc/meminfo: memFree=30100084/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 246105 0 0 0 117 32 0 0 20 0 4 0 22654125 1250496512 245923 33554432000 4194304 16246674 140734432376544 140734432375856 5523531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 305297 245923 800 2943 0 302191 0
[pid=23913/tid=23914] ppid=23910 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1250496512 245923 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1250496512 245923 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1250496512 245923 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.1004 s]
/proc/loadavg: 0.88 0.23 0.08 2/178 23917
/proc/meminfo: memFree=30938200/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 266726 0 0 0 273 36 0 0 20 0 4 0 22654125 1334382592 266544 33554432000 4194304 16246674 140734432376544 140734432358464 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 325777 266544 802 2943 0 322671 0
[pid=23913/tid=23914] ppid=23910 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1334382592 266544 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1334382592 266544 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1334382592 266544 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30041 s]
/proc/loadavg: 0.97 0.26 0.09 3/183 23966
/proc/meminfo: memFree=29867916/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 267785 0 0 0 593 36 0 0 20 0 4 0 22654125 1338576896 267603 33554432000 4194304 16246674 140734432376544 140734432358464 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 326801 267603 803 2943 0 323695 0
[pid=23913/tid=23914] ppid=23910 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1338576896 267603 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1338576896 267603 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1338576896 267603 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.05 0.29 0.10 3/183 23966
/proc/meminfo: memFree=29781396/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 268516 0 0 0 1232 37 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140734432359544 5829552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 327569 268334 803 2943 0 324463 0
[pid=23913/tid=23914] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

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

[startup+12.8005 s]
/proc/loadavg: 1.05 0.29 0.10 3/183 23966
/proc/meminfo: memFree=29781396/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1310276 CPUtime=12.79 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 268516 0 0 0 1242 37 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140734432359544 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 327569 268334 803 2943 0 324463 0
[pid=23913/tid=23914] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1310276

[startup+14.4071 s]
/proc/loadavg: 1.04 0.30 0.10 2/174 23997
/proc/meminfo: memFree=30868180/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1310276 CPUtime=14.39 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 268516 0 0 0 1402 37 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140734432358464 5661416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 327569 268334 803 2943 0 324463 0
[pid=23913/tid=23914] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 1310276

[startup+15.2004 s]
/proc/loadavg: 1.04 0.30 0.10 2/174 23997
/proc/meminfo: memFree=30868180/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1310276 CPUtime=15.19 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 268516 0 0 0 1482 37 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140734432358464 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 327569 268334 803 2943 0 324463 0
[pid=23913/tid=23914] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.19
Current children cumulated vsize (KiB) 1310276

[startup+15.4004 s]
/proc/loadavg: 1.04 0.30 0.10 2/174 23997
/proc/meminfo: memFree=30868228/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=1310276 CPUtime=15.39 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202496 268516 0 0 0 1502 37 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140734432358464 6023833 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 327569 268334 803 2943 0 324463 0
[pid=23913/tid=23914] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23914/stat : 23914 (toysat) S 23910 23913 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186844376304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23913/tid=23915] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23915/stat : 23915 (toysat) S 23910 23913 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186833886448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23913/tid=23916] ppid=23910 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23913/task/23916/stat : 23916 (toysat) S 23910 23913 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22654125 1341722624 268334 33554432000 4194304 16246674 140734432376544 140186823412912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 1310276

[startup+15.5071 s]
/proc/loadavg: 1.04 0.30 0.10 2/174 23997
/proc/meminfo: memFree=30868228/32872528 swapFree=7780/7780
[pid=23913] ppid=23910 vsize=0 CPUtime=15.49 cores=0,2,4,6
/proc/23913/stat : 23913 (toysat) R 23910 23913 23276 0 -1 4202500 268521 0 0 0 1510 39 0 0 20 0 1 0 22654125 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23913/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 15.5399
CPU time (s): 15.5346
CPU user time (s): 15.1037
CPU system time (s): 0.430934
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1037
system time used= 0.430934
maximum resident set size= 1073352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268521
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= 22
involuntary context switches= 19

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

The end

Launcher Data 

Begin job on node151 at 2016-06-18 01:28:13
IDJOB=4098927
IDBENCH=1272
IDSOLVER=2542
FILE ID=node151/4098927-1466206093
RUNJOBID= node151-1466206051-23292
PBS_JOBID= 19918135
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.1900574864.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098927-1466206093/watcher-4098927-1466206093 -o /tmp/evaluation-result-4098927-1466206093/solver-4098927-1466206093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098927-1466206093.opb

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

MD5SUM BENCH= 58a39490a0f04cc377ab2aa6882fd7a1
RANDOM SEED=781940547

node151.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30851580 kB
Buffers:           37992 kB
Cached:           193208 kB
SwapCached:         2016 kB
Active:          1158804 kB
Inactive:         146640 kB
Active(anon):    1074772 kB
Inactive(anon):     1744 kB
Active(file):      84032 kB
Inactive(file):   144896 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             32792 kB
Writeback:             0 kB
AnonPages:       1083364 kB
Mapped:            11340 kB
Shmem:                 0 kB
Slab:             574536 kB
SReclaimable:      17444 kB
SUnreclaim:       557092 kB
KernelStack:        1456 kB
PageTables:         6344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1223588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71732 MiB
End job on node151 at 2016-06-18 01:28:29