Trace number 40423

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 NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.06 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMbc7893eb7aff4749139e472af91e587e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2650
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2650
Number of bits of the biggest sum of numbers12
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.16	c Initial problem consists of 2650 variables and 6619 constraints.
0.19	c No problem reductions applied in OPT. instance.
0.19	c	preprocess terminated. Elapsed time: 0.151
0.19	c After prepocess the problem consists of 2650 variables and 6497 constraints.
0.19	c Initial Lower Bound: 0
0.62	c Restart #1 #Var: 2650 LB: 0 @ 0.584
1.52	c Restart #2 #Var: 2650 LB: 0 @ 1.486
2.81	c Restart #3 #Var: 2650 LB: 0 @ 2.771
4.45	c Restart #4 #Var: 2650 LB: 0 @ 4.415
6.28	c Restart #5 #Var: 2650 LB: 0 @ 6.241
8.09	c Restart #6 #Var: 2648 LB: 1 @ 8.048
10.08	c Restart #7 #Var: 2648 LB: 1 @ 10.039
12.63	c Restart #8 #Var: 2648 LB: 1 @ 12.587
15.77	c Restart #9 #Var: 2648 LB: 1 @ 15.726
19.29	c Restart #10 #Var: 2648 LB: 1 @ 19.247
23.54	c Restart #11 #Var: 2648 LB: 1 @ 23.495
28.20	c Restart #12 #Var: 2648 LB: 1 @ 28.155
33.64	c Restart #13 #Var: 2648 LB: 1 @ 33.587
39.97	c Restart #14 #Var: 2648 LB: 1 @ 39.919
47.00	c Restart #15 #Var: 2648 LB: 1 @ 46.947
55.24	c Restart #16 #Var: 2648 LB: 1 @ 55.187
63.98	c Restart #17 #Var: 2648 LB: 1 @ 63.92
72.37	c Restart #18 #Var: 2648 LB: 1 @ 72.309
82.52	c Restart #19 #Var: 2648 LB: 1 @ 82.454
96.17	c Restart #20 #Var: 2648 LB: 1 @ 96.102
112.77	c Restart #21 #Var: 2648 LB: 1 @ 112.7
129.96	c Restart #22 #Var: 2648 LB: 1 @ 129.83
151.38	c Restart #23 #Var: 2648 LB: 1 @ 151.25
174.07	c Restart #24 #Var: 2648 LB: 1 @ 173.94
194.88	c Restart #25 #Var: 2648 LB: 1 @ 194.73
225.61	c Restart #26 #Var: 2648 LB: 1 @ 225.45
257.44	c Restart #27 #Var: 2648 LB: 1 @ 257.28
285.99	c Restart #28 #Var: 2648 LB: 1 @ 285.82
313.80	c Restart #29 #Var: 2648 LB: 1 @ 313.62
341.48	c Restart #30 #Var: 2648 LB: 1 @ 341.3
370.69	c Restart #31 #Var: 2648 LB: 1 @ 370.5
399.39	c Restart #32 #Var: 2648 LB: 1 @ 399.19
436.47	c Restart #33 #Var: 2648 LB: 1 @ 436.26
471.19	c Restart #34 #Var: 2648 LB: 1 @ 470.98
508.21	c Restart #35 #Var: 2648 LB: 1 @ 507.98
550.58	c Restart #36 #Var: 2648 LB: 1 @ 550.34
592.69	c Restart #37 #Var: 2648 LB: 1 @ 592.44
635.65	c Restart #38 #Var: 2648 LB: 1 @ 635.39
687.39	c Restart #39 #Var: 2648 LB: 1 @ 687.12
740.33	c Restart #40 #Var: 2648 LB: 1 @ 740.04
796.78	c Restart #41 #Var: 2648 LB: 1 @ 796.48
852.35	c Restart #42 #Var: 2648 LB: 1 @ 852.03
911.06	c CHANGE Heuristic... 
911.06	c Restart #0 #Var: 2648 LB: 1 @ 910.73
912.46	c Restart #1 #Var: 2648 LB: 1 @ 912.13
914.86	c Restart #2 #Var: 2648 LB: 1 @ 914.53
918.25	c Restart #3 #Var: 2648 LB: 1 @ 917.91
922.44	c Restart #4 #Var: 2648 LB: 1 @ 922.11
932.79	c Restart #5 #Var: 2648 LB: 1 @ 932.45
942.31	c Restart #6 #Var: 2648 LB: 1 @ 941.97
951.48	c Restart #7 #Var: 2648 LB: 1 @ 951.14
960.13	c Restart #8 #Var: 2648 LB: 1 @ 959.79
970.73	c Restart #9 #Var: 2648 LB: 1 @ 970.38
982.52	c Restart #10 #Var: 2648 LB: 1 @ 982.17
995.49	c Restart #11 #Var: 2648 LB: 1 @ 995.13
1008.10	c Restart #12 #Var: 2648 LB: 1 @ 1007.7
1024.40	c Restart #13 #Var: 2648 LB: 1 @ 1024
1042.03	c Restart #14 #Var: 2648 LB: 1 @ 1041.7
1061.77	c Restart #15 #Var: 2648 LB: 1 @ 1061.4
1081.03	c Restart #16 #Var: 2648 LB: 1 @ 1080.7
1102.99	c Restart #17 #Var: 2648 LB: 1 @ 1102.6
1126.38	c Restart #18 #Var: 2648 LB: 1 @ 1126
1149.89	c Restart #19 #Var: 2648 LB: 1 @ 1149.5
1174.68	c Restart #20 #Var: 2648 LB: 1 @ 1174.3
1203.28	c Restart #21 #Var: 2648 LB: 1 @ 1202.9
1232.86	c Restart #22 #Var: 2648 LB: 1 @ 1232.4
1260.50	c Restart #23 #Var: 2648 LB: 1 @ 1260.1
1288.24	c Restart #24 #Var: 2648 LB: 1 @ 1287.8
1327.53	c Restart #25 #Var: 2648 LB: 1 @ 1327.1
1368.86	c Restart #26 #Var: 2648 LB: 1 @ 1368.4
1408.23	c Restart #27 #Var: 2648 LB: 1 @ 1407.8
1454.23	c Restart #28 #Var: 2648 LB: 1 @ 1453.8
1504.06	c Restart #29 #Var: 2648 LB: 1 @ 1503.6
1554.88	c Restart #30 #Var: 2648 LB: 1 @ 1554.4
1608.84	c Restart #31 #Var: 2648 LB: 1 @ 1608.3
1674.95	c Restart #32 #Var: 2648 LB: 1 @ 1674.4
1738.49	c Restart #33 #Var: 2648 LB: 1 @ 1737.9
1800.57	s UNKNOWN
1800.57	c Exit Code: 0
1800.57	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/node69/watcher-40423-1149281947 -o ROOT/results/node69/solver-40423-1149281947 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40423-1149281947/instance-40423-1149281947.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 17429
/proc/meminfo: memFree=1819820/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=2900 CPUtime=0
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 193864736 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11952932 0 0 4096 0 0 0 0 17 1 0 0
/proc/17429/statm: 725 27 19 55 0 38 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 17429
/proc/meminfo: memFree=1809012/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=15420 CPUtime=9.95
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 3104 0 0 0 992 3 0 0 25 0 1 0 193864736 15790080 3019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 3855 3019 296 55 0 2747 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 15420

