Trace number 39675

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.09 1800.59

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
MD5SUM6121557b87a2568662d113be465279a2
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.004999
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables338
Total number of constraints270
Number of constraints which are clauses240
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
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.01	c INFO: OSL Context initialized.
0.03	c Initial problem consists of 338 variables and 270 constraints.
0.03	c Using non-optimization problem switches.
0.03	c No problem reductions applied in OPT. instance.
0.03	c	preprocess terminated. Elapsed time: 0.02
0.03	c After prepocess the problem consists of 338 variables and 270 constraints.
0.04	c Restart #1 #Var: 338 LB: 0 @ 0.032
0.07	c Restart #2 #Var: 338 LB: 0 @ 0.06
0.12	c Restart #3 #Var: 338 LB: 0 @ 0.111
0.21	c Restart #4 #Var: 338 LB: 0 @ 0.199
0.33	c Restart #5 #Var: 338 LB: 0 @ 0.317
0.52	c Restart #6 #Var: 338 LB: 0 @ 0.51
0.79	c Restart #7 #Var: 338 LB: 0 @ 0.784
1.22	c Restart #8 #Var: 338 LB: 0 @ 1.213
1.74	c Restart #9 #Var: 338 LB: 0 @ 1.734
2.30	c Restart #10 #Var: 338 LB: 0 @ 2.289
3.67	c Restart #11 #Var: 338 LB: 0 @ 3.663
4.67	c Restart #12 #Var: 338 LB: 0 @ 4.663
6.55	c Restart #13 #Var: 338 LB: 0 @ 6.539
8.22	c Restart #14 #Var: 338 LB: 0 @ 8.211
10.71	c Restart #15 #Var: 338 LB: 0 @ 10.693
12.45	c Restart #16 #Var: 338 LB: 0 @ 12.433
15.03	c Restart #17 #Var: 338 LB: 0 @ 15.012
18.17	c Restart #18 #Var: 338 LB: 0 @ 18.155
23.23	c Restart #19 #Var: 338 LB: 0 @ 23.213
29.09	c Restart #20 #Var: 338 LB: 0 @ 29.065
36.64	c Restart #21 #Var: 338 LB: 0 @ 36.612
41.65	c Restart #22 #Var: 338 LB: 0 @ 41.624
49.07	c Restart #23 #Var: 338 LB: 0 @ 49.046
62.97	c Restart #24 #Var: 338 LB: 0 @ 62.94
71.81	c Restart #25 #Var: 338 LB: 0 @ 71.78
85.68	c Restart #26 #Var: 338 LB: 0 @ 85.642
103.77	c Restart #27 #Var: 338 LB: 0 @ 103.72
119.63	c Restart #28 #Var: 338 LB: 0 @ 119.58
126.72	c Restart #29 #Var: 338 LB: 0 @ 126.67
140.83	c Restart #30 #Var: 338 LB: 0 @ 140.78
157.09	c Restart #31 #Var: 338 LB: 0 @ 157.03
174.29	c Restart #32 #Var: 338 LB: 0 @ 174.23
183.91	c Restart #33 #Var: 338 LB: 0 @ 183.85
201.81	c Restart #34 #Var: 338 LB: 0 @ 201.75
220.69	c Restart #35 #Var: 338 LB: 0 @ 220.62
240.99	c Restart #36 #Var: 338 LB: 0 @ 240.91
267.31	c Restart #37 #Var: 338 LB: 0 @ 267.22
304.02	c Restart #38 #Var: 338 LB: 0 @ 303.92
342.68	c Restart #39 #Var: 338 LB: 0 @ 342.58
392.88	c Restart #40 #Var: 338 LB: 0 @ 392.76
438.69	c Restart #41 #Var: 338 LB: 0 @ 438.56
479.12	c Restart #42 #Var: 338 LB: 0 @ 478.98
529.60	c Restart #43 #Var: 338 LB: 0 @ 529.45
608.61	c Restart #44 #Var: 338 LB: 0 @ 608.43
670.04	c Restart #45 #Var: 338 LB: 0 @ 669.85
713.30	c Restart #46 #Var: 338 LB: 0 @ 713.09
788.89	c Restart #47 #Var: 338 LB: 0 @ 788.67
872.40	c Restart #48 #Var: 338 LB: 0 @ 872.16
955.14	c CHANGE Heuristic... 
955.14	c Restart #0 #Var: 338 LB: 0 @ 954.88
957.67	c Restart #1 #Var: 338 LB: 0 @ 957.4
961.70	c Restart #2 #Var: 338 LB: 0 @ 961.44
967.19	c Restart #3 #Var: 338 LB: 0 @ 966.93
972.71	c Restart #4 #Var: 338 LB: 0 @ 972.44
979.25	c Restart #5 #Var: 338 LB: 0 @ 978.98
985.22	c Restart #6 #Var: 338 LB: 0 @ 984.95
992.70	c Restart #7 #Var: 338 LB: 0 @ 992.43
1001.94	c Restart #8 #Var: 338 LB: 0 @ 1001.7
1010.93	c Restart #9 #Var: 338 LB: 0 @ 1010.6
1020.05	c Restart #10 #Var: 338 LB: 0 @ 1019.8
1028.92	c Restart #11 #Var: 338 LB: 0 @ 1028.6
1039.50	c Restart #12 #Var: 338 LB: 0 @ 1039.2
1050.30	c Restart #13 #Var: 338 LB: 0 @ 1050
1062.55	c Restart #14 #Var: 338 LB: 0 @ 1062.3
1080.39	c Restart #15 #Var: 338 LB: 0 @ 1080.1
1098.97	c Restart #16 #Var: 338 LB: 0 @ 1098.7
1115.79	c Restart #17 #Var: 338 LB: 0 @ 1115.5
1136.62	c Restart #18 #Var: 338 LB: 0 @ 1136.3
1153.41	c Restart #19 #Var: 338 LB: 0 @ 1153.1
1172.07	c Restart #20 #Var: 338 LB: 0 @ 1171.7
1190.19	c Restart #21 #Var: 338 LB: 0 @ 1189.9
1211.40	c Restart #22 #Var: 338 LB: 0 @ 1211.1
1233.36	c Restart #23 #Var: 338 LB: 0 @ 1233
1255.70	c Restart #24 #Var: 338 LB: 0 @ 1255.4
1283.04	c Restart #25 #Var: 338 LB: 0 @ 1282.7
1308.78	c Restart #26 #Var: 338 LB: 0 @ 1308.4
1337.55	c Restart #27 #Var: 338 LB: 0 @ 1337.2
1378.75	c Restart #28 #Var: 338 LB: 0 @ 1378.4
1419.77	c Restart #29 #Var: 338 LB: 0 @ 1419.4
1460.37	c Restart #30 #Var: 338 LB: 0 @ 1460
1491.15	c Restart #31 #Var: 338 LB: 0 @ 1490.7
1548.20	c Restart #32 #Var: 338 LB: 0 @ 1547.8
1591.33	c Restart #33 #Var: 338 LB: 0 @ 1590.9
1637.33	c Restart #34 #Var: 338 LB: 0 @ 1636.9
1669.18	c Restart #35 #Var: 338 LB: 0 @ 1668.7
1707.32	c Restart #36 #Var: 338 LB: 0 @ 1706.9
1746.84	c Restart #37 #Var: 338 LB: 0 @ 1746.4
1795.74	c Restart #38 #Var: 338 LB: 0 @ 1795.3
1800.50	s UNKNOWN
1800.50	c Exit Code: 0
1800.50	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/node79/watcher-39675-1149232251 -o ROOT/results/node79/solver-39675-1149232251 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node79/39675-1149232251/instance-39675-1149232251.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.98 3/67 20674
/proc/meminfo: memFree=1474992/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=4672 CPUtime=0
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 120 0 0 0 0 0 0 0 19 0 1 0 188863711 4784128 103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2561248 0 0 4096 0 0 0 0 17 1 0 0
/proc/20674/statm: 1168 111 92 55 0 46 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1444144/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=35368 CPUtime=9.97
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 8076 0 0 0 991 6 0 0 25 0 1 0 188863711 36216832 7991 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20674/statm: 8842 7991 294 55 0 7733 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 35368

