Trace number 2673538

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PBPASSolver 2010-06-13? (TO) 1800.09 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
MD5SUMcdccc05ac387e7ee9cb8ab81f53ca6f8
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-28
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products3113
Sum of products size6226

Solver Data 

1.10/1.19	c 200 200 3113 6226 0 0 0 0
1.10/1.19	o 0
1.10/1.19	c 64 ~x6634+32 ~x6633+16 ~x6632+8 ~x6631+4 ~x6630+2 ~x6629+1 ~x6628+1 x201+1 x200+1 x199+1 x198+1 x197+1 x196+1 x195+1 x194+1 x193+1 x192+1 x191+1 x190+1 x189+1 x188+1 x187+1 x186+1 x185+1 x184+1 x183+1 x182+1 x181+1 x180+1 x179+1 x178+1 x177+1 x176+1 x175+1 x174+1 x173+1 x172+1 x171+1 x170+1 x169+1 x168+1 x167+1 x166+1 x165+1 x164+1 x163+1 x162+1 x161+1 x160+1 x159+1 x158+1 x157+1 x156+1 x155+1 x154+1 x153+1 x152+1 x151+1 x150+1 x149+1 x148+1 x147+1 x146+1 x145+1 x144+1 x143+1 x142+1 x141+1 x140+1 x139+1 x138+1 x137+1 x136+1 x135+1 x134+1 x133+1 x132+1 x131+1 x130+1 x129+1 x128+1 x127+1 x126+1 x125+1 x124+1 x123+1 x122+1 x121+1 x120+1 x119+1 x118+1 x117+1 x116+1 x115+1 x114+1 x113+1 x112+1 x111+1 x110+1 x109+1 x108+1 x107+1 x106+1 x105+1 x104+1 x103+1 x102+1 x101+1 x100+1 x99+1 x98+1 x97+1 x96+1 x95+1 x94+1 x93+1 x92+1 x91+1 x90+1 x89+1 x88+1 x87+1 x86+1 x85+1 x84+1 x83+1 x82+1 x81+1 x80+1 x79+1 x78+1 x77+1 x76+1 x75+1 x74+1 x73+1 x72+1 x71+1 x70+1 x69+1 x68+1 x67+1 x66+1 x65+1 x64+1 x63+1 x62+1 x61+1 x60+1 x59+1 x58+1 x57+1 x56+1 x55+1 x54+1 x53+1 x52+1 x51+1 x50+1 x49+1 x48+1 x47+1 x46+1 x45+1 x44+1 x43+1 x42+1 x41+1 x40+1 x39+1 x38+1 x37+1 x36+1 x35+1 x34+1 x33+1 x32+1 x31+1 x30+1 x29+1 x28+1 x27+1 x26+1 x25+1 x24+1 x23+1 x2

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673538-1276814176/watcher-2673538-1276814176 -o /tmp/evaluation-result-2673538-1276814176/solver-2673538-1276814176 -C 1800 -W 2000 -M 1800 run HOME/instance-2673538-1276814176.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 0.98 0.99 3/106 24869
/proc/meminfo: memFree=1890792/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0

[startup+0.029321 s]
/proc/loadavg: 0.97 0.98 0.99 3/106 24869
/proc/meminfo: memFree=1890792/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101328 s]
/proc/loadavg: 0.97 0.98 0.99 3/106 24869
/proc/meminfo: memFree=1890792/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301349 s]
/proc/loadavg: 0.97 0.98 0.99 3/106 24869
/proc/meminfo: memFree=1890792/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701389 s]
/proc/loadavg: 0.97 0.98 0.99 3/106 24869
/proc/meminfo: memFree=1890792/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50147 s]
/proc/loadavg: 0.97 0.98 0.99 2/108 24872
/proc/meminfo: memFree=1809556/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=87740 CPUtime=1.49
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 24217 0 0 0 118 31 0 0 25 0 1 0 22709845 89845760 21174 1992294400 134512640 134902295 4289450064 18446744073709551615 4160130098 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 21935 21174 263 96 0 21147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96440

