Trace number 39868

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 NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.15 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb
MD5SUM8e9a545df4abbe3f7a2b003048b42200
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables103872
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 1116
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 555552
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 555552
Number of bits of the biggest sum of numbers20
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.05	c INFO: OSL Context initialized.
14.37	c Initial problem consists of 103872 variables and 4560 constraints.
14.65	c No problem reductions applied in OPT. instance.
14.65	c	preprocess terminated. Elapsed time: 14.598
14.65	c After prepocess the problem consists of 68940 variables and 4560 constraints.
14.65	c Initial Lower Bound: 0
15.72	c Restart #1 #Var: 68940 LB: 0 @ 15.666
16.27	c Restart #2 #Var: 68940 LB: 0 @ 16.218
19.88	c Restart #3 #Var: 68940 LB: 0 @ 19.824
24.50	c Restart #4 #Var: 68940 LB: 0 @ 24.438
31.81	c Restart #5 #Var: 68940 LB: 0 @ 31.741
37.66	c Restart #6 #Var: 68940 LB: 0 @ 37.591
44.04	c Restart #7 #Var: 68940 LB: 0 @ 43.973
48.30	c Restart #8 #Var: 68940 LB: 0 @ 48.225
52.06	c Restart #9 #Var: 68940 LB: 0 @ 51.99
54.25	c Restart #10 #Var: 68940 LB: 0 @ 54.174
56.30	c Restart #11 #Var: 68940 LB: 0 @ 56.224
57.90	c Restart #12 #Var: 68940 LB: 0 @ 57.828
61.56	c Restart #13 #Var: 68926 LB: 0 @ 61.483
64.77	c Restart #14 #Var: 68926 LB: 0 @ 64.693
75.07	c Restart #15 #Var: 68926 LB: 0 @ 74.985
79.72	c Restart #16 #Var: 68913 LB: 0 @ 79.638
81.14	c Restart #17 #Var: 68913 LB: 0 @ 81.053
89.73	c Restart #18 #Var: 68913 LB: 0 @ 89.647
98.83	c Restart #19 #Var: 68891 LB: 0 @ 98.744
102.19	c Restart #20 #Var: 68891 LB: 0 @ 102.1
108.69	c Restart #21 #Var: 68866 LB: 0 @ 108.6
119.11	c Restart #22 #Var: 68866 LB: 0 @ 119.02
123.58	c Restart #23 #Var: 68865 LB: 0 @ 123.49
134.11	c Restart #24 #Var: 68865 LB: 0 @ 134.01
142.94	c Restart #25 #Var: 68856 LB: 0 @ 142.83
158.08	c Restart #26 #Var: 68856 LB: 0 @ 157.97
163.10	c Restart #27 #Var: 68856 LB: 0 @ 162.99
192.12	c Restart #28 #Var: 68856 LB: 0 @ 192
206.85	c Restart #29 #Var: 68856 LB: 0 @ 206.72
211.79	c Restart #30 #Var: 68856 LB: 0 @ 211.67
219.45	c Restart #31 #Var: 68856 LB: 0 @ 219.32
232.23	c Restart #32 #Var: 68855 LB: 0 @ 232.1
246.85	c Restart #33 #Var: 68834 LB: 0 @ 246.72
250.26	c Restart #34 #Var: 68834 LB: 0 @ 250.12
267.71	c Restart #35 #Var: 68834 LB: 0 @ 267.56
281.72	c Restart #36 #Var: 68834 LB: 0 @ 281.57
303.66	c Restart #37 #Var: 68834 LB: 0 @ 303.5
316.86	c Restart #38 #Var: 68834 LB: 0 @ 316.7
333.45	c Restart #39 #Var: 68823 LB: 0 @ 333.28
344.40	c Restart #40 #Var: 68823 LB: 0 @ 344.23
351.15	c Restart #41 #Var: 68823 LB: 0 @ 350.97
366.16	c Restart #42 #Var: 68823 LB: 0 @ 365.98
388.61	c Restart #43 #Var: 68815 LB: 0 @ 388.42
403.67	c Restart #44 #Var: 68814 LB: 0 @ 403.48
433.06	c Restart #45 #Var: 68814 LB: 0 @ 432.86
450.90	c Restart #46 #Var: 68813 LB: 0 @ 450.69
475.91	c Restart #47 #Var: 68812 LB: 0 @ 475.7
498.71	c Restart #48 #Var: 68812 LB: 0 @ 498.48
531.03	c Restart #49 #Var: 68811 LB: 0 @ 530.79
562.92	c Restart #50 #Var: 68810 LB: 0 @ 562.67
576.07	c Restart #51 #Var: 68810 LB: 0 @ 575.83
589.74	c Restart #52 #Var: 68810 LB: 0 @ 589.48
646.93	c Restart #53 #Var: 68810 LB: 0 @ 646.66
732.74	c Restart #54 #Var: 68810 LB: 0 @ 732.44
766.15	c Restart #55 #Var: 68810 LB: 0 @ 765.79
884.98	c Restart #56 #Var: 68799 LB: 0 @ 884.58
917.20	c CHANGE Heuristic... 
917.20	c Restart #0 #Var: 68799 LB: 0 @ 916.79
917.40	c Restart #1 #Var: 68794 LB: 0 @ 916.99
917.85	c Restart #2 #Var: 68765 LB: 0 @ 917.44
919.35	c Restart #3 #Var: 68681 LB: 0 @ 918.94
920.06	c Restart #4 #Var: 68681 LB: 0 @ 919.65
920.48	c Restart #5 #Var: 68673 LB: 0 @ 920.07
921.28	c Restart #6 #Var: 68673 LB: 0 @ 920.87
921.95	c Restart #7 #Var: 68667 LB: 0 @ 921.54
922.61	c Restart #8 #Var: 68667 LB: 0 @ 922.2
923.34	c Restart #9 #Var: 68667 LB: 0 @ 922.93
925.44	c Restart #10 #Var: 68667 LB: 0 @ 925.02
926.75	c Restart #11 #Var: 68658 LB: 0 @ 926.34
936.60	c Restart #12 #Var: 68657 LB: 0 @ 936.18
951.13	c Restart #13 #Var: 68657 LB: 0 @ 950.71
957.68	c Restart #14 #Var: 68657 LB: 0 @ 957.26
980.91	c Restart #15 #Var: 68657 LB: 0 @ 980.48
990.01	c Restart #16 #Var: 68657 LB: 0 @ 989.58
1023.71	c Restart #17 #Var: 68657 LB: 0 @ 1023.3
1034.83	c Restart #18 #Var: 68657 LB: 0 @ 1034.4
1068.20	c Restart #19 #Var: 68657 LB: 0 @ 1067.7
1091.48	c Restart #20 #Var: 68657 LB: 0 @ 1091
1108.59	c Restart #21 #Var: 68657 LB: 0 @ 1108.1
1128.02	c Restart #22 #Var: 68657 LB: 0 @ 1127.5
1135.72	c Restart #23 #Var: 68657 LB: 0 @ 1135.2
1162.14	c Restart #24 #Var: 68657 LB: 0 @ 1161.6
1248.41	c Restart #25 #Var: 68657 LB: 0 @ 1247.9
1292.74	c Restart #26 #Var: 68657 LB: 0 @ 1292.2
1311.79	c Restart #27 #Var: 68657 LB: 0 @ 1311.3
1358.32	c Restart #28 #Var: 68657 LB: 0 @ 1357.8
1399.72	c Restart #29 #Var: 68657 LB: 0 @ 1399.2
1422.86	c Restart #30 #Var: 68657 LB: 0 @ 1422.3
1445.67	c Restart #31 #Var: 68657 LB: 0 @ 1445.1
1456.27	c Restart #32 #Var: 68657 LB: 0 @ 1455.7
1509.17	c Restart #33 #Var: 68657 LB: 0 @ 1508.6
1535.28	c Restart #34 #Var: 68657 LB: 0 @ 1534.7
1558.58	c Restart #35 #Var: 68657 LB: 0 @ 1558
1575.30	c Restart #36 #Var: 68657 LB: 0 @ 1574.7
1600.45	c Restart #37 #Var: 68657 LB: 0 @ 1599.8
1607.35	c Restart #38 #Var: 68657 LB: 0 @ 1606.7
1627.13	c Restart #39 #Var: 68657 LB: 0 @ 1626.5
1676.42	c Restart #40 #Var: 68657 LB: 0 @ 1675.8
1691.18	c Restart #41 #Var: 68657 LB: 0 @ 1690.5
1741.98	c Restart #42 #Var: 68656 LB: 0 @ 1741.3
1771.11	c Restart #43 #Var: 68656 LB: 0 @ 1770.4
1800.35	c Restart #44 #Var: 68656 LB: 0 @ 1799.6
1800.79	s UNKNOWN
1800.79	c Exit Code: 0
1800.79	c Total time: 1800.1 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/node17/watcher-39868-1149266920 -o ROOT/results/node17/solver-39868-1149266920 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/39868-1149266920/instance-39868-1149266920.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 23812
/proc/meminfo: memFree=1454888/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=4928 CPUtime=0
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 351 0 0 0 0 0 0 0 18 0 1 0 192355370 5046272 316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159459024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 1233 328 224 55 0 125 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 23812
/proc/meminfo: memFree=1393392/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=66692 CPUtime=9.94
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 1797459 0 0 0 514 480 0 0 25 0 1 0 192355370 68292608 15680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 16673 15689 281 55 0 15565 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 66692

