Trace number 4098906

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 5.49316 5.49519

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb
MD5SUMae752929c20bdaef808bd42af6910473
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.729888
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 761
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:12+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-4098906-1466206092.opb"]
0.00/0.01	c use --random-gen="2231780221 4277473327 3046807009 2662297453 358371762 2386404840 2038880614 2315157290 4289420144 2882648556 1459042993 477213266 463652805 3709363916 2477292462 1621877610 4007521442 2397228967 2123670917 4039978276 1192366563 4093902452 3433042601 3276163008 3545038047 2972496635 483052551 2808830323 120325219 3768060173 3471101346 71752395 2947340208 796730045 4040220006 4277152295 2858914540 590547741 1260866735 3237966192 1491018949 1410685589 1584217755 1191226877 578111580 3815459645 2512543601 2458712737 3366125111 989325231 1220605092 2162569643 3329686265 1516661819 3566016238 3975165538 503840221 1491566854 3553199036 1474109015 1740272349 223551106 2030578136 4281175957 2569130492 3221013583 449594678 1873696442 1184583089 2746310281 3560124196 1181069759 1818959152 451204036 687742118 2825910631 3164470478 3258175595 2704327534 3112375949 2738687572 289455359 944511399 2369946254 2135746044 410777234 3123664420 1121334678 2388633313 51192873 3233111163 958505855 3374872107 4194689180 970498264 1149419221 523123062 3100882365 1977144124 3532543163 2883730340 3429946477 176927330 1695322181 2004233176 485201266 4214277323 3169181910 790182673 323937510 32657937 582264344 241884142 2662551021 2748285890 1030580984 2189807167 472715037 3070754467 1681861161 3868715666 3823120268 1150479838 4225143205 1924530288 4114387051 4101617706 3344265440 837222443 1469413731 3783446542 1332311182 2647861051 4121649462 3630995681 3356430841 1290850362 173580484 1838245015 1211906254 354308914 2101029935 1444510576 4199256773 453104885 99058102 2779190138 2093045456 1447022399 3099055101 2787726394 2439328248 1817789640 1014944308 2195280041 935771270 2071756978 2505002389 137963426 1746519830 1034798381 553290961 1168180651 2539400459 4291163481 3335452511 293081062 2730684401 2346194491 2242214765 540502714 2501959164 2773914046 3658938555 530844935 3700439357 3131682691 2957701574 2272736251 2364171300 1882276768 2736130998 3921601928 979501877 3163742031 2699479451 2768081151 400870087 4050702028 2400713577 2786423343 551432635 2824666964 1363419329 1659739676 1301537448 3828447322 3017080086 3107764400 826006642 3555428968 367613552 4284462313 1014021596 292381192 3276384933 1299536378 4187080947 1840178981 3066374993 1507758299 2949478572 1561142882 514529116 1057741320 482569316 4143504925 2734819385 1398714983 4262148423 628647270 2038591339 3290568604 3619392504 3047445883 235718670 1896410304 106441891 215284116 3095337209 3919706647 2461178942 2360617547 211055190 373379189 3942045468 4090965451 2324039516 1148011400 4004650356 4136971400 2919271724 1968283852 2367528916 2001237180 1792290731 1733075279 2795525238 2953382631 3126881923 1674444776 3994282195 259321343 1840155408 3273054626 4247052565 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      294 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      587 |      250 |     1077      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      951 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1614 |      813 |     1304      0 |        0 |        0
0.29/0.35	c  0.3s |       5 |     2538 |     1320 |     1435      0 |        1 |       11
0.49/0.53	c  0.4s |       6 |     3867 |     2081 |     1737      0 |        1 |       11
0.69/0.84	c  0.8s |       7 |     5768 |     3223 |     1911      1 |        1 |       11
0.69/1.29	c  1.2s |       8 |     8940 |     4936 |     2103      2 |        2 |       22
1.79/1.86	c  1.8s |       9 |    13725 |     7506 |     2314      4 |        2 |       22
2.49/2.57	c  2.5s |      10 |    21246 |    11361 |     2546      6 |        3 |       33
3.49/3.56	c  3.5s |      11 |    32237 |    17144 |     2801      8 |        6 |       66
4.79/4.85	c  4.8s |      12 |    49242 |    25819 |     3082     12 |        7 |       77
5.39/5.43	c  5.4s |      12 |    59361 |    30723 |     3082     13 |      113 |      339
5.39/5.43	c #cpu_time = 5.339s
5.39/5.43	c #wall_clock_time = 5.353s
5.39/5.43	c #decision = 59361
5.39/5.43	c #random_decision = 243
5.39/5.43	c #conflict = 30723
5.39/5.43	c #restart = 12
5.39/5.43	s UNSATISFIABLE
5.39/5.43	c total CPU time = 5.418s
5.39/5.43	c total wall clock time = 5.432s

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

