Trace number 39617

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.08 1800.6

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUM7f5f10f1b8aeee16c5b46dadab8c5b22
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 benchmark1.73973
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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.04	c INFO: OSL Context initialized.
0.80	c Initial problem consists of 1020 variables and 43180 constraints.
3.45	c Using non-optimization problem switches.
3.45	c No problem reductions applied in OPT. instance.
3.45	c	preprocess terminated. Elapsed time: 3.421
3.45	c After prepocess the problem consists of 1020 variables and 43180 constraints.
3.69	c Restart #1 #Var: 1020 LB: 0 @ 3.655
4.31	c Restart #2 #Var: 1020 LB: 0 @ 4.281
5.26	c Restart #3 #Var: 1020 LB: 0 @ 5.233
6.75	c Restart #4 #Var: 1020 LB: 0 @ 6.715
8.28	c Restart #5 #Var: 1020 LB: 0 @ 8.251
10.24	c Restart #6 #Var: 1020 LB: 0 @ 10.209
12.45	c Restart #7 #Var: 1020 LB: 0 @ 12.413
15.00	c Restart #8 #Var: 1020 LB: 0 @ 14.96
17.98	c Restart #9 #Var: 1020 LB: 0 @ 17.944
20.60	c Restart #10 #Var: 1020 LB: 0 @ 20.561
23.32	c Restart #11 #Var: 1020 LB: 0 @ 23.277
27.44	c Restart #12 #Var: 1020 LB: 0 @ 27.402
31.42	c Restart #13 #Var: 1020 LB: 0 @ 31.383
35.80	c Restart #14 #Var: 1020 LB: 0 @ 35.76
40.45	c Restart #15 #Var: 1020 LB: 0 @ 40.402
44.94	c Restart #16 #Var: 1020 LB: 0 @ 44.894
49.80	c Restart #17 #Var: 1020 LB: 0 @ 49.754
54.64	c Restart #18 #Var: 1020 LB: 0 @ 54.588
60.40	c Restart #19 #Var: 1020 LB: 0 @ 60.356
67.97	c Restart #20 #Var: 1020 LB: 0 @ 67.916
74.47	c Restart #21 #Var: 1020 LB: 0 @ 74.418
80.90	c Restart #22 #Var: 1020 LB: 0 @ 80.841
88.09	c Restart #23 #Var: 1020 LB: 0 @ 88.036
100.77	c Restart #24 #Var: 1020 LB: 0 @ 100.71
110.95	c Restart #25 #Var: 1020 LB: 0 @ 110.89
122.14	c Restart #26 #Var: 1020 LB: 0 @ 122.07
135.73	c Restart #27 #Var: 1020 LB: 0 @ 135.66
146.58	c Restart #28 #Var: 1020 LB: 0 @ 146.5
162.18	c Restart #29 #Var: 1020 LB: 0 @ 162.1
176.01	c Restart #30 #Var: 1020 LB: 0 @ 175.94
191.19	c Restart #31 #Var: 1020 LB: 0 @ 191.11
205.03	c Restart #32 #Var: 1020 LB: 0 @ 204.94
223.27	c Restart #33 #Var: 1020 LB: 0 @ 223.18
242.59	c Restart #34 #Var: 1020 LB: 0 @ 242.49
265.00	c Restart #35 #Var: 1020 LB: 0 @ 264.9
282.27	c Restart #36 #Var: 1020 LB: 0 @ 282.16
302.20	c Restart #37 #Var: 1020 LB: 0 @ 302.09
326.13	c Restart #38 #Var: 1020 LB: 0 @ 326.01
348.40	c Restart #39 #Var: 1020 LB: 0 @ 348.27
375.01	c Restart #40 #Var: 1020 LB: 0 @ 374.88
405.21	c Restart #41 #Var: 1020 LB: 0 @ 405.07
428.70	c Restart #42 #Var: 1020 LB: 0 @ 428.55
453.33	c Restart #43 #Var: 1020 LB: 0 @ 453.18
475.38	c Restart #44 #Var: 1020 LB: 0 @ 475.22
508.00	c Restart #45 #Var: 1020 LB: 0 @ 507.83
531.80	c Restart #46 #Var: 1020 LB: 0 @ 531.63
570.68	c Restart #47 #Var: 1020 LB: 0 @ 570.49
617.21	c Restart #48 #Var: 1020 LB: 0 @ 617.02
660.61	c Restart #49 #Var: 1020 LB: 0 @ 660.4
705.83	c Restart #50 #Var: 1020 LB: 0 @ 705.61
742.71	c Restart #51 #Var: 1020 LB: 0 @ 742.48
780.53	c Restart #52 #Var: 1020 LB: 0 @ 780.29
819.13	c Restart #53 #Var: 1020 LB: 0 @ 818.88
863.38	c Restart #54 #Var: 1020 LB: 0 @ 863.12
905.02	c CHANGE Heuristic... 
905.02	c Restart #0 #Var: 1020 LB: 0 @ 904.75
906.95	c Restart #1 #Var: 1020 LB: 0 @ 906.67
908.72	c Restart #2 #Var: 1020 LB: 0 @ 908.45
911.58	c Restart #3 #Var: 1020 LB: 0 @ 911.3
914.71	c Restart #4 #Var: 1020 LB: 0 @ 914.43
918.26	c Restart #5 #Var: 1020 LB: 0 @ 917.98
922.14	c Restart #6 #Var: 1020 LB: 0 @ 921.86
925.74	c Restart #7 #Var: 1020 LB: 0 @ 925.46
930.93	c Restart #8 #Var: 1020 LB: 0 @ 930.64
936.95	c Restart #9 #Var: 1020 LB: 0 @ 936.66
945.13	c Restart #10 #Var: 1020 LB: 0 @ 944.85
952.94	c Restart #11 #Var: 1020 LB: 0 @ 952.65
961.12	c Restart #12 #Var: 1020 LB: 0 @ 960.83
970.12	c Restart #13 #Var: 1020 LB: 0 @ 969.82
979.23	c Restart #14 #Var: 1020 LB: 0 @ 978.93
989.37	c Restart #15 #Var: 1020 LB: 0 @ 989.07
998.26	c Restart #16 #Var: 1020 LB: 0 @ 997.96
1009.55	c Restart #17 #Var: 1020 LB: 0 @ 1009.2
1023.13	c Restart #18 #Var: 1020 LB: 0 @ 1022.8
1036.15	c Restart #19 #Var: 1020 LB: 0 @ 1035.8
1050.36	c Restart #20 #Var: 1020 LB: 0 @ 1050
1068.93	c Restart #21 #Var: 1020 LB: 0 @ 1068.6
1082.86	c Restart #22 #Var: 1020 LB: 0 @ 1082.5
1096.87	c Restart #23 #Var: 1020 LB: 0 @ 1096.5
1110.32	c Restart #24 #Var: 1020 LB: 0 @ 1110
1125.95	c Restart #25 #Var: 1020 LB: 0 @ 1125.6
1142.37	c Restart #26 #Var: 1020 LB: 0 @ 1142
1156.55	c Restart #27 #Var: 1020 LB: 0 @ 1156.2
1174.39	c Restart #28 #Var: 1020 LB: 0 @ 1174
1192.05	c Restart #29 #Var: 1020 LB: 0 @ 1191.7
1208.39	c Restart #30 #Var: 1020 LB: 0 @ 1208
1228.00	c Restart #31 #Var: 1020 LB: 0 @ 1227.6
1246.24	c Restart #32 #Var: 1020 LB: 0 @ 1245.9
1263.98	c Restart #33 #Var: 1020 LB: 0 @ 1263.6
1284.38	c Restart #34 #Var: 1020 LB: 0 @ 1284
1303.91	c Restart #35 #Var: 1020 LB: 0 @ 1303.5
1334.83	c Restart #36 #Var: 1020 LB: 0 @ 1334.4
1359.17	c Restart #37 #Var: 1020 LB: 0 @ 1358.8
1384.90	c Restart #38 #Var: 1020 LB: 0 @ 1384.5
1403.83	c Restart #39 #Var: 1020 LB: 0 @ 1403.4
1427.14	c Restart #40 #Var: 1020 LB: 0 @ 1426.7
1451.23	c Restart #41 #Var: 1020 LB: 0 @ 1450.8
1479.26	c Restart #42 #Var: 1020 LB: 0 @ 1478.8
1513.26	c Restart #43 #Var: 1020 LB: 0 @ 1512.8
1548.22	c Restart #44 #Var: 1020 LB: 0 @ 1547.8
1589.18	c Restart #45 #Var: 1020 LB: 0 @ 1588.7
1625.98	c Restart #46 #Var: 1020 LB: 0 @ 1625.5
1678.95	c Restart #47 #Var: 1020 LB: 0 @ 1678.5
1714.09	c Restart #48 #Var: 1020 LB: 0 @ 1713.6
1762.20	c Restart #49 #Var: 1020 LB: 0 @ 1761.7
1800.53	s UNKNOWN
1800.53	c Exit Code: 0
1800.54	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/node64/watcher-39617-1149225030 -o ROOT/results/node64/solver-39617-1149225030 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/39617-1149225030/instance-39617-1149225030.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.96 0.97 0.91 2/64 24025
/proc/meminfo: memFree=1703400/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=436 CPUtime=0
/proc/24025/stat : 24025 (bsolo) D 24023 24025 23980 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 24494281 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6959908 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/24025/statm: 109 23 18 55 0 18 0

