Trace number 39669

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.04 1800.71

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
MD5SUM75fcdbbba3eb42e13f634e02d36a6ee9
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 benchmark0.005998
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables840
Total number of constraints82
Number of constraints which are clauses42
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
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 22
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.02	c Initial problem consists of 840 variables and 82 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.017
0.03	c After prepocess the problem consists of 840 variables and 82 constraints.
0.04	c Restart #1 #Var: 840 LB: 0 @ 0.031
0.06	c Restart #2 #Var: 840 LB: 0 @ 0.053
0.12	c Restart #3 #Var: 840 LB: 0 @ 0.107
0.19	c Restart #4 #Var: 840 LB: 0 @ 0.185
0.31	c Restart #5 #Var: 840 LB: 0 @ 0.306
0.51	c Restart #6 #Var: 840 LB: 0 @ 0.501
0.74	c Restart #7 #Var: 840 LB: 0 @ 0.736
1.13	c Restart #8 #Var: 840 LB: 0 @ 1.117
1.58	c Restart #9 #Var: 840 LB: 0 @ 1.574
2.06	c Restart #10 #Var: 840 LB: 0 @ 2.049
2.67	c Restart #11 #Var: 840 LB: 0 @ 2.666
3.48	c Restart #12 #Var: 840 LB: 0 @ 3.466
4.30	c Restart #13 #Var: 840 LB: 0 @ 4.294
5.25	c Restart #14 #Var: 840 LB: 0 @ 5.241
6.63	c Restart #15 #Var: 840 LB: 0 @ 6.622
8.04	c Restart #16 #Var: 840 LB: 0 @ 8.025
9.60	c Restart #17 #Var: 840 LB: 0 @ 9.584
11.30	c Restart #18 #Var: 840 LB: 0 @ 11.282
13.08	c Restart #19 #Var: 840 LB: 0 @ 13.063
15.27	c Restart #20 #Var: 840 LB: 0 @ 15.258
17.27	c Restart #21 #Var: 840 LB: 0 @ 17.257
20.21	c Restart #22 #Var: 840 LB: 0 @ 20.196
24.52	c Restart #23 #Var: 840 LB: 0 @ 24.505
28.62	c Restart #24 #Var: 840 LB: 0 @ 28.603
32.67	c Restart #25 #Var: 840 LB: 0 @ 32.648
37.33	c Restart #26 #Var: 840 LB: 0 @ 37.313
42.11	c Restart #27 #Var: 840 LB: 0 @ 42.09
47.59	c Restart #28 #Var: 840 LB: 0 @ 47.569
52.65	c Restart #29 #Var: 840 LB: 0 @ 52.622
57.23	c Restart #30 #Var: 840 LB: 0 @ 57.206
63.55	c Restart #31 #Var: 840 LB: 0 @ 63.516
69.57	c Restart #32 #Var: 840 LB: 0 @ 69.535
76.42	c Restart #33 #Var: 840 LB: 0 @ 76.384
83.43	c Restart #34 #Var: 840 LB: 0 @ 83.391
91.11	c Restart #35 #Var: 840 LB: 0 @ 91.069
98.88	c Restart #36 #Var: 840 LB: 0 @ 98.836
108.13	c Restart #37 #Var: 840 LB: 0 @ 108.08
120.04	c Restart #38 #Var: 840 LB: 0 @ 119.99
131.68	c Restart #39 #Var: 840 LB: 0 @ 131.63
146.07	c Restart #40 #Var: 840 LB: 0 @ 146.02
158.53	c Restart #41 #Var: 840 LB: 0 @ 158.47
169.52	c Restart #42 #Var: 840 LB: 0 @ 169.46
181.75	c Restart #43 #Var: 840 LB: 0 @ 181.68
195.74	c Restart #44 #Var: 840 LB: 0 @ 195.67
214.37	c Restart #45 #Var: 840 LB: 0 @ 214.29
229.35	c Restart #46 #Var: 840 LB: 0 @ 229.27
242.19	c Restart #47 #Var: 840 LB: 0 @ 242.1
268.28	c Restart #48 #Var: 840 LB: 0 @ 268.19
284.01	c Restart #49 #Var: 840 LB: 0 @ 283.91
300.27	c Restart #50 #Var: 840 LB: 0 @ 300.16
316.13	c Restart #51 #Var: 840 LB: 0 @ 316.02
331.02	c Restart #52 #Var: 840 LB: 0 @ 330.9
349.86	c Restart #53 #Var: 840 LB: 0 @ 349.74
369.80	c Restart #54 #Var: 840 LB: 0 @ 369.67
393.66	c Restart #55 #Var: 840 LB: 0 @ 393.52
414.19	c Restart #56 #Var: 840 LB: 0 @ 414.05
445.18	c Restart #57 #Var: 840 LB: 0 @ 445.03
466.77	c Restart #58 #Var: 840 LB: 0 @ 466.61
488.39	c Restart #59 #Var: 840 LB: 0 @ 488.22
522.00	c Restart #60 #Var: 840 LB: 0 @ 521.83
542.19	c Restart #61 #Var: 840 LB: 0 @ 541.99
565.79	c Restart #62 #Var: 840 LB: 0 @ 565.52
590.36	c Restart #63 #Var: 840 LB: 0 @ 590.09
619.64	c Restart #64 #Var: 840 LB: 0 @ 619.36
646.42	c Restart #65 #Var: 840 LB: 0 @ 646.13
672.82	c Restart #66 #Var: 840 LB: 0 @ 672.52
719.06	c Restart #67 #Var: 840 LB: 0 @ 718.74
744.79	c Restart #68 #Var: 840 LB: 0 @ 744.47
771.52	c Restart #69 #Var: 840 LB: 0 @ 771.19
802.33	c Restart #70 #Var: 840 LB: 0 @ 801.99
833.30	c Restart #71 #Var: 840 LB: 0 @ 832.95
865.89	c Restart #72 #Var: 840 LB: 0 @ 865.53
919.54	c CHANGE Heuristic... 
919.54	c Restart #0 #Var: 840 LB: 0 @ 919.16
919.86	c Restart #1 #Var: 840 LB: 0 @ 919.48
920.63	c Restart #2 #Var: 840 LB: 0 @ 920.25
922.00	c Restart #3 #Var: 840 LB: 0 @ 921.62
923.35	c Restart #4 #Var: 840 LB: 0 @ 922.97
925.28	c Restart #5 #Var: 840 LB: 0 @ 924.9
927.53	c Restart #6 #Var: 840 LB: 0 @ 927.15
930.10	c Restart #7 #Var: 840 LB: 0 @ 929.72
933.35	c Restart #8 #Var: 840 LB: 0 @ 932.96
936.55	c Restart #9 #Var: 840 LB: 0 @ 936.16
940.75	c Restart #10 #Var: 840 LB: 0 @ 940.36
948.44	c Restart #11 #Var: 840 LB: 0 @ 948.06
952.75	c Restart #12 #Var: 840 LB: 0 @ 952.36
957.92	c Restart #13 #Var: 840 LB: 0 @ 957.53
963.20	c Restart #14 #Var: 840 LB: 0 @ 962.8
969.29	c Restart #15 #Var: 840 LB: 0 @ 968.9
976.03	c Restart #16 #Var: 840 LB: 0 @ 975.63
984.20	c Restart #17 #Var: 840 LB: 0 @ 983.8
993.72	c Restart #18 #Var: 840 LB: 0 @ 993.32
1002.36	c Restart #19 #Var: 840 LB: 0 @ 1002
1015.79	c Restart #20 #Var: 840 LB: 0 @ 1015.4
1030.01	c Restart #21 #Var: 840 LB: 0 @ 1029.6
1044.62	c Restart #22 #Var: 840 LB: 0 @ 1044.2
1059.59	c Restart #23 #Var: 840 LB: 0 @ 1059.2
1081.19	c Restart #24 #Var: 840 LB: 0 @ 1080.8
1097.55	c Restart #25 #Var: 840 LB: 0 @ 1097.1
1114.34	c Restart #26 #Var: 840 LB: 0 @ 1113.9
1128.76	c Restart #27 #Var: 840 LB: 0 @ 1128.3
1147.55	c Restart #28 #Var: 840 LB: 0 @ 1147.1
1166.38	c Restart #29 #Var: 840 LB: 0 @ 1165.9
1185.56	c Restart #30 #Var: 840 LB: 0 @ 1185.1
1203.64	c Restart #31 #Var: 840 LB: 0 @ 1203.2
1230.49	c Restart #32 #Var: 840 LB: 0 @ 1230
1250.98	c Restart #33 #Var: 840 LB: 0 @ 1250.5
1277.94	c Restart #34 #Var: 840 LB: 0 @ 1277.4
1300.91	c Restart #35 #Var: 840 LB: 0 @ 1300.4
1323.79	c Restart #36 #Var: 840 LB: 0 @ 1323.3
1347.35	c Restart #37 #Var: 840 LB: 0 @ 1346.8
1375.51	c Restart #38 #Var: 840 LB: 0 @ 1375
1411.26	c Restart #39 #Var: 840 LB: 0 @ 1410.7
1456.92	c Restart #40 #Var: 840 LB: 0 @ 1456.4
1485.32	c Restart #41 #Var: 840 LB: 0 @ 1484.8
1522.14	c Restart #42 #Var: 840 LB: 0 @ 1521.6
1554.37	c Restart #43 #Var: 840 LB: 0 @ 1553.8
1620.59	c Restart #44 #Var: 840 LB: 0 @ 1620
1661.26	c Restart #45 #Var: 840 LB: 0 @ 1660.6
1705.26	c Restart #46 #Var: 840 LB: 0 @ 1704.6
1772.41	c Restart #47 #Var: 840 LB: 0 @ 1771.8
1800.66	s UNKNOWN
1800.66	c Exit Code: 0
1800.66	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/node41/watcher-39669-1149231126 -o ROOT/results/node41/solver-39669-1149231126 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/39669-1149231126/instance-39669-1149231126.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.62 0.90 0.89 2/64 21018
/proc/meminfo: memFree=1237664/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=2900 CPUtime=0
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 188779188 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1962788 0 0 4096 0 0 0 0 17 1 0 0
/proc/21018/statm: 725 27 19 55 0 38 0

