Trace number 40049

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.15 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
MD5SUM11ee19baa608345f86d8483767b8a181
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1804.54
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 244
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 711535
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 711535
Number of bits of the biggest sum of numbers20
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.
9.55	c Initial problem consists of 309773 variables and 10347 constraints.
10.39	c No problem reductions applied in OPT. instance.
10.39	c	preprocess terminated. Elapsed time: 10.368
10.39	c After prepocess the problem consists of 227435 variables and 10347 constraints.
10.39	c Initial Lower Bound: -14972
23.22	c Restart #1 #Var: 227435 LB: -14972 @ 23.203
45.30	c Restart #2 #Var: 227435 LB: -14972 @ 45.267
80.58	c Restart #3 #Var: 227435 LB: -14972 @ 80.536
123.95	c Restart #4 #Var: 227435 LB: -14972 @ 123.89
180.09	c Restart #5 #Var: 227435 LB: -14972 @ 180.02
236.83	c Restart #6 #Var: 227435 LB: -14972 @ 236.74
339.14	c Restart #7 #Var: 227398 LB: -14972 @ 339.01
424.05	c Restart #8 #Var: 227389 LB: -14972 @ 423.89
503.41	c Restart #9 #Var: 227361 LB: -14972 @ 503.22
511.19	c Restart #10 #Var: 227360 LB: -14972 @ 511
511.44	c Restart #11 #Var: 227357 LB: -14972 @ 511.25
512.38	c Restart #12 #Var: 227357 LB: -14972 @ 512.19
521.71	c Restart #13 #Var: 227355 LB: -14972 @ 521.52
556.38	c Restart #14 #Var: 227354 LB: -14972 @ 556.18
575.19	c Restart #15 #Var: 227347 LB: -14972 @ 574.98
579.54	c Restart #16 #Var: 227347 LB: -14972 @ 579.32
589.79	c Restart #17 #Var: 227347 LB: -14972 @ 589.57
598.05	c Restart #18 #Var: 227342 LB: -14972 @ 597.83
616.98	c Restart #19 #Var: 227341 LB: -14972 @ 616.75
626.18	c Restart #20 #Var: 227338 LB: -14972 @ 625.95
653.45	c Restart #21 #Var: 227337 LB: -14972 @ 653.21
659.77	c Restart #22 #Var: 227321 LB: -14972 @ 659.53
669.62	c Restart #23 #Var: 227319 LB: -14972 @ 669.37
670.56	c Restart #24 #Var: 227311 LB: -14972 @ 670.31
673.19	c Restart #25 #Var: 227310 LB: -14972 @ 672.95
685.97	c Restart #26 #Var: 227298 LB: -14972 @ 685.72
688.19	c Restart #27 #Var: 227292 LB: -14972 @ 687.94
693.79	c Restart #28 #Var: 227270 LB: -14972 @ 693.53
699.71	c Restart #29 #Var: 227247 LB: -14972 @ 699.46
704.05	c Restart #30 #Var: 227245 LB: -14972 @ 703.79
707.60	c Restart #31 #Var: 227239 LB: -14972 @ 707.34
714.51	c Restart #32 #Var: 227219 LB: -14972 @ 714.25
741.11	c Restart #33 #Var: 227213 LB: -14972 @ 740.84
745.48	c Restart #34 #Var: 227209 LB: -14972 @ 745.21
748.10	c Restart #35 #Var: 227203 LB: -14972 @ 747.83
749.69	c Restart #36 #Var: 227203 LB: -14972 @ 749.42
751.89	c Restart #37 #Var: 227199 LB: -14972 @ 751.62
770.63	c Restart #38 #Var: 227199 LB: -14972 @ 770.35
777.71	c Restart #39 #Var: 227195 LB: -14972 @ 777.43
780.92	c Restart #40 #Var: 227195 LB: -14972 @ 780.64
786.37	c Restart #41 #Var: 227191 LB: -14972 @ 786.08
789.23	c Restart #42 #Var: 227191 LB: -14972 @ 788.94
793.20	c Restart #43 #Var: 227187 LB: -14972 @ 792.91
794.54	c Restart #44 #Var: 227187 LB: -14972 @ 794.25
803.64	c Restart #45 #Var: 227185 LB: -14972 @ 803.35
842.22	c Restart #46 #Var: 227185 LB: -14972 @ 841.91
849.03	c Restart #47 #Var: 227183 LB: -14972 @ 848.73
859.18	c Restart #48 #Var: 227183 LB: -14972 @ 858.87
882.66	c Restart #49 #Var: 227183 LB: -14972 @ 882.34
885.49	c Restart #50 #Var: 227183 LB: -14972 @ 885.17
903.16	c CHANGE Heuristic... 
903.16	c Restart #0 #Var: 227182 LB: -14972 @ 902.84
903.53	c Restart #1 #Var: 227111 LB: -14972 @ 903.21
903.58	c Restart #2 #Var: 227104 LB: -14972 @ 903.26
903.71	c Restart #3 #Var: 227104 LB: -14972 @ 903.38
904.07	c Restart #4 #Var: 227087 LB: -14972 @ 903.74
905.00	c Restart #5 #Var: 227061 LB: -14972 @ 904.67
936.65	c Restart #6 #Var: 226943 LB: -14972 @ 936.31
948.24	c Restart #7 #Var: 226906 LB: -14972 @ 947.89
967.59	c Restart #8 #Var: 226863 LB: -14972 @ 967.24
971.21	c Restart #9 #Var: 226861 LB: -14972 @ 970.86
977.61	c Restart #10 #Var: 226855 LB: -14972 @ 977.26
981.59	c Restart #11 #Var: 226854 LB: -14972 @ 981.24
988.15	c Restart #12 #Var: 226852 LB: -14972 @ 987.79
988.78	c Restart #13 #Var: 226852 LB: -14972 @ 988.42
989.33	c Restart #14 #Var: 226852 LB: -14972 @ 988.98
991.51	c Restart #15 #Var: 226849 LB: -14972 @ 991.15
992.96	c Restart #16 #Var: 226848 LB: -14972 @ 992.6
1005.81	c Restart #17 #Var: 226848 LB: -14972 @ 1005.5
1008.01	c Restart #18 #Var: 226845 LB: -14972 @ 1007.7
1009.26	c Restart #19 #Var: 226845 LB: -14972 @ 1008.9
1011.96	c Restart #20 #Var: 226844 LB: -14972 @ 1011.6
1012.97	c Restart #21 #Var: 226844 LB: -14972 @ 1012.6
1015.63	c Restart #22 #Var: 226844 LB: -14972 @ 1015.3
1016.76	c Restart #23 #Var: 226844 LB: -14972 @ 1016.4
1018.76	c Restart #24 #Var: 226844 LB: -14972 @ 1018.4
1019.86	c Restart #25 #Var: 226844 LB: -14972 @ 1019.5
1027.27	c Restart #26 #Var: 226830 LB: -14972 @ 1026.9
1033.78	c Restart #27 #Var: 226826 LB: -14972 @ 1033.4
1045.94	c Restart #28 #Var: 226826 LB: -14972 @ 1045.6
1049.82	c Restart #29 #Var: 226825 LB: -14972 @ 1049.4
1072.66	c Restart #30 #Var: 226825 LB: -14972 @ 1072.3
1081.59	c Restart #31 #Var: 226797 LB: -14972 @ 1081.2
1084.90	c Restart #32 #Var: 226797 LB: -14972 @ 1084.5
1087.22	c Restart #33 #Var: 226793 LB: -14972 @ 1086.8
1091.34	c Restart #34 #Var: 226793 LB: -14972 @ 1091
1117.41	c Restart #35 #Var: 226793 LB: -14972 @ 1117
1125.10	c Restart #36 #Var: 226793 LB: -14972 @ 1124.7
1132.65	c Restart #37 #Var: 226793 LB: -14972 @ 1132.2
1134.55	c Restart #38 #Var: 226793 LB: -14972 @ 1134.1
1165.08	c Restart #39 #Var: 226780 LB: -14972 @ 1164.7
1172.85	c Restart #40 #Var: 226731 LB: -14972 @ 1172.4
1178.60	c Restart #41 #Var: 226725 LB: -14972 @ 1178.2
1206.56	c Restart #42 #Var: 226725 LB: -14972 @ 1206.1
1213.06	c Restart #43 #Var: 226725 LB: -14972 @ 1212.6
1221.96	c Restart #44 #Var: 226724 LB: -14972 @ 1221.5
1233.29	c Restart #45 #Var: 226723 LB: -14972 @ 1232.9
1283.04	c Restart #46 #Var: 226723 LB: -14972 @ 1282.6
1394.27	c Restart #47 #Var: 226723 LB: -14972 @ 1393.8
1395.72	c Restart #48 #Var: 226723 LB: -14972 @ 1395.2
1456.30	c Restart #49 #Var: 226723 LB: -14972 @ 1455.8
1494.57	c Restart #50 #Var: 226723 LB: -14972 @ 1494
1520.68	c Restart #51 #Var: 226723 LB: -14972 @ 1520.1
1574.55	c Restart #52 #Var: 226720 LB: -14972 @ 1574
1632.01	c Restart #53 #Var: 226720 LB: -14972 @ 1631.4
1635.65	c Restart #54 #Var: 226720 LB: -14972 @ 1635.1
1642.08	c Restart #55 #Var: 226720 LB: -14972 @ 1641.5
1644.88	c Restart #56 #Var: 226720 LB: -14972 @ 1644.3
1750.88	c Restart #57 #Var: 226720 LB: -14972 @ 1750.3
1765.62	c Restart #58 #Var: 226719 LB: -14972 @ 1765
1790.22	c Restart #59 #Var: 226719 LB: -14972 @ 1789.6
1800.64	s UNKNOWN
1800.64	c Exit Code: 0
1800.64	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/node38/watcher-40049-1149362374 -o ROOT/results/node38/solver-40049-1149362374 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40049-1149362374/instance-40049-1149362374.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 1.00 1.00 3/64 15843
/proc/meminfo: memFree=1671072/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=4932 CPUtime=0
/proc/15843/stat : 15843 (bsolo) D 15841 15843 15797 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 201903692 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/15843/statm: 1241 332 227 55 0 133 0

