Trace number 359741

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.16? 1800 1800.57

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
MD5SUMf4b978648ea0f0ad7162795950b3a449
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 benchmark153.747
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 625
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/359741-1176941240/instance-359741-1176941240.opb
0.00/0.00	c File size is 83373 bytes.
0.00/0.01	c Highest Coefficient sum: 625
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.016 s
0.00/0.02	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
0.00/0.03	c Pre-processing Time: 0.027 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     5474    1880      0      0 0.03
0.00/0.03	c Switching off LPR mode.
1799.93/1800.56	c      102    231     2688    13756    5     5677    2069    102   2684 0.04
1799.93/1800.56	c      253    231     2839    21743    7     5981    2276    253   4517 0.06
1799.93/1800.56	c      479    231     3065    32890   10     6432    2504    479   5771 0.08
1799.93/1800.56	c      819    231     3405    50134   14     7113    2755    819   6111 0.13
1799.93/1800.56	c     1332    231     3918    75958   19     8140    3031   1332   5504 0.24
1799.93/1800.56	c     2095    231     4681   110238   23     9665    3335   2095   4906 0.43
1799.93/1800.56	c     3244    231     5830   164180   28    11964    3669   3244   4121 0.79
1799.93/1800.56	c     4966    231     5618   150792   26    11539    4036   3032   3714 1.34
1799.93/1800.56	c     7550    231     6075   173912   28    12452    4440   3489   3501 2.16
1799.93/1800.56	c    11429    231     5303   146114   27    10909    4885   2717   3161 3.62
1799.93/1800.56	c    17251    231     6032   175133   29    12366    5374   3446   2976 5.79
1799.93/1800.56	c    25988    231     6404   188663   29    13111    5912   3818   2888 9.00
1799.93/1800.56	c    39098    231     7280   245593   33    14861    6504   4694   2731 14.32
1799.93/1800.56	c    58768    231     6862   225024   32    14028    7155   4276   2553 23.01
1799.93/1800.56	c    88279    231     6887   237522   34    14078    7871   4301   2290 38.54
1799.93/1800.56	c   132550    231     6595   185564   28    13493    8659   4009   2216 59.80
1799.93/1800.56	c   198961    231    10794   361686   33    21893    9525   8208   2157 92.23
1799.93/1800.56	c   298581    231     8006   253959   31    16316   10478   5420   1964 151.98
1799.93/1800.56	c   448017    231    12880   479954   37    26062   11526  10294   1815 246.77
1799.93/1800.56	c   672175    231    13606   525126   38    27514   12679  11020   1626 413.27
1799.93/1800.56	c  1008419    231    14235   508211   35    28773   13947  11649   1506 669.47
1799.93/1800.56	c  1512793    231    14956   570920   38    30216   15342  12370   1348 1121.82
1799.93/1800.56	c Resources Exceeded
1799.93/1800.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.56	c   22  2217438 378707  2841103    10553   400177   7967   1231 1800.00
1799.93/1800.56	s UNKNOWN
1799.93/1800.56	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-359741-1176941240 -o ROOT/results/node71/solver-359741-1176941240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359741-1176941240/instance-359741-1176941240.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: 1.00 1.00 1.00 3/64 27902
/proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=4008 CPUtime=0
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 170113297 4104192 337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 1002 337 282 324 0 50 0

