Trace number 4078654

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 4.15537 4.15828

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-06T15:21:04+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-4078654-1465219264.opb"]
0.00/0.01	c use --random-gen="1530429224 856816314 2956574958 3536341755 4255241766 833978411 2930601251 37484494 3673542751 1691990894 2177730434 3667569840 3295749480 1329113383 1734263792 160246540 119352643 242470650 3785839260 182298430 1260472744 2358045723 274575307 3912288799 2932275335 3711330900 343335406 3708362319 1644474737 2699935131 2151657595 1916450388 3997913165 3565566076 3499632106 1386767539 20359035 512433387 1238148588 645633988 3957068401 1294122873 1105658606 1262688724 3764236333 3866157616 4120886645 3333926770 1147009293 2043236788 3553069387 283633891 1514117469 293078913 1229568051 1274785999 3965935775 2149166286 3580148021 1908142883 1880847156 3628201952 3073612282 275374831 979057637 3304945891 1808706257 130522490 855966496 227141094 4906479 2674099178 3351688583 80851367 1311312458 4028177684 2231992767 1288032051 345855420 1748931379 93586228 2673288818 1887900202 2494508298 1027935788 1446103058 1181890567 3508477392 2934335032 707634683 1014713447 220425705 803664557 1799747659 3580986782 3686630140 157967001 1404040062 3738648671 648898354 1270278407 4228658508 561600749 1537383483 1678845594 1529043135 2581187807 740274543 959558669 4005764525 333790585 3145201241 1444110062 1465125096 1764119627 543932586 1513672724 2033785729 2368927176 1213098627 3190813950 3272919760 1424029705 1547164046 465965773 684478516 2927420026 310528857 1153225692 313149756 2900587862 490362067 1959870161 1942644092 416233646 2737237689 1543602750 2873165057 2672279167 880485805 1233846462 2322527945 1640962028 1715195305 36325119 3957044552 2695056202 1990517953 3548141053 649974227 2852981729 2043769162 3486083762 2288716078 3499138461 1609222871 1306809314 3164574122 4183129634 1215813334 3250757806 583259868 3023816260 2112846886 2619692622 2369115498 3509846117 988129854 3387299276 626219655 1985427626 1799125921 808729914 2843766068 833800352 1307254591 2548769368 348170727 3556186446 4244822105 485932473 738250195 835872566 2405863403 2645777585 364786680 4158179836 1485899611 1220373904 1295703790 619703563 21859283 174549211 3856963372 141699604 1092182049 2052962170 1481842693 4161697524 3062194513 3685496588 853209252 462483540 1728325476 1054201942 2485529796 2901393210 3448899835 2658678086 952892730 124051147 3981531079 2373698988 1072767799 4139893062 1464940033 684542055 3509355434 2703684826 3924072410 1597684584 3243910481 2158654840 2115319677 3181985409 4100272796 4009419539 2929811071 2943712255 1928406655 1614897834 405303421 4841378 781216901 2373565969 2752211400 3325769791 1917939809 2039080295 3014555351 625858599 529049592 1159941203 2834892338 2380326123 2399157020 449313892 251828061 798748659 118080424 347847884 1346472874 872030132 1104929804 1619198244 1788213959 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 |      258 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      534 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      943 |      475 |     1185      0 |        0 |        0
0.18/0.24	c  0.2s |       4 |     1516 |      813 |     1304      0 |        0 |        0
0.18/0.47	c  0.3s |       5 |     2274 |     1320 |     1435      0 |        0 |        0
0.18/0.57	c  0.5s |       6 |     3567 |     2081 |     1737      1 |        0 |        0
0.79/0.84	c  0.8s |       7 |     5531 |     3223 |     1911      2 |        0 |        0
1.19/1.25	c  1.2s |       8 |     8509 |     4936 |     2103      4 |        0 |        0
1.59/1.70	c  1.6s |       9 |    13303 |     7506 |     2314      5 |        2 |       22
2.40/2.42	c  2.3s |      10 |    19866 |    11361 |     2546      7 |        3 |       33
3.28/3.39	c  3.3s |      11 |    29893 |    17144 |     2801     10 |        6 |       66
3.98/4.09	c  4.0s |      11 |    38848 |    22197 |     2801     10 |       68 |      317
3.98/4.09	c #cpu_time = 4.007s
3.98/4.09	c #wall_clock_time = 4.018s
3.98/4.09	c #decision = 38848
3.98/4.09	c #random_decision = 140
3.98/4.09	c #conflict = 22197
3.98/4.09	c #restart = 11
3.98/4.09	s UNSATISFIABLE
3.98/4.09	c total CPU time = 4.086s
3.98/4.09	c total wall clock time = 4.097s

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

pid=28125
running on 8 cores: 0-3,8-11

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


[startup+0 s]
/proc/loadavg: 2.14 2.10 2.09 3/261 28128
/proc/meminfo: memFree=30988604/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1145276 CPUtime=0 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 4346 0 0 0 0 0 0 0 20 0 4 0 103768401 1172762624 4196 33554432000 4194304 16246674 140735593284112 140735593283536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 286831 4206 441 2943 0 283725 0
[pid=28128/tid=28129] ppid=28125 vsize=1166780 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1194782720 4283 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1171900 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1200025600 4299 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1175996 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103768401 1204219904 4315 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100198 s]
/proc/loadavg: 2.14 2.10 2.09 3/261 28128
/proc/meminfo: memFree=30988604/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 25574 0 0 0 5 4 0 0 20 0 4 0 103768401 1247350784 25412 33554432000 4194304 16246674 140735593284112 140735593283536 5677541 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 304529 25418 719 2943 0 301423 0
[pid=28128/tid=28129] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 25422 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 25427 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 25428 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.14 2.10 2.09 3/261 28128
/proc/meminfo: memFree=30988604/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1218116 CPUtime=0.18 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 41481 0 0 0 13 5 0 0 20 0 4 0 103768401 1247350784 41319 33554432000 4194304 16246674 140735593284112 140735593283536 5662075 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 304529 41326 719 2943 0 301423 0
[pid=28128/tid=28129] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 41331 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 41337 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 41346 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.573728 s]
/proc/loadavg: 2.14 2.10 2.09 3/261 28128
/proc/meminfo: memFree=30988604/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1218116 CPUtime=0.56 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 102379 0 0 0 42 14 0 0 20 0 4 0 103768401 1247350784 102217 33554432000 4194304 16246674 140735593284112 140735593283536 5532301 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 304529 102230 725 2943 0 301423 0
[pid=28128/tid=28129] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 102239 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 102247 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 102255 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 1218116

