Trace number 39713

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.05 1800.61

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
MD5SUM1785d65de493315a1e7654bb7aab8248
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 benchmark431.497
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
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.00	c Time Limit set via PBTIMEOUT to 1800
0.08	c INFO: OSL Context initialized.
20.79	c Initial problem consists of 84836 variables and 245062 constraints.
29.79	c Using non-optimization problem switches.
29.79	c No problem reductions applied in OPT. instance.
29.79	c	preprocess terminated. Elapsed time: 29.695
29.79	c After prepocess the problem consists of 83661 variables and 242334 constraints.
36.83	c Restart #1 #Var: 83661 LB: 0 @ 36.736
62.59	c Restart #2 #Var: 83656 LB: 0 @ 62.49
94.26	c Restart #3 #Var: 83651 LB: 0 @ 94.145
112.84	c Restart #4 #Var: 83647 LB: 0 @ 112.73
140.90	c Restart #5 #Var: 83647 LB: 0 @ 140.77
162.04	c Restart #6 #Var: 83647 LB: 0 @ 161.91
166.12	c Restart #7 #Var: 83647 LB: 0 @ 165.99
172.26	c Restart #8 #Var: 83647 LB: 0 @ 172.12
173.25	c Restart #9 #Var: 83647 LB: 0 @ 173.11
177.36	c Restart #10 #Var: 83647 LB: 0 @ 177.23
177.96	c Restart #11 #Var: 83644 LB: 0 @ 177.83
180.95	c Restart #12 #Var: 83638 LB: 0 @ 180.82
182.35	c Restart #13 #Var: 83634 LB: 0 @ 182.22
186.67	c Restart #14 #Var: 83634 LB: 0 @ 186.54
187.30	c Restart #15 #Var: 83634 LB: 0 @ 187.16
223.33	c Restart #16 #Var: 83634 LB: 0 @ 223.19
232.35	c Restart #17 #Var: 83634 LB: 0 @ 232.2
250.95	c Restart #18 #Var: 83634 LB: 0 @ 250.8
304.86	c Restart #19 #Var: 83634 LB: 0 @ 304.7
402.70	c Restart #20 #Var: 83634 LB: 0 @ 402.51
511.45	c Restart #21 #Var: 83631 LB: 0 @ 511.23
563.43	c Restart #22 #Var: 83116 LB: 0 @ 563.19
622.75	c Restart #23 #Var: 83107 LB: 0 @ 622.5
736.56	c Restart #24 #Var: 83090 LB: 0 @ 736.29
770.92	c Restart #25 #Var: 83088 LB: 0 @ 770.63
832.16	c Restart #26 #Var: 83088 LB: 0 @ 831.86
997.11	c CHANGE Heuristic... 
997.11	c Restart #0 #Var: 82551 LB: 0 @ 996.76
999.68	c Restart #1 #Var: 82031 LB: 0 @ 999.34
1005.09	c Restart #2 #Var: 82028 LB: 0 @ 1004.7
1014.78	c Restart #3 #Var: 82028 LB: 0 @ 1014.4
1029.07	c Restart #4 #Var: 82017 LB: 0 @ 1028.7
1045.46	c Restart #5 #Var: 82012 LB: 0 @ 1045.1
1073.56	c Restart #6 #Var: 82012 LB: 0 @ 1073.2
1101.85	c Restart #7 #Var: 82012 LB: 0 @ 1101.5
1111.77	c Restart #8 #Var: 82012 LB: 0 @ 1111.4
1139.22	c Restart #9 #Var: 82012 LB: 0 @ 1138.8
1144.80	c Restart #10 #Var: 82012 LB: 0 @ 1144.4
1188.60	c Restart #11 #Var: 82010 LB: 0 @ 1188.2
1214.54	c Restart #12 #Var: 81991 LB: 0 @ 1214.1
1263.73	c Restart #13 #Var: 81986 LB: 0 @ 1263.3
1292.78	c Restart #14 #Var: 81982 LB: 0 @ 1292.4
1348.82	c Restart #15 #Var: 81968 LB: 0 @ 1348.4
1380.88	c Restart #16 #Var: 81968 LB: 0 @ 1380.4
1405.05	c Restart #17 #Var: 81968 LB: 0 @ 1404.6
1424.26	c Restart #18 #Var: 81968 LB: 0 @ 1423.8
1458.20	c Restart #19 #Var: 81960 LB: 0 @ 1457.7
1482.03	c Restart #20 #Var: 81960 LB: 0 @ 1481.6
1594.05	c Restart #21 #Var: 81960 LB: 0 @ 1593.5
1659.50	c Restart #22 #Var: 81960 LB: 0 @ 1659
1717.96	c Restart #23 #Var: 81956 LB: 0 @ 1717.4
1800.56	s UNKNOWN
1800.56	c Exit Code: 0
1800.56	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/node63/watcher-39713-1149236506 -o ROOT/results/node63/solver-39713-1149236506 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/39713-1149236506/instance-39713-1149236506.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.93 0.90 2/64 11440
/proc/meminfo: memFree=1462248/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=2900 CPUtime=0
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 189217820 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970404 0 0 4096 0 0 0 0 17 1 0 0
/proc/11440/statm: 725 27 19 55 0 38 0