[startup+20.0081 s]
/proc/loadavg: 0.94 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1428400/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=51148 CPUtime=19.97
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 12025 0 0 0 1988 9 0 0 25 0 1 0 188863711 52375552 11938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 12787 11938 294 55 0 11678 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 51148

[startup+30.0141 s]
/proc/loadavg: 0.95 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1418608/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=61104 CPUtime=29.98
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 14472 0 0 0 2986 12 0 0 25 0 1 0 188863711 62570496 14384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 15276 14384 294 55 0 14167 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 61104

[startup+40.0202 s]
/proc/loadavg: 0.96 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1408176/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=71444 CPUtime=39.98
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 17063 0 0 0 3982 16 0 0 25 0 1 0 188863711 73158656 16974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 17861 16974 294 55 0 16752 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 71444

[startup+50.0263 s]
/proc/loadavg: 0.96 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1399216/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=80464 CPUtime=49.98
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 19301 0 0 0 4979 19 0 0 25 0 1 0 188863711 82395136 19210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 20116 19210 294 55 0 19007 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 80464

[startup+60.0314 s]
/proc/loadavg: 0.97 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1393840/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=85820 CPUtime=59.99
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 20651 0 0 0 5978 21 0 0 25 0 1 0 188863711 87879680 20557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 21455 20557 294 55 0 20346 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 85820

