Trace number 4099025

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 9.8505 9.85682

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
MD5SUMa94882f61e84be0ce1718fd53c8fd7c8
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 benchmark1.47178
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 689
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:18+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-4099025-1466206097.opb"]
0.00/0.01	c use --random-gen="3966036932 3222968806 1896383289 4223344054 3714274409 3787336740 3269356782 3754847181 267325926 4135965846 3702090092 241810707 2463388985 1365287585 753245858 860437196 2793126781 25394814 2973843364 258409101 1501708198 792003886 2963659596 916883703 2286825428 1717671525 1047132512 3499845979 1965948842 922167962 3115988326 3876314040 1852640695 4261754479 3106815723 1970327106 1546535434 2369636504 3381940978 1848937126 3678750347 777438358 3984850013 3448650198 1448971316 3747245072 2124587912 2885692344 195915500 283905306 938306239 927895183 3050037194 3179098209 4087102272 2849220983 2793173500 1602408821 3813796234 1307323734 570874817 3292996718 2475819748 429017453 2928966558 364217462 1527678912 3613581329 792816708 1746696263 3324219150 4006270226 627233895 4273336863 747474661 2228884266 4213452641 2588009079 2676468917 2192480814 3163253756 4146468735 1166451178 1612672718 702605242 1608888792 2672922753 3855790001 3104567031 2839328895 1149589537 642389130 299650054 606074778 2342149110 3159116336 2837457312 3907999928 3403274161 160426366 681661909 3731831816 3727805716 1648626911 420988128 186167395 1089704060 2146872175 1939121303 3852799443 3468622942 1010066680 13713511 3392530244 639852766 3011162455 2249405975 2119814537 1667008046 1924411833 4075037472 4138428152 3441979305 1294729374 794856436 1913312000 889942463 3840368054 2218404823 1562108955 4016109678 2068014545 3850675249 481170018 792772406 277208236 2103319561 4188843857 1538086987 4161150264 3575411658 3506238718 1878013185 1813220168 991090822 1343985124 1702749990 694841193 3853560595 2725147553 1088088075 1468449879 3057891857 3303440370 2255896898 916738160 2225088194 3694546723 1572612990 438921197 2781235071 1523408246 403955122 2996497556 3450047769 3445971319 3795898431 2689156114 4236790210 2944640915 4045065198 392236861 231661353 3298760349 3727220503 1932812055 2605153424 1253484114 2107011938 3244839603 2661646440 2363030049 3033505003 3122017081 3792688019 2607419767 1447029467 936853119 2210777448 1415760060 869507500 3786136722 1292786687 3884755718 1127690386 65000507 1197535818 394435157 3143591471 1352098025 3298727662 2863463121 789539811 2546457695 4186356645 365982599 1216898597 3257516898 3572607971 3726250551 273618983 1484376208 744687527 2065576787 2762979824 3623368826 1611618077 1917469628 3016703914 1042886695 3969842053 4055126650 2443068536 3160367161 2761364098 2658522813 1806267159 1543483402 2307837306 4038756436 2958856152 2726837351 257550041 3030044458 1924406266 1919666724 1266715678 2620894637 2904831371 1317378841 3032318156 3757937576 2672846037 131808364 940644437 1947731507 1336032444 95389700 3283019224 682929229 2820165341 2351790762 1168398604 706335725 1593778140 3842440198 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.09/0.10	c  0.0s |       1 |      229 |      100 |      979      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      461 |      250 |     1077      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |      759 |      475 |     1185      0 |        0 |        0
0.18/0.26	c  0.2s |       4 |     1271 |      813 |     1304      0 |        0 |        0
0.28/0.39	c  0.3s |       5 |     2104 |     1320 |     1435      0 |        0 |        0
0.49/0.59	c  0.5s |       6 |     3283 |     2081 |     1737      1 |        0 |        0
0.78/0.89	c  0.8s |       7 |     4887 |     3223 |     1911      2 |        0 |        0
1.29/1.39	c  1.3s |       8 |     7278 |     4936 |     2103      4 |        0 |        0
1.89/1.93	c  1.8s |       9 |    11375 |     7506 |     2314      6 |        0 |        0
2.79/2.89	c  2.8s |      10 |    17131 |    11361 |     2546      8 |        1 |       11
4.19/4.23	c  4.2s |      11 |    26617 |    17144 |     2801     13 |        1 |       11
5.79/5.80	c  5.7s |      12 |    41509 |    25819 |     3082     16 |        3 |       33
7.80/7.82	c  7.7s |      12 |    61414 |    36819 |     3082     22 |        4 |       44
8.19/8.20	c  8.1s |      13 |    65029 |    38832 |     3391     23 |        4 |       44
9.69/9.79	c  9.7s |      13 |    82430 |    48782 |     3391     25 |      207 |     2266
9.69/9.79	c #cpu_time = 9.690s
9.69/9.79	c #wall_clock_time = 9.716s
9.69/9.79	c #decision = 82430
9.69/9.79	c #random_decision = 271
9.69/9.79	c #conflict = 48782
9.69/9.79	c #restart = 13
9.69/9.79	s UNSATISFIABLE
9.69/9.79	c total CPU time = 9.768s
9.69/9.79	c total wall clock time = 9.797s

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

