Trace number 4099347

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 2.03969 2.08408

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb
MD5SUMe9edc2d782e594ad1282a3521a191027
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.107983
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 679
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.04	c 2016-06-18T01:28:56+0200
0.00/0.04	c version = 0.5.0
0.00/0.04	c githash = 1a49202
0.00/0.04	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.04	c arch = x86_64
0.00/0.04	c os = linux
0.00/0.04	c compiler = ghc 7.10
0.00/0.04	c packages:
0.00/0.04	c   OptDir-0.0.3
0.00/0.04	c   array-0.5.1.0
0.00/0.04	c   base-4.8.2.0
0.00/0.04	c   bytestring-0.10.6.0
0.00/0.04	c   bytestring-builder-0.10.6.0.0
0.00/0.04	c   clock-0.7.2
0.00/0.04	c   containers-0.5.6.2
0.00/0.04	c   data-default-0.5.3
0.00/0.04	c   data-default-class-0.0.1
0.00/0.04	c   data-interval-1.2.0
0.00/0.04	c   deepseq-1.4.1.1
0.00/0.04	c   directory-1.2.2.0
0.00/0.04	c   exceptions-0.8.2.1
0.00/0.04	c   extended-reals-0.2.1.0
0.00/0.04	c   filepath-1.4.0.0
0.00/0.04	c   finite-field-0.8.0
0.00/0.04	c   hashable-1.2.4.0
0.00/0.04	c   heaps-0.3.3
0.00/0.04	c   intern-0.9.1.4
0.00/0.04	c   loop-0.3.0
0.00/0.04	c   mtl-2.2.1
0.00/0.04	c   multiset-0.3.2
0.00/0.04	c   mwc-random-0.13.3.2
0.00/0.04	c   parse_dimacs-1.3
0.00/0.04	c   parsec-3.1.9
0.00/0.04	c   prettyclass-1.0.0.0
0.00/0.04	c   primes-0.2.1.0
0.00/0.04	c   primitive-0.6.1.0
0.00/0.04	c   process-1.2.3.0
0.00/0.04	c   pseudo-boolean-0.1.3.0
0.00/0.05	c   queue-0.1.2
0.00/0.05	c   semigroups-0.18.1
0.00/0.05	c   sign-0.4.3
0.00/0.05	c   stm-2.4.4.1
0.00/0.05	c   template-haskell-2.10.0.0
0.00/0.05	c   temporary-1.2.0.4
0.00/0.05	c   time-1.5.0.1
0.00/0.05	c   transformers-0.4.2.0
0.00/0.05	c   transformers-compat-0.5.1.4
0.00/0.05	c   type-level-numbers-0.1.1.1
0.00/0.05	c   unbounded-delays-0.1.0.9
0.00/0.05	c   unordered-containers-0.2.6.0
0.00/0.05	c   vector-0.11.0.0
0.00/0.05	c   vector-space-0.10.3
0.00/0.05	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099347-1466206135.opb"]
0.00/0.05	c use --random-gen="2395115846 538559851 3487170257 2647519058 2814368059 1567138861 3655871240 1437837166 1419835568 378626614 2307433085 2996597351 1489698086 2325319449 564557950 3895204032 806343167 1434245130 456092756 2887811661 3465492681 3643268932 755745218 3386280036 4164677162 884511145 769457114 1151841781 1929098529 960485390 1179822948 2397265715 663750457 1247247466 2247420873 1466097012 799054527 1500283162 1105755792 2556747149 3597677121 4007447986 1145810726 1967338328 3398674727 3636136106 674169629 2466038051 2042753872 115337303 2855522939 1637076805 841231384 2355020996 3027897610 2279899833 2478237900 2084053776 2068919496 2742635019 3120964531 1637937950 1744610742 4013414492 3148555926 1899051661 3793285663 729336712 951246396 3246206817 2338469370 2820086666 443137992 4003182482 2734494897 1053827624 1947538272 3432781367 887597451 2056563358 970642121 1334042101 260436744 22063426 21681386 3893645209 301673902 2478807720 4054782505 2132046457 2400696402 1163922066 2143866750 2122101196 231848087 2883040059 533259236 308815280 551619574 2771782168 19667861 3000833645 2185559287 3111999765 2137684567 1543542632 3000527646 4220259438 3791750390 3960161431 3685469880 428708554 785427761 3402639492 745750169 1574359548 212177957 269526882 2173418078 680272218 3906123884 338126088 605776168 3187234433 798094339 1771868333 2693983379 2934945715 206131857 2877775181 1210294124 350059171 1603206071 4023193209 2580660974 1883519714 749934923 3202349194 1414668680 3482459829 2495060381 1453560370 3684549129 3832884137 1074339966 1262916446 1416195564 1421751537 229616757 1788658890 3499330259 188406517 2699889118 3964933443 2014950580 3812976146 2393682461 3099070173 4062194592 645335861 3745336714 4179373737 2150637608 2768762076 3428445275 2355404585 4092691580 860898730 1471588977 1118523117 1665194234 2699226400 909395944 2588622575 3250938186 109279849 3221567332 2966196543 3901985947 3167867899 3608190487 3459080749 3591726783 411171812 1319393869 4070817540 3278517191 1104215396 1151438959 3746493137 963310432 3921954317 1447277582 3056113787 631848878 1140349089 3933153604 4069466174 2382533000 108472154 878350719 2471822776 3831268743 3535831162 74702163 2230736042 3561236906 2458665474 3283859827 1183401003 2601946782 3449076747 3499579510 2295111252 2899523865 3656956327 3337179083 2063285712 3863621363 548370144 883145676 1371921751 2489457919 2109135980 1703302602 460497124 3956934431 955461219 1381489888 4006913802 4259505987 1933774338 3585558311 4178976566 160886534 950423251 59380146 3961232739 2721274167 3505055208 2266142605 1090423049 2257368732 1270911876 78150585 627050266 717499791 654180367 1685898509 1314557695 3317344625 462605531 2262143377 2323991450 1883232475 768994397 255 362436" option to reproduce the execution
0.00/0.08	c #vars 231
0.00/0.08	c #constraints 2707
0.04/0.12	c Solving starts ...
0.04/0.12	c ============================[ Search Statistics ]============================
0.04/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.04/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.04/0.12	c =============================================================================
0.04/0.12	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.04/0.14	c  0.0s |       1 |      302 |      100 |      979      0 |        0 |        0
0.04/0.17	c  0.1s |       2 |      524 |      250 |     1077      0 |        0 |        0
0.15/0.22	c  0.1s |       3 |      851 |      475 |     1185      0 |        0 |        0
0.25/0.31	c  0.2s |       4 |     1440 |      813 |     1304      0 |        0 |        0
0.34/0.44	c  0.3s |       5 |     2240 |     1320 |     1435      0 |        0 |        0
0.55/0.66	c  0.5s |       6 |     3415 |     2081 |     1737      1 |        0 |        0
0.94/1.00	c  0.9s |       7 |     5172 |     3223 |     1911      2 |        0 |        0
1.45/1.54	c  1.4s |       8 |     7652 |     4936 |     2103      4 |        0 |        0
1.95/2.03	c  1.9s |       8 |    10761 |     7098 |     2103      6 |        0 |        0
1.95/2.03	c #cpu_time = 1.901s
1.95/2.03	c #wall_clock_time = 1.907s
1.95/2.03	c #decision = 10761
1.95/2.03	c #random_decision = 29
1.95/2.03	c #conflict = 7098
1.95/2.03	c #restart = 8
1.95/2.03	s SATISFIABLE
1.95/2.03	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
1.95/2.03	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
1.95/2.03	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1.95/2.03	v x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40
1.95/2.03	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
1.95/2.03	v -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1.95/2.03	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
1.95/2.03	v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1.95/2.03	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1.95/2.03	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100
1.95/2.03	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1.95/2.03	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1.95/2.03	v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1.95/2.03	v -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140
1.95/2.03	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150
1.95/2.03	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
1.95/2.03	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
1.95/2.03	v -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180
1.95/2.03	v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
1.95/2.03	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1.95/2.03	v x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210
1.95/2.03	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
1.95/2.03	v -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
1.95/2.03	v -x231
1.95/2.03	c total CPU time = 1.979s
1.95/2.03	c total wall clock time = 1.984s

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-4099347-1466206135/watcher-4099347-1466206135 -o /tmp/evaluation-result-4099347-1466206135/solver-4099347-1466206135 -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-4099347-1466206135.opb 

