Trace number 39637

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.1 1801.06

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
MD5SUMd9b1351aa6c01bb5c883e4233663f5e0
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.003999
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables600
Total number of constraints70
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint20
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 21
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.01	c Time Limit set via PBTIMEOUT to 1800
0.27	c INFO: OSL Context initialized.
0.28	c Initial problem consists of 600 variables and 70 constraints.
0.28	c Using non-optimization problem switches.
0.28	c No problem reductions applied in OPT. instance.
0.28	c	preprocess terminated. Elapsed time: 0.017
0.28	c After prepocess the problem consists of 600 variables and 70 constraints.
0.30	c Restart #1 #Var: 600 LB: 0 @ 0.031
0.32	c Restart #2 #Var: 600 LB: 0 @ 0.05
0.36	c Restart #3 #Var: 600 LB: 0 @ 0.089
0.43	c Restart #4 #Var: 600 LB: 0 @ 0.161
0.55	c Restart #5 #Var: 600 LB: 0 @ 0.286
0.75	c Restart #6 #Var: 600 LB: 0 @ 0.486
1.00	c Restart #7 #Var: 600 LB: 0 @ 0.731
1.33	c Restart #8 #Var: 600 LB: 0 @ 1.064
1.83	c Restart #9 #Var: 600 LB: 0 @ 1.557
2.67	c Restart #10 #Var: 600 LB: 0 @ 2.399
3.44	c Restart #11 #Var: 600 LB: 0 @ 3.169
4.62	c Restart #12 #Var: 600 LB: 0 @ 4.348
6.30	c Restart #13 #Var: 600 LB: 0 @ 6.034
8.00	c Restart #14 #Var: 600 LB: 0 @ 7.728
9.95	c Restart #15 #Var: 600 LB: 0 @ 9.681
12.40	c Restart #16 #Var: 600 LB: 0 @ 12.123
15.87	c Restart #17 #Var: 600 LB: 0 @ 15.596
20.34	c Restart #18 #Var: 600 LB: 0 @ 20.058
24.81	c Restart #19 #Var: 600 LB: 0 @ 24.533
29.88	c Restart #20 #Var: 600 LB: 0 @ 29.601
34.21	c Restart #21 #Var: 600 LB: 0 @ 33.928
40.05	c Restart #22 #Var: 600 LB: 0 @ 39.762
45.89	c Restart #23 #Var: 600 LB: 0 @ 45.606
52.89	c Restart #24 #Var: 600 LB: 0 @ 52.596
57.49	c Restart #25 #Var: 600 LB: 0 @ 57.197
68.32	c Restart #26 #Var: 600 LB: 0 @ 68.025
78.97	c Restart #27 #Var: 600 LB: 0 @ 78.674
89.95	c Restart #28 #Var: 600 LB: 0 @ 89.65
101.46	c Restart #29 #Var: 600 LB: 0 @ 101.15
117.48	c Restart #30 #Var: 600 LB: 0 @ 117.16
134.51	c Restart #31 #Var: 600 LB: 0 @ 134.19
151.02	c Restart #32 #Var: 600 LB: 0 @ 150.7
173.20	c Restart #33 #Var: 600 LB: 0 @ 172.86
192.25	c Restart #34 #Var: 600 LB: 0 @ 191.91
228.35	c Restart #35 #Var: 600 LB: 0 @ 228
247.67	c Restart #36 #Var: 600 LB: 0 @ 247.31
273.57	c Restart #37 #Var: 600 LB: 0 @ 273.2
299.81	c Restart #38 #Var: 600 LB: 0 @ 299.43
322.53	c Restart #39 #Var: 600 LB: 0 @ 322.15
362.48	c Restart #40 #Var: 600 LB: 0 @ 362.08
403.27	c Restart #41 #Var: 600 LB: 0 @ 402.85
448.22	c Restart #42 #Var: 600 LB: 0 @ 447.79
487.94	c Restart #43 #Var: 600 LB: 0 @ 487.49
526.13	c Restart #44 #Var: 600 LB: 0 @ 525.67
586.32	c Restart #45 #Var: 600 LB: 0 @ 585.83
629.49	c Restart #46 #Var: 600 LB: 0 @ 628.99
662.72	c Restart #47 #Var: 600 LB: 0 @ 662.21
723.79	c Restart #48 #Var: 600 LB: 0 @ 723.25
745.53	c Restart #49 #Var: 600 LB: 0 @ 744.99
817.76	c Restart #50 #Var: 600 LB: 0 @ 817.19
879.06	c Restart #51 #Var: 600 LB: 0 @ 878.43
954.21	c CHANGE Heuristic... 
954.21	c Restart #0 #Var: 600 LB: 0 @ 953.56
954.37	c Restart #1 #Var: 600 LB: 0 @ 953.72
954.46	c Restart #2 #Var: 600 LB: 0 @ 953.81
954.51	c Restart #3 #Var: 600 LB: 0 @ 953.86
954.61	c Restart #4 #Var: 600 LB: 0 @ 953.96
954.84	c Restart #5 #Var: 600 LB: 0 @ 954.19
955.02	c Restart #6 #Var: 600 LB: 0 @ 954.37
955.31	c Restart #7 #Var: 600 LB: 0 @ 954.66
955.71	c Restart #8 #Var: 600 LB: 0 @ 955.06
956.24	c Restart #9 #Var: 600 LB: 0 @ 955.59
956.85	c Restart #10 #Var: 600 LB: 0 @ 956.2
957.77	c Restart #11 #Var: 600 LB: 0 @ 957.12
958.63	c Restart #12 #Var: 600 LB: 0 @ 957.98
959.75	c Restart #13 #Var: 600 LB: 0 @ 959.1
961.30	c Restart #14 #Var: 600 LB: 0 @ 960.65
963.16	c Restart #15 #Var: 600 LB: 0 @ 962.51
965.42	c Restart #16 #Var: 600 LB: 0 @ 964.76
968.49	c Restart #17 #Var: 600 LB: 0 @ 967.84
972.83	c Restart #18 #Var: 600 LB: 0 @ 972.17
977.29	c Restart #19 #Var: 600 LB: 0 @ 976.63
984.23	c Restart #20 #Var: 600 LB: 0 @ 983.57
991.90	c Restart #21 #Var: 600 LB: 0 @ 991.24
1011.29	c Restart #22 #Var: 600 LB: 0 @ 1010.6
1028.95	c Restart #23 #Var: 600 LB: 0 @ 1028.3
1042.05	c Restart #24 #Var: 600 LB: 0 @ 1041.4
1059.05	c Restart #25 #Var: 600 LB: 0 @ 1058.4
1074.91	c Restart #26 #Var: 600 LB: 0 @ 1074.2
1089.38	c Restart #27 #Var: 600 LB: 0 @ 1088.7
1117.10	c Restart #28 #Var: 600 LB: 0 @ 1116.4
1135.58	c Restart #29 #Var: 600 LB: 0 @ 1134.9
1162.82	c Restart #30 #Var: 600 LB: 0 @ 1162.1
1189.82	c Restart #31 #Var: 600 LB: 0 @ 1189.1
1215.55	c Restart #32 #Var: 600 LB: 0 @ 1214.8
1248.47	c Restart #33 #Var: 600 LB: 0 @ 1247.7
1280.66	c Restart #34 #Var: 600 LB: 0 @ 1279.9
1314.62	c Restart #35 #Var: 600 LB: 0 @ 1313.8
1350.29	c Restart #36 #Var: 600 LB: 0 @ 1349.5
1385.43	c Restart #37 #Var: 600 LB: 0 @ 1384.6
1426.91	c Restart #38 #Var: 600 LB: 0 @ 1426.1
1469.15	c Restart #39 #Var: 600 LB: 0 @ 1468.3
1506.64	c Restart #40 #Var: 600 LB: 0 @ 1505.8
1550.84	c Restart #41 #Var: 600 LB: 0 @ 1550
1599.31	c Restart #42 #Var: 600 LB: 0 @ 1598.4
1653.51	c Restart #43 #Var: 600 LB: 0 @ 1652.6
1716.58	c Restart #44 #Var: 600 LB: 0 @ 1715.7
1768.83	c Restart #45 #Var: 600 LB: 0 @ 1767.9
1800.96	s UNKNOWN
1800.96	c Exit Code: 0
1800.96	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/node36/watcher-39637-1149227243 -o ROOT/results/node36/solver-39637-1149227243 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/39637-1149227243/instance-39637-1149227243.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.44 0.81 0.86 2/64 20605
/proc/meminfo: memFree=1357920/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=18540 CPUtime=0
/proc/20605/stat : 20605 (runsolver) D 20603 20605 20560 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 188390434 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 258372857127 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/20605/statm: 4635 279 243 16 0 2626 0