pid=17166
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.03 0.42 0.25 2/179 17169
/proc/meminfo: memFree=27618468/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 2619 0 0 0 0 0 0 0 20 0 4 0 22655278 719777792 3491 33554432000 4194304 16246674 140735361422448 140735361421872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17169/statm: 176495 3499 441 2943 0 173389 0
[pid=17169/tid=17170] ppid=17166 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 738652160 3561 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 742846464 3579 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 748089344 3597 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 1.03 0.42 0.25 2/179 17169
/proc/meminfo: memFree=27618468/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 24735 0 0 0 6 3 0 0 20 0 4 0 22655278 1247350784 25596 33554432000 4194304 16246674 140735361422448 140735361404352 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 304529 25600 720 2943 0 301423 0
[pid=17169/tid=17170] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 25604 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 25610 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 25615 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200547 s]
/proc/loadavg: 1.03 0.42 0.25 2/179 17169
/proc/meminfo: memFree=27618468/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 40492 0 0 0 13 5 0 0 20 0 4 0 22655278 1247350784 41353 33554432000 4194304 16246674 140735361422448 140735361404352 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 304529 41361 720 2943 0 301423 0
[pid=17169/tid=17170] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 41366 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 41368 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 41372 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300508 s]
/proc/loadavg: 1.03 0.42 0.25 2/179 17169
/proc/meminfo: memFree=27618468/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 56622 0 0 0 21 7 0 0 20 0 4 0 22655278 1247350784 57484 33554432000 4194304 16246674 140735361422448 140735361404352 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 304529 57489 720 2943 0 301423 0
[pid=17169/tid=17170] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 57496 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 57503 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 57509 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 1.03 0.42 0.25 2/179 17169
/proc/meminfo: memFree=27618468/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 118872 0 0 0 52 16 0 0 20 0 4 0 22655278 1247350784 119733 33554432000 4194304 16246674 140735361422448 140735361404352 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 304529 119741 726 2943 0 301423 0
[pid=17169/tid=17170] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 119745 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 119749 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 119751 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.03 0.42 0.25 3/183 17173
/proc/meminfo: memFree=26888616/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 241605 0 0 0 114 35 0 0 20 0 4 0 22655278 1247350784 242467 33554432000 4194304 16246674 140735361422448 140735361404352 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 304529 242474 726 2943 0 301423 0
[pid=17169/tid=17170] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 242477 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 242481 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1247350784 242485 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10043 s]
/proc/loadavg: 1.03 0.42 0.25 4/183 17173
/proc/meminfo: memFree=26629836/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 266743 0 0 0 270 39 0 0 20 0 4 0 22655278 1334382592 267584 33554432000 4194304 16246674 140735361422448 140735361404352 5676136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 325777 267584 793 2943 0 322671 0
[pid=17169/tid=17170] ppid=17166 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1334382592 267584 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1334382592 267584 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1334382592 267584 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.19 0.46 0.26 3/183 17173
/proc/meminfo: memFree=26544184/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 267589 0 0 0 590 39 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 140735361405448 5813840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 326801 268430 794 2943 0 323695 0
[pid=17169/tid=17170] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

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

