Trace number 39698

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/05UNSAT 1272.6 1273.01

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
MD5SUM6d44efaff34237725f88a3d0685c8f91
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 benchmark12.1771
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables20605
Total number of constraints59851
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11
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 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 134
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
1.44	c Initial problem consists of 20605 variables and 59851 constraints.
2.67	c Using non-optimization problem switches.
2.67	c No problem reductions applied in OPT. instance.
2.67	c	preprocess terminated. Elapsed time: 2.66
2.67	c After prepocess the problem consists of 19887 variables and 58411 constraints.
4.08	c Restart #1 #Var: 19887 LB: 0 @ 4.074
6.23	c Restart #2 #Var: 19887 LB: 0 @ 6.221
11.33	c Restart #3 #Var: 19887 LB: 0 @ 11.315
21.69	c Restart #4 #Var: 19887 LB: 0 @ 21.671
26.27	c Restart #5 #Var: 19887 LB: 0 @ 26.254
41.20	c Restart #6 #Var: 19887 LB: 0 @ 41.184
45.48	c Restart #7 #Var: 19887 LB: 0 @ 45.463
62.75	c Restart #8 #Var: 19887 LB: 0 @ 62.721
78.16	c Restart #9 #Var: 19887 LB: 0 @ 78.13
81.88	c Restart #10 #Var: 19887 LB: 0 @ 81.849
100.78	c Restart #11 #Var: 19887 LB: 0 @ 100.74
120.51	c Restart #12 #Var: 19887 LB: 0 @ 120.47
144.55	c Restart #13 #Var: 19887 LB: 0 @ 144.5
179.22	c Restart #14 #Var: 19887 LB: 0 @ 179.17
213.85	c Restart #15 #Var: 19887 LB: 0 @ 213.79
248.61	c Restart #16 #Var: 19887 LB: 0 @ 248.53
281.53	c Restart #17 #Var: 19887 LB: 0 @ 281.45
324.12	c Restart #18 #Var: 19887 LB: 0 @ 324.03
371.99	c Restart #19 #Var: 19887 LB: 0 @ 371.88
427.52	c Restart #20 #Var: 19887 LB: 0 @ 427.4
468.74	c Restart #21 #Var: 19887 LB: 0 @ 468.6
522.48	c Restart #22 #Var: 19887 LB: 0 @ 522.28
583.88	c Restart #23 #Var: 19887 LB: 0 @ 583.67
638.60	c Restart #24 #Var: 19887 LB: 0 @ 638.38
691.93	c Restart #25 #Var: 19887 LB: 0 @ 691.68
790.49	c Restart #26 #Var: 19887 LB: 0 @ 790.22
907.42	c CHANGE Heuristic... 
907.42	c Restart #0 #Var: 19887 LB: 0 @ 907.12
908.59	c Restart #1 #Var: 19887 LB: 0 @ 908.29
909.89	c Restart #2 #Var: 19887 LB: 0 @ 909.59
915.16	c Restart #3 #Var: 19887 LB: 0 @ 914.86
925.23	c Restart #4 #Var: 19887 LB: 0 @ 924.93
936.57	c Restart #5 #Var: 19887 LB: 0 @ 936.26
952.68	c Restart #6 #Var: 19887 LB: 0 @ 952.36
973.14	c Restart #7 #Var: 19887 LB: 0 @ 972.82
995.25	c Restart #8 #Var: 19887 LB: 0 @ 994.93
1020.12	c Restart #9 #Var: 19887 LB: 0 @ 1019.8
1046.57	c Restart #10 #Var: 19887 LB: 0 @ 1046.2
1075.19	c Restart #11 #Var: 19887 LB: 0 @ 1074.8
1104.25	c Restart #12 #Var: 19887 LB: 0 @ 1103.9
1133.85	c Restart #13 #Var: 19887 LB: 0 @ 1133.5
1169.87	c Restart #14 #Var: 19887 LB: 0 @ 1169.5
1210.08	c Restart #15 #Var: 19887 LB: 0 @ 1209.7
1253.62	c Restart #16 #Var: 19887 LB: 0 @ 1253.2
1272.98	s UNSATISFIABLE
1272.98	c Exit Code: 20
1272.98	c Total time: 1272.6 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/node23/watcher-39698-1149234772 -o ROOT/results/node23/solver-39698-1149234772 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/39698-1149234772/instance-39698-1149234772.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.79 0.92 0.92 2/64 9387
/proc/meminfo: memFree=1298120/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=4664 CPUtime=0
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 142 0 0 0 0 0 0 0 19 0 1 0 189140844 4775936 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2458816 0 0 4096 0 0 0 0 17 1 0 0
/proc/9387/statm: 1166 123 103 55 0 46 0