[startup+10.0022 s]
/proc/loadavg: 0.52 0.82 0.86 2/64 20605
/proc/meminfo: memFree=1324392/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=38072 CPUtime=9.72
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 8764 0 0 0 965 7 0 0 25 0 1 0 188390434 38985728 8679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 9518 8679 296 55 0 8410 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (Kb) 38072

[startup+20.0089 s]
/proc/loadavg: 0.60 0.82 0.86 2/64 20605
/proc/meminfo: memFree=1313256/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=49528 CPUtime=19.72
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 11584 0 0 0 1962 10 0 0 25 0 1 0 188390434 50716672 11497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 12382 11497 296 55 0 11274 0
Current children cumulated CPU time (s) 19.72
Current children cumulated vsize (Kb) 49528

[startup+30.0148 s]
/proc/loadavg: 0.66 0.83 0.86 2/64 20605
/proc/meminfo: memFree=1303784/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=59092 CPUtime=29.72
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 13966 0 0 0 2959 13 0 0 25 0 1 0 188390434 60510208 13876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 14773 13876 296 55 0 13665 0
Current children cumulated CPU time (s) 29.72
Current children cumulated vsize (Kb) 59092

[startup+40.0206 s]
/proc/loadavg: 0.71 0.83 0.86 2/64 20605
/proc/meminfo: memFree=1292456/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=70516 CPUtime=39.73
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 16799 0 0 0 3956 17 0 0 25 0 1 0 188390434 72208384 16704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 17629 16704 296 55 0 16521 0
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (Kb) 70516