[startup+10.0014 s]
/proc/loadavg: 0.68 0.91 0.89 2/64 21018
/proc/meminfo: memFree=1213752/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=28324 CPUtime=9.98
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 6348 0 0 0 993 5 0 0 25 0 1 0 188779188 29003776 6263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 7081 6263 296 55 0 5973 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 28324

[startup+20.0071 s]
/proc/loadavg: 0.73 0.91 0.90 2/64 21018
/proc/meminfo: memFree=1205944/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=36256 CPUtime=19.98
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 8296 0 0 0 1990 8 0 0 25 0 1 0 188779188 37126144 8211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 9064 8211 296 55 0 7956 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 36256

[startup+30.0128 s]
/proc/loadavg: 0.77 0.91 0.90 2/64 21018
/proc/meminfo: memFree=1201720/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=40484 CPUtime=29.98
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 9352 0 0 0 2988 10 0 0 25 0 1 0 188779188 41455616 9267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 10121 9267 296 55 0 9013 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 40484

[startup+40.0184 s]
/proc/loadavg: 0.80 0.91 0.90 2/64 21018
/proc/meminfo: memFree=1199288/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=42992 CPUtime=39.98
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 9977 0 0 0 3987 11 0 0 25 0 1 0 188779188 44023808 9892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 10748 9892 296 55 0 9640 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 42992

