Trace number 39695

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 1801.32

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM3764cf8f4e2d3654f46ab0ec56ea8581
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 benchmark1574.92
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
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.26	c Time Limit set via PBTIMEOUT to 1800
0.59	c INFO: OSL Context initialized.
78.34	c Initial problem consists of 168111 variables and 487525 constraints.
107.76	c Using non-optimization problem switches.
107.76	c No problem reductions applied in OPT. instance.
107.76	c	preprocess terminated. Elapsed time: 107.13
107.76	c After prepocess the problem consists of 162763 variables and 473452 constraints.
126.11	c Restart #1 #Var: 162761 LB: 0 @ 125.48
160.21	c Restart #2 #Var: 162761 LB: 0 @ 159.57
203.85	c Restart #3 #Var: 162761 LB: 0 @ 203.2
255.93	c Restart #4 #Var: 162761 LB: 0 @ 255.26
308.90	c Restart #5 #Var: 162761 LB: 0 @ 308.22
343.32	c Restart #6 #Var: 162761 LB: 0 @ 342.63
396.46	c Restart #7 #Var: 162761 LB: 0 @ 395.75
414.51	c Restart #8 #Var: 162759 LB: 0 @ 413.8
420.07	c Restart #9 #Var: 162759 LB: 0 @ 419.36
454.67	c Restart #10 #Var: 162759 LB: 0 @ 453.94
527.25	c Restart #11 #Var: 162759 LB: 0 @ 526.51
539.41	c Restart #12 #Var: 162759 LB: 0 @ 538.66
592.60	c Restart #13 #Var: 162744 LB: 0 @ 591.84
630.01	c Restart #14 #Var: 162744 LB: 0 @ 629.23
705.16	c Restart #15 #Var: 162734 LB: 0 @ 704.36
754.11	c Restart #16 #Var: 162734 LB: 0 @ 753.19
821.79	c Restart #17 #Var: 161831 LB: 0 @ 820.85
888.47	c Restart #18 #Var: 161831 LB: 0 @ 887.52
903.23	c CHANGE Heuristic... 
903.23	c Restart #0 #Var: 161831 LB: 0 @ 902.27
911.66	c Restart #1 #Var: 161831 LB: 0 @ 910.7
916.26	c Restart #2 #Var: 161831 LB: 0 @ 915.29
931.59	c Restart #3 #Var: 161831 LB: 0 @ 930.62
962.45	c Restart #4 #Var: 161826 LB: 0 @ 961.47
995.64	c Restart #5 #Var: 161826 LB: 0 @ 994.65
1018.44	c Restart #6 #Var: 161826 LB: 0 @ 1017.4
1054.81	c Restart #7 #Var: 161826 LB: 0 @ 1053.8
1120.66	c Restart #8 #Var: 161826 LB: 0 @ 1119.6
1161.32	c Restart #9 #Var: 161826 LB: 0 @ 1160.3
1221.64	c Restart #10 #Var: 161826 LB: 0 @ 1220.6
1268.26	c Restart #11 #Var: 161826 LB: 0 @ 1267.2
1344.73	c Restart #12 #Var: 161824 LB: 0 @ 1343.6
1421.93	c Restart #13 #Var: 161824 LB: 0 @ 1420.8
1446.54	c Restart #14 #Var: 161824 LB: 0 @ 1445.4
1482.90	c Restart #15 #Var: 161824 LB: 0 @ 1481.8
1559.45	c Restart #16 #Var: 161824 LB: 0 @ 1558.3
1624.87	c Restart #17 #Var: 161824 LB: 0 @ 1623.7
1720.38	c Restart #18 #Var: 161824 LB: 0 @ 1719.2
1801.24	s UNKNOWN
1801.24	c Exit Code: 0
1801.24	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/node29/watcher-39695-1149234535 -o ROOT/results/node29/solver-39695-1149234535 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39695-1149234535/instance-39695-1149234535.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.86 0.97 0.95 3/64 7782
/proc/meminfo: memFree=1820112/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=436 CPUtime=0
/proc/7782/stat : 7782 (bsolo) D 7780 7782 7737 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 189117316 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4129572 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7782/statm: 109 23 18 55 0 18 0

[startup+10.0022 s]
/proc/loadavg: 0.88 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1734568/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=88048 CPUtime=9.41
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 1364798 0 9 0 584 357 0 0 25 0 1 0 189117316 90161152 21061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 22012 21069 281 55 0 20904 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (Kb) 88048

