Trace number 39729

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.12 1800.64

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM70ea01a607f0d01f6199fb93098b84d8
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 benchmark1360.12
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
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.03	c Time Limit set via PBTIMEOUT to 1800
0.04	c INFO: OSL Context initialized.
17.14	c Initial problem consists of 77106 variables and 218779 constraints.
24.57	c Using non-optimization problem switches.
24.57	c No problem reductions applied in OPT. instance.
24.57	c	preprocess terminated. Elapsed time: 24.53
24.57	c After prepocess the problem consists of 73310 variables and 208951 constraints.
32.32	c Restart #1 #Var: 73309 LB: 0 @ 32.269
52.57	c Restart #2 #Var: 73308 LB: 0 @ 52.518
74.78	c Restart #3 #Var: 73308 LB: 0 @ 74.725
101.80	c Restart #4 #Var: 73301 LB: 0 @ 101.74
136.65	c Restart #5 #Var: 73301 LB: 0 @ 136.58
164.47	c Restart #6 #Var: 73301 LB: 0 @ 164.4
178.53	c Restart #7 #Var: 73301 LB: 0 @ 178.44
188.57	c Restart #8 #Var: 73301 LB: 0 @ 188.48
190.78	c Restart #9 #Var: 73301 LB: 0 @ 190.7
203.51	c Restart #10 #Var: 73280 LB: 0 @ 203.43
210.68	c Restart #11 #Var: 73280 LB: 0 @ 210.59
218.00	c Restart #12 #Var: 73280 LB: 0 @ 217.91
222.63	c Restart #13 #Var: 73274 LB: 0 @ 222.54
224.35	c Restart #14 #Var: 73274 LB: 0 @ 224.26
225.80	c Restart #15 #Var: 73274 LB: 0 @ 225.71
226.46	c Restart #16 #Var: 73274 LB: 0 @ 226.36
230.50	c Restart #17 #Var: 73274 LB: 0 @ 230.4
235.26	c Restart #18 #Var: 73274 LB: 0 @ 235.16
237.18	c Restart #19 #Var: 73274 LB: 0 @ 237.09
243.52	c Restart #20 #Var: 73274 LB: 0 @ 243.43
258.34	c Restart #21 #Var: 73274 LB: 0 @ 258.24
288.12	c Restart #22 #Var: 73274 LB: 0 @ 287.96
319.53	c Restart #23 #Var: 73274 LB: 0 @ 319.36
347.74	c Restart #24 #Var: 73274 LB: 0 @ 347.57
413.28	c Restart #25 #Var: 73274 LB: 0 @ 413.09
458.38	c Restart #26 #Var: 73274 LB: 0 @ 458.18
549.66	c Restart #27 #Var: 73254 LB: 0 @ 549.44
581.90	c Restart #28 #Var: 73254 LB: 0 @ 581.67
630.68	c Restart #29 #Var: 73252 LB: 0 @ 630.44
675.63	c Restart #30 #Var: 73252 LB: 0 @ 675.38
715.37	c Restart #31 #Var: 73251 LB: 0 @ 715.11
776.30	c Restart #32 #Var: 73251 LB: 0 @ 776.02
845.31	c Restart #33 #Var: 73251 LB: 0 @ 845.02
886.12	c Restart #34 #Var: 73251 LB: 0 @ 885.82
1038.82	c CHANGE Heuristic... 
1038.82	c Restart #0 #Var: 71911 LB: 0 @ 1038.5
1041.74	c Restart #1 #Var: 71911 LB: 0 @ 1041.4
1047.25	c Restart #2 #Var: 71911 LB: 0 @ 1046.9
1055.60	c Restart #3 #Var: 71909 LB: 0 @ 1055.3
1064.35	c Restart #4 #Var: 71909 LB: 0 @ 1064
1080.56	c Restart #5 #Var: 71909 LB: 0 @ 1080.2
1093.51	c Restart #6 #Var: 71909 LB: 0 @ 1093.2
1116.36	c Restart #7 #Var: 71909 LB: 0 @ 1116
1131.38	c Restart #8 #Var: 71909 LB: 0 @ 1131
1150.91	c Restart #9 #Var: 71909 LB: 0 @ 1150.5
1166.29	c Restart #10 #Var: 71909 LB: 0 @ 1165.9
1209.28	c Restart #11 #Var: 71909 LB: 0 @ 1208.9
1238.99	c Restart #12 #Var: 71909 LB: 0 @ 1238.6
1250.82	c Restart #13 #Var: 71909 LB: 0 @ 1250.4
1275.63	c Restart #14 #Var: 71909 LB: 0 @ 1275.2
1302.13	c Restart #15 #Var: 71907 LB: 0 @ 1301.7
1348.80	c Restart #16 #Var: 71665 LB: 0 @ 1348.4
1378.99	c Restart #17 #Var: 71424 LB: 0 @ 1378.6
1435.91	c Restart #18 #Var: 71424 LB: 0 @ 1435.5
1509.42	c Restart #19 #Var: 71424 LB: 0 @ 1509
1542.61	c Restart #20 #Var: 71424 LB: 0 @ 1542.2
1584.19	c Restart #21 #Var: 71418 LB: 0 @ 1583.7
1639.70	c Restart #22 #Var: 71418 LB: 0 @ 1639.2
1675.19	c Restart #23 #Var: 71418 LB: 0 @ 1674.7
1721.03	c Restart #24 #Var: 71418 LB: 0 @ 1720.5
1800.59	s UNKNOWN
1800.59	c Exit Code: 0
1800.59	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/node43/watcher-39729-1149238603 -o ROOT/results/node43/solver-39729-1149238603 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39729-1149238603/instance-39729-1149238603.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.96 0.91 2/64 30369
/proc/meminfo: memFree=1578232/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=18540 CPUtime=0
/proc/30369/stat : 30369 (runsolver) D 30367 30369 30324 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 189527055 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 216849247527 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/30369/statm: 4635 279 243 16 0 2626 0

