Trace number 39680

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-fpga14_13_sat_pb.cnf.cr.opb
MD5SUMc93baf194c905dcd2c2597569ae179ef
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.003998
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables273
Total number of constraints222
Number of constraints which are clauses195
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint14
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 15
Number of bits of the biggest sum of numbers4
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.02	c Initial problem consists of 273 variables and 222 constraints.
0.02	c Using non-optimization problem switches.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.021
0.02	c After prepocess the problem consists of 273 variables and 222 constraints.
0.04	c Restart #1 #Var: 273 LB: 0 @ 0.037
0.06	c Restart #2 #Var: 273 LB: 0 @ 0.058
0.10	c Restart #3 #Var: 273 LB: 0 @ 0.093
0.17	c Restart #4 #Var: 273 LB: 0 @ 0.165
0.27	c Restart #5 #Var: 273 LB: 0 @ 0.264
0.39	c Restart #6 #Var: 273 LB: 0 @ 0.386
0.58	c Restart #7 #Var: 273 LB: 0 @ 0.574
0.83	c Restart #8 #Var: 273 LB: 0 @ 0.823
1.12	c Restart #9 #Var: 273 LB: 0 @ 1.113
1.45	c Restart #10 #Var: 273 LB: 0 @ 1.447
1.93	c Restart #11 #Var: 273 LB: 0 @ 1.921
2.51	c Restart #12 #Var: 273 LB: 0 @ 2.501
3.20	c Restart #13 #Var: 273 LB: 0 @ 3.193
4.40	c Restart #14 #Var: 273 LB: 0 @ 4.394
5.35	c Restart #15 #Var: 273 LB: 0 @ 5.343
7.46	c Restart #16 #Var: 273 LB: 0 @ 7.451
8.08	c Restart #17 #Var: 273 LB: 0 @ 8.07
10.27	c Restart #18 #Var: 273 LB: 0 @ 10.259
12.14	c Restart #19 #Var: 273 LB: 0 @ 12.134
14.31	c Restart #20 #Var: 273 LB: 0 @ 14.299
17.22	c Restart #21 #Var: 273 LB: 0 @ 17.205
20.86	c Restart #22 #Var: 273 LB: 0 @ 20.851
26.54	c Restart #23 #Var: 273 LB: 0 @ 26.53
37.76	c Restart #24 #Var: 273 LB: 0 @ 37.741
45.32	c Restart #25 #Var: 273 LB: 0 @ 45.3
54.94	c Restart #26 #Var: 273 LB: 0 @ 54.915
67.56	c Restart #27 #Var: 273 LB: 0 @ 67.534
76.26	c Restart #28 #Var: 273 LB: 0 @ 76.23
90.93	c Restart #29 #Var: 273 LB: 0 @ 90.899
96.20	c Restart #30 #Var: 273 LB: 0 @ 96.167
103.13	c Restart #31 #Var: 273 LB: 0 @ 103.09
111.09	c Restart #32 #Var: 273 LB: 0 @ 111.05
129.39	c Restart #33 #Var: 273 LB: 0 @ 129.34
139.92	c Restart #34 #Var: 273 LB: 0 @ 139.87
147.03	c Restart #35 #Var: 273 LB: 0 @ 146.99
158.48	c Restart #36 #Var: 273 LB: 0 @ 158.43
172.55	c Restart #37 #Var: 273 LB: 0 @ 172.5
190.64	c Restart #38 #Var: 273 LB: 0 @ 190.58
226.51	c Restart #39 #Var: 273 LB: 0 @ 226.44
243.19	c Restart #40 #Var: 273 LB: 0 @ 243.11
266.19	c Restart #41 #Var: 273 LB: 0 @ 266.11
289.67	c Restart #42 #Var: 273 LB: 0 @ 289.58
319.84	c Restart #43 #Var: 273 LB: 0 @ 319.74
368.69	c Restart #44 #Var: 273 LB: 0 @ 368.58
411.13	c Restart #45 #Var: 273 LB: 0 @ 411.01
446.92	c Restart #46 #Var: 273 LB: 0 @ 446.79
482.11	c Restart #47 #Var: 273 LB: 0 @ 481.97
517.14	c Restart #48 #Var: 273 LB: 0 @ 516.99
573.15	c Restart #49 #Var: 273 LB: 0 @ 572.99
625.21	c Restart #50 #Var: 273 LB: 0 @ 625.03
672.54	c Restart #51 #Var: 273 LB: 0 @ 672.35
721.94	c Restart #52 #Var: 273 LB: 0 @ 721.74
766.93	c Restart #53 #Var: 273 LB: 0 @ 766.71
825.19	c Restart #54 #Var: 273 LB: 0 @ 824.96
876.73	c Restart #55 #Var: 273 LB: 0 @ 876.49
939.84	c CHANGE Heuristic... 
939.84	c Restart #0 #Var: 273 LB: 0 @ 939.58
941.18	c Restart #1 #Var: 273 LB: 0 @ 940.92
949.04	c Restart #2 #Var: 273 LB: 0 @ 948.77
959.95	c Restart #3 #Var: 273 LB: 0 @ 959.68
973.41	c Restart #4 #Var: 273 LB: 0 @ 973.14
990.86	c Restart #5 #Var: 273 LB: 0 @ 990.58
992.26	c Restart #6 #Var: 273 LB: 0 @ 991.98
1012.16	c Restart #7 #Var: 273 LB: 0 @ 1011.9
1033.38	c Restart #8 #Var: 273 LB: 0 @ 1033.1
1052.51	c Restart #9 #Var: 273 LB: 0 @ 1052.2
1073.90	c Restart #10 #Var: 273 LB: 0 @ 1073.6
1091.91	c Restart #11 #Var: 273 LB: 0 @ 1091.6
1117.50	c Restart #12 #Var: 273 LB: 0 @ 1117.2
1135.40	c Restart #13 #Var: 273 LB: 0 @ 1135.1
1144.73	c Restart #14 #Var: 273 LB: 0 @ 1144.4
1151.38	c Restart #15 #Var: 273 LB: 0 @ 1151.1
1180.85	c Restart #16 #Var: 273 LB: 0 @ 1180.5
1202.29	c Restart #17 #Var: 273 LB: 0 @ 1202
1232.07	c Restart #18 #Var: 273 LB: 0 @ 1231.7
1262.19	c Restart #19 #Var: 273 LB: 0 @ 1261.8
1281.07	c Restart #20 #Var: 273 LB: 0 @ 1280.7
1312.97	c Restart #21 #Var: 273 LB: 0 @ 1312.6
1347.45	c Restart #22 #Var: 273 LB: 0 @ 1347.1
1381.51	c Restart #23 #Var: 273 LB: 0 @ 1381.1
1413.80	c Restart #24 #Var: 273 LB: 0 @ 1413.4
1466.21	c Restart #25 #Var: 273 LB: 0 @ 1465.8
1504.72	c Restart #26 #Var: 273 LB: 0 @ 1504.3
1533.82	c Restart #27 #Var: 273 LB: 0 @ 1533.4
1577.44	c Restart #28 #Var: 273 LB: 0 @ 1577
1627.35	c Restart #29 #Var: 273 LB: 0 @ 1626.9
1670.04	c Restart #30 #Var: 273 LB: 0 @ 1669.6
1728.40	c Restart #31 #Var: 273 LB: 0 @ 1727.9
1774.08	c Restart #32 #Var: 273 LB: 0 @ 1773.6
1800.51	s UNKNOWN
1800.51	c Exit Code: 0
1800.51	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/node85/watcher-39680-1149232747 -o ROOT/results/node85/solver-39680-1149232747 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node85/39680-1149232747/instance-39680-1149232747.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/68 10749
/proc/meminfo: memFree=1604872/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=4672 CPUtime=0
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 154 0 0 0 0 0 0 0 18 0 1 0 188914006 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11705652 0 0 4096 0 0 0 0 17 1 0 0
/proc/10749/statm: 1168 136 106 55 0 46 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.90 2/68 10749
/proc/meminfo: memFree=1577608/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=32048 CPUtime=9.98
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 7264 0 0 0 990 8 0 0 25 0 1 0 188914006 32817152 7180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 8012 7180 294 55 0 6903 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 32048

