Trace number 40306

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
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 variables14500
Total number of constraints461872
Number of constraints which are clauses461872
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 constraint29
Number of terms in the objective function 14500
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 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
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.02	c INFO: OSL Context initialized.
7.04	c Initial problem consists of 14500 variables and 461872 constraints.
81.40	c No problem reductions applied in OPT. instance.
81.40	c	preprocess terminated. Elapsed time: 81.361
81.40	c After prepocess the problem consists of 14500 variables and 461872 constraints.
81.40	c Initial Lower Bound: 0
83.64	c Restart #1 #Var: 14500 LB: 0 @ 83.594
86.42	c Restart #2 #Var: 14500 LB: 0 @ 86.373
102.77	c Restart #3 #Var: 14500 LB: 0 @ 102.72
129.26	c Restart #4 #Var: 14500 LB: 0 @ 129.21
161.68	c Restart #5 #Var: 14500 LB: 0 @ 161.61
204.29	c Restart #6 #Var: 14500 LB: 0 @ 204.21
245.16	c Restart #7 #Var: 14500 LB: 0 @ 245.07
291.73	c Restart #8 #Var: 14500 LB: 0 @ 291.63
345.44	c Restart #9 #Var: 14500 LB: 0 @ 345.33
397.35	c Restart #10 #Var: 14500 LB: 0 @ 397.22
468.60	c Restart #11 #Var: 14500 LB: 0 @ 468.45
538.90	c Restart #12 #Var: 14500 LB: 0 @ 538.73
607.95	c Restart #13 #Var: 14500 LB: 0 @ 607.76
693.89	c Restart #14 #Var: 14500 LB: 0 @ 693.68
776.26	c Restart #15 #Var: 14500 LB: 0 @ 776.02
851.86	c Restart #16 #Var: 14500 LB: 0 @ 851.6
938.66	c CHANGE Heuristic... 
938.66	c Restart #0 #Var: 14500 LB: 0 @ 938.38
941.03	c Restart #1 #Var: 14500 LB: 0 @ 940.74
949.14	c Restart #2 #Var: 14500 LB: 0 @ 948.85
974.51	c Restart #3 #Var: 14500 LB: 0 @ 974.21
995.09	c Restart #4 #Var: 14500 LB: 0 @ 994.79
1017.31	c Restart #5 #Var: 14500 LB: 0 @ 1017
1050.83	c Restart #6 #Var: 14500 LB: 0 @ 1050.5
1081.64	c Restart #7 #Var: 14500 LB: 0 @ 1081.3
1127.48	c Restart #8 #Var: 14500 LB: 0 @ 1127.1
1180.65	c Restart #9 #Var: 14500 LB: 0 @ 1180.3
1240.27	c Restart #10 #Var: 14500 LB: 0 @ 1239.9
1296.02	c Restart #11 #Var: 14500 LB: 0 @ 1295.6
1360.43	c Restart #12 #Var: 14500 LB: 0 @ 1360
1429.86	c Restart #13 #Var: 14500 LB: 0 @ 1429.4
1504.18	c Restart #14 #Var: 14500 LB: 0 @ 1503.7
1578.99	c Restart #15 #Var: 14500 LB: 0 @ 1578.5
1667.70	c Restart #16 #Var: 14500 LB: 0 @ 1667.2
1751.18	c Restart #17 #Var: 14500 LB: 0 @ 1750.7
1800.53	s UNKNOWN
1800.53	c Exit Code: 0
1800.53	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/node30/watcher-40306-1149409275 -o ROOT/results/node30/solver-40306-1149409275 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/40306-1149409275/instance-40306-1149409275.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1827184/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=436 CPUtime=0
/proc/7949/stat : 7949 (bsolo) D 7947 7949 7903 0 -1 0 38 0 0 0 0 0 0 0 18 0 1 0 206591209 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7949/statm: 109 23 18 55 0 18 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1608176/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=223476 CPUtime=9.97
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 974 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 55869 54950 287 55 0 54761 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 223476