[startup+50.0264 s]
/proc/loadavg: 0.75 0.84 0.86 2/64 20605
/proc/meminfo: memFree=1283240/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=79812 CPUtime=49.72
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 19106 0 0 0 4953 19 0 0 25 0 1 0 188390434 81727488 19009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1963643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 19953 19009 296 55 0 18845 0
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (Kb) 79812

[startup+60.0322 s]
/proc/loadavg: 0.79 0.84 0.86 2/64 20605
/proc/meminfo: memFree=1272040/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=91164 CPUtime=59.73
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 21898 0 0 0 5951 22 0 0 25 0 1 0 188390434 93351936 21799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 22791 21799 296 55 0 21683 0
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 91164

[startup+70.038 s]
/proc/loadavg: 0.82 0.85 0.87 2/64 20605
/proc/meminfo: memFree=1265000/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=98256 CPUtime=69.74
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 23669 0 0 0 6949 25 0 0 25 0 1 0 188390434 100614144 23566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 24564 23566 296 55 0 23456 0
Current children cumulated CPU time (s) 69.74
Current children cumulated vsize (Kb) 98256

[startup+80.0438 s]
/proc/loadavg: 0.85 0.85 0.87 2/64 20605
/proc/meminfo: memFree=1258728/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=104572 CPUtime=79.73
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 25229 0 0 0 7946 27 0 0 25 0 1 0 188390434 107081728 25121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 26143 25121 296 55 0 25035 0
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 104572

[startup+90.0496 s]
/proc/loadavg: 0.87 0.86 0.87 2/64 20605
/proc/meminfo: memFree=1251560/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=111784 CPUtime=89.74
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 27021 0 0 0 8945 29 0 0 25 0 1 0 188390434 114466816 26912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 27946 26912 296 55 0 26838 0
Current children cumulated CPU time (s) 89.74
Current children cumulated vsize (Kb) 111784