[startup+20.0086 s]
/proc/loadavg: 0.90 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1694248/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=128516 CPUtime=19.4
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 3138594 0 9 0 1089 851 0 0 25 0 1 0 189117316 131600384 31112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 32212 31116 281 55 0 31104 0
Current children cumulated CPU time (s) 19.4
Current children cumulated vsize (Kb) 128516

[startup+30.0151 s]
/proc/loadavg: 0.92 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1663016/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=160032 CPUtime=29.41
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 4931080 0 9 0 1574 1367 0 0 25 0 1 0 189117316 163872768 38984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 40008 38993 281 55 0 38900 0
Current children cumulated CPU time (s) 29.41
Current children cumulated vsize (Kb) 160032

[startup+40.0205 s]
/proc/loadavg: 0.93 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1633640/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=189184 CPUtime=39.42
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 6761561 0 9 0 2055 1887 0 0 25 0 1 0 189117316 193724416 46329 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 47296 46337 281 55 0 46188 0
Current children cumulated CPU time (s) 39.42
Current children cumulated vsize (Kb) 189184

[startup+50.0259 s]
/proc/loadavg: 0.94 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1609960/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=214812 CPUtime=49.41
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 8603132 0 9 0 2528 2413 0 0 25 0 1 0 189117316 219967488 52322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 53703 52330 282 55 0 52595 0
Current children cumulated CPU time (s) 49.41
Current children cumulated vsize (Kb) 214812