pid=17411
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.41 0.60 0.31 3/179 17414
/proc/meminfo: memFree=27957368/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/17414/stat : 17414 (runsolver) D 17411 17414 16189 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 22659081 24911872 152 33554432000 4194304 4338465 140737122593968 140737122591608 239873117367 0 0 4096 24578 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/17414/statm: 6082 152 105 36 0 2655 0

[startup+0.100121 s]
/proc/loadavg: 1.41 0.60 0.31 3/179 17414
/proc/meminfo: memFree=27957368/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=1218116 CPUtime=0.04 cores=1,3,5,7
/proc/17414/stat : 17414 (toysat) R 17411 17414 16189 0 -1 4202496 17524 0 0 0 2 2 0 0 20 0 4 0 22659081 1247350784 18387 33554432000 4194304 16246674 140737189042096 140737189041520 6775184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0
/proc/17414/statm: 304529 18395 624 2943 0 301423 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1218116

[startup+0.200355 s]
/proc/loadavg: 1.41 0.60 0.31 3/179 17414
/proc/meminfo: memFree=27957368/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=1218116 CPUtime=0.15 cores=1,3,5,7
/proc/17414/stat : 17414 (toysat) R 17411 17414 16189 0 -1 4202496 34609 0 0 0 10 5 0 0 20 0 4 0 22659081 1247350784 35471 33554432000 4194304 16246674 140737189042096 140737189041520 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0
/proc/17414/statm: 304529 35477 727 2943 0 301423 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 1218116