[startup+0.700397 s]
/proc/loadavg: 2.14 2.10 2.09 3/261 28128
/proc/meminfo: memFree=30988604/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 121998 0 0 0 52 17 0 0 20 0 4 0 103768401 1247350784 121836 33554432000 4194304 16246674 140735593284112 140735593265984 5677277 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 304529 121842 725 2943 0 301423 0
[pid=28128/tid=28129] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 121845 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 121849 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103768401 1247350784 121853 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50053 s]
/proc/loadavg: 2.14 2.10 2.09 3/265 28132
/proc/meminfo: memFree=30118076/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1221188 CPUtime=1.49 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 240092 0 0 0 114 35 0 0 20 0 4 0 103768401 1250496512 239910 33554432000 4194304 16246674 140735593284112 140735593283424 13198352 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 305297 239910 792 2943 0 302191 0
[pid=28128/tid=28129] ppid=28125 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1250496512 239910 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1250496512 239910 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103768401 1250496512 239910 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 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: 2.14 2.10 2.09 3/265 28132
/proc/meminfo: memFree=30029012/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1303108 CPUtime=3.08 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 266796 0 0 0 270 38 0 0 20 0 4 0 103768401 1334382592 266614 33554432000 4194304 16246674 140735593284112 140735593265984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 325777 266614 792 2943 0 322671 0
[pid=28128/tid=28129] ppid=28125 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1334382592 266614 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1334382592 266614 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103768401 1334382592 266614 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1303108

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

[startup+3.4004 s]
/proc/loadavg: 2.14 2.10 2.09 3/265 28132
/proc/meminfo: memFree=30029012/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1304132 CPUtime=3.38 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 266830 0 0 0 300 38 0 0 20 0 4 0 103768401 1335431168 266648 33554432000 4194304 16246674 140735593284112 140735593265984 5823238 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 326033 266648 792 2943 0 322927 0
[pid=28128/tid=28129] ppid=28125 vsize=1304132 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1335431168 266648 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1304132 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1335431168 266648 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1304132 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103768401 1335431168 266648 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 1304132

[startup+3.80043 s]
/proc/loadavg: 2.13 2.10 2.09 3/258 28152
/proc/meminfo: memFree=31002324/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1306180 CPUtime=3.78 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 267422 0 0 0 340 38 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 140735593267112 5823230 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 326545 267240 793 2943 0 323439 0
[pid=28128/tid=28129] ppid=28125 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 1306180

[startup+4.00039 s]
/proc/loadavg: 2.13 2.10 2.09 3/258 28152
/proc/meminfo: memFree=31002324/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=1306180 CPUtime=3.98 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202496 267422 0 0 0 360 38 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 140735593267112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 326545 267240 793 2943 0 323439 0
[pid=28128/tid=28129] ppid=28125 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28129/stat : 28129 (toysat) S 28125 28128 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 139847093169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=28128/tid=28130] ppid=28125 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28130/stat : 28130 (toysat) S 28125 28128 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 139847082679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=28128/tid=28131] ppid=28125 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/28128/task/28131/stat : 28131 (toysat) S 28125 28128 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103768401 1337528320 267240 33554432000 4194304 16246674 140735593284112 139847072206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 1306180

[startup+4.10041 s]
/proc/loadavg: 2.13 2.10 2.09 3/258 28152
/proc/meminfo: memFree=31002324/32872528 swapFree=9196/9196
[pid=28128] ppid=28125 vsize=0 CPUtime=4.09 cores=0-3,8-11
/proc/28128/stat : 28128 (toysat) R 28125 28128 25889 0 -1 4202500 267427 0 0 0 370 39 0 0 20 0 1 0 103768401 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/28128/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.15828
CPU time (s): 4.15537
CPU user time (s): 3.70544
CPU system time (s): 0.449931
CPU usage (%): 99.9298
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.70544
system time used= 0.449931
maximum resident set size= 1068976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267427
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= 20
involuntary context switches= 5

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

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:21:04
IDJOB=4078654
IDBENCH=1299
IDSOLVER=2542
FILE ID=node132/4078654-1465219264
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 6281627dc4c435fe3011d1036bb94900
RANDOM SEED=1161941165

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30988556 kB
Buffers:            7552 kB
Cached:            71576 kB
SwapCached:         3236 kB
Active:          1143972 kB
Inactive:          21428 kB
Active(anon):    1085456 kB
Inactive(anon):     3236 kB
Active(file):      58516 kB
Inactive(file):    18192 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:       1092424 kB
Mapped:            10356 kB
Shmem:                 0 kB
Slab:             572832 kB
SReclaimable:      12320 kB
SUnreclaim:       560512 kB
KernelStack:        2224 kB
PageTables:         6424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1077248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node132 at 2016-06-06 15:21:08