[startup+100.055 s]
/proc/loadavg: 0.89 0.86 0.87 2/64 20605
/proc/meminfo: memFree=1245096/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=118472 CPUtime=99.74
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 28646 0 0 0 9943 31 0 0 25 0 1 0 188390434 121315328 28532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 29618 28532 296 55 0 28510 0
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 118472

[startup+110.061 s]
/proc/loadavg: 0.91 0.86 0.87 2/64 20605
/proc/meminfo: memFree=1239976/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=123580 CPUtime=109.74
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 29920 0 0 0 10942 32 0 0 25 0 1 0 188390434 126545920 29804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 30895 29804 296 55 0 29787 0
Current children cumulated CPU time (s) 109.74
Current children cumulated vsize (Kb) 123580

[startup+120.067 s]
/proc/loadavg: 0.92 0.87 0.87 2/64 20605
/proc/meminfo: memFree=1235944/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=127552 CPUtime=119.74
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 30925 0 0 0 11941 33 0 0 25 0 1 0 188390434 130613248 30805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 31888 30805 296 55 0 30780 0
Current children cumulated CPU time (s) 119.74
Current children cumulated vsize (Kb) 127552

[startup+130.073 s]
/proc/loadavg: 0.93 0.87 0.87 2/64 20605
/proc/meminfo: memFree=1230376/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=133240 CPUtime=129.74
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 32313 0 0 0 12939 35 0 0 25 0 1 0 188390434 136437760 32186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1963643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 33310 32186 296 55 0 32202 0
Current children cumulated CPU time (s) 129.74
Current children cumulated vsize (Kb) 133240

[startup+140.079 s]
/proc/loadavg: 0.94 0.88 0.87 2/64 20605
/proc/meminfo: memFree=1225384/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=138252 CPUtime=139.75
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 33560 0 0 0 13938 37 0 0 25 0 1 0 188390434 141570048 33433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 34563 33433 296 55 0 33455 0
Current children cumulated CPU time (s) 139.75
Current children cumulated vsize (Kb) 138252

[startup+150.086 s]
/proc/loadavg: 0.95 0.88 0.87 3/64 20605
/proc/meminfo: memFree=1221736/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=142036 CPUtime=149.75
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 34484 0 0 0 14937 38 0 0 25 0 1 0 188390434 145444864 34354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 35509 34354 296 55 0 34401 0
Current children cumulated CPU time (s) 149.75
Current children cumulated vsize (Kb) 142036

[startup+160.092 s]
/proc/loadavg: 0.96 0.88 0.87 2/64 20605
/proc/meminfo: memFree=1217768/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=146040 CPUtime=159.75
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 35465 0 0 0 15936 39 0 0 25 0 1 0 188390434 149544960 35335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 36510 35335 296 55 0 35402 0
Current children cumulated CPU time (s) 159.75
Current children cumulated vsize (Kb) 146040

[startup+170.099 s]
/proc/loadavg: 0.96 0.89 0.87 2/64 20605
/proc/meminfo: memFree=1213608/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=150320 CPUtime=169.76
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 36508 0 0 0 16935 41 0 0 25 0 1 0 188390434 153927680 36376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 37580 36376 296 55 0 36472 0
Current children cumulated CPU time (s) 169.76
Current children cumulated vsize (Kb) 150320

[startup+180.106 s]
/proc/loadavg: 0.97 0.89 0.88 2/64 20605
/proc/meminfo: memFree=1210152/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=153804 CPUtime=179.76
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 37360 0 0 0 17934 42 0 0 25 0 1 0 188390434 157495296 37228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 38451 37228 296 55 0 37343 0
Current children cumulated CPU time (s) 179.76
Current children cumulated vsize (Kb) 153804

[startup+190.112 s]
/proc/loadavg: 0.97 0.89 0.88 2/64 20605
/proc/meminfo: memFree=1206312/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=157656 CPUtime=189.77
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 38340 0 0 0 18933 44 0 0 25 0 1 0 188390434 161439744 38208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 39414 38208 296 55 0 38306 0
Current children cumulated CPU time (s) 189.77
Current children cumulated vsize (Kb) 157656