[startup+0.300346 s]
/proc/loadavg: 1.41 0.60 0.31 3/179 17414
/proc/meminfo: memFree=27957368/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=1218116 CPUtime=0.25 cores=1,3,5,7
/proc/17414/stat : 17414 (toysat) R 17411 17414 16189 0 -1 4202496 50539 0 0 0 18 7 0 0 20 0 4 0 22659081 1247350784 51400 33554432000 4194304 16246674 140737189042096 140737189041520 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0
/proc/17414/statm: 304529 51408 727 2943 0 301423 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 1218116

[startup+0.700263 s]
/proc/loadavg: 1.41 0.60 0.31 3/179 17414
/proc/meminfo: memFree=27957368/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=1218116 CPUtime=0.65 cores=1,3,5,7
/proc/17414/stat : 17414 (toysat) R 17411 17414 16189 0 -1 4202496 115128 0 0 0 48 17 0 0 20 0 4 0 22659081 1247350784 115989 33554432000 4194304 16246674 140737189042096 140737189041520 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0
/proc/17414/statm: 304529 115995 734 2943 0 301423 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 1.41 0.60 0.31 3/183 17418
/proc/meminfo: memFree=26984032/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=1218116 CPUtime=1.45 cores=1,3,5,7
/proc/17414/stat : 17414 (toysat) R 17411 17414 16189 0 -1 4202496 243240 0 0 0 110 35 0 0 20 0 4 0 22659081 1247350784 244102 33554432000 4194304 16246674 140737189042096 140737189025096 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0
/proc/17414/statm: 304529 244111 734 2943 0 301423 0
[pid=17414/tid=17416] ppid=17411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17416/stat : 17416 (toysat) S 17411 17414 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659086 1247350784 244114 33554432000 4194304 16246674 140737189042096 140137564450032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17414/tid=17417] ppid=17411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17417/stat : 17417 (toysat) S 17411 17414 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659086 1247350784 244118 33554432000 4194304 16246674 140737189042096 140137553960176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=17414/tid=17418] ppid=17411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17418/stat : 17418 (toysat) S 17411 17414 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659086 1247350784 244123 33554432000 4194304 16246674 140737189042096 140137467997360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 1218116

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