[startup+70.0375 s]
/proc/loadavg: 0.97 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1386352/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=93536 CPUtime=69.99
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 22514 0 0 0 6976 23 0 0 25 0 1 0 188863711 95780864 22417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 23384 22417 294 55 0 22275 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 93536

[startup+80.0436 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1382448/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=97576 CPUtime=80
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 23491 0 0 0 7976 24 0 0 25 0 1 0 188863711 99917824 23384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 24394 23384 294 55 0 23285 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 97576

[startup+90.0496 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1374832/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=105352 CPUtime=90
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 25395 0 0 0 8974 26 0 0 25 0 1 0 188863711 107880448 25285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 26338 25285 294 55 0 25229 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 105352

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1370544/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=109656 CPUtime=100
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 26472 0 0 0 9972 28 0 0 25 0 1 0 188863711 112287744 26360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 27414 26360 294 55 0 26305 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 109656

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1365360/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=114868 CPUtime=110
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 27771 0 0 0 10970 30 0 0 25 0 1 0 188863711 117624832 27651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 28717 27651 294 55 0 27608 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 114868

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1360496/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=119620 CPUtime=120.01
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 28984 0 0 0 11969 32 0 0 25 0 1 0 188863711 122490880 28864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 29905 28864 294 55 0 28796 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 119620

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1351408/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=128896 CPUtime=130.01
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 31254 0 0 0 12967 34 0 0 25 0 1 0 188863711 131989504 31131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 32224 31131 294 55 0 31115 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 128896

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1346608/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=133672 CPUtime=140.02
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 32454 0 0 0 13966 36 0 0 25 0 1 0 188863711 136880128 32331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 33418 32331 294 55 0 32309 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 133672

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1342384/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=137968 CPUtime=150.02
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 33500 0 0 0 14965 37 0 0 25 0 1 0 188863711 141279232 33374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 34492 33374 294 55 0 33383 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 137968

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1334640/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=145728 CPUtime=160.03
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 35430 0 0 0 15963 40 0 0 25 0 1 0 188863711 149225472 35303 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 36432 35303 294 55 0 35323 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 145728

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1330608/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=149888 CPUtime=170.03
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 36449 0 0 0 16961 42 0 0 25 0 1 0 188863711 153485312 36318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 37472 36318 294 55 0 36363 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 149888

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1321328/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=159140 CPUtime=180.03
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 38752 0 0 0 17958 45 0 0 25 0 1 0 188863711 162959360 38618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 39785 38618 294 55 0 38676 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 159140

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1315952/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=164744 CPUtime=190.03
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 40113 0 0 0 18956 47 0 0 25 0 1 0 188863711 168697856 39969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 41186 39969 294 55 0 40077 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 164744

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1309296/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=171408 CPUtime=200.04
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 41771 0 0 0 19954 50 0 0 25 0 1 0 188863711 175521792 41627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 42852 41627 294 55 0 41743 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 171408

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20674
/proc/meminfo: memFree=1305648/2055892 swapFree=4085424/4096564

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

/proc/20674/statm: 142488 139480 294 55 0 141379 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 569952

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=914224/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=572592 CPUtime=1770.56
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 140754 0 0 0 176865 191 0 0 25 0 1 0 188863711 586334208 140127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 143148 140127 294 55 0 142039 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 572592

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=911664/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=575100 CPUtime=1780.56
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141388 0 0 0 177864 192 0 0 25 0 1 0 188863711 588902400 140761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 143775 140761 294 55 0 142666 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 575100

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=911472/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=575232 CPUtime=1781.57
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141438 0 0 0 177965 192 0 0 25 0 1 0 188863711 589037568 140811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 143808 140812 294 55 0 142699 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 575232

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=911216/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=575496 CPUtime=1782.57
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141501 0 0 0 178065 192 0 0 25 0 1 0 188863711 589307904 140874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 143874 140874 294 55 0 142765 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 575496

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=911088/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=575628 CPUtime=1783.58
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141538 0 0 0 178166 192 0 0 25 0 1 0 188863711 589443072 140911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 143907 140911 294 55 0 142798 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 575628

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=910896/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=575892 CPUtime=1784.58
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141594 0 0 0 178266 192 0 0 25 0 1 0 188863711 589713408 140967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 143973 140967 294 55 0 142864 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 575892

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=910640/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=576188 CPUtime=1785.58
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141656 0 0 0 178366 192 0 0 25 0 1 0 188863711 590016512 141029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144047 141029 294 55 0 142938 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 576188

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=910320/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=576648 CPUtime=1786.59
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141737 0 0 0 178467 192 0 0 25 0 1 0 188863711 590487552 141101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144162 141101 294 55 0 143053 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 576648

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=910256/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=576648 CPUtime=1787.6
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141755 0 0 0 178567 193 0 0 25 0 1 0 188863711 590487552 141119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144162 141119 294 55 0 143053 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 576648

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=910000/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=576912 CPUtime=1788.6
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141814 0 0 0 178667 193 0 0 25 0 1 0 188863711 590757888 141178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144228 141178 294 55 0 143119 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 576912

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=909872/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=577044 CPUtime=1789.61
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141858 0 0 0 178768 193 0 0 25 0 1 0 188863711 590893056 141222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144261 141222 294 55 0 143152 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 577044

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=909680/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=577176 CPUtime=1790.61
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141896 0 0 0 178868 193 0 0 25 0 1 0 188863711 591028224 141259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144294 141259 294 55 0 143185 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 577176

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=909616/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=577308 CPUtime=1791.62
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141914 0 0 0 178969 193 0 0 25 0 1 0 188863711 591163392 141277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144327 141277 294 55 0 143218 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 577308

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=909552/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=577440 CPUtime=1792.62
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 141939 0 0 0 179069 193 0 0 25 0 1 0 188863711 591298560 141302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144360 141302 294 55 0 143251 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 577440

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=909168/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=577704 CPUtime=1793.62
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 142029 0 0 0 179169 193 0 0 25 0 1 0 188863711 591568896 141392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144426 141392 294 55 0 143317 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 577704

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=908848/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=578100 CPUtime=1794.63
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 142110 0 0 0 179270 193 0 0 25 0 1 0 188863711 591974400 141473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144525 141473 294 55 0 143416 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 578100

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=908528/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=578560 CPUtime=1795.63
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 142192 0 0 0 179370 193 0 0 25 0 1 0 188863711 592445440 141553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144640 141553 294 55 0 143531 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 578560

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=908464/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=578560 CPUtime=1796.63
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 142196 0 0 0 179470 193 0 0 25 0 1 0 188863711 592445440 141557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144640 141557 294 55 0 143531 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 578560

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=908400/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=578692 CPUtime=1797.64
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 142221 0 0 0 179571 193 0 0 25 0 1 0 188863711 592580608 141582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144673 141582 294 55 0 143564 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 578692

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=908272/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=578824 CPUtime=1798.64
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 142251 0 0 0 179671 193 0 0 25 0 1 0 188863711 592715776 141612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144706 141612 294 55 0 143597 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 578824

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 20676
/proc/meminfo: memFree=908080/2055892 swapFree=4085424/4096564
[pid=20674] ppid=20672 vsize=578956 CPUtime=1799.65
/proc/20674/stat : 20674 (bsolo) R 20672 20674 20629 0 -1 0 142294 0 0 0 179772 193 0 0 25 0 1 0 188863711 592850944 141655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20674/statm: 144739 141655 294 55 0 143630 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 578956

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.09
CPU user time (s): 1798.07
CPU system time (s): 2.02269
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (Kb): 578956

Launcher Data (download as text)

Begin job on node79 on Fri Jun  2 07:10:51 UTC 2006


FILE ID= 39675-1149232251

PBS_JOBID= 296526

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6121557b87a2568662d113be465279a2

RANDOM SEED= 936997021


/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.234
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	: 6006.18
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.234
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1475136 kB
Buffers:         25676 kB
Cached:         485656 kB
SwapCached:       2612 kB
Active:          88552 kB
Inactive:       431704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1475136 kB
SwapTotal:     4096564 kB
SwapFree:      4085424 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          16672 kB
Slab:            47128 kB
Committed_AS:   210232 kB
PageTables:       1304 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node79 on Fri Jun  2 07:40:52 UTC 2006