[startup+6.40053 s]
/proc/loadavg: 1.19 0.46 0.26 3/183 17173
/proc/meminfo: memFree=26544184/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1307204 CPUtime=6.39 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 267589 0 0 0 600 39 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 140735361405448 6842338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 326801 268430 794 2943 0 323695 0
[pid=17169/tid=17170] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268430 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1307204

[startup+8.00047 s]
/proc/loadavg: 1.25 0.49 0.27 3/183 17173
/proc/meminfo: memFree=26543192/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1307204 CPUtime=7.99 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 267814 0 0 0 760 39 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 140735361405448 5808585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 326801 268655 794 2943 0 323695 0
[pid=17169/tid=17170] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 1307204

[startup+8.80042 s]
/proc/loadavg: 1.25 0.49 0.27 3/183 17173
/proc/meminfo: memFree=26543688/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1307204 CPUtime=8.8 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 267814 0 0 0 841 39 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 140735361405448 5828160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 326801 268655 794 2943 0 323695 0
[pid=17169/tid=17170] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268655 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 1307204

[startup+9.60042 s]
/proc/loadavg: 1.25 0.49 0.27 3/183 17173
/proc/meminfo: memFree=26543688/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=1307204 CPUtime=9.59 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202496 267830 0 0 0 920 39 0 0 20 0 4 0 22655278 1338576896 268671 33554432000 4194304 16246674 140735361422448 140735361404352 5712628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 326801 268671 794 2943 0 323695 0
[pid=17169/tid=17170] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17170/stat : 17170 (toysat) S 17166 17169 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268671 33554432000 4194304 16246674 140735361422448 139724236762352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17169/tid=17171] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17171/stat : 17171 (toysat) S 17166 17169 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268671 33554432000 4194304 16246674 140735361422448 139724226272496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17169/tid=17172] ppid=17166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17169/task/17172/stat : 17172 (toysat) S 17166 17169 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22655278 1338576896 268671 33554432000 4194304 16246674 140735361422448 139724144503984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 1307204

[startup+9.80039 s]
/proc/loadavg: 1.25 0.49 0.27 3/183 17173
/proc/meminfo: memFree=26543688/32872528 swapFree=1459628/1655852
[pid=17169] ppid=17166 vsize=0 CPUtime=9.79 cores=1,3,5,7
/proc/17169/stat : 17169 (toysat) R 17166 17169 16189 0 -1 4202500 267836 0 0 0 940 39 0 0 20 0 1 0 22655278 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17169/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 9.85682
CPU time (s): 9.8505
CPU user time (s): 9.40157
CPU system time (s): 0.448931
CPU usage (%): 99.9359
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.40157
system time used= 0.448931
maximum resident set size= 1074700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267836
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= 18
involuntary context switches= 16

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037994 second user time and 0.06199 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 01:28:18
IDJOB=4099025
IDBENCH=1293
IDSOLVER=2542
FILE ID=node136/4099025-1466206097
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
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.1900546417.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099025-1466206097/watcher-4099025-1466206097 -o /tmp/evaluation-result-4099025-1466206097/solver-4099025-1466206097 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099025-1466206097.opb

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

MD5SUM BENCH= a94882f61e84be0ce1718fd53c8fd7c8
RANDOM SEED=664868841

node136.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.278
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.55
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.278
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.278
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		: 2667.278
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.278
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		: 2667.278
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.56
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.278
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.67
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.278
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:        27619004 kB
Buffers:          132488 kB
Cached:          1639948 kB
SwapCached:            0 kB
Active:          1212788 kB
Inactive:        1639740 kB
Active(anon):    1082572 kB
Inactive(anon):        0 kB
Active(file):     130216 kB
Inactive(file):  1639740 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33020 kB
Writeback:            84 kB
AnonPages:       2735876 kB
Mapped:            16000 kB
Shmem:               204 kB
Slab:             610004 kB
SReclaimable:      52564 kB
SUnreclaim:       557440 kB
KernelStack:        1472 kB
PageTables:         9436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2872464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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 node136 at 2016-06-18 01:28:28