[startup+10.0016 s]
/proc/loadavg: 0.86 0.93 0.90 2/64 11440
/proc/meminfo: memFree=1371304/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=95516 CPUtime=9.9
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 1382319 0 0 0 620 370 0 0 25 0 1 0 189217820 97808384 23025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 23879 23031 312 55 0 22771 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 95516

[startup+20.0076 s]
/proc/loadavg: 0.88 0.93 0.90 2/64 11440
/proc/meminfo: memFree=1330608/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=137040 CPUtime=19.9
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3131137 0 0 0 1127 863 0 0 25 0 1 0 189217820 140328960 33250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 34260 33251 281 55 0 33152 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 137040

[startup+30.0137 s]
/proc/loadavg: 0.90 0.94 0.90 2/64 11440
/proc/meminfo: memFree=1257904/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212256 CPUtime=29.91
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3496889 0 0 0 1994 997 0 0 25 0 1 0 189217820 217350144 51398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53064 51398 300 55 0 51956 0
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 212256

[startup+40.0197 s]
/proc/loadavg: 0.91 0.94 0.90 2/64 11440
/proc/meminfo: memFree=1257840/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212388 CPUtime=39.91
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3496922 0 0 0 2993 998 0 0 25 0 1 0 189217820 217485312 51431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53097 51431 300 55 0 51989 0
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 212388