[startup+10.0018 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 30369
/proc/meminfo: memFree=1488328/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=94624 CPUtime=9.95
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 1428441 0 0 0 613 382 0 0 25 0 1 0 189527055 96894976 22752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 23656 22759 281 55 0 22548 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 94624

[startup+20.0076 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 30369
/proc/meminfo: memFree=1407944/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=176924 CPUtime=19.95
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 2527711 0 0 0 1294 701 0 0 25 0 1 0 189527055 181170176 42597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 44533 42606 291 55 0 43425 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 176924

[startup+30.0135 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1391368/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=194536 CPUtime=29.96
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063686 0 0 0 2102 894 0 0 25 0 1 0 189527055 199204864 47014 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 48634 47014 300 55 0 47526 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 194536

[startup+40.0193 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1391304/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=194668 CPUtime=39.96
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063712 0 0 0 3101 895 0 0 25 0 1 0 189527055 199340032 47040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 48667 47040 300 55 0 47559 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 194668

[startup+50.0262 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1391176/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=194800 CPUtime=49.96
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063759 0 0 0 4101 895 0 0 25 0 1 0 189527055 199475200 47087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 48700 47087 300 55 0 47592 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 194800

[startup+60.0311 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1391048/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=195064 CPUtime=59.97
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063802 0 0 0 5101 896 0 0 25 0 1 0 189527055 199745536 47130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 48766 47130 300 55 0 47658 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 195064

[startup+70.0369 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1390792/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=195196 CPUtime=69.98
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063864 0 0 0 6101 897 0 0 25 0 1 0 189527055 199880704 47192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 48799 47192 300 55 0 47691 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 195196

[startup+80.0428 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1390472/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=195592 CPUtime=79.97
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063936 0 0 0 7100 897 0 0 25 0 1 0 189527055 200286208 47264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 48898 47264 300 55 0 47790 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 195592

[startup+90.0487 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1390152/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=195856 CPUtime=89.97
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064030 0 0 0 8099 898 0 0 25 0 1 0 189527055 200556544 47358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 48964 47358 300 55 0 47856 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 195856

[startup+100.055 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1389896/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=196120 CPUtime=99.98
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064081 0 0 0 9099 899 0 0 25 0 1 0 189527055 200826880 47409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49030 47409 300 55 0 47922 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 196120

[startup+110.061 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1389768/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=196252 CPUtime=109.99
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064113 0 0 0 10099 900 0 0 25 0 1 0 189527055 200962048 47441 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49063 47441 300 55 0 47955 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 196252

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1389640/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=196384 CPUtime=119.99
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064147 0 0 0 11098 901 0 0 25 0 1 0 189527055 201097216 47475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49096 47475 300 55 0 47988 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 196384

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1389512/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=196516 CPUtime=130
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064188 0 0 0 12098 902 0 0 25 0 1 0 189527055 201232384 47516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49129 47516 300 55 0 48021 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 196516

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1389320/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=196648 CPUtime=140
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064226 0 0 0 13097 903 0 0 25 0 1 0 189527055 201367552 47554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49162 47554 300 55 0 48054 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 196648

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1389128/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=196912 CPUtime=150
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064269 0 0 0 14097 903 0 0 25 0 1 0 189527055 201637888 47597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49228 47597 300 55 0 48120 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 196912

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1388936/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=197044 CPUtime=160
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064316 0 0 0 15096 904 0 0 25 0 1 0 189527055 201773056 47644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49261 47644 300 55 0 48153 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 197044

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1388744/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=197304 CPUtime=170.01
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064367 0 0 0 16095 906 0 0 25 0 1 0 189527055 202039296 47695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49326 47695 300 55 0 48218 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 197304

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1388424/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=197700 CPUtime=180.01
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064459 0 0 0 17094 907 0 0 25 0 1 0 189527055 202444800 47787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49425 47787 300 55 0 48317 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 197700

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1387336/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=198624 CPUtime=190.02
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064719 0 0 0 18094 908 0 0 25 0 1 0 189527055 203390976 48047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49656 48047 300 55 0 48548 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 198624

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1386568/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=199416 CPUtime=200.02
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064911 0 0 0 19094 908 0 0 25 0 1 0 189527055 204201984 48239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 49854 48239 300 55 0 48746 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 199416

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30369
/proc/meminfo: memFree=1385736/2055920 swapFree=4180880/4192956

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

/proc/30369/statm: 72336 70651 300 55 0 71228 0
Current children cumulated CPU time (s) 1760.5
Current children cumulated vsize (Kb) 289344

[startup+1771.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295888/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=289476 CPUtime=1770.51
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087680 0 0 0 176064 987 0 0 25 0 1 0 189527055 296423424 70713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541485 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72369 70713 300 55 0 71261 0
Current children cumulated CPU time (s) 1770.51
Current children cumulated vsize (Kb) 289476

[startup+1781.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295632/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=289740 CPUtime=1780.51
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087743 0 0 0 177064 987 0 0 25 0 1 0 189527055 296693760 70776 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72435 70776 300 55 0 71327 0
Current children cumulated CPU time (s) 1780.51
Current children cumulated vsize (Kb) 289740

[startup+1782.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295632/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=289740 CPUtime=1781.51
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087745 0 0 0 177164 987 0 0 25 0 1 0 189527055 296693760 70778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72435 70778 300 55 0 71327 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 289740

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295568/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=289872 CPUtime=1782.52
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087757 0 0 0 177265 987 0 0 25 0 1 0 189527055 296828928 70790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72468 70790 300 55 0 71360 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 289872

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295504/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=289872 CPUtime=1783.53
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087777 0 0 0 177365 988 0 0 25 0 1 0 189527055 296828928 70810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72468 70810 300 55 0 71360 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 289872

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295440/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290004 CPUtime=1784.54
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087788 0 0 0 177466 988 0 0 25 0 1 0 189527055 296964096 70821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72501 70821 300 55 0 71393 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 290004

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295440/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290004 CPUtime=1785.54
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087797 0 0 0 177566 988 0 0 25 0 1 0 189527055 296964096 70830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72501 70830 300 55 0 71393 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 290004

[startup+1787.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295376/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290004 CPUtime=1786.54
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087806 0 0 0 177666 988 0 0 25 0 1 0 189527055 296964096 70839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72501 70839 300 55 0 71393 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (Kb) 290004

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1787.55
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087820 0 0 0 177767 988 0 0 25 0 1 0 189527055 297099264 70853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70853 300 55 0 71426 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 290136

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1788.55
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 177867 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70857 300 55 0 71426 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 290136

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1789.56
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 177968 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70857 300 55 0 71426 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 290136

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1790.56
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178068 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70857 300 55 0 71426 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 290136

[startup+1792.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1791.57
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178169 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70857 300 55 0 71426 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 290136

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1792.57
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178269 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70857 300 55 0 71426 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 290136

[startup+1794.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1793.57
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178369 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70857 300 55 0 71426 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 290136

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1794.58
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178470 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70857 300 55 0 71426 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 290136

[startup+1796.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1795.58
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087828 0 0 0 178570 988 0 0 25 0 1 0 189527055 297099264 70861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70861 300 55 0 71426 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 290136

[startup+1797.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1796.59
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087828 0 0 0 178671 988 0 0 25 0 1 0 189527055 297099264 70861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70861 300 55 0 71426 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 290136

[startup+1798.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1797.59
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087829 0 0 0 178771 988 0 0 25 0 1 0 189527055 297099264 70862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70862 300 55 0 71426 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 290136

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1798.6
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087829 0 0 0 178872 988 0 0 25 0 1 0 189527055 297099264 70862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70862 300 55 0 71426 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 290136

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30564
/proc/meminfo: memFree=1295248/2055920 swapFree=4180880/4192956
[pid=30369] ppid=30367 vsize=290136 CPUtime=1799.6
/proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087835 0 0 0 178972 988 0 0 25 0 1 0 189527055 297099264 70868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30369/statm: 72534 70868 300 55 0 71426 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 290136

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.12
CPU user time (s): 1790.19
CPU system time (s): 9.93349
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (Kb): 290136

Launcher Data (download as text)

Begin job on node43 on Fri Jun  2 08:56:43 UTC 2006


FILE ID= 39729-1149238603

PBS_JOBID= 297230

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  70ea01a607f0d01f6199fb93098b84d8

RANDOM SEED= 551338723


/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.216
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.216
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:       1578888 kB
Buffers:          8404 kB
Cached:         398124 kB
SwapCached:       3716 kB
Active:          46884 kB
Inactive:       368332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1578888 kB
SwapTotal:     4192956 kB
SwapFree:      4180880 kB
Dirty:             288 kB
Writeback:           0 kB
Mapped:          14816 kB
Slab:            47908 kB
Committed_AS:   241180 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 node43 on Fri Jun  2 09:26:44 UTC 2006