[startup+10.0029 s]
/proc/loadavg: 0.82 0.93 0.92 2/64 9387
/proc/meminfo: memFree=1247568/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=55780 CPUtime=9.98
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 105500 0 0 0 966 32 0 0 25 0 1 0 189140844 57118720 12916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 13945 12916 299 55 0 12837 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 55780

[startup+20.01 s]
/proc/loadavg: 0.85 0.93 0.92 2/64 9387
/proc/meminfo: memFree=1247192/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=56176 CPUtime=19.98
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 105608 0 0 0 1966 32 0 0 25 0 1 0 189140844 57524224 13024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 14044 13024 300 55 0 12936 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 56176

[startup+30.0171 s]
/proc/loadavg: 0.87 0.93 0.92 2/64 9387
/proc/meminfo: memFree=1246424/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=56964 CPUtime=29.99
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 105804 0 0 0 2966 33 0 0 25 0 1 0 189140844 58331136 13220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534931 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 14241 13220 300 55 0 13133 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 56964

[startup+40.0222 s]
/proc/loadavg: 0.89 0.93 0.92 2/64 9387
/proc/meminfo: memFree=1246104/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=57360 CPUtime=40
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 105900 0 0 0 3966 34 0 0 25 0 1 0 189140844 58736640 13316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 14340 13316 300 55 0 13232 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 57360

[startup+50.0284 s]
/proc/loadavg: 0.91 0.93 0.92 2/64 9387
/proc/meminfo: memFree=1244952/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=58412 CPUtime=50
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 106184 0 0 0 4966 34 0 0 25 0 1 0 189140844 59813888 13600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 14603 13600 300 55 0 13495 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 58412

[startup+60.0345 s]
/proc/loadavg: 0.92 0.94 0.92 2/64 9387
/proc/meminfo: memFree=1244440/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=58940 CPUtime=60
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 106301 0 0 0 5966 34 0 0 25 0 1 0 189140844 60354560 13717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 14735 13717 300 55 0 13627 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 58940

[startup+70.0406 s]
/proc/loadavg: 0.93 0.94 0.92 2/64 9387
/proc/meminfo: memFree=1243864/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=59468 CPUtime=70
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 106441 0 0 0 6966 34 0 0 25 0 1 0 189140844 60895232 13857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 14867 13857 300 55 0 13759 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 59468

[startup+80.0468 s]
/proc/loadavg: 0.94 0.94 0.92 2/64 9387
/proc/meminfo: memFree=1242776/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=60524 CPUtime=80.01
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 106715 0 0 0 7966 35 0 0 25 0 1 0 189140844 61976576 14131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 15131 14131 300 55 0 14023 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 60524

[startup+90.0529 s]
/proc/loadavg: 0.95 0.94 0.92 2/64 9387
/proc/meminfo: memFree=1241624/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=61712 CPUtime=90.01
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 107006 0 0 0 8965 36 0 0 25 0 1 0 189140844 63193088 14422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 15428 14422 300 55 0 14320 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 61712

[startup+100.059 s]
/proc/loadavg: 0.96 0.94 0.92 2/64 9387
/proc/meminfo: memFree=1241112/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=62240 CPUtime=100.01
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 107133 0 0 0 9965 36 0 0 25 0 1 0 189140844 63733760 14549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 15560 14549 300 55 0 14452 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 62240

[startup+110.065 s]
/proc/loadavg: 0.96 0.94 0.92 2/64 9387
/proc/meminfo: memFree=1240216/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=63164 CPUtime=110.02
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 107356 0 0 0 10965 37 0 0 25 0 1 0 189140844 64679936 14772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 15791 14772 300 55 0 14683 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 63164

[startup+120.071 s]
/proc/loadavg: 0.97 0.94 0.92 2/64 9387
/proc/meminfo: memFree=1239512/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=63820 CPUtime=120.02
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 107522 0 0 0 11965 37 0 0 25 0 1 0 189140844 65351680 14938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 15955 14938 300 55 0 14847 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 63820

[startup+130.077 s]
/proc/loadavg: 0.97 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1238808/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=64612 CPUtime=130.02
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 107709 0 0 0 12965 37 0 0 25 0 1 0 189140844 66162688 15125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 16153 15125 300 55 0 15045 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 64612

[startup+140.084 s]
/proc/loadavg: 0.98 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1238424/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=64876 CPUtime=140.02
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 107795 0 0 0 13965 37 0 0 25 0 1 0 189140844 66433024 15211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 16219 15211 300 55 0 15111 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 64876

[startup+150.09 s]
/proc/loadavg: 0.98 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1237784/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=65536 CPUtime=150.03
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 107952 0 0 0 14965 38 0 0 25 0 1 0 189140844 67108864 15368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 16384 15368 300 55 0 15276 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 65536

