Trace number 351585

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 (MO)6369 76.42 76.7378

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
MD5SUM2b7e03ead6dfd4071784021865da4458
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4324
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4324
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints426
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint404
Number of terms in the objective function 7195
Biggest coefficient in the objective function 360
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527812
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 360
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527812
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

37.75/37.89	o 6369
74.59/74.76	c Somebody sent me a SIGTERM
74.59/74.76	s SATISFIABLE
74.59/74.76	v x1 x21 x24 x115 x151 x226 x336 x342 x488 x490 x496 x528 x540 x585 x594 x741 x756 x864 x896 x926 x961 x1057 x1219 x1251 x1485 x1569
74.59/74.76	v x1575 x1591 x1597 x1614 x1625 x1631 x1653 x1724 x1774 x1780 x2193 x2212 x2268 x2533 x2754 x2990 x3315 x3335 x3399 x3697 x3698
74.59/74.76	v x3824 x3986 x4189 x4229 x4385 x4398 x4408 x4445 x4600 x4632 x4837 x4930 x4934 x4959 x5112 x5116 x5193 x5334 x5423 x5877 x5957
74.59/74.76	v x6334 x6343 x6595 x6618 x6718 x7191
74.59/74.78	pb2clasp1: no process killed

Verifier Data (download as text)

OK	6369

Conversion Script Data (download as text)

/tmp/evaluation/351585-1176605739/instance-351585-1176605739.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/node5/watcher-351585-1176605739 -o ROOT/results/node5/solver-351585-1176605739 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351585-1176605739.opb /tmp/evaluation/351585-1176605739/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: 0.96 1.00 1.00 3/77 13939
/proc/meminfo: memFree=1590216/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=12268 CPUtime=0
/proc/13939/stat : 13939 (pbclasp) R 13937 13939 13794 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 136611535 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922380286 0 0 4224 0 0 0 0 17 0 0 0
/proc/13939/statm: 3067 317 242 3 0 167 0