pid=14911
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.83 0.27 0.18 4/179 14914
/proc/meminfo: memFree=30249000/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 2755 0 0 0 0 0 0 0 20 0 4 0 22655859 756477952 3116 33554432000 4194304 16246674 140736439881072 140736439880496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 185199 3126 441 2943 0 182093 0
[pid=14914/tid=14915] ppid=14911 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 774303744 3186 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 778498048 3201 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655860 782692352 3219 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 0.83 0.27 0.18 4/179 14914
/proc/meminfo: memFree=30249000/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 25243 0 0 0 6 3 0 0 20 0 4 0 22655859 1247350784 25594 33554432000 4194304 16246674 140736439881072 140736439862976 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 304529 25600 728 2943 0 301423 0
[pid=14914/tid=14915] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 25604 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 25609 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 25614 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200571 s]
/proc/loadavg: 0.83 0.27 0.18 4/179 14914
/proc/meminfo: memFree=30249000/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 40492 0 0 0 13 6 0 0 20 0 4 0 22655859 1247350784 40842 33554432000 4194304 16246674 140736439881072 140736439862976 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 304529 40850 728 2943 0 301423 0
[pid=14914/tid=14915] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 40853 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 40857 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 40863 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300462 s]
/proc/loadavg: 0.83 0.27 0.18 4/179 14914
/proc/meminfo: memFree=30249000/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 56806 0 0 0 21 8 0 0 20 0 4 0 22655859 1247350784 57156 33554432000 4194304 16246674 140736439881072 140736439862976 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 304529 57163 728 2943 0 301423 0
[pid=14914/tid=14915] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 57166 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 57170 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 57174 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 0.83 0.27 0.18 4/179 14914
/proc/meminfo: memFree=30249000/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 120274 0 0 0 51 18 0 0 20 0 4 0 22655859 1247350784 120625 33554432000 4194304 16246674 140736439881072 140736439862976 5722381 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 304529 120633 734 2943 0 301423 0
[pid=14914/tid=14915] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 120641 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 120647 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655860 1247350784 120652 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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: 0.83 0.27 0.18 4/179 14914
/proc/meminfo: memFree=30249000/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 246091 0 0 0 113 36 0 0 20 0 4 0 22655859 1250496512 246421 33554432000 4194304 16246674 140736439881072 140736439880384 5824017 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 305297 246421 799 2943 0 302191 0
[pid=14914/tid=14915] ppid=14911 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1250496512 246421 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1250496512 246421 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22655860 1250496512 246421 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10039 s]
/proc/loadavg: 0.92 0.30 0.18 3/183 14918
/proc/meminfo: memFree=28581544/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 266771 0 0 0 270 39 0 0 20 0 4 0 22655859 1334382592 267101 33554432000 4194304 16246674 140736439881072 140736439862976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 325777 267101 799 2943 0 322671 0
[pid=14914/tid=14915] ppid=14911 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1334382592 267101 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1334382592 267101 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22655860 1334382592 267101 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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 14914 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.70036 s]
/proc/loadavg: 0.92 0.30 0.18 3/183 14918
/proc/meminfo: memFree=28581544/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1303108 CPUtime=3.69 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 266786 0 0 0 330 39 0 0 20 0 4 0 22655859 1334382592 267116 33554432000 4194304 16246674 140736439881072 140736439862976 6842233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 325777 267116 799 2943 0 322671 0
[pid=14914/tid=14915] ppid=14911 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1334382592 267116 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1334382592 267116 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22655860 1334382592 267116 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 1303108