[startup+20.0079 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1333376/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=129508 CPUtime=19.94
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673028 0 0 0 1272 722 0 0 25 0 1 0 192355370 132616192 30663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 32377 30663 297 55 0 31269 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 129508

[startup+30.0138 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1333440/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=129576 CPUtime=29.94
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673103 0 0 0 2250 744 0 0 25 0 1 0 192355370 132685824 30682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 32394 30682 297 55 0 31286 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 129576

[startup+40.0196 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1333440/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=129692 CPUtime=39.95
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673130 0 0 0 3238 757 0 0 25 0 1 0 192355370 132804608 30709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 32423 30709 297 55 0 31315 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 129692

[startup+50.0254 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1332800/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=130476 CPUtime=49.95
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673296 0 0 0 4222 773 0 0 25 0 1 0 192355370 133607424 30875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 32619 30875 297 55 0 31511 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 130476

[startup+60.0313 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1326464/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=136860 CPUtime=59.95
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2674894 0 0 0 5214 781 0 0 25 0 1 0 192355370 140144640 32473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 34215 32473 297 55 0 33107 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 136860

[startup+70.0371 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1325312/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=137916 CPUtime=69.95
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2675183 0 0 0 6212 783 0 0 25 0 1 0 192355370 141225984 32762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 34479 32762 297 55 0 33371 0
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 137916

[startup+80.043 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1323264/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=140004 CPUtime=79.96
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2675697 0 0 0 7211 785 0 0 25 0 1 0 192355370 143364096 33276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 35001 33276 297 55 0 33893 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 140004

[startup+90.0488 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1316864/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=146336 CPUtime=89.95
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2677279 0 0 0 8207 788 0 0 25 0 1 0 192355370 149848064 34858 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 36584 34858 297 55 0 35476 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 146336

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1314304/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=148908 CPUtime=99.96
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2677919 0 0 0 9205 791 0 0 25 0 1 0 192355370 152481792 35498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 37227 35498 297 55 0 36119 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 148908

[startup+110.06 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 23812
/proc/meminfo: memFree=1309824/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=153372 CPUtime=109.96
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2679035 0 0 0 10203 793 0 0 25 0 1 0 192355370 157052928 36614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 38343 36614 297 55 0 37235 0
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 153372

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1306496/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=156672 CPUtime=119.96
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2679871 0 0 0 11200 796 0 0 25 0 1 0 192355370 160432128 37450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 39168 37450 297 55 0 38060 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 156672

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1304000/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=159200 CPUtime=129.97
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2680503 0 0 0 12199 798 0 0 25 0 1 0 192355370 163020800 38072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 39800 38072 297 55 0 38692 0
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 159200

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1300224/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=163028 CPUtime=139.97
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2681447 0 0 0 13196 801 0 0 25 0 1 0 192355370 166940672 39016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 40757 39016 297 55 0 39649 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 163028

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1296896/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=166324 CPUtime=149.97
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2682270 0 0 0 14195 802 0 0 25 0 1 0 192355370 170315776 39839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 41581 39839 297 55 0 40473 0
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 166324

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1293120/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=170020 CPUtime=159.98
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2683215 0 0 0 15193 805 0 0 25 0 1 0 192355370 174100480 40784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 42505 40784 297 55 0 41397 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 170020

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1288192/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=174900 CPUtime=169.98
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684458 0 0 0 16192 806 0 0 25 0 1 0 192355370 179097600 42011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 43725 42011 297 55 0 42617 0
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 174900

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1288192/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=175032 CPUtime=179.98
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684463 0 0 0 17192 806 0 0 25 0 1 0 192355370 179232768 42016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 43758 42016 297 55 0 42650 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 175032

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1288128/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=175032 CPUtime=189.98
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684466 0 0 0 18192 806 0 0 25 0 1 0 192355370 179232768 42019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 43758 42019 297 55 0 42650 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 175032

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1286976/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=176088 CPUtime=199.98
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684751 0 0 0 19191 807 0 0 25 0 1 0 192355370 180314112 42304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 44022 42304 297 55 0 42914 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 176088

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 23812
/proc/meminfo: memFree=1282688/2055920 swapFree=4180996/4192956

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

/proc/23812/statm: 111759 110034 297 55 0 110651 0
Current children cumulated CPU time (s) 1760.36
Current children cumulated vsize (Kb) 447036

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1012032/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=450464 CPUtime=1770.37
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754162 0 0 0 176064 973 0 0 25 0 1 0 192355370 461275136 110884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 112616 110884 297 55 0 111508 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (Kb) 450464

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452416 CPUtime=1780.36
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177063 973 0 0 25 0 1 0 192355370 463273984 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113104 111356 297 55 0 111996 0
Current children cumulated CPU time (s) 1780.36
Current children cumulated vsize (Kb) 452416

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452416 CPUtime=1781.37
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177164 973 0 0 25 0 1 0 192355370 463273984 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113104 111356 297 55 0 111996 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (Kb) 452416

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452416 CPUtime=1782.37
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177264 973 0 0 25 0 1 0 192355370 463273984 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113104 111356 297 55 0 111996 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (Kb) 452416

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452392 CPUtime=1783.38
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177365 973 0 0 25 0 1 0 192355370 463249408 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113098 111356 297 55 0 111990 0
Current children cumulated CPU time (s) 1783.38
Current children cumulated vsize (Kb) 452392

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452392 CPUtime=1784.38
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754637 0 0 0 177465 973 0 0 25 0 1 0 192355370 463249408 111359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113098 111359 297 55 0 111990 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (Kb) 452392

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452392 CPUtime=1785.39
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754638 0 0 0 177566 973 0 0 25 0 1 0 192355370 463249408 111360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113098 111360 297 55 0 111990 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (Kb) 452392

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010048/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452392 CPUtime=1786.39
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754644 0 0 0 177666 973 0 0 25 0 1 0 192355370 463249408 111366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113098 111366 297 55 0 111990 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (Kb) 452392

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1010048/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452392 CPUtime=1787.39
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754652 0 0 0 177766 973 0 0 25 0 1 0 192355370 463249408 111374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113098 111374 297 55 0 111990 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (Kb) 452392

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1009984/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452524 CPUtime=1788.4
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754661 0 0 0 177867 973 0 0 25 0 1 0 192355370 463384576 111383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113131 111383 297 55 0 112023 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (Kb) 452524

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1009856/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=452628 CPUtime=1789.4
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754699 0 0 0 177967 973 0 0 25 0 1 0 192355370 463491072 111421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113157 111421 297 55 0 112049 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (Kb) 452628

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1009472/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=453040 CPUtime=1790.41
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754783 0 0 0 178067 974 0 0 25 0 1 0 192355370 463912960 111505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113260 111505 297 55 0 112152 0
Current children cumulated CPU time (s) 1790.41
Current children cumulated vsize (Kb) 453040

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1008640/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=453832 CPUtime=1791.42
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755002 0 0 0 178168 974 0 0 25 0 1 0 192355370 464723968 111724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113458 111724 297 55 0 112350 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (Kb) 453832

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1007936/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=454624 CPUtime=1792.42
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755178 0 0 0 178268 974 0 0 25 0 1 0 192355370 465534976 111900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113656 111900 297 55 0 112548 0
Current children cumulated CPU time (s) 1792.42
Current children cumulated vsize (Kb) 454624

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1007104/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=455416 CPUtime=1793.42
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755388 0 0 0 178368 974 0 0 25 0 1 0 192355370 466345984 112110 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 113854 112110 297 55 0 112746 0
Current children cumulated CPU time (s) 1793.42
Current children cumulated vsize (Kb) 455416

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1006272/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=456208 CPUtime=1794.42
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755594 0 0 0 178468 974 0 0 25 0 1 0 192355370 467156992 112316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 114052 112316 297 55 0 112944 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (Kb) 456208

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=456472 CPUtime=1795.43
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178568 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 114118 112389 297 55 0 113010 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (Kb) 456472

[startup+1797.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=456472 CPUtime=1796.44
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178669 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 114118 112389 297 55 0 113010 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (Kb) 456472

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=456472 CPUtime=1797.44
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178769 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 114118 112389 297 55 0 113010 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (Kb) 456472

[startup+1799.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=456472 CPUtime=1798.45
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178870 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 114118 112389 297 55 0 113010 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (Kb) 456472

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24007
/proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956
[pid=23812] ppid=23810 vsize=456472 CPUtime=1799.45
/proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178970 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23812/statm: 114118 112389 297 55 0 113010 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (Kb) 456472

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.15
CPU user time (s): 1790.33
CPU system time (s): 9.82351
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (Kb): 456472

Launcher Data (download as text)

Begin job on node17 on Fri Jun  2 16:48:41 UTC 2006


FILE ID= 39868-1149266920

PBS_JOBID= 298899

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8e9a545df4abbe3f7a2b003048b42200

RANDOM SEED= 765460963


/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.278
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.278
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:       1455288 kB
Buffers:         34660 kB
Cached:         501644 kB
SwapCached:       3752 kB
Active:         352020 kB
Inactive:       193068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1455288 kB
SwapTotal:     4192956 kB
SwapFree:      4180996 kB
Dirty:             136 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            41504 kB
Committed_AS:   263692 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node17 on Fri Jun  2 17:18:42 UTC 2006