[startup+10.0025 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1349104/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=338240 CPUtime=9.97
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 222095 0 0 0 918 79 0 0 25 0 1 0 201903692 346357760 80696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 84560 80696 288 55 0 83452 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 338240

[startup+20.0084 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368416 CPUtime=19.98
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 229204 0 0 0 1835 163 0 0 25 0 1 0 201903692 377257984 87805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92104 87805 297 55 0 90996 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 368416

[startup+30.0143 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320688/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368392 CPUtime=29.99
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230115 0 0 0 2753 246 0 0 25 0 1 0 201903692 377233408 87807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92098 87807 297 55 0 90990 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 368392

[startup+40.0203 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320688/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368524 CPUtime=39.99
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 3666 333 0 0 25 0 1 0 201903692 377368576 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92131 87835 297 55 0 91023 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 368524

[startup+50.0262 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368400 CPUtime=49.99
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 4586 413 0 0 25 0 1 0 201903692 377241600 87830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92100 87830 297 55 0 90992 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 368400

[startup+60.0322 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368400 CPUtime=59.99
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 5502 497 0 0 25 0 1 0 201903692 377241600 87830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92100 87830 297 55 0 90992 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 368400

[startup+70.0391 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368400 CPUtime=69.99
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 6418 581 0 0 25 0 1 0 201903692 377241600 87830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92100 87830 297 55 0 90992 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 368400

[startup+80.0461 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368532 CPUtime=79.99
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 7333 666 0 0 25 0 1 0 201903692 377376768 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92133 87831 297 55 0 91025 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 368532

[startup+90.053 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368408 CPUtime=90
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 8257 743 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92102 87831 297 55 0 90994 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 368408

[startup+100.059 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368408 CPUtime=100
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 9178 822 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92102 87831 297 55 0 90994 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 368408

[startup+110.066 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368408 CPUtime=110
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 10095 905 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92102 87831 297 55 0 90994 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 368408

[startup+120.072 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368408 CPUtime=120.01
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 11020 981 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92102 87831 297 55 0 90994 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 368408

[startup+130.078 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368540 CPUtime=130.01
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230148 0 0 0 11939 1062 0 0 25 0 1 0 201903692 377384960 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92135 87835 297 55 0 91027 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 368540

[startup+140.085 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368540 CPUtime=140.02
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230148 0 0 0 12855 1147 0 0 25 0 1 0 201903692 377384960 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92135 87835 297 55 0 91027 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 368540

[startup+150.091 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368540 CPUtime=150.01
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230148 0 0 0 13779 1222 0 0 25 0 1 0 201903692 377384960 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92135 87835 297 55 0 91027 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 368540

[startup+160.097 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368508 CPUtime=160.02
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 14697 1305 0 0 25 0 1 0 201903692 377352192 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92127 87836 297 55 0 91019 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 368508

[startup+170.104 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368508 CPUtime=170.03
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 15617 1386 0 0 25 0 1 0 201903692 377352192 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92127 87836 297 55 0 91019 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 368508

[startup+180.11 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368496 CPUtime=180.02
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 16547 1455 0 0 25 0 1 0 201903692 377339904 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92124 87836 297 55 0 91016 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 368496

[startup+190.115 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368496 CPUtime=190.02
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 17471 1531 0 0 25 0 1 0 201903692 377339904 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92124 87836 297 55 0 91016 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 368496

[startup+200.121 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=368480 CPUtime=200.03
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 18394 1609 0 0 25 0 1 0 201903692 377323520 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 92120 87836 297 55 0 91012 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 368480

[startup+210.127 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15843
/proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956

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

/proc/15843/statm: 225370 220955 297 55 0 224262 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 901480

[startup+1771.09 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=774320/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=914156 CPUtime=1770.45
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 373903 0 0 0 172797 4248 0 0 25 0 1 0 201903692 936095744 224149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 228539 224149 297 55 0 227431 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 914156

[startup+1781.09 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=767344/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=921200 CPUtime=1780.45
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 375644 0 0 0 173795 4250 0 0 25 0 1 0 201903692 943308800 225888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 230300 225888 297 55 0 229192 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 921200

[startup+1782.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=766576/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=921992 CPUtime=1781.45
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 375843 0 0 0 173895 4250 0 0 25 0 1 0 201903692 944119808 226087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 230498 226087 297 55 0 229390 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 921992

[startup+1783.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=765744/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=922784 CPUtime=1782.46
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376035 0 0 0 173995 4251 0 0 25 0 1 0 201903692 944930816 226279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 230696 226279 297 55 0 229588 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 922784

[startup+1784.11 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=765360/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=923180 CPUtime=1783.47
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376137 0 0 0 174096 4251 0 0 25 0 1 0 201903692 945336320 226381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 230795 226381 297 55 0 229687 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 923180

[startup+1785.11 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=764528/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=924104 CPUtime=1784.47
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376354 0 0 0 174196 4251 0 0 25 0 1 0 201903692 946282496 226598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 231026 226598 297 55 0 229918 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 924104

[startup+1786.12 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=763568/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=925028 CPUtime=1785.47
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376587 0 0 0 174296 4251 0 0 25 0 1 0 201903692 947228672 226831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 231257 226831 297 55 0 230149 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 925028

[startup+1787.12 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=762800/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=925820 CPUtime=1786.48
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376783 0 0 0 174397 4251 0 0 25 0 1 0 201903692 948039680 227027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 231455 227027 297 55 0 230347 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 925820

[startup+1788.13 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=761968/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=926612 CPUtime=1787.49
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376988 0 0 0 174497 4252 0 0 25 0 1 0 201903692 948850688 227232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 231653 227232 297 55 0 230545 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 926612

[startup+1789.13 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=761136/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=927404 CPUtime=1788.49
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377199 0 0 0 174597 4252 0 0 25 0 1 0 201903692 949661696 227443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 231851 227443 297 55 0 230743 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 927404

[startup+1790.14 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=760240/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=928328 CPUtime=1789.5
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377414 0 0 0 174698 4252 0 0 25 0 1 0 201903692 950607872 227658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232082 227658 297 55 0 230974 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 928328

[startup+1791.14 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=760112/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=928468 CPUtime=1790.5
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377442 0 0 0 174798 4252 0 0 25 0 1 0 201903692 950751232 227686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232117 227686 297 55 0 231009 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 928468

[startup+1792.15 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759984/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=928600 CPUtime=1791.5
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377475 0 0 0 174898 4252 0 0 25 0 1 0 201903692 950886400 227719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232150 227719 297 55 0 231042 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 928600

[startup+1793.15 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759856/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=928732 CPUtime=1792.51
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377510 0 0 0 174999 4252 0 0 25 0 1 0 201903692 951021568 227754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232183 227754 297 55 0 231075 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 928732

[startup+1794.16 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759792/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=928864 CPUtime=1793.51
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377535 0 0 0 175099 4252 0 0 25 0 1 0 201903692 951156736 227779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232216 227779 297 55 0 231108 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 928864

[startup+1795.16 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759600/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=928996 CPUtime=1794.52
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377572 0 0 0 175200 4252 0 0 25 0 1 0 201903692 951291904 227816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232249 227816 297 55 0 231141 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 928996

[startup+1796.17 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759472/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=929128 CPUtime=1795.52
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377614 0 0 0 175300 4252 0 0 25 0 1 0 201903692 951427072 227858 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232282 227858 297 55 0 231174 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 929128

[startup+1797.17 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759344/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=929260 CPUtime=1796.53
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377638 0 0 0 175401 4252 0 0 25 0 1 0 201903692 951562240 227882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232315 227882 297 55 0 231207 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 929260

[startup+1798.18 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759216/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=929392 CPUtime=1797.53
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377678 0 0 0 175501 4252 0 0 25 0 1 0 201903692 951697408 227922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232348 227922 297 55 0 231240 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 929392

[startup+1799.18 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=759088/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=929524 CPUtime=1798.53
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377699 0 0 0 175601 4252 0 0 25 0 1 0 201903692 951832576 227943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232381 227943 297 55 0 231273 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 929524

[startup+1800.19 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 15845
/proc/meminfo: memFree=758960/2055920 swapFree=4181196/4192956
[pid=15843] ppid=15841 vsize=929656 CPUtime=1799.55
/proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377734 0 0 0 175702 4253 0 0 25 0 1 0 201903692 951967744 227978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15843/statm: 232414 227978 297 55 0 231306 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 929656

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.15
CPU user time (s): 1757.47
CPU system time (s): 42.6715
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (Kb): 929656

Launcher Data (download as text)

Begin job on node38 on Sat Jun  3 19:19:34 UTC 2006


FILE ID= 40049-1149362374

PBS_JOBID= 311588

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40049-1149362374/instance-40049-1149362374.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-40049-1149362374 -o ROOT/results/node38/solver-40049-1149362374 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40049-1149362374/instance-40049-1149362374.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  11ee19baa608345f86d8483767b8a181

RANDOM SEED= 267110962


/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.267
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.267
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:       1671280 kB
Buffers:         25816 kB
Cached:         291860 kB
SwapCached:       3420 kB
Active:          70988 kB
Inactive:       255348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671280 kB
SwapTotal:     4192956 kB
SwapFree:      4181196 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14904 kB
Slab:            44296 kB
Committed_AS:   343464 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node38 on Sat Jun  3 19:49:35 UTC 2006