[startup+20.0093 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1804092/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=20300 CPUtime=19.96
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 4326 0 0 0 1991 5 0 0 25 0 1 0 193864736 20787200 4241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 5075 4241 296 55 0 3967 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 20300

[startup+30.0151 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1799740/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=24652 CPUtime=29.96
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 5415 0 0 0 2989 7 0 0 25 0 1 0 193864736 25243648 5330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 6163 5330 296 55 0 5055 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 24652

[startup+40.021 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1795772/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=28612 CPUtime=39.97
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 6392 0 0 0 3988 9 0 0 25 0 1 0 193864736 29298688 6307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 7153 6307 296 55 0 6045 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 28612

[startup+50.0268 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1792060/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=32308 CPUtime=49.96
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 7324 0 0 0 4986 10 0 0 25 0 1 0 193864736 33083392 7239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 8077 7240 296 55 0 6969 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 32308

[startup+60.0327 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1788412/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=36004 CPUtime=59.96
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 8229 0 0 0 5985 11 0 0 25 0 1 0 193864736 36868096 8144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 9001 8144 296 55 0 7893 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 36004

[startup+70.0385 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1784444/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=39964 CPUtime=69.97
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 9226 0 0 0 6984 13 0 0 25 0 1 0 193864736 40923136 9141 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 9991 9141 296 55 0 8883 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 39964

[startup+80.0444 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1780540/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=43792 CPUtime=79.97
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 10186 0 0 0 7982 15 0 0 25 0 1 0 193864736 44843008 10101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 10948 10101 296 55 0 9840 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 43792

[startup+90.0502 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1776700/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=47628 CPUtime=89.98
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 11144 0 0 0 8981 17 0 0 25 0 1 0 193864736 48771072 11059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 11907 11059 296 55 0 10799 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 47628

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1773628/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=50672 CPUtime=99.98
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 11907 0 0 0 9980 18 0 0 25 0 1 0 193864736 51888128 11822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 12668 11822 296 55 0 11560 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 50672

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17429
/proc/meminfo: memFree=1770492/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=53840 CPUtime=109.98
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 12696 0 0 0 10979 19 0 0 25 0 1 0 193864736 55132160 12611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 13460 12611 296 55 0 12352 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 53840

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 17500
/proc/meminfo: memFree=1766220/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=56876 CPUtime=119.98
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 13457 0 0 0 11973 25 0 0 25 0 1 0 193864736 58241024 13372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 14219 13372 296 55 0 13111 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 56876

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1764076/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=59780 CPUtime=129.94
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 14179 0 0 0 12967 27 0 0 25 0 1 0 193864736 61214720 14094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 14945 14094 296 55 0 13837 0
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 59780

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1761724/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=62420 CPUtime=139.95
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 14820 0 0 0 13967 28 0 0 25 0 1 0 193864736 63918080 14735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 15605 14735 296 55 0 14497 0
Current children cumulated CPU time (s) 139.95
Current children cumulated vsize (Kb) 62420

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1759228/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=64920 CPUtime=149.94
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 15444 0 0 0 14966 28 0 0 25 0 1 0 193864736 66478080 15359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 16230 15359 296 55 0 15122 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 64920

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1756860/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=67164 CPUtime=159.94
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 16030 0 0 0 15965 29 0 0 25 0 1 0 193864736 68775936 15945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 16791 15945 296 55 0 15683 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 67164

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1754428/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=69680 CPUtime=169.95
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 16641 0 0 0 16965 30 0 0 25 0 1 0 193864736 71352320 16555 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 17420 16555 296 55 0 16312 0
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 69680

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1751868/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=72188 CPUtime=179.96
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 17279 0 0 0 17964 32 0 0 25 0 1 0 193864736 73920512 17193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 18047 17193 296 55 0 16939 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 72188

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1749052/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=75128 CPUtime=189.96
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 17992 0 0 0 18963 33 0 0 25 0 1 0 193864736 76931072 17906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 18782 17906 296 55 0 17674 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 75128

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1746492/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=77648 CPUtime=199.96
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 18629 0 0 0 19963 33 0 0 25 0 1 0 193864736 79511552 18543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 19412 18543 296 55 0 18304 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 77648

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17624
/proc/meminfo: memFree=1744572/2055920 swapFree=4182216/4192956

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

/proc/17429/statm: 83400 82368 296 55 0 82292 0
Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (Kb) 333600

[startup+1771.03 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1489660/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=334392 CPUtime=1770.46
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 82659 0 0 0 176896 150 0 0 25 0 1 0 193864736 342417408 82565 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83598 82565 296 55 0 82490 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (Kb) 334392

[startup+1781.03 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488572/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335448 CPUtime=1780.47
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 82927 0 0 0 177896 151 0 0 25 0 1 0 193864736 343498752 82833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83862 82833 296 55 0 82754 0
Current children cumulated CPU time (s) 1780.47
Current children cumulated vsize (Kb) 335448

[startup+1782.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488508/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335576 CPUtime=1781.47
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 82947 0 0 0 177996 151 0 0 25 0 1 0 193864736 343629824 82853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83894 82853 296 55 0 82786 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 335576

[startup+1783.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488444/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335576 CPUtime=1782.48
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 82961 0 0 0 178097 151 0 0 25 0 1 0 193864736 343629824 82867 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83894 82867 296 55 0 82786 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 335576

[startup+1784.05 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488380/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335708 CPUtime=1783.48
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 82973 0 0 0 178197 151 0 0 25 0 1 0 193864736 343764992 82879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83927 82879 296 55 0 82819 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 335708

[startup+1785.05 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488316/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335708 CPUtime=1784.49
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 82987 0 0 0 178298 151 0 0 25 0 1 0 193864736 343764992 82893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83927 82893 296 55 0 82819 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 335708

[startup+1786.06 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488188/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335840 CPUtime=1785.49
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83026 0 0 0 178398 151 0 0 25 0 1 0 193864736 343900160 82932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83960 82932 296 55 0 82852 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 335840

[startup+1787.06 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488124/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335840 CPUtime=1786.49
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83035 0 0 0 178498 151 0 0 25 0 1 0 193864736 343900160 82941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83960 82941 296 55 0 82852 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 335840

[startup+1788.07 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1488060/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=335972 CPUtime=1787.5
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83053 0 0 0 178599 151 0 0 25 0 1 0 193864736 344035328 82959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 83993 82959 296 55 0 82885 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 335972

[startup+1789.07 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487932/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336104 CPUtime=1788.5
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83085 0 0 0 178699 151 0 0 25 0 1 0 193864736 344170496 82991 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84026 82991 296 55 0 82918 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 336104

[startup+1790.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487804/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336236 CPUtime=1789.51
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83117 0 0 0 178800 151 0 0 25 0 1 0 193864736 344305664 83023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84059 83023 296 55 0 82951 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 336236

[startup+1791.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487676/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336368 CPUtime=1790.51
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83144 0 0 0 178900 151 0 0 25 0 1 0 193864736 344440832 83050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84092 83050 296 55 0 82984 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 336368

[startup+1792.09 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 17624
/proc/meminfo: memFree=1487612/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336500 CPUtime=1791.51
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83169 0 0 0 179000 151 0 0 25 0 1 0 193864736 344576000 83075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84125 83075 296 55 0 83017 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 336500

[startup+1793.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487484/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336500 CPUtime=1792.52
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83195 0 0 0 179101 151 0 0 25 0 1 0 193864736 344576000 83101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84125 83101 296 55 0 83017 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 336500

[startup+1794.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487420/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336632 CPUtime=1793.52
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83215 0 0 0 179201 151 0 0 25 0 1 0 193864736 344711168 83121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84158 83121 296 55 0 83050 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 336632

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487292/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336764 CPUtime=1794.53
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83238 0 0 0 179302 151 0 0 25 0 1 0 193864736 344846336 83144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84191 83144 296 55 0 83083 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 336764

[startup+1796.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487228/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336764 CPUtime=1795.53
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83257 0 0 0 179402 151 0 0 25 0 1 0 193864736 344846336 83163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84191 83163 296 55 0 83083 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 336764

[startup+1797.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487164/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336896 CPUtime=1796.54
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83275 0 0 0 179503 151 0 0 25 0 1 0 193864736 344981504 83181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84224 83181 296 55 0 83116 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 336896

[startup+1798.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487100/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=336896 CPUtime=1797.54
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83290 0 0 0 179603 151 0 0 25 0 1 0 193864736 344981504 83196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84224 83196 296 55 0 83116 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 336896

[startup+1799.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1487036/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=337028 CPUtime=1798.55
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83308 0 0 0 179704 151 0 0 25 0 1 0 193864736 345116672 83214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84257 83214 296 55 0 83149 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 337028

[startup+1800.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 17624
/proc/meminfo: memFree=1486972/2055920 swapFree=4182216/4192956
[pid=17429] ppid=17427 vsize=337028 CPUtime=1799.55
/proc/17429/stat : 17429 (bsolo) R 17427 17429 17383 0 -1 0 83326 0 0 0 179804 151 0 0 25 0 1 0 193864736 345116672 83232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696481 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17429/statm: 84257 83232 296 55 0 83149 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 337028

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.06
CPU user time (s): 1798.49
CPU system time (s): 1.57176
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (Kb): 337028

Launcher Data (download as text)

Begin job on node69 on Fri Jun  2 20:59:07 UTC 2006


FILE ID= 40423-1149281947

PBS_JOBID= 306106

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40423-1149281947/instance-40423-1149281947.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-40423-1149281947 -o ROOT/results/node69/solver-40423-1149281947 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40423-1149281947/instance-40423-1149281947.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  bc7893eb7aff4749139e472af91e587e

RANDOM SEED= 382740176


/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.232
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.232
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:       1820028 kB
Buffers:         22384 kB
Cached:         147256 kB
SwapCached:       2468 kB
Active:          32208 kB
Inactive:       146164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820028 kB
SwapTotal:     4192956 kB
SwapFree:      4182216 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          15444 kB
Slab:            43476 kB
Committed_AS:   298208 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 node69 on Fri Jun  2 21:29:08 UTC 2006