[startup+4.50036 s]
/proc/loadavg: 0.92 0.30 0.18 3/174 14954
/proc/meminfo: memFree=29650076/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1306180 CPUtime=4.49 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 267336 0 0 0 410 39 0 0 20 0 4 0 22655859 1337528320 267666 33554432000 4194304 16246674 140736439881072 140736439862976 5823821 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 326545 267666 801 2943 0 323439 0
[pid=14914/tid=14915] ppid=14911 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1337528320 267666 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1337528320 267666 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22655860 1337528320 267666 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 1306180

[startup+4.9004 s]
/proc/loadavg: 0.92 0.30 0.18 3/183 14967
/proc/meminfo: memFree=28928596/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1306180 CPUtime=4.89 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 267361 0 0 0 450 39 0 0 20 0 4 0 22655859 1337528320 267691 33554432000 4194304 16246674 140736439881072 140736439862976 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 326545 267691 801 2943 0 323439 0
[pid=14914/tid=14915] ppid=14911 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1337528320 267691 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1337528320 267691 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22655860 1337528320 267691 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 1306180

[startup+5.3004 s]
/proc/loadavg: 0.92 0.30 0.18 3/183 14967
/proc/meminfo: memFree=28928596/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1307204 CPUtime=5.29 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 267756 0 0 0 490 39 0 0 20 0 4 0 22655859 1338576896 268086 33554432000 4194304 16246674 140736439881072 140736439862976 6043782 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 326801 268086 802 2943 0 323695 0
[pid=14914/tid=14915] ppid=14911 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1338576896 268086 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1338576896 268086 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22655860 1338576896 268086 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 1307204

[startup+5.40036 s]
/proc/loadavg: 0.92 0.30 0.18 3/183 14967
/proc/meminfo: memFree=28928596/32872528 swapFree=1191052/1305516
[pid=14914] ppid=14911 vsize=1307204 CPUtime=5.39 cores=0,2,4,6
/proc/14914/stat : 14914 (toysat) R 14911 14914 14522 0 -1 4202496 267756 0 0 0 500 39 0 0 20 0 4 0 22655859 1338576896 268086 33554432000 4194304 16246674 140736439881072 140736439862976 5677659 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14914/statm: 326801 268086 802 2943 0 323695 0
[pid=14914/tid=14915] ppid=14911 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (toysat) S 14911 14914 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655860 1338576896 268086 33554432000 4194304 16246674 140736439881072 140530644135152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14916] ppid=14911 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (toysat) S 14911 14914 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655860 1338576896 268086 33554432000 4194304 16246674 140736439881072 140530633645296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14917] ppid=14911 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (toysat) S 14911 14914 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22655860 1338576896 268086 33554432000 4194304 16246674 140736439881072 140530623171760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 5.49519
CPU time (s): 5.49316
CPU user time (s): 5.03523
CPU system time (s): 0.45793
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.03523
system time used= 0.45793
maximum resident set size= 1072356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267761
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= 21
involuntary context switches= 12

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035994 second user time and 0.046992 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 01:28:12
IDJOB=4098906
IDBENCH=1269
IDSOLVER=2542
FILE ID=node127/4098906-1466206092
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= ae752929c20bdaef808bd42af6910473
RANDOM SEED=1790338980

node127.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.769
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	: 5333.53
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.769
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.769
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.56
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.769
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.56
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.769
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.769
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.769
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		: 2666.769
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:        30259796 kB
Buffers:           39896 kB
Cached:            97812 kB
SwapCached:          520 kB
Active:           540628 kB
Inactive:          58256 kB
Active(anon):     462548 kB
Inactive(anon):      816 kB
Active(file):      78080 kB
Inactive(file):    57440 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:             33080 kB
Writeback:             0 kB
AnonPages:       1762428 kB
Mapped:             9764 kB
Shmem:                 0 kB
Slab:             573048 kB
SReclaimable:      16120 kB
SUnreclaim:       556928 kB
KernelStack:        1392 kB
PageTables:         8676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2434312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71708 MiB
End job on node127 at 2016-06-18 01:28:18