Trace number 4098997

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-02SAT 8.39572 8.3993

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb
MD5SUMe4bbe52e30b63463eee488a367080b13
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.015996
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
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 627
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:16+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-4098997-1466206096.opb"]
0.00/0.01	c use --random-gen="3518148238 2473786784 4294215994 732596558 3887090047 604168429 3957204099 1157250715 1571632996 4283416667 1068221182 3182052447 1598358544 104854422 1130018177 2029100525 2792866594 3465865344 822868833 3142875223 3777059542 2865650586 3788872673 4111083823 863701984 4093977577 1773723087 2056597940 2554836723 2878894001 4066416073 3514734751 596336889 3742041614 259328249 336728386 3945179370 1549769049 1064362068 1252791434 3107581672 3146103735 439148164 3189856207 3289288323 45455385 2651680554 3779036787 3491490714 2677873123 54637382 992208816 3151391043 532948741 2070799745 60666700 2279901007 2490759014 4068679699 3133571688 2855563280 3922096223 3362928766 351048685 1145323885 1861657392 1782562919 2966772254 436585193 1824493099 3294235794 1619222413 2613781543 1600340038 1928965731 1386473828 1758750899 909318695 458829358 746032238 1987934181 1509197106 4249659143 1090073506 822363574 1909825552 660212802 2990947320 1204021635 336934630 232406705 931189033 2268030833 1025740463 548424649 2624399983 2863607001 318216617 997087928 1428733317 2523062991 3554876899 538308254 2276566319 716619680 36901211 3821234332 469285993 1227002000 1919398818 3746765136 980092097 623775512 1300344401 4190230022 987028918 1078820510 2939231116 1018099733 402800333 731715748 2998919748 2915167318 510769357 19599629 3611585582 1714926993 1921448 660331925 3110196877 3567678468 763113097 2972311251 1670835138 3209986747 2414843148 2589104521 1219117769 1247822416 2509286141 2543092079 3881482861 3638602214 1752997349 1986017084 3246139629 211549932 420385481 3157916456 1543335326 1692594470 2965421203 1328968104 3410344635 1629753702 3489713773 1286044363 4152600365 4240224487 1892315853 1412687942 1123000849 2382678255 2978252928 2972917705 123391804 3899318465 4215905571 2411546622 4141030686 342664478 4270313927 232855777 1809304217 4120225505 754711461 2118214465 3055370808 3575897253 2573205952 2663271889 2043038352 3909235004 4120397433 1271957177 2045437329 2724191699 1748335349 3612516020 2966409002 3055138661 461820986 3283675730 1437071695 3390654572 3947872159 835542573 3107063667 1210531443 1890395751 1275510185 233690805 3722058286 1690323383 2442267834 2466187092 646210986 3347198085 2271900652 846023948 1707268533 1730946510 3643115330 2014157667 379422316 3494308140 2385378038 3475897229 205063822 1277068155 1994208505 800706683 3452888728 2804483871 2995324375 243066588 999832326 2832677783 725666807 2598822410 3247419627 1289590858 364944835 913284643 2205628933 2959879982 434005424 602035515 1964246947 1893431055 3257627846 1057782068 2204670136 1742178625 4109167371 2621520834 1279568812 3591811135 2183331410 4231168635 4261343321 1064868984 3176075730 2715226134 4260497180 1941658589 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      225 |      100 |      979      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      471 |      250 |     1077      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |      809 |      475 |     1185      0 |        0 |        0
0.19/0.26	c  0.2s |       4 |     1351 |      813 |     1304      0 |        0 |        0
0.29/0.38	c  0.3s |       5 |     2106 |     1320 |     1435      0 |        0 |        0
0.59/0.60	c  0.5s |       6 |     3270 |     2081 |     1737      1 |        0 |        0
0.89/0.93	c  0.9s |       7 |     4922 |     3223 |     1911      2 |        0 |        0
1.29/1.39	c  1.3s |       8 |     7548 |     4936 |     2103      4 |        0 |        0
1.99/2.01	c  1.9s |       9 |    11372 |     7506 |     2314      6 |        0 |        0
2.89/2.93	c  2.9s |      10 |    17020 |    11361 |     2546      9 |        0 |        0
4.29/4.34	c  4.3s |      11 |    25114 |    17144 |     2801     12 |        1 |       11
6.29/6.35	c  6.3s |      11 |    37271 |    25444 |     2801     18 |        1 |       11
6.39/6.43	c  6.4s |      12 |    37768 |    25819 |     3082     18 |        1 |       11
8.29/8.34	c  8.3s |      12 |    48778 |    33237 |     3082     21 |        2 |       22
8.29/8.34	c #cpu_time = 8.239s
8.29/8.34	c #wall_clock_time = 8.260s
8.29/8.34	c #decision = 48778
8.29/8.34	c #random_decision = 134
8.29/8.34	c #conflict = 33237
8.29/8.34	c #restart = 12
8.29/8.34	s SATISFIABLE
8.29/8.34	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
8.29/8.34	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
8.29/8.34	v x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
8.29/8.34	v x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40
8.29/8.34	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
8.29/8.34	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
8.29/8.34	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
8.29/8.34	v -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
8.29/8.34	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
8.29/8.34	v -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
8.29/8.34	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110
8.29/8.34	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
8.29/8.34	v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
8.29/8.34	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
8.29/8.34	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150
8.29/8.34	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
8.29/8.34	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
8.29/8.34	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
8.29/8.34	v x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190
8.29/8.34	v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
8.29/8.34	v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
8.29/8.34	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220
8.29/8.34	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230
8.29/8.34	v -x231
8.29/8.34	c total CPU time = 8.317s
8.29/8.34	c total wall clock time = 8.338s

