Trace number 39613

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.1 1800.71

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
MD5SUM76a48b8845ca731b7df3e7e82d604015
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 benchmark401.539
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 687
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.069
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.102
0.21	c Restart #2 #Var: 231 LB: 0 @ 0.204
0.37	c Restart #3 #Var: 231 LB: 0 @ 0.366
0.55	c Restart #4 #Var: 231 LB: 0 @ 0.547
0.80	c Restart #5 #Var: 231 LB: 0 @ 0.79
1.05	c Restart #6 #Var: 231 LB: 0 @ 1.043
1.34	c Restart #7 #Var: 231 LB: 0 @ 1.335
1.66	c Restart #8 #Var: 231 LB: 0 @ 1.649
2.04	c Restart #9 #Var: 231 LB: 0 @ 2.035
2.49	c Restart #10 #Var: 231 LB: 0 @ 2.484
3.08	c Restart #11 #Var: 231 LB: 0 @ 3.075
3.91	c Restart #12 #Var: 231 LB: 0 @ 3.901
4.76	c Restart #13 #Var: 231 LB: 0 @ 4.753
5.91	c Restart #14 #Var: 231 LB: 0 @ 5.907
7.23	c Restart #15 #Var: 231 LB: 0 @ 7.216
8.96	c Restart #16 #Var: 231 LB: 0 @ 8.953
10.69	c Restart #17 #Var: 231 LB: 0 @ 10.68
12.45	c Restart #18 #Var: 231 LB: 0 @ 12.431
14.32	c Restart #19 #Var: 231 LB: 0 @ 14.303
16.37	c Restart #20 #Var: 231 LB: 0 @ 16.356
19.04	c Restart #21 #Var: 231 LB: 0 @ 19.026
22.39	c Restart #22 #Var: 231 LB: 0 @ 22.373
24.72	c Restart #23 #Var: 231 LB: 0 @ 24.707
28.90	c Restart #24 #Var: 231 LB: 0 @ 28.881
34.04	c Restart #25 #Var: 231 LB: 0 @ 34.019
38.94	c Restart #26 #Var: 231 LB: 0 @ 38.916
44.89	c Restart #27 #Var: 231 LB: 0 @ 44.864
50.89	c Restart #28 #Var: 231 LB: 0 @ 50.86
57.20	c Restart #29 #Var: 231 LB: 0 @ 57.175
64.51	c Restart #30 #Var: 231 LB: 0 @ 64.477
70.57	c Restart #31 #Var: 231 LB: 0 @ 70.536
79.14	c Restart #32 #Var: 231 LB: 0 @ 79.104
85.39	c Restart #33 #Var: 231 LB: 0 @ 85.356
94.61	c Restart #34 #Var: 231 LB: 0 @ 94.567
105.71	c Restart #35 #Var: 231 LB: 0 @ 105.66
114.89	c Restart #36 #Var: 231 LB: 0 @ 114.84
125.53	c Restart #37 #Var: 231 LB: 0 @ 125.47
135.88	c Restart #38 #Var: 231 LB: 0 @ 135.82
147.78	c Restart #39 #Var: 231 LB: 0 @ 147.72
157.57	c Restart #40 #Var: 231 LB: 0 @ 157.51
172.44	c Restart #41 #Var: 231 LB: 0 @ 172.37
188.23	c Restart #42 #Var: 231 LB: 0 @ 188.16
204.79	c Restart #43 #Var: 231 LB: 0 @ 204.71
224.34	c Restart #44 #Var: 231 LB: 0 @ 224.25
243.96	c Restart #45 #Var: 231 LB: 0 @ 243.87
276.38	c Restart #46 #Var: 231 LB: 0 @ 276.27
303.66	c Restart #47 #Var: 231 LB: 0 @ 303.54
333.67	c Restart #48 #Var: 231 LB: 0 @ 333.55
357.65	c Restart #49 #Var: 231 LB: 0 @ 357.52
382.44	c Restart #50 #Var: 231 LB: 0 @ 382.31
412.55	c Restart #51 #Var: 231 LB: 0 @ 412.4
438.97	c Restart #52 #Var: 231 LB: 0 @ 438.81
476.89	c Restart #53 #Var: 231 LB: 0 @ 476.72
498.87	c Restart #54 #Var: 231 LB: 0 @ 498.7
524.39	c Restart #55 #Var: 231 LB: 0 @ 524.2
554.99	c Restart #56 #Var: 231 LB: 0 @ 554.79
587.20	c Restart #57 #Var: 231 LB: 0 @ 587
620.33	c Restart #58 #Var: 231 LB: 0 @ 620.11
674.71	c Restart #59 #Var: 231 LB: 0 @ 674.47
715.87	c Restart #60 #Var: 231 LB: 0 @ 715.62
753.13	c Restart #61 #Var: 231 LB: 0 @ 752.87
799.28	c Restart #62 #Var: 231 LB: 0 @ 799
833.46	c Restart #63 #Var: 231 LB: 0 @ 833.17
884.78	c Restart #64 #Var: 231 LB: 0 @ 884.47
924.07	c CHANGE Heuristic... 
924.07	c Restart #0 #Var: 231 LB: 0 @ 923.76
931.32	c Restart #1 #Var: 231 LB: 0 @ 931
938.59	c Restart #2 #Var: 231 LB: 0 @ 938.27
946.22	c Restart #3 #Var: 231 LB: 0 @ 945.89
954.56	c Restart #4 #Var: 231 LB: 0 @ 954.23
965.19	c Restart #5 #Var: 231 LB: 0 @ 964.86
973.80	c Restart #6 #Var: 231 LB: 0 @ 973.46
980.12	c Restart #7 #Var: 231 LB: 0 @ 979.78
988.19	c Restart #8 #Var: 231 LB: 0 @ 987.85
1009.22	c Restart #9 #Var: 231 LB: 0 @ 1008.9
1028.26	c Restart #10 #Var: 231 LB: 0 @ 1027.9
1037.08	c Restart #11 #Var: 231 LB: 0 @ 1036.7
1068.04	c Restart #12 #Var: 231 LB: 0 @ 1067.7
1089.54	c Restart #13 #Var: 231 LB: 0 @ 1089.2
1106.61	c Restart #14 #Var: 231 LB: 0 @ 1106.2
1130.53	c Restart #15 #Var: 231 LB: 0 @ 1130.1
1139.90	c Restart #16 #Var: 231 LB: 0 @ 1139.5
1162.54	c Restart #17 #Var: 231 LB: 0 @ 1162.1
1178.64	c Restart #18 #Var: 231 LB: 0 @ 1178.2
1198.09	c Restart #19 #Var: 231 LB: 0 @ 1197.7
1217.06	c Restart #20 #Var: 231 LB: 0 @ 1216.6
1241.83	c Restart #21 #Var: 231 LB: 0 @ 1241.4
1268.21	c Restart #22 #Var: 231 LB: 0 @ 1267.8
1292.20	c Restart #23 #Var: 231 LB: 0 @ 1291.8
1313.62	c Restart #24 #Var: 231 LB: 0 @ 1313.2
1338.48	c Restart #25 #Var: 231 LB: 0 @ 1338
1372.29	c Restart #26 #Var: 231 LB: 0 @ 1371.8
1398.83	c Restart #27 #Var: 231 LB: 0 @ 1398.3
1426.40	c Restart #28 #Var: 231 LB: 0 @ 1425.9
1462.07	c Restart #29 #Var: 231 LB: 0 @ 1461.6
1503.05	c Restart #30 #Var: 231 LB: 0 @ 1502.5
1543.17	c Restart #31 #Var: 231 LB: 0 @ 1542.6
1579.33	c Restart #32 #Var: 231 LB: 0 @ 1578.8
1624.36	c Restart #33 #Var: 231 LB: 0 @ 1623.8
1664.85	c Restart #34 #Var: 231 LB: 0 @ 1664.3
1708.97	c Restart #35 #Var: 231 LB: 0 @ 1708.4
1742.12	c Restart #36 #Var: 231 LB: 0 @ 1741.5
1779.40	c Restart #37 #Var: 231 LB: 0 @ 1778.8
1800.64	s UNKNOWN
1800.64	c Exit Code: 0
1800.64	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/node45/watcher-39613-1149224719 -o ROOT/results/node45/solver-39613-1149224719 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/39613-1149224719/instance-39613-1149224719.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.99 3/64 11159
/proc/meminfo: memFree=1312128/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=440 CPUtime=0
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 83909665 450560 24 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4694381 0 0 4096 0 0 0 0 17 1 0 0
/proc/11159/statm: 725 27 19 55 0 38 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1292800/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=23752 CPUtime=9.98
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 5203 0 0 0 992 6 0 0 25 0 1 0 83909665 24322048 5118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 5938 5118 296 55 0 4830 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 23752

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1281088/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=35500 CPUtime=19.98
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 8141 0 0 0 1988 10 0 0 25 0 1 0 83909665 36352000 8056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 8875 8056 296 55 0 7767 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 35500