[startup+1.6005 s]
/proc/loadavg: 1.41 0.60 0.31 3/183 17418
/proc/meminfo: memFree=26984032/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=1221188 CPUtime=1.55 cores=1,3,5,7
/proc/17414/stat : 17414 (toysat) R 17411 17414 16189 0 -1 4202496 246215 0 0 0 120 35 0 0 20 0 4 0 22659081 1250496512 247056 33554432000 4194304 16246674 140737189042096 140737189041408 6861764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0
/proc/17414/statm: 305297 247056 799 2943 0 302191 0
[pid=17414/tid=17416] ppid=17411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17416/stat : 17416 (toysat) S 17411 17414 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659086 1250496512 247056 33554432000 4194304 16246674 140737189042096 140137564450032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17414/tid=17417] ppid=17411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17417/stat : 17417 (toysat) S 17411 17414 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659086 1250496512 247056 33554432000 4194304 16246674 140737189042096 140137553960176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=17414/tid=17418] ppid=17411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17418/stat : 17418 (toysat) S 17411 17414 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659086 1250496512 247056 33554432000 4194304 16246674 140737189042096 140137467997360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 1221188

[startup+2.00042 s]
/proc/loadavg: 1.41 0.60 0.31 3/183 17418
/proc/meminfo: memFree=26984032/32872528 swapFree=1459628/1655852
[pid=17414] ppid=17411 vsize=1221188 CPUtime=1.95 cores=1,3,5,7
/proc/17414/stat : 17414 (toysat) R 17411 17414 16189 0 -1 4202496 246215 0 0 0 160 35 0 0 20 0 4 0 22659081 1250496512 247056 33554432000 4194304 16246674 140737189042096 140737189024000 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0
/proc/17414/statm: 305297 247056 799 2943 0 302191 0
[pid=17414/tid=17416] ppid=17411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17416/stat : 17416 (toysat) S 17411 17414 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659086 1250496512 247056 33554432000 4194304 16246674 140737189042096 140137564450032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17414/tid=17417] ppid=17411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17417/stat : 17417 (toysat) S 17411 17414 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659086 1250496512 247056 33554432000 4194304 16246674 140737189042096 140137553960176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0
[pid=17414/tid=17418] ppid=17411 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/17414/task/17418/stat : 17418 (toysat) S 17411 17414 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659086 1250496512 247056 33554432000 4194304 16246674 140737189042096 140137467997360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 1221188

Child status: 0
Real time (s): 2.08408
CPU time (s): 2.03969
CPU user time (s): 1.63175
CPU system time (s): 0.407937
CPU usage (%): 97.8697
Max. virtual memory (cumulated for all children) (KiB): 1221188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.63175
system time used= 0.407937
maximum resident set size= 988244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246222
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= 23
involuntary context switches= 3

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

The end

Launcher Data 

Begin job on node136 at 2016-06-18 01:28:56
IDJOB=4099347
IDBENCH=1361
IDSOLVER=2542
FILE ID=node136/4099347-1466206135
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.1900567939.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099347-1466206135/watcher-4099347-1466206135 -o /tmp/evaluation-result-4099347-1466206135/solver-4099347-1466206135 -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-4099347-1466206135.opb

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

MD5SUM BENCH= e9edc2d782e594ad1282a3521a191027
RANDOM SEED=1009621892

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:        27982448 kB
Buffers:          132856 kB
Cached:          1640244 kB
SwapCached:            0 kB
Active:           851136 kB
Inactive:        1639988 kB
Active(anon):     720488 kB
Inactive(anon):        0 kB
Active(file):     130648 kB
Inactive(file):  1639988 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33004 kB
Writeback:             0 kB
AnonPages:       2373828 kB
Mapped:            15904 kB
Shmem:               204 kB
Slab:             609168 kB
SReclaimable:      52784 kB
SUnreclaim:       556384 kB
KernelStack:        1456 kB
PageTables:         9396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2784400 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:58