Trace number 454779

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.08 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
MD5SUM8d62286ae12c02f1d9e42b05c51333f2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-131
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

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/454779-1178031069/instance-454779-1178031069.opb ......
0.09/0.10	c done parsing opb.
0.09/0.10	o 415
0.09/0.13	o 414
0.09/0.13	o 412
0.09/0.13	o 411
0.09/0.14	o 410
4.79/4.82	o 407
5.28/5.30	o 406
5.28/5.31	o 399
5.28/5.32	o 398
5.28/5.33	o 397
5.28/5.33	o 396
5.28/5.36	o 392
5.28/5.36	o 391
1800.06/1800.60	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-454779-1178031069 -o ROOT/results/node14/solver-454779-1178031069 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454779-1178031069/PBS4 /tmp/evaluation/454779-1178031069/instance-454779-1178031069.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.77 0.93 0.98 3/77 3055
/proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=1828 CPUtime=0
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 251024700 1871872 233 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/3055/statm: 457 233 87 219 0 234 0

[startup+0.00785705 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 3055
/proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=1828 CPUtime=0
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 273 0 0 0 0 0 0 0 18 0 1 0 251024700 1871872 256 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/3055/statm: 457 256 87 219 0 234 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1828

[startup+0.101867 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 3055
/proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=3452 CPUtime=0.09
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 251024700 3534848 616 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0
/proc/3055/statm: 863 616 93 219 0 640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3452

[startup+0.301884 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 3055
/proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=5244 CPUtime=0.29
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 1159 0 0 0 29 0 0 0 19 0 1 0 251024700 5369856 1044 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 1311 1044 104 219 0 1088 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5244

[startup+0.701922 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 3055
/proc/meminfo: memFree=1874480/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=11584 CPUtime=0.69
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 1960 0 0 0 69 0 0 0 23 0 1 0 251024700 11862016 1845 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 2896 1845 104 219 0 2673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11584

[startup+1.502 s]
/proc/loadavg: 0.77 0.93 0.98 2/78 3056
/proc/meminfo: memFree=1865256/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=19776 CPUtime=1.49
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 3378 0 0 0 148 1 0 0 25 0 1 0 251024700 20250624 3263 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 4944 3263 104 219 0 4721 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19776

[startup+3.10115 s]
/proc/loadavg: 0.79 0.94 0.98 2/78 3056
/proc/meminfo: memFree=1858216/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=36488 CPUtime=3.09
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 5419 0 0 0 306 3 0 0 25 0 1 0 251024700 37363712 5255 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 9122 5255 104 219 0 8899 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36488

[startup+6.30145 s]
/proc/loadavg: 0.79 0.94 0.98 2/78 3056
/proc/meminfo: memFree=1843688/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=37448 CPUtime=6.28
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 8855 0 0 0 622 6 0 0 25 0 1 0 251024700 38346752 8691 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134561167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 9362 8691 104 219 0 9139 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37448

[startup+12.7011 s]
/proc/loadavg: 0.82 0.94 0.98 2/78 3056
/proc/meminfo: memFree=1837288/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=38560 CPUtime=12.69
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 9571 0 0 0 1262 7 0 0 25 0 1 0 251024700 39485440 9310 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 9640 9310 104 219 0 9417 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38560

[startup+25.5013 s]
/proc/loadavg: 0.85 0.94 0.98 2/78 3056
/proc/meminfo: memFree=1836520/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=39036 CPUtime=25.48
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 9764 0 0 0 2540 8 0 0 25 0 1 0 251024700 39972864 9503 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 9759 9503 104 219 0 9536 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39036

[startup+51.1017 s]
/proc/loadavg: 0.90 0.94 0.98 2/78 3056
/proc/meminfo: memFree=1835240/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=40600 CPUtime=51.08
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 10285 0 0 0 5096 12 0 0 25 0 1 0 251024700 41574400 9831 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 10150 9831 104 219 0 9927 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40600

[startup+102.306 s]
/proc/loadavg: 0.96 0.95 0.98 2/78 3056
/proc/meminfo: memFree=1832488/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=43864 CPUtime=102.27
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 11341 0 0 0 10204 23 0 0 25 0 1 0 251024700 44916736 10502 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 10966 10502 104 219 0 10743 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43864

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 3056
/proc/meminfo: memFree=1830440/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=47796 CPUtime=162.25
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 12616 0 0 0 16193 32 0 0 25 0 1 0 251024700 48943104 11008 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 11949 11008 104 219 0 11726 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47796

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 3056
/proc/meminfo: memFree=1828584/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=48888 CPUtime=222.23
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 13071 0 0 0 22186 37 0 0 25 0 1 0 251024700 50061312 11463 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 12222 11463 104 219 0 11999 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 48888

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 3056
/proc/meminfo: memFree=1826856/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=49900 CPUtime=282.22
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 13513 0 0 0 28179 43 0 0 25 0 1 0 251024700 51097600 11905 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 12475 11905 104 219 0 12252 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49900

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 3056
/proc/meminfo: memFree=1825072/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=50684 CPUtime=342.21
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 13941 0 0 0 34172 49 0 0 25 0 1 0 251024700 51900416 12333 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 12671 12333 104 219 0 12448 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 50684

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 3056
/proc/meminfo: memFree=1823472/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=57712 CPUtime=402.19
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 15890 0 0 0 40164 55 0 0 25 0 1 0 251024700 59097088 12745 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 14428 12745 104 219 0 14205 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 57712

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 3056
/proc/meminfo: memFree=1821808/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=58712 CPUtime=462.18
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 16294 0 0 0 46157 61 0 0 25 0 1 0 251024700 60121088 13149 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 14678 13149 104 219 0 14455 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 58712

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 3056
/proc/meminfo: memFree=1820272/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=59260 CPUtime=522.16
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 16687 0 0 0 52150 66 0 0 25 0 1 0 251024700 60682240 13542 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 14815 13542 104 219 0 14592 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 59260

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 3056
/proc/meminfo: memFree=1818672/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=59840 CPUtime=582.15
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 17073 0 0 0 58144 71 0 0 25 0 1 0 251024700 61276160 13928 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 14960 13928 104 219 0 14737 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 59840

[startup+642.302 s]
/proc/loadavg: 1.05 0.99 0.98 2/84 3232
/proc/meminfo: memFree=1815672/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=61112 CPUtime=642.05
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 17444 0 0 0 64129 76 0 0 25 0 1 0 251024700 62578688 14299 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 15278 14299 104 219 0 15055 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 61112


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

[startup+822.302 s]
/proc/loadavg: 1.02 1.01 0.99 2/78 3254
/proc/meminfo: memFree=1812464/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=63336 CPUtime=821.99
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 18518 0 0 0 82108 91 0 0 25 0 1 0 251024700 64856064 15373 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 15834 15373 104 219 0 15611 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 63336

[startup+882.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1811056/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=76460 CPUtime=881.97
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 21932 0 0 0 88099 98 0 0 25 0 1 0 251024700 78295040 15714 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 19115 15714 104 219 0 18892 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 76460

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1809712/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=76460 CPUtime=941.95
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 22268 0 0 0 94093 102 0 0 25 0 1 0 251024700 78295040 16050 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547123 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 19115 16050 104 219 0 18892 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 76460

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1808368/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=77348 CPUtime=1001.94
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 22598 0 0 0 100085 109 0 0 25 0 1 0 251024700 79204352 16380 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 19337 16380 104 219 0 19114 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 77348

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1807024/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=78292 CPUtime=1061.92
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 22924 0 0 0 106077 115 0 0 25 0 1 0 251024700 80171008 16706 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 19573 16706 104 219 0 19350 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 78292

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1805744/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=78292 CPUtime=1121.91
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 23240 0 0 0 112072 119 0 0 25 0 1 0 251024700 80171008 17022 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559426 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 19573 17022 104 219 0 19350 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 78292

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1804400/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=79292 CPUtime=1181.9
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 23555 0 0 0 118066 124 0 0 25 0 1 0 251024700 81195008 17337 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 19823 17337 104 219 0 19600 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 79292

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1803056/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=80356 CPUtime=1241.88
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 23863 0 0 0 124058 130 0 0 25 0 1 0 251024700 82284544 17645 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20089 17645 104 219 0 19866 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 80356

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1801712/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=80356 CPUtime=1301.87
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 24166 0 0 0 130053 134 0 0 25 0 1 0 251024700 82284544 17948 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20089 17948 104 219 0 19866 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 80356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1800496/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=81488 CPUtime=1361.85
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 24463 0 0 0 136047 138 0 0 25 0 1 0 251024700 83443712 18245 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20372 18245 104 219 0 20149 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 81488

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1799280/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=81488 CPUtime=1421.84
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 24758 0 0 0 142041 143 0 0 25 0 1 0 251024700 83443712 18540 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20372 18540 104 219 0 20149 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 81488

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1798064/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=82688 CPUtime=1481.83
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25047 0 0 0 148036 147 0 0 25 0 1 0 251024700 84672512 18829 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20672 18829 104 219 0 20449 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 82688

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1796912/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=82688 CPUtime=1541.81
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25334 0 0 0 154030 151 0 0 25 0 1 0 251024700 84672512 19116 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20672 19116 104 219 0 20449 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 82688

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1795824/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=83964 CPUtime=1601.79
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25619 0 0 0 160024 155 0 0 25 0 1 0 251024700 85979136 19401 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20991 19401 104 219 0 20768 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 83964

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1794672/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=83964 CPUtime=1661.78
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 25895 0 0 0 166019 159 0 0 25 0 1 0 251024700 85979136 19677 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552810 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 20991 19677 104 219 0 20768 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 83964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1793520/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=85320 CPUtime=1721.77
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 26170 0 0 0 172014 163 0 0 25 0 1 0 251024700 87367680 19952 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 21330 19952 104 219 0 21107 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 85320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1792368/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=85320 CPUtime=1781.75
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 26442 0 0 0 178008 167 0 0 25 0 1 0 251024700 87367680 20224 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 21330 20224 104 219 0 21107 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 85320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 3254
/proc/meminfo: memFree=1791984/2055920 swapFree=4148768/4192956
[pid=3055] ppid=3053 vsize=85320 CPUtime=1800.06
/proc/3055/stat : 3055 (PBS4) R 3053 3055 2989 0 -1 4194304 26524 0 0 0 179838 168 0 0 25 0 1 0 251024700 87367680 20306 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3055/statm: 21330 20306 104 219 0 21107 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 85320

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1798.38
CPU system time (s): 1.69474
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 85320

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

runsolver used 1.47477 second user time and 4.01439 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue May  1 14:51:09 UTC 2007

IDJOB= 454779
IDBENCH= 48220
IDSOLVER= 157
FILE ID= node14/454779-1178031069

PBS_JOBID= 4728392

Free space on /tmp= 66563 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
COMMAND LINE= /tmp/evaluation/454779-1178031069/PBS4 /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-454779-1178031069 -o ROOT/results/node14/conversion-454779-1178031069 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454779-1178031069/instance-454779-1178031069.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  8d62286ae12c02f1d9e42b05c51333f2

RANDOM SEED= 940788760

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1874952 kB
Buffers:         28560 kB
Cached:          65900 kB
SwapCached:      11212 kB
Active:          72676 kB
Inactive:        44532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1874952 kB
SwapTotal:     4192956 kB
SwapFree:      4148768 kB
Dirty:            1608 kB
Writeback:           0 kB
Mapped:          29492 kB
Slab:            49320 kB
Committed_AS:  8228056 kB
PageTables:       1784 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 node14 on Tue May  1 15:21:12 UTC 2007