[startup+50.0251 s]
/proc/loadavg: 0.83 0.92 0.90 2/64 21018
/proc/meminfo: memFree=1193080/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=49180 CPUtime=49.99
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 11527 0 0 0 4986 13 0 0 25 0 1 0 188779188 50360320 11442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 12295 11442 296 55 0 11187 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 49180

[startup+60.0318 s]
/proc/loadavg: 0.86 0.92 0.90 2/64 21018
/proc/meminfo: memFree=1187000/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=55396 CPUtime=59.99
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 13044 0 0 0 5984 15 0 0 25 0 1 0 188779188 56725504 12959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 13849 12959 296 55 0 12741 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 55396

[startup+70.0385 s]
/proc/loadavg: 0.88 0.92 0.90 2/64 21018
/proc/meminfo: memFree=1181624/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=60812 CPUtime=69.99
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 14388 0 0 0 6982 17 0 0 25 0 1 0 188779188 62271488 14301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 15203 14301 296 55 0 14095 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 60812

[startup+80.0452 s]
/proc/loadavg: 0.90 0.92 0.90 2/64 21018
/proc/meminfo: memFree=1177784/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=64648 CPUtime=80
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 15340 0 0 0 7981 19 0 0 25 0 1 0 188779188 66199552 15252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 16162 15252 296 55 0 15054 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 64648

[startup+90.0518 s]
/proc/loadavg: 0.91 0.92 0.90 2/64 21018
/proc/meminfo: memFree=1173752/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=68608 CPUtime=90.01
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 16344 0 0 0 8980 21 0 0 25 0 1 0 188779188 70254592 16256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 17152 16256 296 55 0 16044 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 68608

