Trace number 351779

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
PBS4 2007-03-23No Cert. 1800.17 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
MD5SUM7ddc5796bc843f2bf9bc94a0b22fd8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4362
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4362
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 334
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526119
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 254588
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526119
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb ......
0.19/0.27	c done parsing opb.
0.19/0.27	o 522848
0.29/0.37	o 522710
0.39/0.46	o 522698
0.49/0.55	o 522664
0.59/0.65	o 522506
0.69/0.74	o 522504
0.79/0.83	o 522486
0.89/0.93	o 522372
0.99/1.02	o 522300
1.09/1.11	o 522236
1.19/1.21	o 522229
1.29/1.30	o 522203
1.29/1.39	o 522169
1.39/1.49	o 522159
1.49/1.58	o 522155
1.59/1.67	o 522149
1.69/1.77	o 522136
1.79/1.86	o 522101
1.89/1.95	o 521950
1.99/2.05	o 521940
2.09/2.14	o 521925
2.19/2.23	o 521905
2.28/2.33	o 521868
2.38/2.42	o 521845
2.48/2.51	o 521818
2.59/2.61	o 521720
2.69/2.70	o 521651
2.69/2.79	o 521551
2.79/2.89	o 521541
2.88/2.98	o 521510
2.99/3.08	o 521503
3.09/3.17	o 521464
3.19/3.26	o 521343
3.29/3.36	o 521310
3.39/3.45	o 521267
3.49/3.54	o 521213
3.59/3.64	o 521185
3.69/3.73	o 521041
3.79/3.82	o 521039
3.89/3.92	o 521024
3.99/4.01	o 521004
4.09/4.10	o 520980
4.09/4.20	o 520974
4.19/4.29	o 520905
4.29/4.38	o 520863
4.39/4.48	o 520740
4.78/4.89	o 520656
58.02/58.14	o 520533
58.12/58.24	o 520503
58.22/58.33	o 520490
58.32/58.42	o 520313
58.42/58.51	o 520149
58.52/58.61	o 520147
58.62/58.70	o 519983
58.72/58.85	o 519982
58.82/58.97	o 516834
59.02/59.11	o 516813
827.70/828.02	o 516786
1800.03/1800.60	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node35/watcher-351779-1176613279 -o ROOT/results/node35/solver-351779-1176613279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351779-1176613279/PBS4 /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 3/83 23785
/proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=1980 CPUtime=0
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 307 0 0 0 0 0 0 0 18 0 1 0 109243311 2027520 289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/23785/statm: 495 289 86 219 0 272 0

[startup+0.069278 s]
/proc/loadavg: 0.91 0.95 0.97 3/83 23785
/proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=2384 CPUtime=0.06
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 377 0 0 0 6 0 0 0 18 0 1 0 109243311 2441216 359 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134635964 0 0 4096 0 0 0 0 17 1 0 0
/proc/23785/statm: 596 359 87 219 0 373 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2384

[startup+0.101278 s]
/proc/loadavg: 0.91 0.95 0.97 3/83 23785
/proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=2384 CPUtime=0.09
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 388 0 0 0 9 0 0 0 18 0 1 0 109243311 2441216 370 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134589665 0 0 4096 0 0 0 0 17 1 0 0
/proc/23785/statm: 596 370 87 219 0 373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2384

[startup+0.301301 s]
/proc/loadavg: 0.91 0.95 0.97 3/83 23785
/proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=3064 CPUtime=0.29
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 29 0 0 0 19 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 766 567 102 219 0 543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3064

[startup+0.701349 s]
/proc/loadavg: 0.91 0.95 0.97 3/83 23785
/proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=3064 CPUtime=0.69
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 69 0 0 0 22 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 766 567 102 219 0 543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3064

[startup+1.50144 s]
/proc/loadavg: 0.91 0.95 0.97 2/84 23804
/proc/meminfo: memFree=1662328/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=3064 CPUtime=1.49
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 149 0 0 0 25 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 766 567 102 219 0 543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3064

[startup+3.10263 s]
/proc/loadavg: 0.92 0.95 0.97 2/84 23804
/proc/meminfo: memFree=1662200/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=3064 CPUtime=3.09
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 308 1 0 0 25 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 766 567 102 219 0 543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3064