[startup+20.0081 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1608440/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=223476 CPUtime=19.97
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 1974 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 55869 54950 287 55 0 54761 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 223476

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1608504/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=223476 CPUtime=29.98
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 2975 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644717 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 55869 54950 287 55 0 54761 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 223476

[startup+40.0202 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1608568/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=223476 CPUtime=39.98
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 3975 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 55869 54950 287 55 0 54761 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 223476

[startup+50.0262 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1597816/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=234308 CPUtime=49.98
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 4974 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 58577 57658 287 55 0 57469 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 234308

[startup+60.0323 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1597816/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=234308 CPUtime=59.98
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 5974 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 58577 57658 287 55 0 57469 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 234308

[startup+70.0383 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1597752/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=234308 CPUtime=69.99
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 6975 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 58577 57658 287 55 0 57469 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 234308

[startup+80.0444 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1597752/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=234308 CPUtime=79.99
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 7975 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 58577 57658 287 55 0 57469 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 234308

[startup+90.0504 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1596408/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=235800 CPUtime=90
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58113 0 0 0 8975 25 0 0 25 0 1 0 206591209 241459200 58028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 58950 58028 296 55 0 57842 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 235800

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1596216/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=235932 CPUtime=100
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58147 0 0 0 9975 25 0 0 25 0 1 0 206591209 241594368 58062 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 58983 58062 296 55 0 57875 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 235932

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1596152/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236064 CPUtime=110
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58172 0 0 0 10975 25 0 0 25 0 1 0 206591209 241729536 58087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59016 58087 296 55 0 57908 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 236064

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1596024/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236196 CPUtime=120.01
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58197 0 0 0 11976 25 0 0 25 0 1 0 206591209 241864704 58112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59049 58112 296 55 0 57941 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 236196

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595832/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236328 CPUtime=130.01
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58235 0 0 0 12976 25 0 0 25 0 1 0 206591209 241999872 58150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59082 58150 296 55 0 57974 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 236328

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595832/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236276 CPUtime=140.02
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58235 0 0 0 13976 26 0 0 25 0 1 0 206591209 241946624 58150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59069 58150 296 55 0 57961 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 236276

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595640/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236540 CPUtime=150.02
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58281 0 0 0 14976 26 0 0 25 0 1 0 206591209 242216960 58196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59135 58196 296 55 0 58027 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 236540

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236672 CPUtime=160.02
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 15976 26 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59168 58222 296 55 0 58060 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 236672

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236672 CPUtime=170.02
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 16976 26 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59168 58222 296 55 0 58060 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 236672

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236672 CPUtime=180.02
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 17976 26 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59168 58222 296 55 0 58060 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 236672

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236672 CPUtime=190.04
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 18977 27 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59168 58222 296 55 0 58060 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 236672

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595512/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=236672 CPUtime=200.04
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 19977 27 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 59168 58222 296 55 0 58060 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 236672

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7949
/proc/meminfo: memFree=1595512/2055920 swapFree=4180796/4192956

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

/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 241044

[startup+1771.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1770.57
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 177005 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1770.57
Current children cumulated vsize (Kb) 241044

[startup+1781.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1780.57
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178005 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 241044

[startup+1782.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1781.58
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178106 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 241044

[startup+1783.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1782.58
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178206 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 241044

[startup+1784.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1783.58
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178306 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 241044

[startup+1785.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1784.59
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178407 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 241044

[startup+1786.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1785.59
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178507 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 241044

[startup+1787.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1786.61
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178608 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537906 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 241044

[startup+1788.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1787.61
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178708 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1787.61
Current children cumulated vsize (Kb) 241044

[startup+1789.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1788.62
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178809 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 241044

[startup+1790.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1789.62
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178909 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 241044

[startup+1791.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1790.63
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179010 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (Kb) 241044

[startup+1792.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1791.63
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179110 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 241044

[startup+1793.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1792.64
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179211 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 241044

[startup+1794.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1793.64
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179311 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 241044

[startup+1795.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1794.65
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179412 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 241044

[startup+1796.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1795.65
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179512 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 241044

[startup+1797.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1796.66
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179613 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 241044

[startup+1798.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1797.66
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179713 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 241044

[startup+1799.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1798.67
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179814 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 241044

[startup+1800.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 7951
/proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956
[pid=7949] ppid=7947 vsize=241044 CPUtime=1799.67
/proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179914 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7949/statm: 60261 59362 296 55 0 59153 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 241044

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.04
CPU user time (s): 1799.47
CPU system time (s): 0.569913
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (Kb): 241044

Launcher Data (download as text)

Begin job on node30 on Sun Jun  4 08:21:16 UTC 2006


FILE ID= 40306-1149409275

PBS_JOBID= 314590

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  b0a7c1cc13cb603591c6d50e3dba1a47

RANDOM SEED= 169647015


/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.216
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.216
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:       1827392 kB
Buffers:         16348 kB
Cached:         149532 kB
SwapCached:       3576 kB
Active:          51716 kB
Inactive:       122644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827392 kB
SwapTotal:     4192956 kB
SwapFree:      4180796 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          14424 kB
Slab:            40224 kB
Committed_AS:   385000 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node30 on Sun Jun  4 08:51:16 UTC 2006