Trace number 373123

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
PB-clasp 2007-03-23SAT (TO)21 1801.93 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

8.65/8.76	o 30
19.95/20.02	o 29
67.24/67.37	o 28
81.44/81.59	o 27
149.21/149.33	o 26
285.76/285.93	o 25
412.32/412.59	o 24
629.35/629.63	o 23
1148.28/1148.74	o 22
1319.44/1319.94	o 21
1800.00/1800.62	c Somebody sent me a SIGTERM
1800.00/1800.62	s SATISFIABLE
1800.00/1800.62	v x1 x19 x40 x49 x60 x61 x62 x67 x79 x177 x201 x223 x251 x252 x253 x350 x426 x427 x428 x436 x700 x808 x809 x857 x866 x867 x1008 x1089
1800.00/1800.62	v x1272 x1281 x1319 x1320 x1329 x1377 x1379 x1381 x1382 x1384 x1386 x1396 x1410 x1417 x1431 x1433 x1436 x1445 x1452 x1459 x1487
1800.00/1800.62	v x1489 x1491 x1494 x1515 x1517 x1519 x1529 x1536 x1550 x1552 x1554 x1557 x1559 x1564 x1571 x1578 x1580 x1592 x1599 x1601 x1606
1800.00/1800.62	v x1613 x1616 x1802 x1838 x1898 x1958 x1967 x2006 x2015 x2067 x2068 x2069 x2070 x2072 x2082 x2103 x2105 x2107 x2110 x2131 x2133
1800.00/1800.62	v x2135 x2145 x2152 x2166 x2173 x2187 x2189 x2192 x2201 x2208 x2215 x2236 x2238 x2241 x2243 x2245 x2250 x2264 x2266 x2278 x2285
1800.00/1800.62	v x2287 x2647 x2705 x3491 x3492 x3510 x3546 x3547 x3549 x3559 x3587 x3629 x3657 x3713 x3755 x3783 x3797 x3799 x3802 x3825 x3839
1800.00/1800.62	v x3881 x3937 x3951 x3953 x3957 x3965 x4007 x4035 x4045 x4075 x4117 x4131 x4145 x4229 x4231 x4240 x4271 x4285 x4309 x4349 x4354
1800.00/1800.62	v x4355 x4389 x4399 x4404 x4409 x4412 x4414 x4444 x4459 x4464 x4465 x4529 x4532 x4604 x4606 x4634 x4676 x4684 x4874 x4883 x4910
1800.00/1800.62	v x4946 x4994 x5042 x5045 x5092 x5095 x5097 x5104 x5106 x5108 x5132 x5139 x5148 x5149 x5153 x5162 x5164 x5169 x5176 x5178 x5180
1800.00/1800.62	v x5190 x5203 x5204 x5206 x5214 x5221 x5228 x5230 x5232 x5259 x5266 x5273 x5287 x5290 x5292 x5299 x5301 x5306 x5313 x5320 x5344
1800.00/1800.62	v x5396 x5397 x5398 x5422 x5423 x5427 x5428 x5462 x5464 x5467 x5469 x5471 x5475 x5481 x5483 x5485 x5487 x5489 x5497 x5499
1800.00/1800.62	pb2clasp1: no process killed

Verifier Data (download as text)

OK	21

Conversion Script Data (download as text)

/tmp/evaluation/373123-1177168546/instance-373123-1177168546.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-373123-1177168546 -o ROOT/results/node11/solver-373123-1177168546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373123-1177168546.opb /tmp/evaluation/373123-1177168546/temp 

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: 1.00 1.00 1.00 3/77 30576
/proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12268 CPUtime=0
/proc/30576/stat : 30576 (pbclasp) R 30574 30576 29568 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 157903574 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262910212709 0 0 4224 0 0 0 0 17 1 0 0
/proc/30576/statm: 3067 317 242 3 0 167 0