[startup+100.058 s]
/proc/loadavg: 0.93 0.93 0.90 2/64 21018
/proc/meminfo: memFree=1169464/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=72956 CPUtime=100.01
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 17429 0 0 0 9979 22 0 0 25 0 1 0 188779188 74706944 17341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 18239 17341 296 55 0 17131 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 72956

[startup+110.064 s]
/proc/loadavg: 0.94 0.93 0.90 2/64 21018
/proc/meminfo: memFree=1167544/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=74952 CPUtime=110.01
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 17895 0 0 0 10977 24 0 0 25 0 1 0 188779188 76750848 17806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 18738 17806 296 55 0 17630 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 74952

[startup+120.071 s]
/proc/loadavg: 0.95 0.93 0.91 2/64 21018
/proc/meminfo: memFree=1164792/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=77600 CPUtime=120.01
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 18586 0 0 0 11976 25 0 0 25 0 1 0 188779188 79462400 18497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 19400 18497 296 55 0 18292 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 77600

[startup+130.077 s]
/proc/loadavg: 0.95 0.93 0.91 2/64 21018
/proc/meminfo: memFree=1163960/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=78520 CPUtime=130.02
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 18803 0 0 0 12975 27 0 0 25 0 1 0 188779188 80404480 18714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 19630 18714 296 55 0 18522 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 78520

[startup+140.082 s]
/proc/loadavg: 0.96 0.93 0.91 2/64 21018
/proc/meminfo: memFree=1161656/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=80784 CPUtime=140.01
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 19374 0 0 0 13973 28 0 0 25 0 1 0 188779188 82722816 19285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 20196 19285 296 55 0 19088 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 80784