[startup+60.0313 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1588328/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=235912 CPUtime=59.41
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 10440249 0 9 0 2992 2949 0 0 25 0 1 0 189117316 241573888 57596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 58978 57605 281 55 0 57870 0
Current children cumulated CPU time (s) 59.41
Current children cumulated vsize (Kb) 235912

[startup+70.0367 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1569384/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=255008 CPUtime=69.42
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 12240162 0 9 0 3454 3488 0 0 25 0 1 0 189117316 261128192 62480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 63752 62487 281 55 0 62644 0
Current children cumulated CPU time (s) 69.42
Current children cumulated vsize (Kb) 255008

[startup+80.0421 s]
/proc/loadavg: 0.96 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1463912/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=363588 CPUtime=79.42
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 13509775 0 9 0 4075 3867 0 0 25 0 1 0 189117316 372314112 88724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644696 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 90897 88724 288 55 0 89789 0
Current children cumulated CPU time (s) 79.42
Current children cumulated vsize (Kb) 363588

[startup+90.0476 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1463912/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=363588 CPUtime=89.43
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 13509775 0 9 0 5076 3867 0 0 25 0 1 0 189117316 372314112 88724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 90897 88724 288 55 0 89789 0
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (Kb) 363588

[startup+100.053 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1443944/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=387288 CPUtime=99.42
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 14500958 0 9 0 5663 4279 0 0 25 0 1 0 189117316 396582912 94387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134622559 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 96822 94393 291 55 0 95714 0
Current children cumulated CPU time (s) 99.42
Current children cumulated vsize (Kb) 387288

[startup+110.058 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1414184/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414516 CPUtime=109.43
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145815 0 9 0 6389 4554 0 0 25 0 1 0 189117316 424464384 101148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103629 101148 300 55 0 102521 0
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 414516

[startup+120.064 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1414120/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414516 CPUtime=119.42
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145825 0 9 0 7388 4554 0 0 25 0 1 0 189117316 424464384 101158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103629 101158 300 55 0 102521 0
Current children cumulated CPU time (s) 119.42
Current children cumulated vsize (Kb) 414516

[startup+130.069 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1414120/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414648 CPUtime=129.43
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145834 0 9 0 8388 4555 0 0 25 0 1 0 189117316 424599552 101167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528669 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103662 101167 300 55 0 102554 0
Current children cumulated CPU time (s) 129.43
Current children cumulated vsize (Kb) 414648

[startup+140.075 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1414056/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414648 CPUtime=139.43
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145848 0 9 0 9388 4555 0 0 25 0 1 0 189117316 424599552 101181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103662 101181 300 55 0 102554 0
Current children cumulated CPU time (s) 139.43
Current children cumulated vsize (Kb) 414648

[startup+150.08 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1413992/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414648 CPUtime=149.44
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145862 0 9 0 10388 4556 0 0 25 0 1 0 189117316 424599552 101195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103662 101195 300 55 0 102554 0
Current children cumulated CPU time (s) 149.44
Current children cumulated vsize (Kb) 414648

[startup+160.085 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1413864/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414780 CPUtime=159.44
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145890 0 9 0 11388 4556 0 0 25 0 1 0 189117316 424734720 101223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103695 101223 300 55 0 102587 0
Current children cumulated CPU time (s) 159.44
Current children cumulated vsize (Kb) 414780

[startup+170.092 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1413800/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414912 CPUtime=169.44
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145903 0 9 0 12388 4556 0 0 25 0 1 0 189117316 424869888 101236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103728 101236 300 55 0 102620 0
Current children cumulated CPU time (s) 169.44
Current children cumulated vsize (Kb) 414912

[startup+180.098 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1413736/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=414912 CPUtime=179.45
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145922 0 9 0 13388 4557 0 0 25 0 1 0 189117316 424869888 101255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103728 101255 300 55 0 102620 0
Current children cumulated CPU time (s) 179.45
Current children cumulated vsize (Kb) 414912

[startup+190.104 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1413672/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=415040 CPUtime=189.44
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145936 0 9 0 14387 4557 0 0 25 0 1 0 189117316 425000960 101269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103760 101269 300 55 0 102652 0
Current children cumulated CPU time (s) 189.44
Current children cumulated vsize (Kb) 415040

[startup+200.109 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1413544/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=415040 CPUtime=199.45
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15145961 0 9 0 15387 4558 0 0 25 0 1 0 189117316 425000960 101294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 103760 101294 300 55 0 102652 0
Current children cumulated CPU time (s) 199.45
Current children cumulated vsize (Kb) 415040

[startup+210.116 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 7782
/proc/meminfo: memFree=1413544/2055920 swapFree=4181384/4192956

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

/proc/7782/statm: 111775 109308 300 55 0 110667 0
Current children cumulated CPU time (s) 1679.74
Current children cumulated vsize (Kb) 447100

[startup+1690.94 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1380712/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=447232 CPUtime=1689.75
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15154644 0 9 0 164373 4602 0 0 25 0 1 0 189117316 457965568 109330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 111808 109330 300 55 0 110700 0
Current children cumulated CPU time (s) 1689.75
Current children cumulated vsize (Kb) 447232

[startup+1700.95 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1379816/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=448156 CPUtime=1699.75
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15154859 0 9 0 165373 4602 0 0 25 0 1 0 189117316 458911744 109545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112039 109545 300 55 0 110931 0
Current children cumulated CPU time (s) 1699.75
Current children cumulated vsize (Kb) 448156

[startup+1710.95 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1379624/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=448288 CPUtime=1709.75
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15154909 0 9 0 166373 4602 0 0 25 0 1 0 189117316 459046912 109595 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112072 109595 300 55 0 110964 0
Current children cumulated CPU time (s) 1709.75
Current children cumulated vsize (Kb) 448288

[startup+1720.96 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1379368/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=448552 CPUtime=1719.75
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15154973 0 9 0 167373 4602 0 0 25 0 1 0 189117316 459317248 109659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112138 109659 300 55 0 111030 0
Current children cumulated CPU time (s) 1719.75
Current children cumulated vsize (Kb) 448552

[startup+1730.97 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1379304/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=448684 CPUtime=1729.75
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15154990 0 9 0 168373 4602 0 0 25 0 1 0 189117316 459452416 109676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112171 109676 300 55 0 111063 0
Current children cumulated CPU time (s) 1729.75
Current children cumulated vsize (Kb) 448684

[startup+1740.97 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1379240/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=448684 CPUtime=1739.75
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155009 0 9 0 169373 4602 0 0 25 0 1 0 189117316 459452416 109695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112171 109695 300 55 0 111063 0
Current children cumulated CPU time (s) 1739.75
Current children cumulated vsize (Kb) 448684

[startup+1750.98 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1379112/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=448816 CPUtime=1749.76
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155033 0 9 0 170373 4603 0 0 25 0 1 0 189117316 459587584 109719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112204 109719 300 55 0 111096 0
Current children cumulated CPU time (s) 1749.76
Current children cumulated vsize (Kb) 448816

[startup+1760.98 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 7977
/proc/meminfo: memFree=1378920/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=448948 CPUtime=1759.76
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155070 0 9 0 171373 4603 0 0 25 0 1 0 189117316 459722752 109756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112237 109756 300 55 0 111129 0
Current children cumulated CPU time (s) 1759.76
Current children cumulated vsize (Kb) 448948

[startup+1770.99 s]
/proc/loadavg: 1.07 1.02 0.96 2/64 7977
/proc/meminfo: memFree=1378856/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449080 CPUtime=1769.76
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155104 0 9 0 172373 4603 0 0 25 0 1 0 189117316 459857920 109790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541590 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112270 109790 300 55 0 111162 0
Current children cumulated CPU time (s) 1769.76
Current children cumulated vsize (Kb) 449080

[startup+1780.99 s]
/proc/loadavg: 1.06 1.02 0.96 2/64 7977
/proc/meminfo: memFree=1378664/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449344 CPUtime=1779.77
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155155 0 9 0 173374 4603 0 0 25 0 1 0 189117316 460128256 109841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112336 109841 300 55 0 111228 0
Current children cumulated CPU time (s) 1779.77
Current children cumulated vsize (Kb) 449344

[startup+1791 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378536/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1789.77
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155191 0 9 0 174374 4603 0 0 25 0 1 0 189117316 460263424 109877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109877 300 55 0 111261 0
Current children cumulated CPU time (s) 1789.77
Current children cumulated vsize (Kb) 449476

[startup+1792 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378536/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1790.77
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155193 0 9 0 174474 4603 0 0 25 0 1 0 189117316 460263424 109879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109879 300 55 0 111261 0
Current children cumulated CPU time (s) 1790.77
Current children cumulated vsize (Kb) 449476

[startup+1793.01 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378472/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1791.78
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155198 0 9 0 174575 4603 0 0 25 0 1 0 189117316 460263424 109884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109884 300 55 0 111261 0
Current children cumulated CPU time (s) 1791.78
Current children cumulated vsize (Kb) 449476

[startup+1794.01 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378472/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1792.78
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155204 0 9 0 174675 4603 0 0 25 0 1 0 189117316 460263424 109890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109890 300 55 0 111261 0
Current children cumulated CPU time (s) 1792.78
Current children cumulated vsize (Kb) 449476

[startup+1795.02 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378472/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1793.79
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155205 0 9 0 174776 4603 0 0 25 0 1 0 189117316 460263424 109891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109891 300 55 0 111261 0
Current children cumulated CPU time (s) 1793.79
Current children cumulated vsize (Kb) 449476

[startup+1796.02 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378472/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1794.79
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155207 0 9 0 174876 4603 0 0 25 0 1 0 189117316 460263424 109893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109893 300 55 0 111261 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (Kb) 449476

[startup+1797.03 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378472/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1795.79
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155207 0 9 0 174976 4603 0 0 25 0 1 0 189117316 460263424 109893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109893 300 55 0 111261 0
Current children cumulated CPU time (s) 1795.79
Current children cumulated vsize (Kb) 449476

[startup+1798.03 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378472/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1796.8
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155209 0 9 0 175077 4603 0 0 25 0 1 0 189117316 460263424 109895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109895 300 55 0 111261 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (Kb) 449476

[startup+1799.04 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378408/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449476 CPUtime=1797.8
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155214 0 9 0 175177 4603 0 0 25 0 1 0 189117316 460263424 109900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112369 109900 300 55 0 111261 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (Kb) 449476

[startup+1800.04 s]
/proc/loadavg: 1.05 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378408/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449608 CPUtime=1798.81
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155217 0 9 0 175278 4603 0 0 25 0 1 0 189117316 460398592 109903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528880 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112402 109903 300 55 0 111294 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (Kb) 449608

[startup+1801.05 s]
/proc/loadavg: 1.04 1.01 0.96 2/64 7977
/proc/meminfo: memFree=1378408/2055920 swapFree=4181384/4192956
[pid=7782] ppid=7780 vsize=449608 CPUtime=1799.81
/proc/7782/stat : 7782 (bsolo) R 7780 7782 7737 0 -1 0 15155220 0 9 0 175378 4603 0 0 25 0 1 0 189117316 460398592 109906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7782/statm: 112402 109906 300 55 0 111294 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (Kb) 449608

Child status: 0
Real time (s): 1801.32
CPU time (s): 1800.1
CPU user time (s): 1753.99
CPU system time (s): 46.111
CPU usage (%): 99.9319
Max. virtual memory (cumulated for all children) (Kb): 449608

Launcher Data (download as text)

Begin job on node29 on Fri Jun  2 07:48:57 UTC 2006


FILE ID= 39695-1149234535

PBS_JOBID= 296784

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  3764cf8f4e2d3654f46ab0ec56ea8581

RANDOM SEED= 181919435


/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.259
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.259
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:       1820512 kB
Buffers:          4688 kB
Cached:         162900 kB
SwapCached:       3228 kB
Active:          49324 kB
Inactive:       126968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820512 kB
SwapTotal:     4192956 kB
SwapFree:      4181384 kB
Dirty:             280 kB
Writeback:           0 kB
Mapped:          14712 kB
Slab:            45116 kB
Committed_AS:   243788 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node29 on Fri Jun  2 08:18:59 UTC 2006