[startup+3.10163 s]
/proc/loadavg: 0.97 0.98 0.99 2/108 24872
/proc/meminfo: memFree=1805712/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=88684 CPUtime=3.09
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 24464 0 0 0 278 31 0 0 25 0 1 0 22709845 90812416 21421 1992294400 134512640 134902295 4289450064 18446744073709551615 6239740 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 22171 21421 270 96 0 21383 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97384

[startup+6.30096 s]
/proc/loadavg: 0.97 0.98 0.99 2/108 24872
/proc/meminfo: memFree=1804348/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=90268 CPUtime=6.29
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 24847 0 0 0 598 31 0 0 25 0 1 0 22709845 92434432 21804 1992294400 134512640 134902295 4289450064 18446744073709551615 4160150986 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 22567 21804 270 96 0 21779 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98968

[startup+12.7006 s]
/proc/loadavg: 0.98 0.98 0.99 2/108 24872
/proc/meminfo: memFree=1801496/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=92664 CPUtime=12.68
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 25464 0 0 0 1237 31 0 0 25 0 1 0 22709845 94887936 22421 1992294400 134512640 134902295 4289450064 18446744073709551615 4160137267 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 23166 22421 270 96 0 22378 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 101364

[startup+25.5009 s]
/proc/loadavg: 0.98 0.98 0.99 2/108 24872
/proc/meminfo: memFree=1795792/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=98208 CPUtime=25.48
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 26848 0 0 0 2515 33 0 0 25 0 1 0 22709845 100564992 23805 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145754 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 24552 23805 270 96 0 23764 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106908