Verifier Data 

OK	0

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

pid=14960
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: 0.92 0.30 0.18 3/179 14963
/proc/meminfo: memFree=29647836/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 2720 0 0 0 0 0 0 0 20 0 4 0 22656241 745992192 2569 33554432000 4194304 16246674 140733973975936 140733973975360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 182639 2577 441 2943 0 179533 0
[pid=14963/tid=14964] ppid=14960 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 763817984 2639 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 769060864 2657 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656242 773255168 2675 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100308 s]
/proc/loadavg: 0.92 0.30 0.18 3/179 14963
/proc/meminfo: memFree=29647836/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 25489 0 0 0 5 4 0 0 20 0 4 0 22656241 1247350784 25327 33554432000 4194304 16246674 140733973975936 140733973975360 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 304529 25332 724 2943 0 301423 0
[pid=14963/tid=14964] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 25337 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 25342 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 25347 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200508 s]
/proc/loadavg: 0.92 0.30 0.18 3/179 14963
/proc/meminfo: memFree=29647836/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 41368 0 0 0 12 7 0 0 20 0 4 0 22656241 1247350784 41206 33554432000 4194304 16246674 140733973975936 140733973975360 6843278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 304529 41212 724 2943 0 301423 0
[pid=14963/tid=14964] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 41218 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 41222 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 41227 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 0.92 0.30 0.18 3/179 14963
/proc/meminfo: memFree=29647836/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 57278 0 0 0 20 9 0 0 20 0 4 0 22656241 1247350784 57116 33554432000 4194304 16246674 140733973975936 140733973957824 5721708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 304529 57127 724 2943 0 301423 0
[pid=14963/tid=14964] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 57133 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 57138 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 57143 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700366 s]
/proc/loadavg: 0.92 0.30 0.18 3/179 14963
/proc/meminfo: memFree=29647836/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 119991 0 0 0 51 18 0 0 20 0 4 0 22656241 1247350784 119830 33554432000 4194304 16246674 140733973975936 140733973957824 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 304529 119839 730 2943 0 301423 0
[pid=14963/tid=14964] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 119843 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 119848 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656242 1247350784 119851 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 0.92 0.30 0.18 3/183 14967
/proc/meminfo: memFree=28914088/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 246083 0 0 0 113 36 0 0 20 0 4 0 22656241 1250496512 245901 33554432000 4194304 16246674 140733973975936 140733973975248 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 305297 245901 797 2943 0 302191 0
[pid=14963/tid=14964] ppid=14960 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1250496512 245901 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1250496512 245901 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1250496512 245901 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.1004 s]
/proc/loadavg: 0.92 0.30 0.18 2/174 14998
/proc/meminfo: memFree=29751608/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 266592 0 0 0 271 38 0 0 20 0 4 0 22656241 1334382592 266410 33554432000 4194304 16246674 140733973975936 140733973957824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 325777 266410 797 2943 0 322671 0
[pid=14963/tid=14964] ppid=14960 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1334382592 266410 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1334382592 266410 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1334382592 266410 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30042 s]
/proc/loadavg: 1.09 0.35 0.20 3/183 15016
/proc/meminfo: memFree=28581764/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 267599 0 0 0 591 38 0 0 20 0 4 0 22656241 1338576896 267417 33554432000 4194304 16246674 140733973975936 140733973958936 13954608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 326801 267417 798 2943 0 323695 0
[pid=14963/tid=14964] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267417 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267417 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267417 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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 14963 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.4005 s]
/proc/loadavg: 1.09 0.35 0.20 3/183 15016
/proc/meminfo: memFree=28581764/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1307204 CPUtime=6.39 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 267599 0 0 0 601 38 0 0 20 0 4 0 22656241 1338576896 267417 33554432000 4194304 16246674 140733973975936 140733973958936 5676187 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 326801 267417 798 2943 0 323695 0
[pid=14963/tid=14964] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267417 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267417 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267417 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1307204