[startup+0.082204 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 13939
/proc/meminfo: memFree=1590216/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=13092 CPUtime=0.07
/proc/13939/stat : 13939 (pbclasp) R 13937 13939 13794 0 -1 4194304 653 0 0 0 7 0 0 0 18 0 1 0 136611535 13406208 619 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226913359358 0 0 4224 16384 0 0 0 17 0 0 0
/proc/13939/statm: 3273 619 320 3 0 373 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13092

[startup+0.101197 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 13939
/proc/meminfo: memFree=1590216/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=13092 CPUtime=0.09
/proc/13939/stat : 13939 (pbclasp) R 13937 13939 13794 0 -1 4194304 660 0 0 0 9 0 0 0 18 0 1 0 136611535 13406208 626 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226931707650 0 0 4224 16384 0 0 0 17 0 0 0
/proc/13939/statm: 3273 626 320 3 0 373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13092

[startup+0.301219 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 13939
/proc/meminfo: memFree=1590216/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=13516 CPUtime=0.29
/proc/13939/stat : 13939 (pbclasp) R 13937 13939 13794 0 -1 4194304 744 0 0 0 29 0 0 0 19 0 1 0 136611535 13840384 710 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226931707662 0 0 4224 16384 0 0 0 17 0 0 0
/proc/13939/statm: 3379 710 320 3 0 479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13516

[startup+0.701263 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 13939
/proc/meminfo: memFree=1590216/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=14340 CPUtime=0.55
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 971 0 0 0 55 0 0 0 23 0 1 0 136611535 14684160 924 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/13939/statm: 3585 924 324 3 0 685 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 14340

[startup+1.50136 s]
/proc/loadavg: 0.96 1.00 1.00 2/80 13942
/proc/meminfo: memFree=1586160/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=1.17
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1453 1629 0 0 57 0 59 1 17 0 1 0 136611535 15360000 1103 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13939/statm: 3750 1103 343 3 0 850 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 15000

[startup+3.10154 s]
/proc/loadavg: 0.96 1.00 1.00 2/81 13949
/proc/meminfo: memFree=1575464/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=1.17
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1453 1629 0 0 57 0 59 1 17 0 1 0 136611535 15360000 1103 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13939/statm: 3750 1103 343 3 0 850 0
[pid=13947] ppid=13939 vsize=5352 CPUtime=0
/proc/13947/stat : 13947 (sh) S 13939 13939 13794 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 136611654 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13947/statm: 1338 224 188 169 0 49 0
[pid=13948] ppid=13947 vsize=2520 CPUtime=0
/proc/13948/stat : 13948 (cat) S 13947 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 16 0 1 0 136611655 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/13948/statm: 630 87 71 4 0 42 0
[pid=13949] ppid=13947 vsize=54508 CPUtime=1.89
/proc/13949/stat : 13949 (clasp) R 13947 13939 13794 0 -1 4194304 13054 0 0 0 184 5 0 0 25 0 1 0 136611655 55816192 13017 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 0 0 0
/proc/13949/statm: 13627 13018 181 154 0 13097 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 77380

[startup+6.3029 s]
/proc/loadavg: 0.96 1.00 1.00 2/81 13949
/proc/meminfo: memFree=1454376/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=1.17
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1453 1629 0 0 57 0 59 1 17 0 1 0 136611535 15360000 1103 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13939/statm: 3750 1103 343 3 0 850 0
[pid=13947] ppid=13939 vsize=5352 CPUtime=0
/proc/13947/stat : 13947 (sh) S 13939 13939 13794 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 136611654 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13947/statm: 1338 224 188 169 0 49 0
[pid=13948] ppid=13947 vsize=2520 CPUtime=0
/proc/13948/stat : 13948 (cat) S 13947 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 16 0 1 0 136611655 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/13948/statm: 630 87 71 4 0 42 0
[pid=13949] ppid=13947 vsize=156428 CPUtime=5.09
/proc/13949/stat : 13949 (clasp) R 13947 13939 13794 0 -1 4194304 38742 0 0 0 494 15 0 0 25 0 1 0 136611655 160182272 38705 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 0 0 0
/proc/13949/statm: 39107 38706 181 154 0 38577 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 179300

[startup+12.7016 s]
/proc/loadavg: 0.96 1.00 1.00 3/81 13949
/proc/meminfo: memFree=1272232/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=1.17
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1453 1629 0 0 57 0 59 1 17 0 1 0 136611535 15360000 1103 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13939/statm: 3750 1103 343 3 0 850 0
[pid=13947] ppid=13939 vsize=5352 CPUtime=0
/proc/13947/stat : 13947 (sh) S 13939 13939 13794 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 136611654 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13947/statm: 1338 224 188 169 0 49 0
[pid=13948] ppid=13947 vsize=2520 CPUtime=0
/proc/13948/stat : 13948 (cat) S 13947 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 16 0 1 0 136611655 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/13948/statm: 630 87 71 4 0 42 0
[pid=13949] ppid=13947 vsize=335168 CPUtime=11.48
/proc/13949/stat : 13949 (clasp) R 13947 13939 13794 0 -1 4194304 82435 0 0 0 1117 31 0 0 25 0 1 0 136611655 343212032 82398 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0
/proc/13949/statm: 83792 82398 181 154 0 83262 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 358040

[startup+25.5011 s]
/proc/loadavg: 0.97 1.00 1.00 2/80 13949
/proc/meminfo: memFree=712240/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=1.17
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1453 1629 0 0 57 0 59 1 17 0 1 0 136611535 15360000 1103 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13939/statm: 3750 1103 343 3 0 850 0
[pid=13947] ppid=13939 vsize=5352 CPUtime=0
/proc/13947/stat : 13947 (sh) S 13939 13939 13794 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 136611654 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13947/statm: 1338 224 188 169 0 49 0
[pid=13949] ppid=13947 vsize=931356 CPUtime=24.28
/proc/13949/stat : 13949 (clasp) R 13947 13939 13794 0 -1 4194304 274490 0 0 0 2322 106 0 0 25 0 1 0 136611655 953708544 217762 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 8326652 0 0 4096 0 0 0 0 17 0 0 0
/proc/13949/statm: 232839 217762 192 154 0 232309 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 951708

[startup+51.102 s]
/proc/loadavg: 0.98 1.00 1.00 2/81 13957
/proc/meminfo: memFree=802280/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.88
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1659 280004 0 0 58 1 3606 123 16 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
[pid=13955] ppid=13939 vsize=5352 CPUtime=0
/proc/13955/stat : 13955 (sh) S 13939 13939 13794 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 136615327 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13955/statm: 1338 224 188 169 0 49 0
[pid=13956] ppid=13955 vsize=2520 CPUtime=0
/proc/13956/stat : 13956 (cat) S 13955 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 136615327 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/13956/statm: 630 87 71 4 0 42 0
[pid=13957] ppid=13955 vsize=833728 CPUtime=13.15
/proc/13957/stat : 13957 (clasp) R 13955 13939 13794 0 -1 4194304 210260 0 0 0 1232 83 0 0 25 0 1 0 136615327 853737472 202138 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0
/proc/13957/statm: 208432 202140 184 154 0 207902 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 856600



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+74.7027 s]
/proc/loadavg: 0.98 1.00 1.00 2/81 13957
/proc/meminfo: memFree=15720/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.88
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1659 280004 0 0 58 1 3606 123 16 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
[pid=13955] ppid=13939 vsize=5352 CPUtime=0
/proc/13955/stat : 13955 (sh) S 13939 13939 13794 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 136615327 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13955/statm: 1338 224 188 169 0 49 0
[pid=13956] ppid=13955 vsize=2520 CPUtime=0
/proc/13956/stat : 13956 (cat) S 13955 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 136615327 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/13956/statm: 630 87 71 4 0 42 0
[pid=13957] ppid=13955 vsize=1821864 CPUtime=36.71
/proc/13957/stat : 13957 (clasp) R 13955 13939 13794 0 -1 4194304 461328 0 0 0 3490 181 0 0 25 0 1 0 136615327 1865588736 436639 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0
/proc/13957/statm: 455466 436639 184 154 0 454936 0
Current children cumulated CPU time (s) 74.59
Current children cumulated vsize (KiB) 1844736

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

[startup+74.7027 s]
/proc/loadavg: 0.98 1.00 1.00 2/81 13957
/proc/meminfo: memFree=15720/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.88
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1659 280004 0 0 58 1 3606 123 16 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
[pid=13955] ppid=13939 vsize=5352 CPUtime=0
/proc/13955/stat : 13955 (sh) S 13939 13939 13794 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 136615327 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13955/statm: 1338 224 188 169 0 49 0
[pid=13956] ppid=13955 vsize=2520 CPUtime=0
/proc/13956/stat : 13956 (cat) S 13955 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 136615327 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/13956/statm: 630 87 71 4 0 42 0
[pid=13957] ppid=13955 vsize=1821864 CPUtime=36.71
/proc/13957/stat : 13957 (clasp) R 13955 13939 13794 0 -1 4194304 461328 0 0 0 3490 181 0 0 25 0 1 0 136615327 1865588736 436639 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0
/proc/13957/statm: 455466 436639 184 154 0 454936 0
Current children cumulated CPU time (s) 74.59
Current children cumulated vsize (KiB) 1844736

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

[startup+74.8237 s]
/proc/loadavg: 0.98 1.00 1.00 2/81 13957
/proc/meminfo: memFree=15720/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.9
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1786 280977 0 3 59 1 3606 124 18 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
Current children cumulated CPU time (s) 37.9
Current children cumulated vsize (KiB) 15000

Sending SIGKILL to process tree (bottom up)

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

[startup+75.0027 s]
/proc/loadavg: 0.98 1.00 1.00 2/81 13957
/proc/meminfo: memFree=15720/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.91
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1817 281781 0 3 59 1 3606 125 18 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 15000

[startup+75.8028 s]
/proc/loadavg: 0.98 1.00 1.00 2/82 13968
/proc/meminfo: memFree=1697440/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.91
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1817 281781 0 3 59 1 3606 125 18 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
[pid=13966] ppid=13939 vsize=5352 CPUtime=0
/proc/13966/stat : 13966 (sh) S 13939 13939 13794 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 136619019 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13966/statm: 1338 224 188 169 0 49 0
[pid=13967] ppid=13966 vsize=2520 CPUtime=0
/proc/13967/stat : 13967 (cat) S 13966 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 136619019 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13967/statm: 630 87 71 4 0 42 0
[pid=13968] ppid=13966 vsize=183548 CPUtime=0.93
/proc/13968/stat : 13968 (clasp) R 13966 13939 13794 0 -1 4194304 17163 0 0 0 86 7 0 0 25 0 1 0 136619019 187953152 17126 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134634311 0 0 4096 0 0 0 0 17 0 0 0
/proc/13968/statm: 45887 17135 182 154 0 45357 0
Current children cumulated CPU time (s) 38.84
Current children cumulated vsize (KiB) 206420

[startup+76.2028 s]
/proc/loadavg: 0.98 1.00 1.00 2/82 13968
/proc/meminfo: memFree=1697440/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.91
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1817 281781 0 3 59 1 3606 125 18 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
[pid=13966] ppid=13939 vsize=5352 CPUtime=0
/proc/13966/stat : 13966 (sh) S 13939 13939 13794 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 136619019 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13966/statm: 1338 224 188 169 0 49 0
[pid=13967] ppid=13966 vsize=2520 CPUtime=0
/proc/13967/stat : 13967 (cat) S 13966 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 136619019 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13967/statm: 630 87 71 4 0 42 0
[pid=13968] ppid=13966 vsize=206204 CPUtime=1.32
/proc/13968/stat : 13968 (clasp) R 13966 13939 13794 0 -1 4194304 51370 0 0 0 111 21 0 0 25 0 1 0 136619019 211152896 51061 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 0 0 0
/proc/13968/statm: 51551 51061 184 154 0 51021 0
Current children cumulated CPU time (s) 39.23
Current children cumulated vsize (KiB) 229076

[startup+76.6019 s]
/proc/loadavg: 0.98 1.00 1.00 2/82 13968
/proc/meminfo: memFree=1697440/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.91
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1817 281781 0 3 59 1 3606 125 18 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
[pid=13966] ppid=13939 vsize=5352 CPUtime=0
/proc/13966/stat : 13966 (sh) S 13939 13939 13794 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 136619019 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13966/statm: 1338 224 188 169 0 49 0
[pid=13967] ppid=13966 vsize=2520 CPUtime=0
/proc/13967/stat : 13967 (cat) S 13966 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 136619019 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13967/statm: 630 87 71 4 0 42 0
[pid=13968] ppid=13966 vsize=235580 CPUtime=1.72
/proc/13968/stat : 13968 (clasp) R 13966 13939 13794 0 -1 4194304 58789 0 0 0 149 23 0 0 25 0 1 0 136619019 241233920 58028 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0
/proc/13968/statm: 58895 58029 184 154 0 58365 0
Current children cumulated CPU time (s) 39.63
Current children cumulated vsize (KiB) 258452

[startup+76.7019 s]
/proc/loadavg: 0.98 1.00 1.00 2/82 13968
/proc/meminfo: memFree=1697440/2055920 swapFree=4191880/4192956
[pid=13939] ppid=13937 vsize=15000 CPUtime=37.91
/proc/13939/stat : 13939 (pbclasp) S 13937 13939 13794 0 -1 4194304 1817 281781 0 3 59 1 3606 125 18 0 1 0 136611535 15360000 1105 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/13939/statm: 3750 1105 343 3 0 850 0
[pid=13966] ppid=13939 vsize=5352 CPUtime=0
/proc/13966/stat : 13966 (sh) S 13939 13939 13794 0 -1 4194304 288 0 0 0 0 0 0 0 20 0 1 0 136619019 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13966/statm: 1338 224 188 169 0 49 0
[pid=13967] ppid=13966 vsize=2520 CPUtime=0
/proc/13967/stat : 13967 (cat) S 13966 13939 13794 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 136619019 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13967/statm: 630 87 71 4 0 42 0
[pid=13968] ppid=13966 vsize=242112 CPUtime=1.82
/proc/13968/stat : 13968 (clasp) R 13966 13939 13794 0 -1 4194304 60467 0 0 0 159 23 0 0 25 0 1 0 136619019 247922688 59706 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0
/proc/13968/statm: 60528 59708 184 154 0 59998 0
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (KiB) 264984

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13939 and gives
#  childrusage.ru_utime.tv_sec=36
#  childrusage.ru_utime.tv_usec=661426
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=277805
# CPU time returned by wait4() is 37.9392
# while last known CPU time is 39.73
#
# 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): 36.69
#  lost CPU user time (s): 34.89
#  lost CPU system time (s): 1.8

Real time (s): 76.7378
CPU time (s): 76.42
CPU user time (s): 73.13
CPU system time (s): 3.29
CPU usage (%): 99.5859
Max. virtual memory (cumulated for all children) (KiB): 1844736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.6614
system time used= 1.2778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284625
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 896
involuntary context switches= 349

runsolver used 0.088986 second user time and 0.201969 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sun Apr 15 02:55:39 UTC 2007

IDJOB= 351585
IDBENCH= 1779
IDSOLVER= 158
FILE ID= node5/351585-1176605739

PBS_JOBID= 4556821

Free space on /tmp= 66556 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
COMMAND LINE= pbclasp instance-351585-1176605739.opb /tmp/evaluation/351585-1176605739/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-351585-1176605739 -o ROOT/results/node5/conversion-351585-1176605739 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351585-1176605739/instance-351585-1176605739.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  2b7e03ead6dfd4071784021865da4458

RANDOM SEED= 419464686

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1590560 kB
Buffers:         85952 kB
Cached:         263024 kB
SwapCached:        408 kB
Active:         262044 kB
Inactive:       142232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590560 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1596 kB
Writeback:           0 kB
Mapped:          71096 kB
Slab:            46664 kB
Committed_AS:  6911552 kB
PageTables:       1720 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= 66554 MiB

End job on node5 on Sun Apr 15 02:56:56 UTC 2007