[startup+160.096 s]
/proc/loadavg: 0.98 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1237336/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=65932 CPUtime=160.04
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 108067 0 0 0 15966 38 0 0 25 0 1 0 189140844 67514368 15483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 16483 15483 300 55 0 15375 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 65932

[startup+170.102 s]
/proc/loadavg: 0.98 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1236888/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=66460 CPUtime=170.04
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 108184 0 0 0 16966 38 0 0 25 0 1 0 189140844 68055040 15600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 16615 15600 300 55 0 15507 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 66460

[startup+180.108 s]
/proc/loadavg: 0.99 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1236312/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=67120 CPUtime=180.04
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 108339 0 0 0 17966 38 0 0 25 0 1 0 189140844 68730880 15755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 16780 15755 300 55 0 15672 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 67120

[startup+190.114 s]
/proc/loadavg: 0.99 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1235736/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=67648 CPUtime=190.04
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 108472 0 0 0 18966 38 0 0 25 0 1 0 189140844 69271552 15888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 16912 15888 300 55 0 15804 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 67648

[startup+200.121 s]
/proc/loadavg: 0.99 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1235096/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=68308 CPUtime=200.04
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 108631 0 0 0 19966 38 0 0 25 0 1 0 189140844 69947392 16047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 17077 16047 300 55 0 15969 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 68308

[startup+210.129 s]
/proc/loadavg: 0.99 0.95 0.92 2/64 9387
/proc/meminfo: memFree=1234520/2055920 swapFree=4180892/4192956

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

/proc/9387/statm: 27877 26832 300 55 0 26769 0
Current children cumulated CPU time (s) 1060.3
Current children cumulated vsize (Kb) 111508