[startup+20.0086 s]
/proc/loadavg: 0.94 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1559496/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=50216 CPUtime=19.99
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 11783 0 0 0 1986 13 0 0 25 0 1 0 188914006 51421184 11697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 12554 11697 294 55 0 11445 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 50216

[startup+30.0148 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1551688/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=58200 CPUtime=29.99
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 13735 0 0 0 2983 16 0 0 25 0 1 0 188914006 59596800 13647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 14550 13647 294 55 0 13441 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 58200

[startup+40.021 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1546440/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=63516 CPUtime=40
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 15043 0 0 0 3981 19 0 0 25 0 1 0 188914006 65040384 14953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 15879 14953 294 55 0 14770 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 63516

[startup+50.0271 s]
/proc/loadavg: 0.96 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1541384/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=68532 CPUtime=50
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 16300 0 0 0 4979 21 0 0 25 0 1 0 188914006 70176768 16210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 17133 16210 294 55 0 16024 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 68532

[startup+60.0333 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1538184/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=71736 CPUtime=60
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 17103 0 0 0 5977 23 0 0 25 0 1 0 188914006 73457664 17011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 17934 17011 294 55 0 16825 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 71736

[startup+70.0394 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1534728/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=75316 CPUtime=70
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 17967 0 0 0 6975 25 0 0 25 0 1 0 188914006 77123584 17873 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 18829 17873 294 55 0 17720 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 75316

[startup+80.0456 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1529928/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=80124 CPUtime=80
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 19159 0 0 0 7973 27 0 0 25 0 1 0 188914006 82046976 19063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 20031 19063 294 55 0 18922 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 80124

[startup+90.0518 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1525320/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=84692 CPUtime=90.01
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 20308 0 0 0 8972 29 0 0 25 0 1 0 188914006 86724608 20207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 21173 20207 294 55 0 20064 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 84692

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1515848/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=94428 CPUtime=100.02
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 22688 0 0 0 9970 32 0 0 25 0 1 0 188914006 96694272 22581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 23607 22581 294 55 0 22498 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 94428

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 10749
/proc/meminfo: memFree=1505736/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=104720 CPUtime=110.02
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 25204 0 0 0 10967 35 0 0 25 0 1 0 188914006 107233280 25095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 26180 25095 294 55 0 25071 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 104720

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1500424/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=110172 CPUtime=120.02
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 26542 0 0 0 11966 36 0 0 25 0 1 0 188914006 112816128 26422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 27543 26422 294 55 0 26434 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 110172

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1495112/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=115588 CPUtime=130.02
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 27877 0 0 0 12964 38 0 0 25 0 1 0 188914006 118362112 27751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 28897 27751 294 55 0 27788 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 115588

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1487048/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=123716 CPUtime=140.03
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 29889 0 0 0 13961 42 0 0 25 0 1 0 188914006 126685184 29759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 30929 29759 294 55 0 29820 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 123716

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1477832/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=132884 CPUtime=150.03
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 32190 0 0 0 14957 46 0 0 25 0 1 0 188914006 136073216 32056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 33221 32056 294 55 0 32112 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 132884

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1469704/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=141256 CPUtime=160.04
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 34234 0 0 0 15956 48 0 0 25 0 1 0 188914006 144646144 34092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 35314 34092 294 55 0 34205 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 141256

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1463176/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=147596 CPUtime=170.04
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 35851 0 0 0 16953 51 0 0 25 0 1 0 188914006 151138304 35709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 36899 35709 294 55 0 35790 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 147596

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1458056/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=152984 CPUtime=180.05
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 37133 0 0 0 17952 53 0 0 25 0 1 0 188914006 156655616 36983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 38246 36983 294 55 0 37137 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 152984

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1452168/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=158984 CPUtime=190.04
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 38626 0 0 0 18950 54 0 0 25 0 1 0 188914006 162799616 38470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 39746 38470 294 55 0 38637 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 158984

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1449928/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=161396 CPUtime=200.05
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 39187 0 0 0 19949 56 0 0 25 0 1 0 188914006 165269504 39029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 40349 39029 294 55 0 39240 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 161396

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 10749
/proc/meminfo: memFree=1446984/2055892 swapFree=4085348/4096564

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

/proc/10749/statm: 123659 120088 294 55 0 122550 0
Current children cumulated CPU time (s) 1760.58
Current children cumulated vsize (Kb) 494636

[startup+1771.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1123208/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=496220 CPUtime=1770.59
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 122742 0 0 0 176881 178 0 0 25 0 1 0 188914006 508129280 120462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124055 120462 294 55 0 122946 0
Current children cumulated CPU time (s) 1770.59
Current children cumulated vsize (Kb) 496220

[startup+1781.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1121672/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=497860 CPUtime=1780.58
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123214 0 0 0 177880 178 0 0 25 0 1 0 188914006 509808640 120852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124465 120852 294 55 0 123356 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (Kb) 497860

[startup+1782.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1121352/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=498124 CPUtime=1781.59
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123284 0 0 0 177981 178 0 0 25 0 1 0 188914006 510078976 120922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124531 120922 294 55 0 123422 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (Kb) 498124

[startup+1783.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1121160/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=498388 CPUtime=1782.6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123342 0 0 0 178081 179 0 0 25 0 1 0 188914006 510349312 120980 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124597 120980 294 55 0 123488 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 498388

[startup+1784.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1120904/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=498652 CPUtime=1783.61
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123408 0 0 0 178182 179 0 0 25 0 1 0 188914006 510619648 121046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124663 121046 294 55 0 123554 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 498652

[startup+1785.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1120712/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=498784 CPUtime=1784.61
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123445 0 0 0 178282 179 0 0 25 0 1 0 188914006 510754816 121083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124696 121083 294 55 0 123587 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (Kb) 498784

[startup+1786.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1120648/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=498784 CPUtime=1785.61
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123460 0 0 0 178382 179 0 0 25 0 1 0 188914006 510754816 121098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124696 121098 294 55 0 123587 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (Kb) 498784

[startup+1787.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1120328/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=499180 CPUtime=1786.62
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123547 0 0 0 178483 179 0 0 25 0 1 0 188914006 511160320 121185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124795 121185 294 55 0 123686 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 499180

[startup+1788.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1120072/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=499444 CPUtime=1787.62
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123610 0 0 0 178583 179 0 0 25 0 1 0 188914006 511430656 121248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124861 121248 294 55 0 123752 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 499444

[startup+1789.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1119688/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=499708 CPUtime=1788.62
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123704 0 0 0 178683 179 0 0 25 0 1 0 188914006 511700992 121342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124927 121342 294 55 0 123818 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 499708

[startup+1790.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1119496/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=499972 CPUtime=1789.63
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123758 0 0 0 178784 179 0 0 25 0 1 0 188914006 511971328 121396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 124993 121396 294 55 0 123884 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (Kb) 499972

[startup+1791.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1119304/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=500104 CPUtime=1790.63
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123804 0 0 0 178884 179 0 0 25 0 1 0 188914006 512106496 121442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125026 121442 294 55 0 123917 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (Kb) 500104

[startup+1792.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1118984/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=500500 CPUtime=1791.63
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123888 0 0 0 178984 179 0 0 25 0 1 0 188914006 512512000 121526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125125 121526 294 55 0 124016 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 500500

[startup+1793.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1118600/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=500764 CPUtime=1792.64
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123977 0 0 0 179085 179 0 0 25 0 1 0 188914006 512782336 121615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125191 121615 294 55 0 124082 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 500764

[startup+1794.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1118280/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=501160 CPUtime=1793.64
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124057 0 0 0 179185 179 0 0 25 0 1 0 188914006 513187840 121695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125290 121695 294 55 0 124181 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 501160

[startup+1795.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1117960/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=501424 CPUtime=1794.65
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124136 0 0 0 179286 179 0 0 25 0 1 0 188914006 513458176 121774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125356 121774 294 55 0 124247 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 501424

[startup+1796.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1117768/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=501688 CPUtime=1795.65
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124191 0 0 0 179386 179 0 0 25 0 1 0 188914006 513728512 121829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125422 121829 294 55 0 124313 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 501688

[startup+1797.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1117512/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=501952 CPUtime=1796.66
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124257 0 0 0 179487 179 0 0 25 0 1 0 188914006 513998848 121895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548426 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125488 121895 294 55 0 124379 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 501952

[startup+1798.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1117384/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=502084 CPUtime=1797.67
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124288 0 0 0 179587 180 0 0 25 0 1 0 188914006 514134016 121926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125521 121926 294 55 0 124412 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (Kb) 502084

[startup+1799.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1117128/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=502216 CPUtime=1798.67
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124345 0 0 0 179687 180 0 0 25 0 1 0 188914006 514269184 121983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125554 121983 294 55 0 124445 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 502216

[startup+1800.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/68 10751
/proc/meminfo: memFree=1116936/2055892 swapFree=4085348/4096564
[pid=10749] ppid=10747 vsize=502480 CPUtime=1799.68
/proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124392 0 0 0 179788 180 0 0 25 0 1 0 188914006 514539520 122030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10749/statm: 125620 122030 294 55 0 124511 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 502480

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.09
CPU user time (s): 1798.21
CPU system time (s): 1.87671
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (Kb): 502480

Launcher Data (download as text)

Begin job on node85 on Fri Jun  2 07:19:08 UTC 2006


FILE ID= 39680-1149232747

PBS_JOBID= 296589

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c93baf194c905dcd2c2597569ae179ef

RANDOM SEED= 80528408


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1605272 kB
Buffers:         29344 kB
Cached:         345820 kB
SwapCached:       2508 kB
Active:          39496 kB
Inactive:       344440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1605272 kB
SwapTotal:     4096564 kB
SwapFree:      4085348 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          16748 kB
Slab:            53292 kB
Committed_AS:   221084 kB
PageTables:       1292 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node85 on Fri Jun  2 07:49:09 UTC 2006