Trace number 432362

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, and are wall clock time (not CPU 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
bsolo 3.0.17? (TO) 1800.08 1800.62

General information on the benchmark

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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432362-1177942846/instance-432362-1177942846.opb
0.00/0.00	c File size is 83375 bytes.
0.00/0.02	c Highest Coefficient sum: 689
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.015 s
0.00/0.02	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5708
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
0.00/0.03	c Pre-processing Time: 0.026 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    231     2586     8096    3     5472    1880      0      0 0.03
0.00/0.03	c Switching off LPR mode.
1800.07/1800.61	c      101    231     2687    12320    4     5678    2069    101   2970 0.03
1800.07/1800.61	c      251    231     2837    19238    6     5978    2276    251   5340 0.05
1800.07/1800.61	c      480    231     3066    28314    9     6435    2504    480   6315 0.08
1800.07/1800.61	c      818    231     3404    42912   12     7110    2755    818   6440 0.13
1800.07/1800.61	c     1326    231     3912    65619   16     8127    3031   1326   6167 0.21
1800.07/1800.61	c     2090    231     4676    97772   20     9656    3335   2090   5514 0.38
1800.07/1800.61	c     3236    231     5822   145551   25    11948    3669   3236   4538 0.71
1800.07/1800.61	c     4957    231     5595   129996   23    11494    4036   3009   4247 1.17
1800.07/1800.61	c     7546    231     6088   145368   23    12481    4440   3502   4178 1.81
1800.07/1800.61	c    11426    231     5308   111757   21    10921    4885   2722   3983 2.87
1800.07/1800.61	c    17249    231     6032   145933   24    12368    5374   3446   3770 4.58
1800.07/1800.61	c    25986    231     6400   160524   25    13105    5912   3814   3623 7.17
1800.07/1800.61	c    39097    231     7332   206150   28    14969    6504   4746   3375 11.58
1800.07/1800.61	c    58767    231     6808   184818   27    13919    7155   4222   3108 18.90
1800.07/1800.61	c    88279    231     6921   193828   28    14147    7871   4335   2937 30.05
1800.07/1800.61	c   132551    231     6738   171855   25    13780    8659   4152   2650 50.01
1800.07/1800.61	c   198962    231    10937   361862   33    22177    9525   8351   2365 84.12
1800.07/1800.61	c   298582    231     8343   243132   29    16991   10478   5757   2120 140.82
1800.07/1800.61	c   448017    231     8062   222389   27    16429   11526   5476   1891 236.86
1800.07/1800.61	c   672177    231     9127   258654   28    18559   12679   6541   1750 384.03
1800.07/1800.61	c  1008422    231    10013   309571   30    20330   13947   7427   1623 621.26
1800.07/1800.61	c  1512793    231    11090   367982   33    22484   15342   8504   1484 1019.30
1800.07/1800.61	c  2269357    231    12805   424575   33    25913   16877  10219   1329 1706.90
1800.07/1800.61	c Caught signal: 15
1800.07/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.61	c   23  2364771 441023  3142854    14214   469631  11628   1313 1800.08
1800.07/1800.61	s UNKNOWN
1800.07/1800.61	c Total time: 1800.08 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node5/watcher-432362-1177942846 -o ROOT/results/node5/solver-432362-1177942846 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432362-1177942846/instance-432362-1177942846.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 28391
/proc/meminfo: memFree=1763712/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=11820 CPUtime=0
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 270322285 12103680 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 2955 334 280 324 0 2004 0

[startup+0.0815569 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 28391
/proc/meminfo: memFree=1763712/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=4716 CPUtime=0.07
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 604 0 0 0 7 0 0 0 18 0 1 0 270322285 4829184 553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 1179 553 309 324 0 249 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4716

[startup+0.102559 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 28391
/proc/meminfo: memFree=1763712/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=4844 CPUtime=0.09
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 270322285 4960256 576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 1211 576 309 324 0 281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4844

[startup+0.302582 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 28391
/proc/meminfo: memFree=1763712/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=5492 CPUtime=0.29
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 814 0 0 0 29 0 0 0 19 0 1 0 270322285 5623808 763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 1373 763 309 324 0 443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5492

[startup+0.701628 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 28391
/proc/meminfo: memFree=1763712/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=6540 CPUtime=0.69
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 1048 0 0 0 69 0 0 0 23 0 1 0 270322285 6696960 997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 1635 997 309 324 0 705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6540

[startup+1.50172 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 28392
/proc/meminfo: memFree=1760504/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=7056 CPUtime=1.49
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 1178 0 0 0 149 0 0 0 25 0 1 0 270322285 7225344 1127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8335146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 1764 1127 309 324 0 834 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7056

[startup+3.1019 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 28392
/proc/meminfo: memFree=1760184/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=7192 CPUtime=3.09
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 1229 0 0 0 309 0 0 0 25 0 1 0 270322285 7364608 1178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 1798 1178 309 324 0 868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7192

[startup+6.30127 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 28392
/proc/meminfo: memFree=1759288/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=7836 CPUtime=6.29
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 1399 0 0 0 628 1 0 0 25 0 1 0 270322285 8024064 1348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 1959 1348 309 324 0 1029 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7836

[startup+12.702 s]
/proc/loadavg: 0.22 0.05 0.02 2/78 28392
/proc/meminfo: memFree=1758776/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=8748 CPUtime=12.68
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 1622 0 0 0 1267 1 0 0 25 0 1 0 270322285 8957952 1571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 2187 1571 309 324 0 1257 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8748

[startup+25.5015 s]
/proc/loadavg: 0.34 0.08 0.02 2/78 28392
/proc/meminfo: memFree=1758072/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=9140 CPUtime=25.48
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 1718 0 0 0 2547 1 0 0 25 0 1 0 270322285 9359360 1667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326870 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 2285 1667 309 324 0 1355 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9140

[startup+51.1014 s]
/proc/loadavg: 0.56 0.15 0.05 2/78 28392
/proc/meminfo: memFree=1756920/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=10316 CPUtime=51.07
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2016 0 0 0 5106 1 0 0 25 0 1 0 270322285 10563584 1965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 2579 1965 309 324 0 1649 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10316

[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/78 28392
/proc/meminfo: memFree=1756088/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=11100 CPUtime=102.26
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2210 0 0 0 10224 2 0 0 25 0 1 0 270322285 11366400 2159 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 2775 2159 309 324 0 1845 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11100

[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/78 28392
/proc/meminfo: memFree=1755640/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=11580 CPUtime=162.24
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2316 0 0 0 16222 2 0 0 25 0 1 0 270322285 11857920 2265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 2895 2265 309 324 0 1965 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 11580

[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/78 28392
/proc/meminfo: memFree=1755448/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=11688 CPUtime=222.22
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2352 0 0 0 22219 3 0 0 25 0 1 0 270322285 11968512 2301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585005 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 2922 2301 309 324 0 1992 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 11688

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/78 28392
/proc/meminfo: memFree=1755000/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=12088 CPUtime=282.2
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2456 0 0 0 28217 3 0 0 25 0 1 0 270322285 12378112 2405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326696 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3022 2405 309 324 0 2092 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 12088

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.30 2/78 28392
/proc/meminfo: memFree=1754936/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=12204 CPUtime=342.19
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2474 0 0 0 34215 4 0 0 25 0 1 0 270322285 12496896 2423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3051 2423 309 324 0 2121 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 12204

[startup+402.303 s]
/proc/loadavg: 0.99 0.73 0.33 2/78 28392
/proc/meminfo: memFree=1754424/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=12716 CPUtime=402.17
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2602 0 0 0 40213 4 0 0 25 0 1 0 270322285 13021184 2551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3179 2551 309 324 0 2249 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 12716

[startup+462.302 s]
/proc/loadavg: 0.99 0.78 0.38 2/78 28392
/proc/meminfo: memFree=1754168/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=12972 CPUtime=462.15
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2667 0 0 0 46210 5 0 0 25 0 1 0 270322285 13283328 2616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3243 2616 309 324 0 2313 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 12972

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/78 28392
/proc/meminfo: memFree=1754104/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=12972 CPUtime=522.13
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2667 0 0 0 52208 5 0 0 25 0 1 0 270322285 13283328 2616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3243 2616 309 324 0 2313 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 12972

[startup+582.303 s]
/proc/loadavg: 0.99 0.85 0.45 2/78 28392
/proc/meminfo: memFree=1754168/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=12968 CPUtime=582.12
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2667 0 0 0 58206 6 0 0 25 0 1 0 270322285 13279232 2616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3242 2616 309 324 0 2312 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 12968

[startup+642.303 s]
/proc/loadavg: 0.99 0.87 0.48 2/78 28392
/proc/meminfo: memFree=1753208/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=13844 CPUtime=642.1
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2888 0 0 0 64204 6 0 0 25 0 1 0 270322285 14176256 2837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3461 2837 309 324 0 2531 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 13844


################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 0.99 0.92 0.56 2/78 28394
/proc/meminfo: memFree=1753144/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=13940 CPUtime=822.05
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2916 0 0 0 82197 8 0 0 25 0 1 0 270322285 14274560 2865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3485 2865 309 324 0 2555 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 13940

[startup+882.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/78 28394
/proc/meminfo: memFree=1753144/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=13936 CPUtime=882.03
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2916 0 0 0 88195 8 0 0 25 0 1 0 270322285 14270464 2865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3484 2865 309 324 0 2554 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 13936

[startup+942.301 s]
/proc/loadavg: 0.99 0.94 0.61 2/78 28394
/proc/meminfo: memFree=1752888/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14176 CPUtime=942.02
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2969 0 0 0 94193 9 0 0 25 0 1 0 270322285 14516224 2918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3544 2918 309 324 0 2614 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 14176

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/78 28394
/proc/meminfo: memFree=1752888/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14176 CPUtime=1001.99
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 2969 0 0 0 100190 9 0 0 25 0 1 0 270322285 14516224 2918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3544 2918 309 324 0 2614 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 14176

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/78 28394
/proc/meminfo: memFree=1752440/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14564 CPUtime=1061.98
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3080 0 0 0 106188 10 0 0 25 0 1 0 270322285 14913536 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3641 3029 309 324 0 2711 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 14564

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/78 28394
/proc/meminfo: memFree=1752440/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14564 CPUtime=1121.96
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3080 0 0 0 112186 10 0 0 25 0 1 0 270322285 14913536 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3641 3029 309 324 0 2711 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 14564

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/78 28394
/proc/meminfo: memFree=1752120/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14824 CPUtime=1181.94
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3146 0 0 0 118183 11 0 0 25 0 1 0 270322285 15179776 3095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3706 3095 309 324 0 2776 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 14824

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/78 28394
/proc/meminfo: memFree=1752184/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14824 CPUtime=1241.92
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3146 0 0 0 124181 11 0 0 25 0 1 0 270322285 15179776 3095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3706 3095 309 324 0 2776 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 14824

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/78 28394
/proc/meminfo: memFree=1752120/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14824 CPUtime=1301.92
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3146 0 0 0 130180 12 0 0 25 0 1 0 270322285 15179776 3095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3706 3095 309 324 0 2776 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 14824

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/78 28394
/proc/meminfo: memFree=1752056/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14824 CPUtime=1361.89
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3146 0 0 0 136177 12 0 0 25 0 1 0 270322285 15179776 3095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3706 3095 309 324 0 2776 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 14824

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/78 28394
/proc/meminfo: memFree=1752120/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14824 CPUtime=1421.88
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3146 0 0 0 142175 13 0 0 25 0 1 0 270322285 15179776 3095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3706 3095 309 324 0 2776 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 14824

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/78 28394
/proc/meminfo: memFree=1752056/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14824 CPUtime=1481.86
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3146 0 0 0 148173 13 0 0 25 0 1 0 270322285 15179776 3095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3706 3095 309 324 0 2776 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 14824

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/78 28394
/proc/meminfo: memFree=1752056/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14952 CPUtime=1541.84
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3174 0 0 0 154170 14 0 0 25 0 1 0 270322285 15310848 3123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3738 3123 309 324 0 2808 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 14952

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/78 28394
/proc/meminfo: memFree=1751992/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14952 CPUtime=1601.82
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3174 0 0 0 160168 14 0 0 25 0 1 0 270322285 15310848 3123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3738 3123 309 324 0 2808 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 14952

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/78 28394
/proc/meminfo: memFree=1751928/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=14952 CPUtime=1661.81
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3174 0 0 0 166166 15 0 0 25 0 1 0 270322285 15310848 3123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 3738 3123 309 324 0 2808 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 14952

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/78 28394
/proc/meminfo: memFree=1751224/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=16076 CPUtime=1721.78
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3456 0 0 0 172163 15 0 0 25 0 1 0 270322285 16461824 3405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 4019 3405 309 324 0 3089 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 16076

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/78 28394
/proc/meminfo: memFree=1750520/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=16492 CPUtime=1781.77
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3552 0 0 0 178161 16 0 0 25 0 1 0 270322285 16887808 3501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 4123 3501 309 324 0 3193 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 16492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/78 28394
/proc/meminfo: memFree=1750456/2055920 swapFree=4151656/4192956
[pid=28391] ppid=28389 vsize=16492 CPUtime=1800.07
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 28328 0 -1 4194304 3552 0 0 0 179991 16 0 0 25 0 1 0 270322285 16887808 3501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28391/statm: 4123 3501 309 324 0 3193 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 16492

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.168974
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 16500

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

runsolver used 1.3438 second user time and 3.9584 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Mon Apr 30 14:20:46 UTC 2007

IDJOB= 432362
IDBENCH= 1349
IDSOLVER= 199
FILE ID= node5/432362-1177942846

PBS_JOBID= 4727680

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432362-1177942846/instance-432362-1177942846.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-432362-1177942846 -o ROOT/results/node5/solver-432362-1177942846 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432362-1177942846/instance-432362-1177942846.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  526ab28e5245080e542291515286f3e0

RANDOM SEED= 582122190

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1764184 kB
Buffers:         37108 kB
Cached:         160120 kB
SwapCached:       9628 kB
Active:          83012 kB
Inactive:       137148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764184 kB
SwapTotal:     4192956 kB
SwapFree:      4151656 kB
Dirty:            6904 kB
Writeback:           0 kB
Mapped:          29980 kB
Slab:            57192 kB
Committed_AS:  9204528 kB
PageTables:       1720 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node5 on Mon Apr 30 14:50:49 UTC 2007