[startup+6.302 s]
/proc/loadavg: 0.92 0.95 0.97 2/84 23812
/proc/meminfo: memFree=1660424/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=11000 CPUtime=6.28
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 1824 0 0 0 626 2 0 0 25 0 1 0 109243311 11264000 1806 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 2750 1806 103 219 0 2527 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11000

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.97 2/84 23834
/proc/meminfo: memFree=1638088/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=35904 CPUtime=12.66
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 7063 0 0 0 1261 5 0 0 25 0 1 0 109243311 36765696 7045 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 8976 7045 103 219 0 8753 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 35904

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.97 2/84 23866
/proc/meminfo: memFree=1599808/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=68940 CPUtime=25.45
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 16341 0 0 0 2535 10 0 0 25 0 1 0 109243311 70594560 16323 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134783588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 17235 16323 103 219 0 17012 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 68940

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 23894
/proc/meminfo: memFree=1533048/2055920 swapFree=4056780/4192956
[pid=23785] ppid=23783 vsize=135244 CPUtime=51.02
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 33506 0 0 0 5084 18 0 0 25 0 1 0 109243311 138489856 33439 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 33811 33439 104 219 0 33588 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 135244

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 23894
/proc/meminfo: memFree=1465784/2055920 swapFree=4056844/4192956
[pid=23785] ppid=23783 vsize=267908 CPUtime=102.21
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 49854 0 0 0 10194 27 0 0 25 0 1 0 109243311 274337792 49787 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 66977 49787 104 219 0 66754 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 267908

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=1464888/2055920 swapFree=4056844/4192956
[pid=23785] ppid=23783 vsize=269020 CPUtime=162.2
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 50159 0 0 0 16191 29 0 0 25 0 1 0 109243311 275476480 49995 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 67255 49995 104 219 0 67032 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 269020

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=1463224/2055920 swapFree=4056844/4192956
[pid=23785] ppid=23783 vsize=270880 CPUtime=222.17
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 50645 0 0 0 22186 31 0 0 25 0 1 0 109243311 277381120 50481 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559464 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 67720 50481 104 219 0 67497 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 270880

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=1366264/2055920 swapFree=4056912/4192956
[pid=23785] ppid=23783 vsize=405876 CPUtime=282.16
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 74870 0 0 0 28169 47 0 0 25 0 1 0 109243311 415617024 74513 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 101469 74513 104 219 0 101246 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 405876

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=1248120/2055920 swapFree=4056912/4192956
[pid=23785] ppid=23783 vsize=606236 CPUtime=342.14
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 104646 0 0 0 34152 62 0 0 25 0 1 0 109243311 620785664 104289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 151559 104289 104 219 0 151336 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 606236

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=1133368/2055920 swapFree=4056976/4192956
[pid=23785] ppid=23783 vsize=611604 CPUtime=402.12
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 133026 0 0 0 40136 76 0 0 25 0 1 0 109243311 626282496 132669 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134561164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 152901 132669 104 219 0 152678 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 611604

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=1076536/2055920 swapFree=4056976/4192956
[pid=23785] ppid=23783 vsize=618736 CPUtime=462.1
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 147219 0 0 0 46125 85 0 0 25 0 1 0 109243311 633585664 146862 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551032 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 154684 146862 104 219 0 154461 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 618736

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=1042808/2055920 swapFree=4056976/4192956
[pid=23785] ppid=23783 vsize=743168 CPUtime=522.09
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 155350 0 0 0 52112 97 0 0 25 0 1 0 109243311 761004032 154993 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 185792 154993 104 219 0 185569 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 743168

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=994488/2055920 swapFree=4057040/4192956
[pid=23785] ppid=23783 vsize=748124 CPUtime=582.07
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 167801 0 0 0 58103 104 0 0 25 0 1 0 109243311 766078976 167059 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134570274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 187031 167059 104 219 0 186808 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 748124

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=991864/2055920 swapFree=4057040/4192956
[pid=23785] ppid=23783 vsize=751136 CPUtime=642.05
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 168441 0 0 0 64098 107 0 0 25 0 1 0 109243311 769163264 167699 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549577 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 187784 167699 104 219 0 187561 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 751136


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=877816/2055920 swapFree=4057168/4192956
[pid=23785] ppid=23783 vsize=906556 CPUtime=881.98
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 196903 0 0 0 88069 129 0 0 25 0 1 0 109243311 928313344 196161 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 226639 196161 104 219 0 226416 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 906556

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=852984/2055920 swapFree=4057168/4192956
[pid=23785] ppid=23783 vsize=908296 CPUtime=941.96
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 203106 0 0 0 94061 135 0 0 25 0 1 0 109243311 930095104 202364 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 227074 202364 104 219 0 226851 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 908296

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=852664/2055920 swapFree=4057232/4192956
[pid=23785] ppid=23783 vsize=908772 CPUtime=1001.94
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 203213 0 0 0 100056 138 0 0 25 0 1 0 109243311 930582528 202471 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 227193 202471 104 219 0 226970 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 908772

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=851960/2055920 swapFree=4057232/4192956
[pid=23785] ppid=23783 vsize=909172 CPUtime=1061.93
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 203384 0 0 0 106052 141 0 0 25 0 1 0 109243311 930992128 202642 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 227293 202642 104 219 0 227070 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 909172

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=850936/2055920 swapFree=4057296/4192956
[pid=23785] ppid=23783 vsize=913100 CPUtime=1121.92
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 204400 0 0 0 112047 145 0 0 25 0 1 0 109243311 935014400 202889 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 228275 202889 104 219 0 228052 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 913100

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=849144/2055920 swapFree=4057296/4192956
[pid=23785] ppid=23783 vsize=914996 CPUtime=1181.9
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 204835 0 0 0 118042 148 0 0 25 0 1 0 109243311 936955904 203324 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 228749 203324 104 219 0 228526 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 914996

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=846584/2055920 swapFree=4057296/4192956
[pid=23785] ppid=23783 vsize=917848 CPUtime=1241.88
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 205449 0 0 0 124037 151 0 0 25 0 1 0 109243311 939876352 203938 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 229462 203938 104 219 0 229239 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 917848

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=844920/2055920 swapFree=4057360/4192956
[pid=23785] ppid=23783 vsize=919672 CPUtime=1301.86
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 205853 0 0 0 130032 154 0 0 25 0 1 0 109243311 941744128 204342 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 229918 204342 104 219 0 229695 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 919672

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=843192/2055920 swapFree=4057360/4192956
[pid=23785] ppid=23783 vsize=921720 CPUtime=1361.84
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 206284 0 0 0 136027 157 0 0 25 0 1 0 109243311 943841280 204773 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134585699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 230430 204773 104 219 0 230207 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 921720

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=842424/2055920 swapFree=4057424/4192956
[pid=23785] ppid=23783 vsize=922664 CPUtime=1421.83
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 206503 0 0 0 142023 160 0 0 25 0 1 0 109243311 944807936 204992 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 230666 204992 104 219 0 230443 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 922664

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 3/78 23894
/proc/meminfo: memFree=841272/2055920 swapFree=4057424/4192956
[pid=23785] ppid=23783 vsize=923976 CPUtime=1481.81
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 206783 0 0 0 148018 163 0 0 25 0 1 0 109243311 946151424 205272 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 230994 205272 104 219 0 230771 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 923976

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=837752/2055920 swapFree=4057424/4192956
[pid=23785] ppid=23783 vsize=927804 CPUtime=1541.79
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 207656 0 0 0 154012 167 0 0 25 0 1 0 109243311 950071296 206145 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 231951 206145 104 219 0 231728 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 927804

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=837048/2055920 swapFree=4057488/4192956
[pid=23785] ppid=23783 vsize=928284 CPUtime=1601.77
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 207823 0 0 0 160007 170 0 0 25 0 1 0 109243311 950562816 206312 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 232071 206312 104 219 0 231848 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 928284

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=836280/2055920 swapFree=4057488/4192956
[pid=23785] ppid=23783 vsize=928924 CPUtime=1661.76
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208012 0 0 0 166002 174 0 0 25 0 1 0 109243311 951218176 206501 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134585932 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 232231 206501 104 219 0 232008 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 928924

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=835384/2055920 swapFree=4057552/4192956
[pid=23785] ppid=23783 vsize=929872 CPUtime=1721.74
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208249 0 0 0 171997 177 0 0 25 0 1 0 109243311 952188928 206738 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 232468 206738 104 219 0 232245 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 929872

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=835000/2055920 swapFree=4057552/4192956
[pid=23785] ppid=23783 vsize=929872 CPUtime=1781.73
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208327 0 0 0 177992 181 0 0 25 0 1 0 109243311 952188928 206816 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 232468 206816 104 219 0 232245 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 929872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=834872/2055920 swapFree=4057552/4192956
[pid=23785] ppid=23783 vsize=929872 CPUtime=1800.03
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208354 0 0 0 179821 182 0 0 25 0 1 0 109243311 952188928 206843 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 232468 206843 104 219 0 232245 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 929872

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23894
/proc/meminfo: memFree=834872/2055920 swapFree=4057552/4192956
[pid=23785] ppid=23783 vsize=0 CPUtime=1800.13
/proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194308 208355 0 0 0 179821 192 0 0 25 0 1 0 109243311 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/23785/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.17
CPU user time (s): 1798.22
CPU system time (s): 1.9527
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 929872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.22
system time used= 1.9527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2550

runsolver used 2.25366 second user time and 4.23136 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Sun Apr 15 05:01:19 UTC 2007

IDJOB= 351779
IDBENCH= 1810
IDSOLVER= 157
FILE ID= node35/351779-1176613279

PBS_JOBID= 4557027

Free space on /tmp= 66563 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
COMMAND LINE= /tmp/evaluation/351779-1176613279/PBS4 /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-351779-1176613279 -o ROOT/results/node35/conversion-351779-1176613279 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-351779-1176613279 -o ROOT/results/node35/solver-351779-1176613279 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/351779-1176613279/PBS4 /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 779638244

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1664664 kB
Buffers:         49900 kB
Cached:         210656 kB
SwapCached:       2944 kB
Active:         138596 kB
Inactive:       175456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664664 kB
SwapTotal:     4192956 kB
SwapFree:      4056780 kB
Dirty:            1476 kB
Writeback:           0 kB
Mapped:          61564 kB
Slab:            62044 kB
Committed_AS:   866356 kB
PageTables:       2236 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node35 on Sun Apr 15 05:31:22 UTC 2007