[startup+150.089 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 21018
/proc/meminfo: memFree=1159544/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=82936 CPUtime=150.02
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 19898 0 0 0 14972 30 0 0 25 0 1 0 188779188 84926464 19809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 20734 19809 296 55 0 19626 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 82936

[startup+160.095 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 21018
/proc/meminfo: memFree=1157688/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=84812 CPUtime=160.02
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 20361 0 0 0 15971 31 0 0 25 0 1 0 188779188 86847488 20272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 21203 20272 296 55 0 20095 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 84812

[startup+170.1 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 21018
/proc/meminfo: memFree=1155448/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=87056 CPUtime=170.02
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 20920 0 0 0 16969 33 0 0 25 0 1 0 188779188 89145344 20831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 21764 20831 296 55 0 20656 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 87056

[startup+180.106 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 21018
/proc/meminfo: memFree=1153016/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=89608 CPUtime=180.02
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 21529 0 0 0 17968 34 0 0 25 0 1 0 188779188 91758592 21440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 22402 21440 296 55 0 21294 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 89608

[startup+190.112 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 21018
/proc/meminfo: memFree=1151992/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=90564 CPUtime=190.03
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 21780 0 0 0 18967 36 0 0 25 0 1 0 188779188 92737536 21691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 22641 21691 296 55 0 21533 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 90564

[startup+200.117 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 21018
/proc/meminfo: memFree=1151032/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=91488 CPUtime=200.03
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 22017 0 0 0 19967 36 0 0 25 0 1 0 188779188 93683712 21928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 22872 21928 296 55 0 21764 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 91488

[startup+210.123 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 21018
/proc/meminfo: memFree=1149880/2055920 swapFree=4180940/4192956

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

/proc/21018/statm: 63796 62357 296 55 0 62688 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 255184

[startup+1771.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987904/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=255976 CPUtime=1770.39
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62687 0 0 0 176878 161 0 0 25 0 1 0 188779188 262119424 62570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 63994 62570 296 55 0 62886 0
Current children cumulated CPU time (s) 1770.39
Current children cumulated vsize (Kb) 255976

[startup+1781.05 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987584/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256372 CPUtime=1780.39
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62771 0 0 0 177878 161 0 0 25 0 1 0 188779188 262524928 62654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64093 62654 296 55 0 62985 0
Current children cumulated CPU time (s) 1780.39
Current children cumulated vsize (Kb) 256372

[startup+1782.05 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987584/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256372 CPUtime=1781.39
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62772 0 0 0 177978 161 0 0 25 0 1 0 188779188 262524928 62655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64093 62655 296 55 0 62985 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 256372

[startup+1783.06 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987584/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256372 CPUtime=1782.4
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62772 0 0 0 178079 161 0 0 25 0 1 0 188779188 262524928 62655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64093 62655 296 55 0 62985 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 256372

[startup+1784.06 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987520/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256372 CPUtime=1783.4
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62779 0 0 0 178179 161 0 0 25 0 1 0 188779188 262524928 62662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64093 62662 296 55 0 62985 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 256372

[startup+1785.07 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987520/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256372 CPUtime=1784.4
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62784 0 0 0 178279 161 0 0 25 0 1 0 188779188 262524928 62667 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64093 62667 296 55 0 62985 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 256372

[startup+1786.07 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987520/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256372 CPUtime=1785.41
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62787 0 0 0 178380 161 0 0 25 0 1 0 188779188 262524928 62670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64093 62670 296 55 0 62985 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 256372

[startup+1787.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987520/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256504 CPUtime=1786.41
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62790 0 0 0 178480 161 0 0 25 0 1 0 188779188 262660096 62673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64126 62673 296 55 0 63018 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 256504

[startup+1788.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987520/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256504 CPUtime=1787.42
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62790 0 0 0 178581 161 0 0 25 0 1 0 188779188 262660096 62673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64126 62673 296 55 0 63018 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (Kb) 256504

[startup+1789.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987456/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256504 CPUtime=1788.42
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62803 0 0 0 178681 161 0 0 25 0 1 0 188779188 262660096 62686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64126 62686 296 55 0 63018 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 256504

[startup+1790.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987456/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256504 CPUtime=1789.43
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62803 0 0 0 178782 161 0 0 25 0 1 0 188779188 262660096 62686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64126 62686 296 55 0 63018 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (Kb) 256504

[startup+1791.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987392/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256504 CPUtime=1790.43
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62819 0 0 0 178882 161 0 0 25 0 1 0 188779188 262660096 62702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64126 62702 296 55 0 63018 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 256504

[startup+1792.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987328/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256636 CPUtime=1791.43
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62825 0 0 0 178982 161 0 0 25 0 1 0 188779188 262795264 62708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64159 62708 296 55 0 63051 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 256636

[startup+1793.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987328/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256636 CPUtime=1792.44
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62837 0 0 0 179083 161 0 0 25 0 1 0 188779188 262795264 62720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64159 62720 296 55 0 63051 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 256636

[startup+1794.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987264/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256636 CPUtime=1793.44
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62840 0 0 0 179183 161 0 0 25 0 1 0 188779188 262795264 62723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64159 62723 296 55 0 63051 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 256636

[startup+1795.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987264/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256636 CPUtime=1794.45
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62843 0 0 0 179284 161 0 0 25 0 1 0 188779188 262795264 62726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64159 62726 296 55 0 63051 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 256636

[startup+1796.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987264/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256636 CPUtime=1795.46
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62845 0 0 0 179384 162 0 0 25 0 1 0 188779188 262795264 62728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64159 62728 296 55 0 63051 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (Kb) 256636

[startup+1797.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987200/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256768 CPUtime=1796.46
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62860 0 0 0 179484 162 0 0 25 0 1 0 188779188 262930432 62743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64192 62743 296 55 0 63084 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 256768

[startup+1798.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987200/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256768 CPUtime=1797.46
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62863 0 0 0 179584 162 0 0 25 0 1 0 188779188 262930432 62746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64192 62746 296 55 0 63084 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 256768

[startup+1799.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987136/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256768 CPUtime=1798.47
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62873 0 0 0 179685 162 0 0 25 0 1 0 188779188 262930432 62756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64192 62756 296 55 0 63084 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 256768

[startup+1800.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21213
/proc/meminfo: memFree=987136/2055920 swapFree=4180940/4192956
[pid=21018] ppid=21016 vsize=256768 CPUtime=1799.47
/proc/21018/stat : 21018 (bsolo) R 21016 21018 20973 0 -1 0 62879 0 0 0 179785 162 0 0 25 0 1 0 188779188 262930432 62762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21018/statm: 64192 62762 296 55 0 63084 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 256768

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.04
CPU user time (s): 1798.38
CPU system time (s): 1.66775
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (Kb): 256768

Launcher Data (download as text)

Begin job on node41 on Fri Jun  2 06:52:06 UTC 2006


FILE ID= 39669-1149231126

PBS_JOBID= 296448

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  75fcdbbba3eb42e13f634e02d36a6ee9

RANDOM SEED= 354767236


/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.265
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.265
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:       1237872 kB
Buffers:         32536 kB
Cached:         712680 kB
SwapCached:       4008 kB
Active:         141976 kB
Inactive:       612296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1237872 kB
SwapTotal:     4192956 kB
SwapFree:      4180940 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:          14924 kB
Slab:            49724 kB
Committed_AS:   245620 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node41 on Fri Jun  2 07:22:07 UTC 2006