[startup+0.035144 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 30576
/proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12668 CPUtime=0.01
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30576/statm: 3167 524 324 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668

[startup+0.101149 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 30576
/proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12668 CPUtime=0.01
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30576/statm: 3167 524 324 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668

[startup+0.301173 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 30576
/proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12668 CPUtime=0.01
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30576/statm: 3167 524 324 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668

[startup+0.701219 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 30576
/proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12668 CPUtime=0.01
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30576/statm: 3167 524 324 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668

[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30579
/proc/meminfo: memFree=1823008/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1.34
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 677 1634 0 0 1 0 132 1 17 0 1 0 157903574 13107200 557 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 557 343 3 0 300 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 12800

[startup+3.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 30586
/proc/meminfo: memFree=1808280/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1.34
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 677 1634 0 0 1 0 132 1 17 0 1 0 157903574 13107200 557 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 557 343 3 0 300 0
[pid=30584] ppid=30576 vsize=5356 CPUtime=0
/proc/30584/stat : 30584 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 157903711 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30584/statm: 1339 225 188 169 0 50 0
[pid=30586] ppid=30584 vsize=32984 CPUtime=1.71
/proc/30586/stat : 30586 (clasp) R 30584 30576 29568 0 -1 4194304 8706 0 0 0 168 3 0 0 25 0 1 0 157903711 33775616 7651 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/30586/statm: 8246 7651 196 154 0 7716 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 51140

[startup+6.30288 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30586
/proc/meminfo: memFree=1792288/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1.34
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 677 1634 0 0 1 0 132 1 17 0 1 0 157903574 13107200 557 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 557 343 3 0 300 0
[pid=30584] ppid=30576 vsize=5356 CPUtime=0
/proc/30584/stat : 30584 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 157903711 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30584/statm: 1339 225 188 169 0 50 0
[pid=30586] ppid=30584 vsize=32984 CPUtime=4.91
/proc/30586/stat : 30586 (clasp) R 30584 30576 29568 0 -1 4194304 8737 0 0 0 488 3 0 0 25 0 1 0 157903711 33775616 7682 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134741266 0 0 4096 0 0 0 0 17 1 0 0
/proc/30586/statm: 8246 7682 196 154 0 7716 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 51140

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30594
/proc/meminfo: memFree=1778848/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=8.74
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 818 11765 0 0 1 0 866 7 16 0 1 0 157903574 13107200 562 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30576/statm: 3200 562 343 3 0 300 0
[pid=30592] ppid=30576 vsize=5356 CPUtime=0
/proc/30592/stat : 30592 (sh) S 30576 30576 29568 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 157904452 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30592/statm: 1339 225 188 169 0 50 0
[pid=30594] ppid=30592 vsize=46852 CPUtime=3.9
/proc/30594/stat : 30594 (clasp) R 30592 30576 29568 0 -1 4194304 13298 0 0 0 386 4 0 0 25 0 1 0 157904452 47976448 11007 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0
/proc/30594/statm: 11713 11007 196 154 0 11183 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 65008

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30602
/proc/meminfo: memFree=1779552/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=20.01
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 955 26469 0 0 1 1 1984 15 17 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30600] ppid=30576 vsize=5356 CPUtime=0
/proc/30600/stat : 30600 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157905577 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30600/statm: 1339 225 188 169 0 50 0
[pid=30602] ppid=30600 vsize=46232 CPUtime=5.45
/proc/30602/stat : 30602 (clasp) R 30600 30576 29568 0 -1 4194304 13101 0 0 0 539 6 0 0 25 0 1 0 157905578 47341568 10805 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/30602/statm: 11558 10805 196 154 0 11028 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 64388

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30602
/proc/meminfo: memFree=1779296/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=20.01
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 955 26469 0 0 1 1 1984 15 17 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30600] ppid=30576 vsize=5356 CPUtime=0
/proc/30600/stat : 30600 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157905577 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30600/statm: 1339 225 188 169 0 50 0
[pid=30602] ppid=30600 vsize=46232 CPUtime=31.03
/proc/30602/stat : 30602 (clasp) R 30600 30576 29568 0 -1 4194304 13175 0 0 0 3097 6 0 0 25 0 1 0 157905578 47341568 10879 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0
/proc/30602/statm: 11558 10879 196 154 0 11028 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64388

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30618
/proc/meminfo: memFree=1780192/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=81.56
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1216 56691 0 0 2 1 8118 35 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30616] ppid=30576 vsize=5356 CPUtime=0
/proc/30616/stat : 30616 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157911735 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30616/statm: 1339 225 188 169 0 50 0
[pid=30618] ppid=30616 vsize=45912 CPUtime=20.67
/proc/30618/stat : 30618 (clasp) R 30616 30576 29568 0 -1 4194304 12382 0 0 0 2062 5 0 0 25 0 1 0 157911735 47013888 10642 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/30618/statm: 11478 10642 196 154 0 10948 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 64068

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30626
/proc/meminfo: memFree=1780192/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=149.26
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1346 72618 0 0 2 1 14878 45 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30624] ppid=30576 vsize=5356 CPUtime=0
/proc/30624/stat : 30624 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157918509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30624/statm: 1339 225 188 169 0 50 0
[pid=30626] ppid=30624 vsize=45124 CPUtime=12.93
/proc/30626/stat : 30626 (clasp) R 30624 30576 29568 0 -1 4194304 12434 0 0 0 1288 5 0 0 25 0 1 0 157918509 46206976 10644 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134714493 0 0 4096 0 0 0 0 17 1 0 0
/proc/30626/statm: 11281 10644 196 154 0 10751 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 63280

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30626
/proc/meminfo: memFree=1770592/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=149.26
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1346 72618 0 0 2 1 14878 45 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30624] ppid=30576 vsize=5356 CPUtime=0
/proc/30624/stat : 30624 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157918509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30624/statm: 1339 225 188 169 0 50 0
[pid=30626] ppid=30624 vsize=55848 CPUtime=72.91
/proc/30626/stat : 30626 (clasp) R 30624 30576 29568 0 -1 4194304 14838 0 0 0 7284 7 0 0 25 0 1 0 157918509 57188352 13048 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740626 0 0 4096 0 0 0 0 17 1 0 0
/proc/30626/statm: 13962 13048 196 154 0 13432 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 74004

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30626
/proc/meminfo: memFree=1755744/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=149.26
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1346 72618 0 0 2 1 14878 45 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30624] ppid=30576 vsize=5356 CPUtime=0
/proc/30624/stat : 30624 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157918509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30624/statm: 1339 225 188 169 0 50 0
[pid=30626] ppid=30624 vsize=70860 CPUtime=132.9
/proc/30626/stat : 30626 (clasp) R 30624 30576 29568 0 -1 4194304 18588 0 0 0 13278 12 0 0 25 0 1 0 157918509 72560640 16798 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134714484 0 0 4096 0 0 0 0 17 1 0 0
/proc/30626/statm: 17715 16798 196 154 0 17185 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 89016


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

Current children cumulated vsize (KiB) 125440

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30666
/proc/meminfo: memFree=1701152/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30664] ppid=30576 vsize=5356 CPUtime=0
/proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30664/statm: 1339 225 188 169 0 50 0
[pid=30666] ppid=30664 vsize=123172 CPUtime=342.22
/proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 31760 0 0 0 34197 25 0 0 25 0 1 0 158035571 126128128 30330 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0
/proc/30666/statm: 30793 30330 196 154 0 30263 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 141328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30668
/proc/meminfo: memFree=1685792/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30664] ppid=30576 vsize=5356 CPUtime=0
/proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30664/statm: 1339 225 188 169 0 50 0
[pid=30666] ppid=30664 vsize=138584 CPUtime=402.21
/proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 35615 0 0 0 40191 30 0 0 25 0 1 0 158035571 141910016 34185 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134753592 0 0 4096 0 0 0 0 17 1 0 0
/proc/30666/statm: 34646 34185 196 154 0 34116 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 156740

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30668
/proc/meminfo: memFree=1668896/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30664] ppid=30576 vsize=5356 CPUtime=0
/proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30664/statm: 1339 225 188 169 0 50 0
[pid=30666] ppid=30664 vsize=155368 CPUtime=462.19
/proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 39784 0 0 0 46184 35 0 0 25 0 1 0 158035571 159096832 38354 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0
/proc/30666/statm: 38842 38354 196 154 0 38312 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 173524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30668
/proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30664] ppid=30576 vsize=5356 CPUtime=0
/proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30664/statm: 1339 225 188 169 0 50 0
[pid=30666] ppid=30664 vsize=159084 CPUtime=480.48
/proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 40733 0 0 0 48013 35 0 0 25 0 1 0 158035571 162902016 39303 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/30666/statm: 39771 39303 196 154 0 39241 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 177240

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30668
/proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30664] ppid=30576 vsize=5356 CPUtime=0
/proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30664/statm: 1339 225 188 169 0 50 0
[pid=30666] ppid=30664 vsize=159084 CPUtime=480.48
/proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 40733 0 0 0 48013 35 0 0 25 0 1 0 158035571 162902016 39303 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/30666/statm: 39771 39303 196 154 0 39241 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 177240