[startup+1070.65 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1191328/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=111904 CPUtime=1070.3
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 119595 0 0 0 106963 67 0 0 25 0 1 0 189140844 114589696 26927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 27976 26927 300 55 0 26868 0
Current children cumulated CPU time (s) 1070.3
Current children cumulated vsize (Kb) 111904

[startup+1080.66 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1190752/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=112564 CPUtime=1080.3
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 119744 0 0 0 107963 67 0 0 25 0 1 0 189140844 115265536 27076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 28141 27076 300 55 0 27033 0
Current children cumulated CPU time (s) 1080.3
Current children cumulated vsize (Kb) 112564

[startup+1090.67 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1190176/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=113092 CPUtime=1090.31
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 119881 0 0 0 108963 68 0 0 25 0 1 0 189140844 115806208 27213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 28273 27213 300 55 0 27165 0
Current children cumulated CPU time (s) 1090.31
Current children cumulated vsize (Kb) 113092

[startup+1100.67 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1189664/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=113620 CPUtime=1100.31
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120017 0 0 0 109963 68 0 0 25 0 1 0 189140844 116346880 27349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 28405 27349 300 55 0 27297 0
Current children cumulated CPU time (s) 1100.31
Current children cumulated vsize (Kb) 113620

[startup+1110.68 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1189088/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=114148 CPUtime=1110.31
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120152 0 0 0 110963 68 0 0 25 0 1 0 189140844 116887552 27484 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 28537 27484 300 55 0 27429 0
Current children cumulated CPU time (s) 1110.31
Current children cumulated vsize (Kb) 114148

[startup+1120.68 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1188640/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=114544 CPUtime=1120.32
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120261 0 0 0 111964 68 0 0 25 0 1 0 189140844 117293056 27593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 28636 27593 300 55 0 27528 0
Current children cumulated CPU time (s) 1120.32
Current children cumulated vsize (Kb) 114544

[startup+1130.69 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1188064/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=115204 CPUtime=1130.32
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120404 0 0 0 112963 69 0 0 25 0 1 0 189140844 117968896 27736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 28801 27736 300 55 0 27693 0
Current children cumulated CPU time (s) 1130.32
Current children cumulated vsize (Kb) 115204

[startup+1140.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1187424/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=115728 CPUtime=1140.32
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120559 0 0 0 113963 69 0 0 25 0 1 0 189140844 118505472 27891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 28932 27891 300 55 0 27824 0
Current children cumulated CPU time (s) 1140.32
Current children cumulated vsize (Kb) 115728

[startup+1150.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1186912/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=116388 CPUtime=1150.33
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120697 0 0 0 114964 69 0 0 25 0 1 0 189140844 119181312 28029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29097 28029 300 55 0 27989 0
Current children cumulated CPU time (s) 1150.33
Current children cumulated vsize (Kb) 116388

[startup+1160.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1186336/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=116916 CPUtime=1160.33
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120833 0 0 0 115964 69 0 0 25 0 1 0 189140844 119721984 28165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29229 28165 300 55 0 28121 0
Current children cumulated CPU time (s) 1160.33
Current children cumulated vsize (Kb) 116916

[startup+1170.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1185888/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=117468 CPUtime=1170.34
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 120954 0 0 0 116964 70 0 0 25 0 1 0 189140844 120287232 28283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29367 28283 300 55 0 28259 0
Current children cumulated CPU time (s) 1170.34
Current children cumulated vsize (Kb) 117468

[startup+1180.72 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1185632/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=117732 CPUtime=1180.34
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121029 0 0 0 117964 70 0 0 25 0 1 0 189140844 120557568 28358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29433 28358 300 55 0 28325 0
Current children cumulated CPU time (s) 1180.34
Current children cumulated vsize (Kb) 117732

[startup+1190.73 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1184992/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=118260 CPUtime=1190.34
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121182 0 0 0 118964 70 0 0 25 0 1 0 189140844 121098240 28511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29565 28511 300 55 0 28457 0
Current children cumulated CPU time (s) 1190.34
Current children cumulated vsize (Kb) 118260

[startup+1200.73 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1184672/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=118656 CPUtime=1200.35
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121257 0 0 0 119964 71 0 0 25 0 1 0 189140844 121503744 28586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29664 28586 300 55 0 28556 0
Current children cumulated CPU time (s) 1200.35
Current children cumulated vsize (Kb) 118656

[startup+1210.74 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1184352/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=118920 CPUtime=1210.35
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121336 0 0 0 120964 71 0 0 25 0 1 0 189140844 121774080 28665 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29730 28665 300 55 0 28622 0
Current children cumulated CPU time (s) 1210.35
Current children cumulated vsize (Kb) 118920

[startup+1220.74 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1183904/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=119316 CPUtime=1220.35
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121453 0 0 0 121964 71 0 0 25 0 1 0 189140844 122179584 28782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29829 28782 300 55 0 28721 0
Current children cumulated CPU time (s) 1220.35
Current children cumulated vsize (Kb) 119316

[startup+1230.75 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1183392/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=119844 CPUtime=1230.36
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121574 0 0 0 122965 71 0 0 25 0 1 0 189140844 122720256 28903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 29961 28903 300 55 0 28853 0
Current children cumulated CPU time (s) 1230.36
Current children cumulated vsize (Kb) 119844

[startup+1240.76 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1183072/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=120240 CPUtime=1240.36
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121654 0 0 0 123965 71 0 0 25 0 1 0 189140844 123125760 28983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 30060 28983 300 55 0 28952 0
Current children cumulated CPU time (s) 1240.36
Current children cumulated vsize (Kb) 120240

[startup+1250.76 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1182560/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=120768 CPUtime=1250.36
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121790 0 0 0 124965 71 0 0 25 0 1 0 189140844 123666432 29119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 30192 29119 300 55 0 29084 0
Current children cumulated CPU time (s) 1250.36
Current children cumulated vsize (Kb) 120768

[startup+1260.77 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1182176/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=121032 CPUtime=1260.36
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121875 0 0 0 125965 71 0 0 25 0 1 0 189140844 123936768 29204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 30258 29204 300 55 0 29150 0
Current children cumulated CPU time (s) 1260.36
Current children cumulated vsize (Kb) 121032

[startup+1270.78 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 9582
/proc/meminfo: memFree=1181856/2055920 swapFree=4180892/4192956
[pid=9387] ppid=9385 vsize=121428 CPUtime=1270.37
/proc/9387/stat : 9387 (bsolo) R 9385 9387 9342 0 -1 0 121955 0 0 0 126965 72 0 0 25 0 1 0 189140844 124342272 29284 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9387/statm: 30357 29284 300 55 0 29249 0
Current children cumulated CPU time (s) 1270.37
Current children cumulated vsize (Kb) 121428

Child status: 20
Real time (s): 1273.01
CPU time (s): 1272.6
CPU user time (s): 1271.86
CPU system time (s): 0.740887
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (Kb): 121428

Launcher Data (download as text)

Begin job on node23 on Fri Jun  2 07:52:52 UTC 2006


FILE ID= 39698-1149234772

PBS_JOBID= 296825

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6d44efaff34237725f88a3d0685c8f91

RANDOM SEED= 673204779


/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.213
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	: 5931.00
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.213
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:       1298264 kB
Buffers:         40664 kB
Cached:         639884 kB
SwapCached:       3872 kB
Active:         172444 kB
Inactive:       516936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1298264 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            54328 kB
Committed_AS:   240056 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Fri Jun  2 08:14:05 UTC 2006