[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 24872
/proc/meminfo: memFree=1787608/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=106404 CPUtime=51.07
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 28890 0 0 0 5073 34 0 0 25 0 1 0 22709845 108957696 25847 1992294400 134512640 134902295 4289450064 18446744073709551615 4160134249 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 26601 25847 270 96 0 25813 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 115104

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 24874
/proc/meminfo: memFree=1772728/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=120908 CPUtime=102.27
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 32533 0 0 0 10190 37 0 0 25 0 1 0 22709845 123809792 29490 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145534 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 30227 29490 270 96 0 29439 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 129608

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 24876
/proc/meminfo: memFree=1754004/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=139752 CPUtime=162.24
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 37211 0 0 0 16182 42 0 0 25 0 1 0 22709845 143106048 34168 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145534 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 34938 34168 270 96 0 34150 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 148452

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 24876
/proc/meminfo: memFree=1740116/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=153552 CPUtime=222.22
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 40649 0 0 0 22178 44 0 0 25 0 1 0 22709845 157237248 37606 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145720 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 38388 37606 270 96 0 37600 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 162252

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 24878
/proc/meminfo: memFree=1727468/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=166120 CPUtime=282.2
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 43818 0 0 0 28173 47 0 0 25 0 1 0 22709845 170106880 40775 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145896 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 41530 40775 270 96 0 40742 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 174820

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 24880
/proc/meminfo: memFree=1715812/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=177736 CPUtime=342.18
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 46711 0 0 0 34168 50 0 0 25 0 1 0 22709845 182001664 43668 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145534 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 44434 43668 270 96 0 43646 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 186436

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 24882
/proc/meminfo: memFree=1703288/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=190168 CPUtime=402.17
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 49842 0 0 0 40164 53 0 0 25 0 1 0 22709845 194732032 46799 1992294400 134512640 134902295 4289450064 18446744073709551615 4160134332 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 47542 46799 270 96 0 46754 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 198868

[startup+462.301 s]

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

/proc/24871/statm: 52543 51782 270 96 0 51755 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 218872

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24902
/proc/meminfo: memFree=1682580/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1181.95
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 118137 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145900 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 218872

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24904
/proc/meminfo: memFree=1682332/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1241.93
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 124135 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160115373 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 218872

[startup+1302.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/108 24906
/proc/meminfo: memFree=1682208/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1301.92
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 130134 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160115353 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 218872

[startup+1362.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/108 24908
/proc/meminfo: memFree=1682208/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1361.9
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 136132 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145534 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 218872

[startup+1422.31 s]
/proc/loadavg: 1.07 1.03 1.00 3/108 24908
/proc/meminfo: memFree=1682084/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1421.89
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 142131 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160134570 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 218872

[startup+1482.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 24910
/proc/meminfo: memFree=1682084/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1481.87
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 148129 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145534 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 218872

[startup+1542.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/108 24921
/proc/meminfo: memFree=1681588/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1541.85
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 154127 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160115320 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 218872

[startup+1602.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/108 24923
/proc/meminfo: memFree=1681588/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1601.83
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 160125 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160134337 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 218872

[startup+1662.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/108 24925
/proc/meminfo: memFree=1681588/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=210172 CPUtime=1661.82
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 54826 0 0 0 166124 58 0 0 25 0 1 0 22709845 215216128 51783 1992294400 134512640 134902295 4289450064 18446744073709551615 4160148485 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 52543 51783 270 96 0 51755 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 218872

[startup+1722.3 s]
/proc/loadavg: 1.13 1.07 1.01 2/108 24925
/proc/meminfo: memFree=1679728/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=212284 CPUtime=1721.81
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 55353 0 0 0 172122 59 0 0 25 0 1 0 22709845 217378816 52310 1992294400 134512640 134902295 4289450064 18446744073709551615 4160115313 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 53071 52310 270 96 0 52283 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 220984

[startup+1782.3 s]
/proc/loadavg: 1.13 1.08 1.01 2/108 24927
/proc/meminfo: memFree=1672784/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=219280 CPUtime=1781.79
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 57090 0 0 0 178119 60 0 0 25 0 1 0 22709845 224542720 54047 1992294400 134512640 134902295 4289450064 18446744073709551615 4160145534 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 54820 54047 270 96 0 54032 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 227980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.09 1.08 1.01 2/108 24929
/proc/meminfo: memFree=1669684/2059040 swapFree=4140204/4192956
[pid=24869] ppid=24867 vsize=8700 CPUtime=0
/proc/24869/stat : 24869 (run) S 24867 24869 24784 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 22709845 8908800 250 1992294400 4194304 4922060 140735681174768 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24869/statm: 2175 250 211 178 0 68 0
[pid=24871] ppid=24869 vsize=222356 CPUtime=1800.09
/proc/24871/stat : 24871 (PBPASSolver) R 24869 24869 24784 0 -1 4202496 57863 0 0 0 179948 61 0 0 25 0 1 0 22709845 227692544 54820 1992294400 134512640 134902295 4289450064 18446744073709551615 4160134567 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24871/statm: 55589 54820 270 96 0 54801 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 231056

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24869 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.09
CPU user time (s): 1799.48
CPU system time (s): 0.61
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 231056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002999
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 522
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= 3
involuntary context switches= 3

runsolver used 3.2675 second user time and 8.21475 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-18 00:36:16
IDJOB=2673538
IDBENCH=48205
IDSOLVER=1174
FILE ID=node045/2673538-1276814176
PBS_JOBID= 11176715
Free space on /tmp= 62460 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673538-1276814176/watcher-2673538-1276814176 -o /tmp/evaluation-result-2673538-1276814176/solver-2673538-1276814176 -C 1800 -W 2000 -M 1800  run HOME/instance-2673538-1276814176.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8
RANDOM SEED=442044935

node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1891188 kB
Buffers:         13736 kB
Cached:          74632 kB
SwapCached:       6360 kB
Active:          58148 kB
Inactive:        43184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1891188 kB
SwapTotal:     4192956 kB
SwapFree:      4140204 kB
Dirty:             708 kB
Writeback:           0 kB
AnonPages:       10736 kB
Mapped:          12972 kB
Slab:            44620 kB
PageTables:       3896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node045 at 2010-06-18 01:06:19