[startup+200.119 s]
/proc/loadavg: 0.98 0.89 0.88 2/64 20605
/proc/meminfo: memFree=1203880/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=160128 CPUtime=199.77
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 38952 0 0 0 19932 45 0 0 25 0 1 0 188390434 163971072 38817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 40032 38817 296 55 0 38924 0
Current children cumulated CPU time (s) 199.77
Current children cumulated vsize (Kb) 160128

[startup+210.124 s]
/proc/loadavg: 0.98 0.90 0.88 2/64 20605
/proc/meminfo: memFree=1200424/2055920 swapFree=4181460/4192956

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

/proc/20605/statm: 148125 145371 296 55 0 147017 0
Current children cumulated CPU time (s) 1760.13
Current children cumulated vsize (Kb) 592500

[startup+1771.09 s]
/proc/loadavg: 1.02 0.99 0.92 2/64 20800
/proc/meminfo: memFree=773544/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=595596 CPUtime=1770.14
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146616 0 0 0 176806 208 0 0 25 0 1 0 188390434 609890304 146119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 148899 146119 296 55 0 147791 0
Current children cumulated CPU time (s) 1770.14
Current children cumulated vsize (Kb) 595596

[startup+1781.09 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=772264/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=596784 CPUtime=1780.13
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146932 0 0 0 177805 208 0 0 25 0 1 0 188390434 611106816 146435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149196 146435 296 55 0 148088 0
Current children cumulated CPU time (s) 1780.13
Current children cumulated vsize (Kb) 596784

[startup+1782.1 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=772200/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=596784 CPUtime=1781.14
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146949 0 0 0 177906 208 0 0 25 0 1 0 188390434 611106816 146452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149196 146452 296 55 0 148088 0
Current children cumulated CPU time (s) 1781.14
Current children cumulated vsize (Kb) 596784

[startup+1783.1 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=772008/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597048 CPUtime=1782.14
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146993 0 0 0 178006 208 0 0 25 0 1 0 188390434 611377152 146496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149262 146496 296 55 0 148154 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (Kb) 597048

[startup+1784.11 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771944/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597048 CPUtime=1783.15
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147005 0 0 0 178107 208 0 0 25 0 1 0 188390434 611377152 146508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149262 146508 296 55 0 148154 0
Current children cumulated CPU time (s) 1783.15
Current children cumulated vsize (Kb) 597048

[startup+1785.11 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771816/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597180 CPUtime=1784.15
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147044 0 0 0 178207 208 0 0 25 0 1 0 188390434 611512320 146547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149295 146547 296 55 0 148187 0
Current children cumulated CPU time (s) 1784.15
Current children cumulated vsize (Kb) 597180

[startup+1786.12 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771752/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597312 CPUtime=1785.15
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147061 0 0 0 178307 208 0 0 25 0 1 0 188390434 611647488 146564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149328 146564 296 55 0 148220 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (Kb) 597312

[startup+1787.12 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771688/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597312 CPUtime=1786.16
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147071 0 0 0 178408 208 0 0 25 0 1 0 188390434 611647488 146574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149328 146574 296 55 0 148220 0
Current children cumulated CPU time (s) 1786.16
Current children cumulated vsize (Kb) 597312

[startup+1788.13 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771624/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597444 CPUtime=1787.16
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147093 0 0 0 178508 208 0 0 25 0 1 0 188390434 611782656 146596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149361 146596 296 55 0 148253 0
Current children cumulated CPU time (s) 1787.16
Current children cumulated vsize (Kb) 597444

[startup+1789.13 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771496/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597576 CPUtime=1788.17
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147123 0 0 0 178609 208 0 0 25 0 1 0 188390434 611917824 146626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149394 146626 296 55 0 148286 0
Current children cumulated CPU time (s) 1788.17
Current children cumulated vsize (Kb) 597576

[startup+1790.14 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771432/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597576 CPUtime=1789.17
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147132 0 0 0 178709 208 0 0 25 0 1 0 188390434 611917824 146635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149394 146635 296 55 0 148286 0
Current children cumulated CPU time (s) 1789.17
Current children cumulated vsize (Kb) 597576

[startup+1791.14 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771368/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597708 CPUtime=1790.18
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147156 0 0 0 178810 208 0 0 25 0 1 0 188390434 612052992 146659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149427 146659 296 55 0 148319 0
Current children cumulated CPU time (s) 1790.18
Current children cumulated vsize (Kb) 597708

[startup+1792.15 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771368/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597708 CPUtime=1791.18
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147162 0 0 0 178910 208 0 0 25 0 1 0 188390434 612052992 146665 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1963643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149427 146665 296 55 0 148319 0
Current children cumulated CPU time (s) 1791.18
Current children cumulated vsize (Kb) 597708

[startup+1793.15 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771240/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597840 CPUtime=1792.19
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147188 0 0 0 179011 208 0 0 25 0 1 0 188390434 612188160 146691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149460 146691 296 55 0 148352 0
Current children cumulated CPU time (s) 1792.19
Current children cumulated vsize (Kb) 597840

[startup+1794.16 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771176/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597840 CPUtime=1793.19
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147206 0 0 0 179111 208 0 0 25 0 1 0 188390434 612188160 146709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149460 146709 296 55 0 148352 0
Current children cumulated CPU time (s) 1793.19
Current children cumulated vsize (Kb) 597840

[startup+1795.16 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771176/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597840 CPUtime=1794.2
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147207 0 0 0 179212 208 0 0 25 0 1 0 188390434 612188160 146710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149460 146710 296 55 0 148352 0
Current children cumulated CPU time (s) 1794.2
Current children cumulated vsize (Kb) 597840

[startup+1796.17 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=771112/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=597840 CPUtime=1795.2
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147209 0 0 0 179312 208 0 0 25 0 1 0 188390434 612188160 146712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149460 146712 296 55 0 148352 0
Current children cumulated CPU time (s) 1795.2
Current children cumulated vsize (Kb) 597840

[startup+1797.17 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=770664/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=598368 CPUtime=1796.21
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147328 0 0 0 179412 209 0 0 25 0 1 0 188390434 612728832 146831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149592 146831 296 55 0 148484 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (Kb) 598368

[startup+1798.18 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=769960/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=599028 CPUtime=1797.21
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147502 0 0 0 179512 209 0 0 25 0 1 0 188390434 613404672 147005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149757 147005 296 55 0 148649 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (Kb) 599028

[startup+1799.18 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=769256/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=599688 CPUtime=1798.22
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147673 0 0 0 179613 209 0 0 25 0 1 0 188390434 614080512 147176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149922 147176 296 55 0 148814 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (Kb) 599688

[startup+1800.19 s]
/proc/loadavg: 1.01 0.99 0.92 2/64 20800
/proc/meminfo: memFree=769000/2055920 swapFree=4181460/4192956
[pid=20605] ppid=20603 vsize=599952 CPUtime=1799.22
/proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147742 0 0 0 179713 209 0 0 25 0 1 0 188390434 614350848 147245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20605/statm: 149988 147245 296 55 0 148880 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (Kb) 599952

Child status: 0
Real time (s): 1801.06
CPU time (s): 1800.1
CPU user time (s): 1797.91
CPU system time (s): 2.19067
CPU usage (%): 99.9467
Max. virtual memory (cumulated for all children) (Kb): 599952

Launcher Data (download as text)

Begin job on node36 on Fri Jun  2 05:47:23 UTC 2006


FILE ID= 39637-1149227243

PBS_JOBID= 296026

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d9b1351aa6c01bb5c883e4233663f5e0

RANDOM SEED= 587443593


/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.284
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.284
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:       1358192 kB
Buffers:         39988 kB
Cached:         581156 kB
SwapCached:       3504 kB
Active:         191352 kB
Inactive:       438812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358192 kB
SwapTotal:     4192956 kB
SwapFree:      4181460 kB
Dirty:             140 kB
Writeback:           0 kB
Mapped:          14924 kB
Slab:            53540 kB
Committed_AS:   182476 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Fri Jun  2 06:17:24 UTC 2006