# WARNING:
# current cumulated CPU time (1319.55 s) is less than in the last sample (1800 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (480.45 s) to the 'lost time'.

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30668
/proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
Current children cumulated CPU time (s) 1319.55
Current children cumulated vsize (KiB) 12800

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 30668
/proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
Current children cumulated CPU time (s) 1319.55
Current children cumulated vsize (KiB) 12800

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 30679
/proc/meminfo: memFree=1789312/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30669] ppid=30576 vsize=0 CPUtime=0
/proc/30669/stat : 30669 (rm) Z 30576 30576 29568 0 -1 4194316 117 0 0 0 0 0 0 0 18 0 1 0 158083635 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/30669/statm: 0 0 0 0 0 0 0
[pid=30677] ppid=30576 vsize=5356 CPUtime=0
/proc/30677/stat : 30677 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 158083638 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30677/statm: 1339 225 188 169 0 50 0
[pid=30679] ppid=30677 vsize=41844 CPUtime=1.53
/proc/30679/stat : 30679 (clasp) R 30677 30576 29568 0 -1 4194304 11311 0 0 0 149 4 0 0 25 0 1 0 158083639 42848256 9983 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134629616 0 0 4096 0 0 0 0 17 1 0 0
/proc/30679/statm: 10461 9983 196 154 0 9931 0
Current children cumulated CPU time (s) 1321.08
Current children cumulated vsize (KiB) 60000

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 30679
/proc/meminfo: memFree=1789312/2055920 swapFree=4150632/4192956
[pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55
/proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30576/statm: 3200 563 343 3 0 300 0
[pid=30669] ppid=30576 vsize=0 CPUtime=0
/proc/30669/stat : 30669 (rm) Z 30576 30576 29568 0 -1 4194316 117 0 0 0 0 0 0 0 18 0 1 0 158083635 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/30669/statm: 0 0 0 0 0 0 0
[pid=30677] ppid=30576 vsize=5356 CPUtime=0
/proc/30677/stat : 30677 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 158083638 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30677/statm: 1339 225 188 169 0 50 0
[pid=30679] ppid=30677 vsize=41844 CPUtime=1.93
/proc/30679/stat : 30679 (clasp) R 30677 30576 29568 0 -1 4194304 11318 0 0 0 189 4 0 0 25 0 1 0 158083639 42848256 9990 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/30679/statm: 10461 9990 196 154 0 9931 0
Current children cumulated CPU time (s) 1321.48
Current children cumulated vsize (KiB) 60000

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30576 and gives
#  childrusage.ru_utime.tv_sec=1317
#  childrusage.ru_utime.tv_usec=995634
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=573760
# CPU time returned by wait4() is 1319.57
# while last known CPU time is 1321.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 480.45
#  lost CPU user time (s): 480.12
#  lost CPU system time (s): 0.33

Real time (s): 1802.63
CPU time (s): 1801.93
CPU user time (s): 1800
CPU system time (s): 1.93
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 184732

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

runsolver used 1.84672 second user time and 4.71828 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Apr 21 15:15:46 UTC 2007

IDJOB= 373123
IDBENCH= 25021
IDSOLVER= 158
FILE ID= node11/373123-1177168546

PBS_JOBID= 4648936

Free space on /tmp= 66348 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= pbclasp instance-373123-1177168546.opb /tmp/evaluation/373123-1177168546/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-373123-1177168546 -o ROOT/results/node11/conversion-373123-1177168546 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373123-1177168546/instance-373123-1177168546.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-373123-1177168546 -o ROOT/results/node11/solver-373123-1177168546 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-373123-1177168546.opb /tmp/evaluation/373123-1177168546/temp

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 581748912

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1825552 kB
Buffers:         33840 kB
Cached:         110616 kB
SwapCached:      10856 kB
Active:          69812 kB
Inactive:        98784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825552 kB
SwapTotal:     4192956 kB
SwapFree:      4150632 kB
Dirty:            1716 kB
Writeback:           0 kB
Mapped:          31244 kB
Slab:            47204 kB
Committed_AS:  6257904 kB
PageTables:       1848 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= 66346 MiB

End job on node11 on Sat Apr 21 15:45:49 UTC 2007