[startup+30.0162 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1272128/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=44476 CPUtime=29.99
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 10370 0 0 0 2985 14 0 0 25 0 1 0 83909665 45543424 10285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 11119 10285 296 55 0 10011 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 44476

[startup+40.022 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1266176/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=50292 CPUtime=39.99
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 11848 0 0 0 3983 16 0 0 25 0 1 0 83909665 51499008 11763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 12573 11763 296 55 0 11465 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 50292

[startup+50.0288 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1259392/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=57168 CPUtime=49.99
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 13552 0 0 0 4980 19 0 0 25 0 1 0 83909665 58540032 13467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 14292 13467 296 55 0 13184 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 57168

[startup+60.0346 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1254016/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=62444 CPUtime=60
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 14883 0 0 0 5979 21 0 0 25 0 1 0 83909665 63942656 14798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 15611 14798 296 55 0 14503 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 62444

[startup+70.0405 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1247936/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=68648 CPUtime=70
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 16404 0 0 0 6977 23 0 0 25 0 1 0 83909665 70295552 16319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 17162 16319 296 55 0 16054 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 68648

[startup+80.0463 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1242368/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=74196 CPUtime=80
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 17796 0 0 0 7975 25 0 0 25 0 1 0 83909665 75976704 17711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 18549 17711 296 55 0 17441 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 74196

[startup+90.0521 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1236416/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=80136 CPUtime=90
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 19281 0 0 0 8973 27 0 0 25 0 1 0 83909665 82059264 19196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 20034 19196 296 55 0 18926 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 80136

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1232000/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=84632 CPUtime=100
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 20384 0 0 0 9971 29 0 0 25 0 1 0 83909665 86663168 20299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 21158 20299 296 55 0 20050 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 84632

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1226560/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=90044 CPUtime=110.01
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 21736 0 0 0 10969 32 0 0 25 0 1 0 83909665 92205056 21650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 22511 21650 296 55 0 21403 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 90044

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1222144/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=94400 CPUtime=120.01
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 22847 0 0 0 11968 33 0 0 25 0 1 0 83909665 96665600 22761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 23600 22761 296 55 0 22492 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 94400

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1217280/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=99320 CPUtime=130.01
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 24061 0 0 0 12966 35 0 0 25 0 1 0 83909665 101703680 23975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 24830 23975 296 55 0 23722 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 99320

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1212480/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=104208 CPUtime=140.02
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 25256 0 0 0 13965 37 0 0 25 0 1 0 83909665 106708992 25170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 26052 25170 296 55 0 24944 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 104208

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1207424/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=109236 CPUtime=150.02
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 26519 0 0 0 14963 39 0 0 25 0 1 0 83909665 111857664 26433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 27309 26433 296 55 0 26201 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 109236

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1201984/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=114656 CPUtime=160.02
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 27866 0 0 0 15961 41 0 0 25 0 1 0 83909665 117407744 27780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 28664 27780 296 55 0 27556 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 114656

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1198464/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=118224 CPUtime=170.03
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 28745 0 0 0 16960 43 0 0 25 0 1 0 83909665 121061376 28658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 29556 28658 296 55 0 28448 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 118224

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1195392/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=121264 CPUtime=180.02
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 29518 0 0 0 17958 44 0 0 25 0 1 0 83909665 124174336 29431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 30316 29431 296 55 0 29208 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 121264

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1191232/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=125520 CPUtime=190.03
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 30557 0 0 0 18957 46 0 0 25 0 1 0 83909665 128532480 30470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 31380 30470 296 55 0 30272 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 125520

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1188032/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=128704 CPUtime=200.03
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 31361 0 0 0 19956 47 0 0 25 0 1 0 83909665 131792896 31274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 32176 31274 296 55 0 31068 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 128704

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=1184576/2055920 swapFree=4191900/4192956

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

/proc/11159/statm: 102284 100740 296 55 0 101176 0
Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (Kb) 409136

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=907072/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=411648 CPUtime=1770.46
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101520 0 0 0 176868 178 0 0 25 0 1 0 83909665 421527552 101381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 102912 101381 296 55 0 101804 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (Kb) 411648

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905984/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=412704 CPUtime=1780.46
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101789 0 0 0 177868 178 0 0 25 0 1 0 83909665 422608896 101650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103176 101650 296 55 0 102068 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (Kb) 412704

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905920/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=412836 CPUtime=1781.46
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101804 0 0 0 177968 178 0 0 25 0 1 0 83909665 422744064 101665 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103209 101665 296 55 0 102101 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 412836

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905856/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=412836 CPUtime=1782.47
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101823 0 0 0 178069 178 0 0 25 0 1 0 83909665 422744064 101683 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103209 101683 296 55 0 102101 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 412836

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905856/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=412836 CPUtime=1783.47
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101827 0 0 0 178169 178 0 0 25 0 1 0 83909665 422744064 101687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103209 101687 296 55 0 102101 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 412836

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905728/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=412968 CPUtime=1784.48
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101849 0 0 0 178269 179 0 0 25 0 1 0 83909665 422879232 101709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103242 101709 296 55 0 102134 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 412968

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905664/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413100 CPUtime=1785.49
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101875 0 0 0 178370 179 0 0 25 0 1 0 83909665 423014400 101735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103275 101735 296 55 0 102167 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 413100

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905536/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413264 CPUtime=1786.49
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101907 0 0 0 178470 179 0 0 25 0 1 0 83909665 423182336 101767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103316 101767 296 55 0 102208 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 413264

[startup+1788.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905472/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413264 CPUtime=1787.5
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101921 0 0 0 178571 179 0 0 25 0 1 0 83909665 423182336 101781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103316 101781 296 55 0 102208 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 413264

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905344/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413396 CPUtime=1788.5
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101947 0 0 0 178671 179 0 0 25 0 1 0 83909665 423317504 101807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103349 101807 296 55 0 102241 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 413396

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905216/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413528 CPUtime=1789.51
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 101984 0 0 0 178772 179 0 0 25 0 1 0 83909665 423452672 101844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103382 101844 296 55 0 102274 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 413528

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905024/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413660 CPUtime=1790.51
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102023 0 0 0 178872 179 0 0 25 0 1 0 83909665 423587840 101883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103415 101883 296 55 0 102307 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 413660

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=905024/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413792 CPUtime=1791.51
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102032 0 0 0 178972 179 0 0 25 0 1 0 83909665 423723008 101892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103448 101892 296 55 0 102340 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 413792

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904896/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=413792 CPUtime=1792.52
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102062 0 0 0 179073 179 0 0 25 0 1 0 83909665 423723008 101922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103448 101922 296 55 0 102340 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 413792

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904640/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=414056 CPUtime=1793.52
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102118 0 0 0 179173 179 0 0 25 0 1 0 83909665 423993344 101978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103514 101978 296 55 0 102406 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 414056

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904448/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=414320 CPUtime=1794.52
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102166 0 0 0 179273 179 0 0 25 0 1 0 83909665 424263680 102026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103580 102027 296 55 0 102472 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 414320

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904320/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=414452 CPUtime=1795.53
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102200 0 0 0 179374 179 0 0 25 0 1 0 83909665 424398848 102060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103613 102060 296 55 0 102505 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 414452

[startup+1797.15 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904320/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=414452 CPUtime=1796.53
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102209 0 0 0 179474 179 0 0 25 0 1 0 83909665 424398848 102069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103613 102069 296 55 0 102505 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 414452

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904256/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=414452 CPUtime=1797.54
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102224 0 0 0 179574 180 0 0 25 0 1 0 83909665 424398848 102084 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103613 102084 296 55 0 102505 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 414452

[startup+1799.16 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904192/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=414584 CPUtime=1798.55
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102232 0 0 0 179675 180 0 0 25 0 1 0 83909665 424534016 102092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103646 102092 296 55 0 102538 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 414584

[startup+1800.17 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11159
/proc/meminfo: memFree=904064/2055920 swapFree=4191900/4192956
[pid=11159] ppid=11157 vsize=414716 CPUtime=1799.55
/proc/11159/stat : 11159 (bsolo) R 11157 11159 11114 0 -1 0 102265 0 0 0 179775 180 0 0 25 0 1 0 83909665 424669184 102125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11159/statm: 103679 102125 296 55 0 102571 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 414716

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.1
CPU user time (s): 1798.23
CPU system time (s): 1.86472
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (Kb): 414716

Launcher Data (download as text)

Begin job on node45 on Fri Jun  2 05:05:19 UTC 2006


FILE ID= 39613-1149224719

PBS_JOBID= 295724

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  76a48b8845ca731b7df3e7e82d604015

RANDOM SEED= 563521090


/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.263
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.263
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:       1312336 kB
Buffers:         40712 kB
Cached:         621552 kB
SwapCached:        260 kB
Active:         203760 kB
Inactive:       472404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1312336 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          22992 kB
Slab:            53456 kB
Committed_AS:   175660 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node45 on Fri Jun  2 05:35:20 UTC 2006