Trace number 39541

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 2006/05? 1800.07 1800.79

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
MD5SUMa94882f61e84be0ce1718fd53c8fd7c8
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 benchmark319.072
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	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
0.06	c Initial problem consists of 231 variables and 2707 constraints.
0.08	c Using non-optimization problem switches.
0.08	c No problem reductions applied in OPT. instance.
0.08	c	preprocess terminated. Elapsed time: 0.071
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.105
0.22	c Restart #2 #Var: 231 LB: 0 @ 0.211
0.36	c Restart #3 #Var: 231 LB: 0 @ 0.354
0.51	c Restart #4 #Var: 231 LB: 0 @ 0.501
0.73	c Restart #5 #Var: 231 LB: 0 @ 0.728
0.96	c Restart #6 #Var: 231 LB: 0 @ 0.959
1.27	c Restart #7 #Var: 231 LB: 0 @ 1.264
1.70	c Restart #8 #Var: 231 LB: 0 @ 1.697
2.19	c Restart #9 #Var: 231 LB: 0 @ 2.18
2.72	c Restart #10 #Var: 231 LB: 0 @ 2.718
3.34	c Restart #11 #Var: 231 LB: 0 @ 3.333
4.07	c Restart #12 #Var: 231 LB: 0 @ 4.061
5.04	c Restart #13 #Var: 231 LB: 0 @ 5.03
5.85	c Restart #14 #Var: 231 LB: 0 @ 5.844
7.01	c Restart #15 #Var: 231 LB: 0 @ 7.001
8.12	c Restart #16 #Var: 231 LB: 0 @ 8.115
9.15	c Restart #17 #Var: 231 LB: 0 @ 9.138
10.98	c Restart #18 #Var: 231 LB: 0 @ 10.974
12.55	c Restart #19 #Var: 231 LB: 0 @ 12.535
15.13	c Restart #20 #Var: 231 LB: 0 @ 15.122
16.99	c Restart #21 #Var: 231 LB: 0 @ 16.982
19.80	c Restart #22 #Var: 231 LB: 0 @ 19.787
23.42	c Restart #23 #Var: 231 LB: 0 @ 23.41
27.36	c Restart #24 #Var: 231 LB: 0 @ 27.339
30.43	c Restart #25 #Var: 231 LB: 0 @ 30.416
34.31	c Restart #26 #Var: 231 LB: 0 @ 34.293
41.32	c Restart #27 #Var: 231 LB: 0 @ 41.294
47.91	c Restart #28 #Var: 231 LB: 0 @ 47.884
53.18	c Restart #29 #Var: 231 LB: 0 @ 53.154
60.06	c Restart #30 #Var: 231 LB: 0 @ 60.032
69.12	c Restart #31 #Var: 231 LB: 0 @ 69.095
76.31	c Restart #32 #Var: 231 LB: 0 @ 76.273
83.58	c Restart #33 #Var: 231 LB: 0 @ 83.539
93.77	c Restart #34 #Var: 231 LB: 0 @ 93.731
102.38	c Restart #35 #Var: 231 LB: 0 @ 102.33
112.90	c Restart #36 #Var: 231 LB: 0 @ 112.85
127.60	c Restart #37 #Var: 231 LB: 0 @ 127.55
144.33	c Restart #38 #Var: 231 LB: 0 @ 144.28
156.84	c Restart #39 #Var: 231 LB: 0 @ 156.78
173.79	c Restart #40 #Var: 231 LB: 0 @ 173.72
188.71	c Restart #41 #Var: 231 LB: 0 @ 188.63
202.11	c Restart #42 #Var: 231 LB: 0 @ 202.03
217.69	c Restart #43 #Var: 231 LB: 0 @ 217.61
243.06	c Restart #44 #Var: 231 LB: 0 @ 242.97
263.09	c Restart #45 #Var: 231 LB: 0 @ 262.99
280.17	c Restart #46 #Var: 231 LB: 0 @ 280.06
298.06	c Restart #47 #Var: 231 LB: 0 @ 297.95
320.56	c Restart #48 #Var: 231 LB: 0 @ 320.44
347.49	c Restart #49 #Var: 231 LB: 0 @ 347.36
370.91	c Restart #50 #Var: 231 LB: 0 @ 370.77
404.74	c Restart #51 #Var: 231 LB: 0 @ 404.59
432.47	c Restart #52 #Var: 231 LB: 0 @ 432.31
461.93	c Restart #53 #Var: 231 LB: 0 @ 461.77
489.58	c Restart #54 #Var: 231 LB: 0 @ 489.4
519.79	c Restart #55 #Var: 231 LB: 0 @ 519.61
555.89	c Restart #56 #Var: 231 LB: 0 @ 555.69
587.83	c Restart #57 #Var: 231 LB: 0 @ 587.62
634.31	c Restart #58 #Var: 231 LB: 0 @ 634.08
662.95	c Restart #59 #Var: 231 LB: 0 @ 662.72
710.98	c Restart #60 #Var: 231 LB: 0 @ 710.73
757.56	c Restart #61 #Var: 231 LB: 0 @ 757.29
790.90	c Restart #62 #Var: 231 LB: 0 @ 790.62
843.50	c Restart #63 #Var: 231 LB: 0 @ 843.2
883.82	c Restart #64 #Var: 231 LB: 0 @ 883.5
938.01	c CHANGE Heuristic... 
938.01	c Restart #0 #Var: 231 LB: 0 @ 937.68
945.61	c Restart #1 #Var: 231 LB: 0 @ 945.27
952.08	c Restart #2 #Var: 231 LB: 0 @ 951.75
959.20	c Restart #3 #Var: 231 LB: 0 @ 958.86
963.92	c Restart #4 #Var: 231 LB: 0 @ 963.58
972.15	c Restart #5 #Var: 231 LB: 0 @ 971.81
979.75	c Restart #6 #Var: 231 LB: 0 @ 979.41
987.22	c Restart #7 #Var: 231 LB: 0 @ 986.88
1001.29	c Restart #8 #Var: 231 LB: 0 @ 1000.9
1011.10	c Restart #9 #Var: 231 LB: 0 @ 1010.7
1021.91	c Restart #10 #Var: 231 LB: 0 @ 1021.6
1036.14	c Restart #11 #Var: 231 LB: 0 @ 1035.8
1048.47	c Restart #12 #Var: 231 LB: 0 @ 1048.1
1060.44	c Restart #13 #Var: 231 LB: 0 @ 1060.1
1080.57	c Restart #14 #Var: 231 LB: 0 @ 1080.2
1093.75	c Restart #15 #Var: 231 LB: 0 @ 1093.3
1114.41	c Restart #16 #Var: 231 LB: 0 @ 1113.9
1131.45	c Restart #17 #Var: 231 LB: 0 @ 1131
1153.41	c Restart #18 #Var: 231 LB: 0 @ 1152.9
1173.20	c Restart #19 #Var: 231 LB: 0 @ 1172.7
1197.91	c Restart #20 #Var: 231 LB: 0 @ 1197.4
1222.26	c Restart #21 #Var: 231 LB: 0 @ 1221.7
1242.54	c Restart #22 #Var: 231 LB: 0 @ 1242
1262.87	c Restart #23 #Var: 231 LB: 0 @ 1262.3
1288.14	c Restart #24 #Var: 231 LB: 0 @ 1287.6
1322.35	c Restart #25 #Var: 231 LB: 0 @ 1321.8
1350.03	c Restart #26 #Var: 231 LB: 0 @ 1349.5
1379.77	c Restart #27 #Var: 231 LB: 0 @ 1379.2
1418.09	c Restart #28 #Var: 231 LB: 0 @ 1417.5
1457.75	c Restart #29 #Var: 231 LB: 0 @ 1457.2
1483.37	c Restart #30 #Var: 231 LB: 0 @ 1482.8
1517.75	c Restart #31 #Var: 231 LB: 0 @ 1517.1
1549.71	c Restart #32 #Var: 231 LB: 0 @ 1549.1
1590.04	c Restart #33 #Var: 231 LB: 0 @ 1589.4
1622.70	c Restart #34 #Var: 231 LB: 0 @ 1622.1
1658.50	c Restart #35 #Var: 231 LB: 0 @ 1657.8
1688.01	c Restart #36 #Var: 231 LB: 0 @ 1687.3
1730.88	c Restart #37 #Var: 231 LB: 0 @ 1730.2
1767.64	c Restart #38 #Var: 231 LB: 0 @ 1766.9
1800.71	s UNKNOWN
1800.71	c Exit Code: 0
1800.71	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-39541-1149216170 -o ROOT/results/node34/solver-39541-1149216170 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.01 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1382744/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=436 CPUtime=0
/proc/11078/stat : 11078 (bsolo) D 11076 11078 11033 0 -1 0 38 0 0 0 0 0 0 0 18 0 1 0 187280863 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7721764 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11078/statm: 109 23 18 55 0 18 0