[startup+0.0870259 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27902
/proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=4716 CPUtime=0.08
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 621 0 0 0 8 0 0 0 18 0 1 0 170113297 4829184 568 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 1179 568 310 324 0 248 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4716

[startup+0.101027 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27902
/proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=4844 CPUtime=0.09
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 170113297 4960256 589 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 1211 589 310 324 0 280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4844

[startup+0.301054 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27902
/proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=5628 CPUtime=0.29
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 825 0 0 0 29 0 0 0 19 0 1 0 170113297 5763072 772 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 1407 772 311 324 0 476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5628

[startup+0.701109 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27902
/proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=6540 CPUtime=0.69
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1074 0 0 0 68 1 0 0 22 0 1 0 170113297 6696960 1021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 1635 1021 311 324 0 704 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6540

[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1221744/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=7192 CPUtime=1.49
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1224 0 0 0 148 1 0 0 25 0 1 0 170113297 7364608 1171 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 1798 1171 311 324 0 867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7192

[startup+3.10244 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1221296/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=7712 CPUtime=3.09
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1363 0 0 0 307 2 0 0 25 0 1 0 170113297 7897088 1310 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 1928 1310 311 324 0 997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7712

[startup+6.30187 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1220408/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=8228 CPUtime=6.29
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1483 0 0 0 626 3 0 0 25 0 1 0 170113297 8425472 1430 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 2057 1430 311 324 0 1126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8228

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1219512/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=9116 CPUtime=12.68
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1699 0 0 0 1264 4 0 0 25 0 1 0 170113297 9334784 1646 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 2279 1646 311 324 0 1348 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9116

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1218488/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=10148 CPUtime=25.48
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1966 0 0 0 2541 7 0 0 25 0 1 0 170113297 10391552 1913 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 2537 1913 311 324 0 1606 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10148

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1217464/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=11164 CPUtime=51.08
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2218 0 0 0 5094 14 0 0 25 0 1 0 170113297 11431936 2165 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 2791 2165 311 324 0 1860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11164

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1217272/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=11376 CPUtime=102.26
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2277 0 0 0 10202 24 0 0 25 0 1 0 170113297 11649024 2224 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 2844 2224 311 324 0 1913 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11376

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1216568/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=12088 CPUtime=162.23
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2446 0 0 0 16189 34 0 0 25 0 1 0 170113297 12378112 2393 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3022 2393 311 324 0 2091 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 12088

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1216184/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=12444 CPUtime=222.22
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2536 0 0 0 22176 46 0 0 25 0 1 0 170113297 12742656 2483 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3111 2483 311 324 0 2180 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 12444

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1215480/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=13088 CPUtime=282.21
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2712 0 0 0 28163 58 0 0 25 0 1 0 170113297 13402112 2659 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3272 2659 311 324 0 2341 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 13088

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1215160/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=13436 CPUtime=342.18
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2785 0 0 0 34151 67 0 0 25 0 1 0 170113297 13758464 2732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3359 2732 311 324 0 2428 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 13436

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1215224/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=13428 CPUtime=402.16
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2785 0 0 0 40140 76 0 0 25 0 1 0 170113297 13750272 2732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3357 2732 311 324 0 2426 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 13428

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1214648/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=13952 CPUtime=462.14
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 46127 87 0 0 25 0 1 0 170113297 14286848 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3488 2862 311 324 0 2557 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 13952

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1214648/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=13884 CPUtime=522.12
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 52115 97 0 0 25 0 1 0 170113297 14217216 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3471 2862 311 324 0 2540 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 13884

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1214712/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=13876 CPUtime=582.1
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 58102 108 0 0 25 0 1 0 170113297 14209024 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3469 2862 311 324 0 2538 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 13876

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1214648/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=13876 CPUtime=642.09
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 64090 119 0 0 25 0 1 0 170113297 14209024 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3469 2862 311 324 0 2538 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 13876


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

/proc/meminfo: memFree=1213816/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=14744 CPUtime=1061.96
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3134 0 0 0 106014 182 0 0 25 0 1 0 170113297 15097856 3079 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3686 3079 311 324 0 2755 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 14744

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1213880/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=14740 CPUtime=1121.94
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3134 0 0 0 112003 191 0 0 25 0 1 0 170113297 15093760 3078 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3685 3078 311 324 0 2754 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 14740

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1213112/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15436 CPUtime=1181.92
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3308 0 0 0 117991 201 0 0 25 0 1 0 170113297 15806464 3252 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3859 3252 311 324 0 2928 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 15436

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1213048/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15540 CPUtime=1241.9
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3318 0 0 0 123980 210 0 0 25 0 1 0 170113297 15912960 3262 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3885 3262 311 324 0 2954 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 15540

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212792/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15860 CPUtime=1301.89
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3397 0 0 0 129970 219 0 0 25 0 1 0 170113297 16240640 3341 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3965 3341 311 324 0 3034 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 15860

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212664/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15980 CPUtime=1361.86
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3429 0 0 0 135958 228 0 0 25 0 1 0 170113297 16363520 3373 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7638772 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3995 3373 311 324 0 3064 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 15980

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15976 CPUtime=1421.85
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3429 0 0 0 141947 238 0 0 25 0 1 0 170113297 16359424 3373 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3994 3373 311 324 0 3063 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 15976

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15976 CPUtime=1481.82
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 147936 246 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3994 3379 311 324 0 3063 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 15976

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15976 CPUtime=1541.81
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 153925 256 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3994 3379 311 324 0 3063 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 15976

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15976 CPUtime=1601.78
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 159914 264 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7638772 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3994 3379 311 324 0 3063 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 15976

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=15976 CPUtime=1661.76
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 165903 273 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 3994 3379 311 324 0 3063 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 15976

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1721.75
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 171894 281 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 16364

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1781.73
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 177882 291 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 16364

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1791.33
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 178841 292 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 16364

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1794.53
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179160 293 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 16364

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1797.72
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179479 293 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 16364

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1799.33
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179639 294 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 16364

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1799.73
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179679 294 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7639391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 16364

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27903
/proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956
[pid=27902] ppid=27900 vsize=16364 CPUtime=1799.93
/proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179699 294 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27902/statm: 4091 3469 311 324 0 3160 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 16364

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800
CPU user time (s): 1797.06
CPU system time (s): 2.94255
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 16364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 2.94255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3526
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= 11
involuntary context switches= 1779

runsolver used 1.24881 second user time and 3.67544 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Thu Apr 19 00:07:20 UTC 2007

IDJOB= 359741
IDBENCH= 1317
IDSOLVER= 163
FILE ID= node71/359741-1176941240

PBS_JOBID= 4605712

Free space on /tmp= 66443 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359741-1176941240/instance-359741-1176941240.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-359741-1176941240 -o ROOT/results/node71/solver-359741-1176941240 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359741-1176941240/instance-359741-1176941240.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f4b978648ea0f0ad7162795950b3a449

RANDOM SEED= 542979647

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1225616 kB
Buffers:         31508 kB
Cached:         718564 kB
SwapCached:       2620 kB
Active:         171196 kB
Inactive:       588784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1225616 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:            4460 kB
Writeback:           0 kB
Mapped:          16012 kB
Slab:            56344 kB
Committed_AS:  2561328 kB
PageTables:       1448 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= 66443 MiB

End job on node71 on Thu Apr 19 00:37:21 UTC 2007