[startup+10.0019 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 24025
/proc/meminfo: memFree=1676976/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=30924 CPUtime=9.96
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 6995 0 0 0 992 4 0 0 25 0 1 0 24494281 31666176 6910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540611 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 7731 6910 296 55 0 6623 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 30924

[startup+20.0087 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 24025
/proc/meminfo: memFree=1672760/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=35148 CPUtime=19.97
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 8053 0 0 0 1991 6 0 0 25 0 1 0 24494281 35991552 7968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 8787 7968 296 55 0 7679 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 35148

[startup+30.0146 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 24025
/proc/meminfo: memFree=1668024/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=39892 CPUtime=29.97
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 9234 0 0 0 2989 8 0 0 25 0 1 0 24494281 40849408 9149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 9973 9149 296 55 0 8865 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 39892

[startup+40.0205 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1663864/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=44108 CPUtime=39.97
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 10274 0 0 0 3987 10 0 0 25 0 1 0 24494281 45166592 10189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 11027 10189 296 55 0 9919 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 44108

[startup+50.0264 s]
/proc/loadavg: 1.05 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1659384/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=48584 CPUtime=49.97
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 11390 0 0 0 4985 12 0 0 25 0 1 0 24494281 49750016 11305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 12146 11305 296 55 0 11038 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 48584

[startup+60.0323 s]
/proc/loadavg: 1.04 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1654584/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=53336 CPUtime=59.98
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 12580 0 0 0 5984 14 0 0 25 0 1 0 24494281 54616064 12495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 13334 12495 296 55 0 12226 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 53336

[startup+70.0382 s]
/proc/loadavg: 1.03 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1651064/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=56880 CPUtime=69.97
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 13468 0 0 0 6982 15 0 0 25 0 1 0 24494281 58245120 13383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 14220 13383 296 55 0 13112 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 56880

[startup+80.0441 s]
/proc/loadavg: 1.03 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1646328/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=61488 CPUtime=79.98
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 14636 0 0 0 7980 18 0 0 25 0 1 0 24494281 62963712 14551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 15372 14551 296 55 0 14264 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 61488

[startup+90.0499 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1642872/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=65044 CPUtime=89.99
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 15503 0 0 0 8979 20 0 0 25 0 1 0 24494281 66605056 15418 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 16261 15418 296 55 0 15153 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 65044

[startup+100.056 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1640632/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=67288 CPUtime=99.99
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 16068 0 0 0 9978 21 0 0 25 0 1 0 24494281 68902912 15983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 16822 15983 296 55 0 15714 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 67288

[startup+110.062 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1637560/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=70324 CPUtime=109.99
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 16829 0 0 0 10976 23 0 0 25 0 1 0 24494281 72011776 16744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 17581 16744 296 55 0 16473 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 70324

[startup+120.068 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1634168/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=73620 CPUtime=119.99
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 17663 0 0 0 11975 24 0 0 25 0 1 0 24494281 75386880 17578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 18405 17578 296 55 0 17297 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 73620

[startup+130.073 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1631608/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=76260 CPUtime=129.99
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 18314 0 0 0 12974 25 0 0 25 0 1 0 24494281 78090240 18229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 19065 18229 296 55 0 17957 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 76260

[startup+140.079 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1628728/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=79028 CPUtime=140
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 19028 0 0 0 13973 27 0 0 25 0 1 0 24494281 80924672 18943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 19757 18943 296 55 0 18649 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 79028

[startup+150.085 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1625912/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=81920 CPUtime=150
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 19738 0 0 0 14972 28 0 0 25 0 1 0 24494281 83886080 19653 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 20480 19653 296 55 0 19372 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 81920

[startup+160.091 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1623608/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=84164 CPUtime=160
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 20314 0 0 0 15971 29 0 0 25 0 1 0 24494281 86183936 20229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 21041 20229 296 55 0 19933 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 84164

[startup+170.097 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1620792/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=87060 CPUtime=170
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 21020 0 0 0 16970 30 0 0 25 0 1 0 24494281 89149440 20935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 21765 20935 296 55 0 20657 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 87060

[startup+180.103 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1617848/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=89960 CPUtime=180.01
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 21744 0 0 0 17969 32 0 0 25 0 1 0 24494281 92119040 21659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 22490 21659 296 55 0 21382 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 89960

[startup+190.109 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1615224/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=92600 CPUtime=190.01
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 22403 0 0 0 18968 33 0 0 25 0 1 0 24494281 94822400 22318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 23150 22318 296 55 0 22042 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 92600

[startup+200.115 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1612088/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=95636 CPUtime=200.02
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 23178 0 0 0 19967 35 0 0 25 0 1 0 24494281 97931264 23093 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 23909 23093 296 55 0 22801 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 95636

[startup+210.121 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1609144/2055920 swapFree=4192956/4192956

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

/proc/24025/statm: 96822 95957 296 55 0 95714 0
Current children cumulated CPU time (s) 1760.72
Current children cumulated vsize (Kb) 387288

[startup+1771.24 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1318264/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=388744 CPUtime=1770.72
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 96428 0 0 0 176892 180 0 0 25 0 1 0 24494281 398073856 96343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97186 96343 296 55 0 96078 0
Current children cumulated CPU time (s) 1770.72
Current children cumulated vsize (Kb) 388744

[startup+1781.24 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1316792/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=390328 CPUtime=1780.73
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 96803 0 0 0 177892 181 0 0 25 0 1 0 24494281 399695872 96718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97582 96718 296 55 0 96474 0
Current children cumulated CPU time (s) 1780.73
Current children cumulated vsize (Kb) 390328

[startup+1782.25 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1316728/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=390328 CPUtime=1781.73
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 96824 0 0 0 177992 181 0 0 25 0 1 0 24494281 399695872 96739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97582 96739 296 55 0 96474 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (Kb) 390328

[startup+1783.25 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1316536/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=390592 CPUtime=1782.74
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 96861 0 0 0 178093 181 0 0 25 0 1 0 24494281 399966208 96776 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97648 96776 296 55 0 96540 0
Current children cumulated CPU time (s) 1782.74
Current children cumulated vsize (Kb) 390592

[startup+1784.26 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1316408/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=390724 CPUtime=1783.74
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 96899 0 0 0 178193 181 0 0 25 0 1 0 24494281 400101376 96814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97681 96814 296 55 0 96573 0
Current children cumulated CPU time (s) 1783.74
Current children cumulated vsize (Kb) 390724

[startup+1785.26 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1316216/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=390856 CPUtime=1784.75
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 96941 0 0 0 178294 181 0 0 25 0 1 0 24494281 400236544 96856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97714 96856 296 55 0 96606 0
Current children cumulated CPU time (s) 1784.75
Current children cumulated vsize (Kb) 390856

[startup+1786.27 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1316088/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=390988 CPUtime=1785.75
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 96969 0 0 0 178394 181 0 0 25 0 1 0 24494281 400371712 96884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97747 96884 296 55 0 96639 0
Current children cumulated CPU time (s) 1785.75
Current children cumulated vsize (Kb) 390988

[startup+1787.27 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1315896/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=391116 CPUtime=1786.75
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97021 0 0 0 178494 181 0 0 25 0 1 0 24494281 400502784 96936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97779 96936 296 55 0 96671 0
Current children cumulated CPU time (s) 1786.75
Current children cumulated vsize (Kb) 391116

[startup+1788.28 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1315768/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=391248 CPUtime=1787.76
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97051 0 0 0 178595 181 0 0 25 0 1 0 24494281 400637952 96966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97812 96966 296 55 0 96704 0
Current children cumulated CPU time (s) 1787.76
Current children cumulated vsize (Kb) 391248

[startup+1789.28 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1315640/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=391512 CPUtime=1788.76
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97090 0 0 0 178695 181 0 0 25 0 1 0 24494281 400908288 97005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97878 97005 296 55 0 96770 0
Current children cumulated CPU time (s) 1788.76
Current children cumulated vsize (Kb) 391512

[startup+1790.29 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1315512/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=391644 CPUtime=1789.76
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97126 0 0 0 178795 181 0 0 25 0 1 0 24494281 401043456 97041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97911 97041 296 55 0 96803 0
Current children cumulated CPU time (s) 1789.76
Current children cumulated vsize (Kb) 391644

[startup+1791.29 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1315256/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=391776 CPUtime=1790.77
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97180 0 0 0 178896 181 0 0 25 0 1 0 24494281 401178624 97095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 97944 97095 296 55 0 96836 0
Current children cumulated CPU time (s) 1790.77
Current children cumulated vsize (Kb) 391776

[startup+1792.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1315128/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=392040 CPUtime=1791.77
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97222 0 0 0 178996 181 0 0 25 0 1 0 24494281 401448960 97137 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98010 97137 296 55 0 96902 0
Current children cumulated CPU time (s) 1791.77
Current children cumulated vsize (Kb) 392040

[startup+1793.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1314936/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=392172 CPUtime=1792.78
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97258 0 0 0 179096 182 0 0 25 0 1 0 24494281 401584128 97173 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98043 97173 296 55 0 96935 0
Current children cumulated CPU time (s) 1792.78
Current children cumulated vsize (Kb) 392172

[startup+1794.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1314808/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=392304 CPUtime=1793.79
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97304 0 0 0 179197 182 0 0 25 0 1 0 24494281 401719296 97219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98076 97219 296 55 0 96968 0
Current children cumulated CPU time (s) 1793.79
Current children cumulated vsize (Kb) 392304

[startup+1795.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1314616/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=392436 CPUtime=1794.79
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97343 0 0 0 179297 182 0 0 25 0 1 0 24494281 401854464 97258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98109 97258 296 55 0 97001 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (Kb) 392436

[startup+1796.32 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1314360/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=392700 CPUtime=1795.8
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97402 0 0 0 179398 182 0 0 25 0 1 0 24494281 402124800 97317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98175 97317 296 55 0 97067 0
Current children cumulated CPU time (s) 1795.8
Current children cumulated vsize (Kb) 392700

[startup+1797.32 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1314104/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=392964 CPUtime=1796.8
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97468 0 0 0 179498 182 0 0 25 0 1 0 24494281 402395136 97383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98241 97383 296 55 0 97133 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (Kb) 392964

[startup+1798.33 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1314104/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=392964 CPUtime=1797.8
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97474 0 0 0 179598 182 0 0 25 0 1 0 24494281 402395136 97389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98241 97389 296 55 0 97133 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (Kb) 392964

[startup+1799.33 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1313976/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=393096 CPUtime=1798.81
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97504 0 0 0 179699 182 0 0 25 0 1 0 24494281 402530304 97419 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98274 97419 296 55 0 97166 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (Kb) 393096

[startup+1800.34 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24025
/proc/meminfo: memFree=1313848/2055920 swapFree=4192956/4192956
[pid=24025] ppid=24023 vsize=393228 CPUtime=1799.81
/proc/24025/stat : 24025 (bsolo) R 24023 24025 23980 0 -1 0 97537 0 0 0 179799 182 0 0 25 0 1 0 24494281 402665472 97452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24025/statm: 98307 97452 296 55 0 97199 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (Kb) 393228

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.08
CPU user time (s): 1798.2
CPU system time (s): 1.88371
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (Kb): 393228

Launcher Data (download as text)

Begin job on node64 on Fri Jun  2 05:10:30 UTC 2006


FILE ID= 39617-1149225030

PBS_JOBID= 295768

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7f5f10f1b8aeee16c5b46dadab8c5b22

RANDOM SEED= 85186024


/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.219
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.219
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:       1703544 kB
Buffers:         29148 kB
Cached:         246184 kB
SwapCached:          0 kB
Active:          96512 kB
Inactive:       193320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1703544 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          24916 kB
Slab:            48520 kB
Committed_AS:   147452 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node64 on Fri Jun  2 05:40:31 UTC 2006