[startup+10.0016 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1361256/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=26128 CPUtime=9.98
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 5787 0 0 0 992 6 0 0 25 0 1 0 187280863 26755072 5702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 6532 5702 296 55 0 5424 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 26128

[startup+20.0073 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1349032/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=38276 CPUtime=19.98
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 8847 0 0 0 1988 10 0 0 25 0 1 0 187280863 39194624 8762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 9569 8762 296 55 0 8461 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 38276

[startup+30.013 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1340072/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=47260 CPUtime=29.99
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 11074 0 0 0 2986 13 0 0 25 0 1 0 187280863 48394240 10989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 11815 10989 296 55 0 10707 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 47260

[startup+40.0187 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1333224/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=54132 CPUtime=39.99
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 12780 0 0 0 3984 15 0 0 25 0 1 0 187280863 55431168 12695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 13533 12695 296 55 0 12425 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 54132

[startup+50.0244 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1327400/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=59944 CPUtime=49.99
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 14240 0 0 0 4981 18 0 0 25 0 1 0 187280863 61382656 14155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 14986 14155 296 55 0 13878 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 59944

[startup+60.0301 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1320936/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=66412 CPUtime=59.99
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 15851 0 0 0 5979 20 0 0 25 0 1 0 187280863 68005888 15766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 16603 15766 296 55 0 15495 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 66412

[startup+70.0357 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1316712/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=70672 CPUtime=69.99
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 16908 0 0 0 6977 22 0 0 25 0 1 0 187280863 72368128 16823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 17668 16823 296 55 0 16560 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 70672

[startup+80.0414 s]
/proc/loadavg: 1.00 1.01 0.95 2/64 11078
/proc/meminfo: memFree=1311272/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=76100 CPUtime=80
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 18264 0 0 0 7975 25 0 0 25 0 1 0 187280863 77926400 18178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 19025 18178 296 55 0 17917 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 76100

[startup+90.0471 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1304872/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=82568 CPUtime=90
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 19875 0 0 0 8972 28 0 0 25 0 1 0 187280863 84549632 19789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 20642 19789 296 55 0 19534 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 82568

[startup+100.054 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1299432/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=88008 CPUtime=100
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 21222 0 0 0 9970 30 0 0 25 0 1 0 187280863 90120192 21135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 22002 21135 296 55 0 20894 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 88008

[startup+110.061 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1294632/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=92760 CPUtime=110
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 22428 0 0 0 10967 33 0 0 25 0 1 0 187280863 94986240 22341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 23190 22341 296 55 0 22082 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 92760

[startup+120.067 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1290920/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=96476 CPUtime=120.01
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 23356 0 0 0 11966 35 0 0 25 0 1 0 187280863 98791424 23268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 24119 23268 296 55 0 23011 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 96476

[startup+130.073 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1286888/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=100572 CPUtime=130.02
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 24357 0 0 0 12965 37 0 0 25 0 1 0 187280863 102985728 24269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 25143 24269 296 55 0 24035 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 100572

[startup+140.08 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1283944/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=103476 CPUtime=140.01
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 25093 0 0 0 13963 38 0 0 25 0 1 0 187280863 105959424 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 25869 25005 296 55 0 24761 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 103476

[startup+150.086 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1280168/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=107180 CPUtime=150.02
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 26031 0 0 0 14962 40 0 0 25 0 1 0 187280863 109752320 25943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 26795 25943 296 55 0 25687 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 107180

[startup+160.092 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1276072/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=111288 CPUtime=160.01
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 27051 0 0 0 15960 41 0 0 25 0 1 0 187280863 113958912 26962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 27822 26962 296 55 0 26714 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 111288

[startup+170.098 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1272616/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=114876 CPUtime=170.03
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 27921 0 0 0 16959 44 0 0 25 0 1 0 187280863 117633024 27832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 28719 27832 296 55 0 27611 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 114876

[startup+180.104 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1268520/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=118860 CPUtime=180.03
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 28931 0 0 0 17958 45 0 0 25 0 1 0 187280863 121712640 28842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 29715 28842 296 55 0 28607 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 118860

[startup+190.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1264040/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=123352 CPUtime=190.03
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 30052 0 0 0 18955 48 0 0 25 0 1 0 187280863 126312448 29963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 30838 29963 296 55 0 29730 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 123352

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1259688/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=127708 CPUtime=200.03
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 31133 0 0 0 19953 50 0 0 25 0 1 0 187280863 130772992 31044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 31927 31044 296 55 0 30819 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 127708

[startup+210.122 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 11078
/proc/meminfo: memFree=1256296/2055920 swapFree=4181356/4192956

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

/proc/11078/statm: 109171 107614 296 55 0 108063 0
Current children cumulated CPU time (s) 1760.33
Current children cumulated vsize (Kb) 436684

[startup+1771.04 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=951272/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=437792 CPUtime=1770.33
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108051 0 0 0 176835 198 0 0 25 0 1 0 187280863 448299008 107905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 109448 107905 296 55 0 108340 0
Current children cumulated CPU time (s) 1770.33
Current children cumulated vsize (Kb) 437792

[startup+1781.04 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=950120/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=439112 CPUtime=1780.33
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108341 0 0 0 177835 198 0 0 25 0 1 0 187280863 449650688 108194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 109778 108194 296 55 0 108670 0
Current children cumulated CPU time (s) 1780.33
Current children cumulated vsize (Kb) 439112

[startup+1782.05 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=949864/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=439244 CPUtime=1781.34
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108404 0 0 0 177935 199 0 0 25 0 1 0 187280863 449785856 108257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 109811 108257 296 55 0 108703 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 439244

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=949480/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=439640 CPUtime=1782.34
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108501 0 0 0 178035 199 0 0 25 0 1 0 187280863 450191360 108354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 109910 108354 296 55 0 108802 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (Kb) 439640

[startup+1784.06 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=949096/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=440036 CPUtime=1783.34
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108596 0 0 0 178135 199 0 0 25 0 1 0 187280863 450596864 108449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110009 108449 296 55 0 108901 0
Current children cumulated CPU time (s) 1783.34
Current children cumulated vsize (Kb) 440036

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=948712/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=440432 CPUtime=1784.35
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108693 0 0 0 178236 199 0 0 25 0 1 0 187280863 451002368 108546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110108 108546 296 55 0 109000 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (Kb) 440432

[startup+1786.07 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=948520/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=440696 CPUtime=1785.35
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108742 0 0 0 178336 199 0 0 25 0 1 0 187280863 451272704 108595 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110174 108595 296 55 0 109066 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (Kb) 440696

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=948392/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=440828 CPUtime=1786.36
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108776 0 0 0 178436 200 0 0 25 0 1 0 187280863 451407872 108629 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110207 108629 296 55 0 109099 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (Kb) 440828

[startup+1788.08 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=948200/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=440960 CPUtime=1787.37
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108823 0 0 0 178537 200 0 0 25 0 1 0 187280863 451543040 108676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110240 108676 296 55 0 109132 0
Current children cumulated CPU time (s) 1787.37
Current children cumulated vsize (Kb) 440960

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=947944/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=441224 CPUtime=1788.37
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108884 0 0 0 178637 200 0 0 25 0 1 0 187280863 451813376 108737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110306 108737 296 55 0 109198 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 441224

[startup+1790.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=947688/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=441488 CPUtime=1789.38
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108943 0 0 0 178738 200 0 0 25 0 1 0 187280863 452083712 108796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110372 108796 296 55 0 109264 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 441488

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=947496/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=441620 CPUtime=1790.38
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 108995 0 0 0 178838 200 0 0 25 0 1 0 187280863 452218880 108848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110405 108848 296 55 0 109297 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 441620

[startup+1792.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=947304/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=441944 CPUtime=1791.38
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109051 0 0 0 178938 200 0 0 25 0 1 0 187280863 452550656 108900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110486 108900 296 55 0 109378 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (Kb) 441944

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=946920/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=442208 CPUtime=1792.39
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109137 0 0 0 179039 200 0 0 25 0 1 0 187280863 452820992 108986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110552 108986 296 55 0 109444 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 442208

[startup+1794.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=946536/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=442604 CPUtime=1793.39
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109232 0 0 0 179139 200 0 0 25 0 1 0 187280863 453226496 109081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110651 109081 296 55 0 109543 0
Current children cumulated CPU time (s) 1793.39
Current children cumulated vsize (Kb) 442604

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=946472/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=442736 CPUtime=1794.4
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109254 0 0 0 179240 200 0 0 25 0 1 0 187280863 453361664 109103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110684 109103 296 55 0 109576 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 442736

[startup+1796.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=946280/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=442868 CPUtime=1795.4
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109298 0 0 0 179340 200 0 0 25 0 1 0 187280863 453496832 109147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110717 109147 296 55 0 109609 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (Kb) 442868

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=946088/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=443132 CPUtime=1796.4
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109347 0 0 0 179440 200 0 0 25 0 1 0 187280863 453767168 109196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110783 109196 296 55 0 109675 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (Kb) 443132

[startup+1798.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=945960/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=443264 CPUtime=1797.41
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109375 0 0 0 179541 200 0 0 25 0 1 0 187280863 453902336 109224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110816 109224 296 55 0 109708 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 443264

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=945640/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=443528 CPUtime=1798.41
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109460 0 0 0 179641 200 0 0 25 0 1 0 187280863 454172672 109309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 110882 109309 296 55 0 109774 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (Kb) 443528

[startup+1800.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 11273
/proc/meminfo: memFree=945192/2055920 swapFree=4181356/4192956
[pid=11078] ppid=11076 vsize=444056 CPUtime=1799.42
/proc/11078/stat : 11078 (bsolo) R 11076 11078 11033 0 -1 0 109573 0 0 0 179742 200 0 0 25 0 1 0 187280863 454713344 109422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11078/statm: 111014 109422 296 55 0 109906 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (Kb) 444056

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.07
CPU user time (s): 1797.99
CPU system time (s): 2.07668
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (Kb): 444056

Launcher Data (download as text)

Begin job on node34 on Fri Jun  2 02:42:50 UTC 2006


FILE ID= 39541-1149216170

PBS_JOBID= 294781

BENCH NAME= ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-39541-1149216170 -o ROOT/results/node34/solver-39541-1149216170 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/39541-1149216170/instance-39541-1149216170.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  a94882f61e84be0ce1718fd53c8fd7c8

RANDOM SEED= 244474374


/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.277
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.277
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:       1383016 kB
Buffers:         36820 kB
Cached:         562872 kB
SwapCached:       3536 kB
Active:          91768 kB
Inactive:       516860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1383016 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            50344 kB
Committed_AS:   224328 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Fri Jun  2 03:12:51 UTC 2006