[startup+7.20043 s]
/proc/loadavg: 1.09 0.35 0.20 3/183 15016
/proc/meminfo: memFree=28578168/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1307204 CPUtime=7.19 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 267736 0 0 0 681 38 0 0 20 0 4 0 22656241 1338576896 267554 33554432000 4194304 16246674 140733973975936 140733973958936 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 326801 267554 798 2943 0 323695 0
[pid=14963/tid=14964] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 1307204

[startup+8.00043 s]
/proc/loadavg: 1.09 0.35 0.20 3/183 15016
/proc/meminfo: memFree=28577064/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1307204 CPUtime=7.99 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 267736 0 0 0 761 38 0 0 20 0 4 0 22656241 1338576896 267554 33554432000 4194304 16246674 140733973975936 140733973957824 13809224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 326801 267554 798 2943 0 323695 0
[pid=14963/tid=14964] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 1307204

[startup+8.20042 s]
/proc/loadavg: 1.09 0.35 0.20 3/183 15016
/proc/meminfo: memFree=28577064/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1307204 CPUtime=8.19 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 267736 0 0 0 781 38 0 0 20 0 4 0 22656241 1338576896 267554 33554432000 4194304 16246674 140733973975936 140733973957824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 326801 267554 798 2943 0 323695 0
[pid=14963/tid=14964] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267554 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 1307204

[startup+8.30042 s]
/proc/loadavg: 1.09 0.35 0.20 3/183 15016
/proc/meminfo: memFree=28577064/32872528 swapFree=1191052/1305516
[pid=14963] ppid=14960 vsize=1307204 CPUtime=8.29 cores=1,3,5,7
/proc/14963/stat : 14963 (toysat) R 14960 14963 14522 0 -1 4202496 267839 0 0 0 791 38 0 0 20 0 4 0 22656241 1338576896 267657 33554432000 4194304 16246674 140733973975936 140733973975112 5754700 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14963/statm: 326801 267657 798 2943 0 323695 0
[pid=14963/tid=14964] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14964/stat : 14964 (toysat) S 14960 14963 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267657 33554432000 4194304 16246674 140733973975936 140068011355376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14963/tid=14965] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14965/stat : 14965 (toysat) S 14960 14963 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267657 33554432000 4194304 16246674 140733973975936 140068000865520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14963/tid=14966] ppid=14960 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14963/task/14966/stat : 14966 (toysat) S 14960 14963 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656242 1338576896 267657 33554432000 4194304 16246674 140733973975936 140067990391984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 8.3993
CPU time (s): 8.39572
CPU user time (s): 7.95079
CPU system time (s): 0.444932
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.95079
system time used= 0.444932
maximum resident set size= 1070652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267846
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= 10

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

The end

Launcher Data 

Begin job on node127 at 2016-06-18 01:28:16
IDJOB=4098997
IDBENCH=1287
IDSOLVER=2542
FILE ID=node127/4098997-1466206096
RUNJOBID= node127-1466206072-14539
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.1900581321.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098997-1466206096/watcher-4098997-1466206096 -o /tmp/evaluation-result-4098997-1466206096/solver-4098997-1466206096 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098997-1466206096.opb

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

MD5SUM BENCH= e4bbe52e30b63463eee488a367080b13
RANDOM SEED=1939845186

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:        29650076 kB
Buffers:           39972 kB
Cached:            98360 kB
SwapCached:          520 kB
Active:          1149452 kB
Inactive:          58320 kB
Active(anon):    1070984 kB
Inactive(anon):      816 kB
Active(file):      78468 kB
Inactive(file):    57504 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:             33704 kB
Writeback:             0 kB
AnonPages:       2374252 kB
Mapped:            10328 kB
Shmem:                 0 kB
Slab:             573084 kB
SReclaimable:      16104 kB
SUnreclaim:       556980 kB
KernelStack:        1488 kB
PageTables:         8348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2519304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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:25