[startup+50.0258 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 11440
/proc/meminfo: memFree=1257840/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212388 CPUtime=49.91
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3496938 0 0 0 3993 998 0 0 25 0 1 0 189217820 217485312 51447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53097 51447 300 55 0 51989 0
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (Kb) 212388

[startup+60.0319 s]
/proc/loadavg: 0.94 0.94 0.91 2/64 11440
/proc/meminfo: memFree=1257712/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212520 CPUtime=59.92
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3496965 0 0 0 4993 999 0 0 25 0 1 0 189217820 217620480 51474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53130 51474 300 55 0 52022 0
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 212520

[startup+70.038 s]
/proc/loadavg: 0.95 0.94 0.91 2/64 11440
/proc/meminfo: memFree=1257648/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212520 CPUtime=69.92
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3496977 0 0 0 5993 999 0 0 25 0 1 0 189217820 217620480 51486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53130 51486 300 55 0 52022 0
Current children cumulated CPU time (s) 69.92
Current children cumulated vsize (Kb) 212520

[startup+80.044 s]
/proc/loadavg: 0.95 0.94 0.91 2/64 11440
/proc/meminfo: memFree=1257520/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212652 CPUtime=79.93
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497005 0 0 0 6993 1000 0 0 25 0 1 0 189217820 217755648 51514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53163 51514 300 55 0 52055 0
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 212652

[startup+90.0501 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1257456/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212784 CPUtime=89.93
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497041 0 0 0 7993 1000 0 0 25 0 1 0 189217820 217890816 51550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53196 51550 300 55 0 52088 0
Current children cumulated CPU time (s) 89.93
Current children cumulated vsize (Kb) 212784

[startup+100.056 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1257264/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=212916 CPUtime=99.94
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497081 0 0 0 8993 1001 0 0 25 0 1 0 189217820 218025984 51590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53229 51590 300 55 0 52121 0
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 212916

[startup+110.062 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1257008/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=213312 CPUtime=109.93
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497154 0 0 0 9992 1001 0 0 25 0 1 0 189217820 218431488 51663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53328 51663 300 55 0 52220 0
Current children cumulated CPU time (s) 109.93
Current children cumulated vsize (Kb) 213312

[startup+120.068 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1256688/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=213576 CPUtime=119.94
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497228 0 0 0 10992 1002 0 0 25 0 1 0 189217820 218701824 51737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53394 51737 300 55 0 52286 0
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 213576

[startup+130.073 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1256496/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=213708 CPUtime=129.94
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497273 0 0 0 11991 1003 0 0 25 0 1 0 189217820 218836992 51782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53427 51782 300 55 0 52319 0
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 213708

[startup+140.079 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1256368/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=213840 CPUtime=139.94
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497301 0 0 0 12991 1003 0 0 25 0 1 0 189217820 218972160 51810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53460 51810 300 55 0 52352 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 213840

[startup+150.086 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1256176/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=213972 CPUtime=149.95
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497345 0 0 0 13990 1005 0 0 25 0 1 0 189217820 219107328 51854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53493 51854 300 55 0 52385 0
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 213972

[startup+160.092 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1255728/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=214500 CPUtime=159.95
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497453 0 0 0 14989 1006 0 0 25 0 1 0 189217820 219648000 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53625 51962 300 55 0 52517 0
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 214500

[startup+170.098 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1254704/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=215556 CPUtime=169.96
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3497717 0 0 0 15988 1008 0 0 25 0 1 0 189217820 220729344 52226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 53889 52226 300 55 0 52781 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 215556

[startup+180.104 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1252592/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=217668 CPUtime=179.96
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3498245 0 0 0 16987 1009 0 0 25 0 1 0 189217820 222892032 52754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 54417 52754 300 55 0 53309 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 217668

[startup+190.109 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 11440
/proc/meminfo: memFree=1249136/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=221100 CPUtime=189.96
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3499099 0 0 0 17986 1010 0 0 25 0 1 0 189217820 226406400 53608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 55275 53608 300 55 0 54167 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 221100

[startup+200.115 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 11440
/proc/meminfo: memFree=1249008/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=221232 CPUtime=199.96
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3499134 0 0 0 18986 1010 0 0 25 0 1 0 189217820 226541568 53643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 55308 53643 300 55 0 54200 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 221232

[startup+210.121 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 11440
/proc/meminfo: memFree=1248880/2055920 swapFree=4182328/4192956

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

/proc/11440/statm: 69537 67887 300 55 0 68429 0
Current children cumulated CPU time (s) 1760.49
Current children cumulated vsize (Kb) 278148

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1191408/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278412 CPUtime=1770.5
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513777 0 0 0 175996 1054 0 0 25 0 1 0 189217820 285093888 67956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69603 67956 300 55 0 68495 0
Current children cumulated CPU time (s) 1770.5
Current children cumulated vsize (Kb) 278412

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1191152/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278672 CPUtime=1780.5
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513844 0 0 0 176996 1054 0 0 25 0 1 0 189217820 285360128 68023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69668 68023 300 55 0 68560 0
Current children cumulated CPU time (s) 1780.5
Current children cumulated vsize (Kb) 278672

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1191088/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278804 CPUtime=1781.5
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513855 0 0 0 177096 1054 0 0 25 0 1 0 189217820 285495296 68034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69701 68034 300 55 0 68593 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (Kb) 278804

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1191088/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278804 CPUtime=1782.51
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513870 0 0 0 177197 1054 0 0 25 0 1 0 189217820 285495296 68049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69701 68049 300 55 0 68593 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (Kb) 278804

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1191088/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278804 CPUtime=1783.51
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513874 0 0 0 177297 1054 0 0 25 0 1 0 189217820 285495296 68053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69701 68053 300 55 0 68593 0
Current children cumulated CPU time (s) 1783.51
Current children cumulated vsize (Kb) 278804

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1191024/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278936 CPUtime=1784.52
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513884 0 0 0 177398 1054 0 0 25 0 1 0 189217820 285630464 68063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69734 68063 300 55 0 68626 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 278936

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1191024/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278936 CPUtime=1785.52
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513893 0 0 0 177498 1054 0 0 25 0 1 0 189217820 285630464 68072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69734 68072 300 55 0 68626 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (Kb) 278936

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190960/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278936 CPUtime=1786.53
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513906 0 0 0 177599 1054 0 0 25 0 1 0 189217820 285630464 68085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69734 68085 300 55 0 68626 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 278936

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190960/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=278936 CPUtime=1787.53
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513910 0 0 0 177699 1054 0 0 25 0 1 0 189217820 285630464 68089 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69734 68089 300 55 0 68626 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 278936

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190896/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279068 CPUtime=1788.54
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513920 0 0 0 177800 1054 0 0 25 0 1 0 189217820 285765632 68099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69767 68099 300 55 0 68659 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 279068

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190896/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279068 CPUtime=1789.54
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513924 0 0 0 177900 1054 0 0 25 0 1 0 189217820 285765632 68103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69767 68103 300 55 0 68659 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (Kb) 279068

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190832/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279068 CPUtime=1790.55
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513934 0 0 0 178001 1054 0 0 25 0 1 0 189217820 285765632 68113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69767 68113 300 55 0 68659 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 279068

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190832/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279068 CPUtime=1791.55
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513934 0 0 0 178101 1054 0 0 25 0 1 0 189217820 285765632 68113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69767 68113 300 55 0 68659 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (Kb) 279068

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190832/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279068 CPUtime=1792.56
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513945 0 0 0 178202 1054 0 0 25 0 1 0 189217820 285765632 68124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69767 68124 300 55 0 68659 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 279068

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190768/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279200 CPUtime=1793.56
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513949 0 0 0 178302 1054 0 0 25 0 1 0 189217820 285900800 68128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69800 68128 300 55 0 68692 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (Kb) 279200

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190768/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279200 CPUtime=1794.56
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513954 0 0 0 178402 1054 0 0 25 0 1 0 189217820 285900800 68133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69800 68133 300 55 0 68692 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (Kb) 279200

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190768/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279200 CPUtime=1795.57
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513955 0 0 0 178503 1054 0 0 25 0 1 0 189217820 285900800 68134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69800 68134 300 55 0 68692 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 279200

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190768/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279200 CPUtime=1796.57
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513963 0 0 0 178603 1054 0 0 25 0 1 0 189217820 285900800 68142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69800 68142 300 55 0 68692 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (Kb) 279200

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190704/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279200 CPUtime=1797.58
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513972 0 0 0 178704 1054 0 0 25 0 1 0 189217820 285900800 68151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69800 68151 300 55 0 68692 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 279200

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190640/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279200 CPUtime=1798.58
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513980 0 0 0 178804 1054 0 0 25 0 1 0 189217820 285900800 68159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69800 68159 300 55 0 68692 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 279200

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11442
/proc/meminfo: memFree=1190640/2055920 swapFree=4182328/4192956
[pid=11440] ppid=11438 vsize=279332 CPUtime=1799.59
/proc/11440/stat : 11440 (bsolo) R 11438 11440 11395 0 -1 0 3513993 0 0 0 178905 1054 0 0 25 0 1 0 189217820 286035968 68172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11440/statm: 69833 68172 300 55 0 68725 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 279332

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1789.45
CPU system time (s): 10.5924
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (Kb): 279332

Launcher Data (download as text)

Begin job on node63 on Fri Jun  2 08:21:47 UTC 2006


FILE ID= 39713-1149236506

PBS_JOBID= 297018

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  1785d65de493315a1e7654bb7aab8248

RANDOM SEED= 597108759


/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.228
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.228
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:       1462584 kB
Buffers:         36188 kB
Cached:         481188 kB
SwapCached:       2824 kB
Active:         119492 kB
Inactive:       407092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1462584 kB
SwapTotal:     4192956 kB
SwapFree:      4182328 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:          15864 kB
Slab:            52672 kB
Committed_AS:   224692 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 node63 on Fri Jun  2 08:51:47 UTC 2006