Trace number 458670

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_v2 2007-03-23? (TO) 1800.08 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb
MD5SUM4a4829ccfb158b9e23ea953e29870120
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark69
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables4600
Total number of constraints310
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints310
Minimum length of a constraint17
Maximum length of a constraint147
Number of terms in the objective function 3424
Biggest coefficient in the objective function 3121
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527152
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/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb ......
1800.06/1800.50	c done parsing opb.
1800.06/1800.50	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-458670-1178640210 -o ROOT/results/node51/solver-458670-1178640210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458670-1178640210/instance-458670-1178640210.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.92 0.98 0.99 3/64 24253
/proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=1904 CPUtime=0
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 218866158 1949696 262 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 476 262 84 219 0 253 0

[startup+0.054613 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24253
/proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=2184 CPUtime=0.05
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 338 0 0 0 5 0 0 0 18 0 1 0 218866158 2236416 320 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 546 320 86 219 0 323 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2184

[startup+0.101617 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24253
/proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=2484 CPUtime=0.09
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 417 0 0 0 9 0 0 0 18 0 1 0 218866158 2543616 399 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530463 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 621 399 86 219 0 398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2484

[startup+0.301634 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24253
/proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=4232 CPUtime=0.29
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 801 0 0 0 29 0 0 0 19 0 1 0 218866158 4333568 675 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 1058 676 90 219 0 835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4232

[startup+0.70167 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24253
/proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=7444 CPUtime=0.69
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 1221 0 0 0 69 0 0 0 22 0 1 0 218866158 7622656 1095 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 1861 1095 90 219 0 1638 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7444

[startup+1.50174 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1574440/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=11736 CPUtime=1.49
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 1913 0 0 0 148 1 0 0 25 0 1 0 218866158 12017664 1787 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 2934 1787 90 219 0 2711 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11736

[startup+3.10189 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1571176/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=12740 CPUtime=3.09
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 2891 0 0 0 306 3 0 0 25 0 1 0 218866158 13045760 2716 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 3185 2716 90 219 0 2962 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12740

[startup+6.30118 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1568168/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=13072 CPUtime=6.29
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 3103 0 0 0 624 5 0 0 25 0 1 0 218866158 13385728 2928 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 3268 2928 90 219 0 3045 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13072

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1567400/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=13820 CPUtime=12.69
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 3340 0 0 0 1262 7 0 0 25 0 1 0 218866158 14151680 3068 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 3455 3068 90 219 0 3232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13820

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1566504/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=14444 CPUtime=25.48
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 3549 0 0 0 2538 10 0 0 25 0 1 0 218866158 14790656 3277 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 3611 3277 90 219 0 3388 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14444

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1565288/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=16108 CPUtime=51.08
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 4045 0 0 0 5093 15 0 0 25 0 1 0 218866158 16494592 3580 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 4027 3580 90 219 0 3804 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16108

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1563048/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=19120 CPUtime=102.27
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 4990 0 0 0 10202 25 0 0 25 0 1 0 218866158 19578880 4140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 4780 4140 90 219 0 4557 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19120

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1559144/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=28388 CPUtime=162.26
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 5965 0 0 0 16192 34 0 0 25 0 1 0 218866158 29069312 5115 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 7097 5115 90 219 0 6874 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 28388

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1556200/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=29164 CPUtime=222.24
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 6684 0 0 0 22185 39 0 0 25 0 1 0 218866158 29863936 5834 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 7291 5834 90 219 0 7068 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 29164

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1551144/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=33312 CPUtime=282.23
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 8690 0 0 0 28178 45 0 0 25 0 1 0 218866158 34111488 7071 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 8328 7071 90 219 0 8105 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 33312

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1550312/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=33928 CPUtime=342.21
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 8929 0 0 0 34171 50 0 0 25 0 1 0 218866158 34742272 7310 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 8482 7310 90 219 0 8259 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 33928

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1549160/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=34692 CPUtime=402.19
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9213 0 0 0 40162 57 0 0 25 0 1 0 218866158 35524608 7594 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 8673 7594 90 219 0 8450 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34692

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24254
/proc/meminfo: memFree=1548392/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=35052 CPUtime=462.18
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9424 0 0 0 46155 63 0 0 25 0 1 0 218866158 35893248 7805 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 8763 7805 90 219 0 8540 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 35052

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1547432/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=35764 CPUtime=522.16
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9657 0 0 0 52148 68 0 0 25 0 1 0 218866158 36622336 8038 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 8941 8038 90 219 0 8718 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 35764

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1546408/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=36596 CPUtime=582.15
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9921 0 0 0 58141 74 0 0 25 0 1 0 218866158 37474304 8302 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 9149 8302 90 219 0 8926 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 36596

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1544360/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=53372 CPUtime=642.13
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 10416 0 0 0 64134 79 0 0 25 0 1 0 218866158 54652928 8797 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 13343 8797 90 219 0 13120 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 53372


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1536232/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=62108 CPUtime=882.07
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 13979 0 0 0 88107 100 0 0 25 0 1 0 218866158 63598592 10823 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 15527 10823 90 219 0 15304 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 62108

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1535464/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=62396 CPUtime=942.06
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14163 0 0 0 94100 106 0 0 25 0 1 0 218866158 63893504 11007 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 15599 11007 90 219 0 15376 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 62396

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1534376/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=63152 CPUtime=1002.05
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14449 0 0 0 100094 111 0 0 25 0 1 0 218866158 64667648 11293 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 15788 11293 90 219 0 15565 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 63152

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1533544/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=63660 CPUtime=1062.03
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14654 0 0 0 106086 117 0 0 25 0 1 0 218866158 65187840 11498 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 15915 11498 90 219 0 15692 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 63660

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1532712/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=64292 CPUtime=1122.02
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14854 0 0 0 112081 121 0 0 25 0 1 0 218866158 65835008 11698 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16073 11698 90 219 0 15850 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 64292

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1532136/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=64756 CPUtime=1182.01
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15021 0 0 0 118074 127 0 0 25 0 1 0 218866158 66310144 11865 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16189 11865 90 219 0 15966 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 64756

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24256
/proc/meminfo: memFree=1531624/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=64756 CPUtime=1241.99
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15136 0 0 0 124068 131 0 0 25 0 1 0 218866158 66310144 11980 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16189 11980 90 219 0 15966 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 64756

[startup+1302.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 24256
/proc/meminfo: memFree=1531048/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=65252 CPUtime=1301.98
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15284 0 0 0 130063 135 0 0 25 0 1 0 218866158 66818048 12128 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16313 12128 90 219 0 16090 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 65252

[startup+1362.3 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 24256
/proc/meminfo: memFree=1530472/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=65444 CPUtime=1361.95
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15422 0 0 0 136057 138 0 0 25 0 1 0 218866158 67014656 12266 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16361 12266 90 219 0 16138 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 65444

[startup+1422.31 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 24256
/proc/meminfo: memFree=1530024/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=65444 CPUtime=1421.94
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15534 0 0 0 142052 142 0 0 25 0 1 0 218866158 67014656 12378 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16361 12378 90 219 0 16138 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 65444

[startup+1482.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 24256
/proc/meminfo: memFree=1528104/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=66064 CPUtime=1481.93
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16027 0 0 0 148046 147 0 0 25 0 1 0 218866158 67649536 12871 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16516 12871 90 219 0 16293 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 66064

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 24256
/proc/meminfo: memFree=1525864/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=66160 CPUtime=1541.91
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16555 0 0 0 154041 150 0 0 25 0 1 0 218866158 67747840 13399 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16540 13399 90 219 0 16317 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 66160

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 24256
/proc/meminfo: memFree=1524776/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=67036 CPUtime=1601.9
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16837 0 0 0 160035 155 0 0 25 0 1 0 218866158 68644864 13681 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16759 13681 90 219 0 16536 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 67036

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 24256
/proc/meminfo: memFree=1524584/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=67036 CPUtime=1661.88
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16930 0 0 0 166031 157 0 0 25 0 1 0 218866158 68644864 13774 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16759 13774 90 219 0 16536 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 67036

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 24256
/proc/meminfo: memFree=1524200/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=67132 CPUtime=1721.87
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17017 0 0 0 172027 160 0 0 25 0 1 0 218866158 68743168 13861 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16783 13861 90 219 0 16560 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 67132

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24256
/proc/meminfo: memFree=1523624/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=67820 CPUtime=1781.86
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17152 0 0 0 178020 166 0 0 25 0 1 0 218866158 69447680 13996 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16955 13996 90 219 0 16732 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 67820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24256
/proc/meminfo: memFree=1523304/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=67820 CPUtime=1800.06
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17239 0 0 0 179839 167 0 0 25 0 1 0 218866158 69447680 14083 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16955 14083 90 219 0 16732 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 67820

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24256
/proc/meminfo: memFree=1523304/2055920 swapFree=4183364/4192956
[pid=24253] ppid=24251 vsize=67820 CPUtime=1800.06
/proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17239 0 0 0 179839 167 0 0 25 0 1 0 218866158 69447680 14083 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24253/statm: 16955 14083 90 219 0 16732 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 67820

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1798.39
CPU system time (s): 1.68274
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 67820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 1.68274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17240
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= 1375

runsolver used 1.2958 second user time and 3.62845 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue May  8 16:03:30 UTC 2007

IDJOB= 458670
IDBENCH= 1792
IDSOLVER= 200
FILE ID= node51/458670-1178640210

PBS_JOBID= 5218321

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 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-pp08aCUTS.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-458670-1178640210 -o ROOT/results/node51/conversion-458670-1178640210 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-458670-1178640210 -o ROOT/results/node51/solver-458670-1178640210 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  4a4829ccfb158b9e23ea953e29870120

RANDOM SEED= 99501638

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1580104 kB
Buffers:         38220 kB
Cached:         314592 kB
SwapCached:       3644 kB
Active:          98576 kB
Inactive:       264524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1580104 kB
SwapTotal:     4192956 kB
SwapFree:      4183364 kB
Dirty:            2460 kB
Writeback:           0 kB
Mapped:          16332 kB
Slab:            98804 kB
Committed_AS:  8762244 kB
PageTables:       1408 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= 66562 MiB

End job on node51 on Tue May  8 16:33:33 UTC 2007