Trace number 351490

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-04-10SAT (TO)1354 1801.97 1814.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb
MD5SUM53486a3b6175c61d0a6ff165dfe1a2e1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark660
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 660
Optimality of the best value was proved NO
Number of variables73885
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint585
Maximum length of a constraint612
Number of terms in the objective function 73885
Biggest coefficient in the objective function 13
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 561660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 561660
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)

372.49/372.90	o 1354
1800.09/1812.92	c Somebody sent me a SIGTERM
1800.09/1812.92	s SATISFIABLE
1800.09/1812.92	v x762 x5613 x14695 x18376 x21316 x21906 x23330 x23720 x25554 x25900 x26286 x30941 x31907 x32003 x36499 x36957 x37006 x37047
1800.09/1812.92	v x38824 x39285 x39717 x39869 x40122 x40877 x40937 x41335 x41466 x42411 x43827 x44322 x44395 x44758 x44988 x45741 x46612
1800.09/1812.92	v x46889 x46973 x47315 x47319 x47438 x47760 x47850 x48195 x48746 x48753 x48794 x49361 x49507 x49551 x49643 x49699 x50011
1800.09/1812.92	v x50041 x50266 x50756 x50957 x51108 x51958 x52913 x54159 x54203 x54459 x54522 x54527 x54536 x54814 x55751 x56081 x56562
1800.09/1812.92	v x56812 x57621 x57654 x57786 x58005 x58154 x58254 x58874 x58965 x58993 x59458 x59693 x60228 x61123 x61269 x61299 x61305
1800.09/1812.92	v x61369 x61676 x61916 x62628 x63019 x63020 x63026 x63029 x63030 x63458 x63641 x63813 x63849 x64057 x64559 x64730 x64743
1800.09/1812.92	v x65429 x66057 x66101 x66106 x66202 x66323 x66346 x66451 x67341 x67387 x67420 x67513 x67519 x67552 x67763 x67949 x68037
1800.09/1812.92	v x68249 x68389 x68400 x68580 x68755 x68760 x69324 x69640 x69708 x70264 x70821 x70916 x70945 x71174 x71227 x71698 x71750
1800.09/1812.92	v x72046 x72060 x72209 x72221 x72222 x72226 x72350 x72364 x72821 x72971 x73040 x73176 x73198 x73221 x73399 x73437 x73454
1800.09/1812.92	v x73455 x73474 x73534 x73605 x73662 x73736
1800.09/1812.92	pb2clasp1: no process killed

Verifier Data (download as text)

OK	1354

Conversion Script Data (download as text)

/tmp/evaluation/351490-1176603092/instance-351490-1176603092.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/node76/watcher-351490-1176603092 -o ROOT/results/node76/solver-351490-1176603092 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351490-1176603092.opb /tmp/evaluation/351490-1176603092/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.92 0.98 0.99 2/69 28608
/proc/meminfo: memFree=1720488/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=12272 CPUtime=0
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 108223771 12566528 315 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206843904885 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/28608/statm: 3068 315 240 3 0 167 0

[startup+0.0996141 s]
/proc/loadavg: 0.92 0.98 0.99 2/69 28608
/proc/meminfo: memFree=1720488/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=19996 CPUtime=0.08
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 4213 0 0 0 7 1 0 0 18 0 1 0 108223771 20475904 2353 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206864059230 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28608/statm: 4999 2353 323 3 0 2098 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19996

[startup+0.101608 s]
/proc/loadavg: 0.92 0.98 0.99 2/69 28608
/proc/meminfo: memFree=1720488/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=19996 CPUtime=0.08
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 4395 0 0 0 7 1 0 0 18 0 1 0 108223771 20475904 2353 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206843615820 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28608/statm: 4999 2353 323 3 0 2098 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19996

[startup+0.301648 s]
/proc/loadavg: 0.92 0.98 0.99 2/69 28608
/proc/meminfo: memFree=1720488/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=19992 CPUtime=0.28
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 17831 0 0 0 22 6 0 0 19 0 1 0 108223771 20471808 2352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206864059224 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28608/statm: 4998 2352 323 3 0 2097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19992

[startup+0.701728 s]
/proc/loadavg: 0.92 0.98 0.99 2/69 28608
/proc/meminfo: memFree=1720488/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=19992 CPUtime=0.69
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 44981 0 0 0 53 16 0 0 23 0 1 0 108223771 20471808 2352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206864059230 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28608/statm: 4998 2352 323 3 0 2097 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19992

[startup+1.50188 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 28609
/proc/meminfo: memFree=1712352/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=19988 CPUtime=1.48
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 98993 0 0 0 111 37 0 0 25 0 1 0 108223771 20467712 2307 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206843615354 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28608/statm: 4997 2307 323 3 0 2096 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19988

[startup+3.10119 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 28609
/proc/meminfo: memFree=1712096/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=20116 CPUtime=3.08
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 208432 0 0 0 233 75 0 0 25 0 1 0 108223771 20598784 2212 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206843615343 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28608/statm: 5029 2212 323 3 0 2128 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20116

[startup+6.3018 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 28609
/proc/meminfo: memFree=1711776/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=20368 CPUtime=6.27
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 428390 0 0 0 473 154 0 0 25 0 1 0 108223771 20856832 2418 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206864059218 0 0 4224 16384 0 0 0 17 0 0 0
/proc/28608/statm: 5092 2418 323 3 0 2191 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20368

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 28609
/proc/meminfo: memFree=1711520/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=20796 CPUtime=12.67
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 875940 0 0 0 960 307 0 0 25 0 1 0 108223771 21295104 2490 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206843615354 0 0 4224 16384 0 0 0 17 0 0 0
/proc/28608/statm: 5199 2498 323 3 0 2298 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20796

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/70 28609
/proc/meminfo: memFree=1710560/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=21660 CPUtime=25.47
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 1817196 0 0 0 1937 610 0 0 25 0 1 0 108223771 22179840 2749 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206843615458 0 0 4224 16384 0 0 0 17 0 0 0
/proc/28608/statm: 5415 2749 323 3 0 2514 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 21660

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/70 28609
/proc/meminfo: memFree=1708128/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=24156 CPUtime=51.05
/proc/28608/stat : 28608 (pbclasp) R 28606 28608 26978 0 -1 4194304 3855920 0 0 0 3857 1248 0 0 25 0 1 0 108223771 24735744 3381 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206843615354 0 0 4224 16384 0 0 0 17 0 0 0
/proc/28608/statm: 6039 3381 323 3 0 3138 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 24156

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/72 28618
/proc/meminfo: memFree=1637008/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=88.26
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581446 1828 0 0 6362 1983 474 7 18 0 1 0 108223771 41312256 7425 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7425 344 3 0 7185 0
[pid=28616] ppid=28608 vsize=5364 CPUtime=0.02
/proc/28616/stat : 28616 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 2 16 0 1 0 108232608 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28616/statm: 1341 223 186 169 0 51 0
[pid=28618] ppid=28616 vsize=41820 CPUtime=13.9
/proc/28618/stat : 28618 (clasp-1.0) R 28616 28608 26978 0 -1 4194304 11935 0 0 0 1385 5 0 0 25 0 1 0 108232609 42823680 9927 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 0 0 0
/proc/28618/statm: 10455 9927 247 81 0 9828 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 87528

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 28618
/proc/meminfo: memFree=1637136/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=88.26
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581446 1828 0 0 6362 1983 474 7 18 0 1 0 108223771 41312256 7425 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7425 344 3 0 7185 0
[pid=28616] ppid=28608 vsize=5364 CPUtime=0.02
/proc/28616/stat : 28616 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 2 16 0 1 0 108232608 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28616/statm: 1341 223 186 169 0 51 0
[pid=28618] ppid=28616 vsize=41820 CPUtime=73.84
/proc/28618/stat : 28618 (clasp-1.0) R 28616 28608 26978 0 -1 4194304 11965 0 0 0 7379 5 0 0 25 0 1 0 108232609 42823680 9957 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733873 0 0 4096 0 0 0 0 17 0 0 0
/proc/28618/statm: 10455 9957 247 81 0 9828 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 87528

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 28618
/proc/meminfo: memFree=1637136/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=88.26
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581446 1828 0 0 6362 1983 474 7 18 0 1 0 108223771 41312256 7425 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7425 344 3 0 7185 0
[pid=28616] ppid=28608 vsize=5364 CPUtime=0.02
/proc/28616/stat : 28616 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 2 16 0 1 0 108232608 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28616/statm: 1341 223 186 169 0 51 0
[pid=28618] ppid=28616 vsize=41820 CPUtime=133.79
/proc/28618/stat : 28618 (clasp-1.0) R 28616 28608 26978 0 -1 4194304 12003 0 0 0 13374 5 0 0 25 0 1 0 108232609 42823680 9995 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 0 0 0
/proc/28618/statm: 10455 9995 247 81 0 9828 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 87528

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 28618
/proc/meminfo: memFree=1637136/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=88.26
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581446 1828 0 0 6362 1983 474 7 18 0 1 0 108223771 41312256 7425 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7425 344 3 0 7185 0
[pid=28616] ppid=28608 vsize=5364 CPUtime=0.02
/proc/28616/stat : 28616 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 2 16 0 1 0 108232608 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28616/statm: 1341 223 186 169 0 51 0
[pid=28618] ppid=28616 vsize=41820 CPUtime=193.76
/proc/28618/stat : 28618 (clasp-1.0) R 28616 28608 26978 0 -1 4194304 12004 0 0 0 19371 5 0 0 25 0 1 0 108232609 42823680 9996 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617491 0 0 4096 0 0 0 0 17 0 0 0
/proc/28618/statm: 10455 9996 247 81 0 9828 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 87528

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 28618
/proc/meminfo: memFree=1637136/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=88.26
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581446 1828 0 0 6362 1983 474 7 18 0 1 0 108223771 41312256 7425 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7425 344 3 0 7185 0
[pid=28616] ppid=28608 vsize=5364 CPUtime=0.02
/proc/28616/stat : 28616 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 2 16 0 1 0 108232608 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28616/statm: 1341 223 186 169 0 51 0
[pid=28618] ppid=28616 vsize=41820 CPUtime=253.72
/proc/28618/stat : 28618 (clasp-1.0) R 28616 28608 26978 0 -1 4194304 12004 0 0 0 25367 5 0 0 25 0 1 0 108232609 42823680 9996 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 0 0 0
/proc/28618/statm: 10455 9996 247 81 0 9828 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 87528

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 28626
/proc/meminfo: memFree=1633552/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.73
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581809 15187 0 0 6369 1984 28900 20 18 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=28624] ppid=28608 vsize=5364 CPUtime=0
/proc/28624/stat : 28624 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 0 16 0 1 0 108261074 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28624/statm: 1341 223 186 169 0 51 0
[pid=28626] ppid=28624 vsize=45872 CPUtime=29.22
/proc/28626/stat : 28626 (clasp-1.0) R 28624 28608 26978 0 -1 4194304 13417 0 0 0 2915 7 0 0 25 0 1 0 108261075 46972928 10820 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733886 0 0 4096 0 0 0 0 17 0 0 0
/proc/28626/statm: 11468 10820 247 81 0 10841 0
Current children cumulated CPU time (s) 401.95
Current children cumulated vsize (KiB) 91580


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

/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581809 15187 0 0 6369 1984 28900 20 18 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=28624] ppid=28608 vsize=5364 CPUtime=0
/proc/28624/stat : 28624 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 0 16 0 1 0 108261074 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28624/statm: 1341 223 186 169 0 51 0
[pid=28626] ppid=28624 vsize=255112 CPUtime=1336.79
/proc/28626/stat : 28626 (clasp-1.0) R 28624 28608 26978 0 -1 4194304 65722 0 0 0 133629 50 0 0 25 0 1 0 108261075 261234688 63032 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/28626/statm: 63778 63032 247 81 0 63151 0
Current children cumulated CPU time (s) 1709.52
Current children cumulated vsize (KiB) 300820

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 30962
/proc/meminfo: memFree=1369232/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.73
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581809 15187 0 0 6369 1984 28900 20 18 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=28624] ppid=28608 vsize=5364 CPUtime=0
/proc/28624/stat : 28624 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 0 16 0 1 0 108261074 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28624/statm: 1341 223 186 169 0 51 0
[pid=28626] ppid=28624 vsize=268560 CPUtime=1396.76
/proc/28626/stat : 28626 (clasp-1.0) R 28624 28608 26978 0 -1 4194304 69078 0 0 0 139625 51 0 0 25 0 1 0 108261075 275005440 66388 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784637 0 0 4096 0 0 0 0 17 1 0 0
/proc/28626/statm: 67140 66388 247 81 0 66513 0
Current children cumulated CPU time (s) 1769.49
Current children cumulated vsize (KiB) 314268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.9 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 30962
/proc/meminfo: memFree=1363024/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.73
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581809 15187 0 0 6369 1984 28900 20 18 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=28624] ppid=28608 vsize=5364 CPUtime=0
/proc/28624/stat : 28624 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 0 16 0 1 0 108261074 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28624/statm: 1341 223 186 169 0 51 0
[pid=28626] ppid=28624 vsize=274656 CPUtime=1427.36
/proc/28626/stat : 28626 (clasp-1.0) R 28624 28608 26978 0 -1 4194304 70895 0 0 0 142684 52 0 0 25 0 1 0 108261075 281247744 67910 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715300 0 0 4096 0 0 0 0 17 1 0 0
/proc/28626/statm: 68664 67910 247 81 0 68037 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 320364

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

[startup+1812.9 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 30962
/proc/meminfo: memFree=1363024/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.73
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581809 15187 0 0 6369 1984 28900 20 18 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=28624] ppid=28608 vsize=5364 CPUtime=0
/proc/28624/stat : 28624 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 0 16 0 1 0 108261074 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/28624/statm: 1341 223 186 169 0 51 0
[pid=28626] ppid=28624 vsize=274656 CPUtime=1427.36
/proc/28626/stat : 28626 (clasp-1.0) R 28624 28608 26978 0 -1 4194304 70895 0 0 0 142684 52 0 0 25 0 1 0 108261075 281247744 67910 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715300 0 0 4096 0 0 0 0 17 1 0 0
/proc/28626/statm: 68664 67910 247 81 0 68037 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 320364

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

[startup+1813.02 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 30962
/proc/meminfo: memFree=1363024/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.83
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581942 16171 0 0 6375 1985 28900 23 17 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 16384 18446744071563651996 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
Current children cumulated CPU time (s) 372.83
Current children cumulated vsize (KiB) 40344

Sending SIGKILL to process tree (bottom up)

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

[startup+1814.2 s]
/proc/loadavg: 1.00 1.00 1.02 2/74 30973
/proc/meminfo: memFree=1624448/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.89
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581974 16969 0 0 6375 1985 28901 28 16 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=30971] ppid=28608 vsize=5364 CPUtime=0
/proc/30971/stat : 30971 (sh) S 28608 28608 26978 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 108405077 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30971/statm: 1341 223 186 169 0 51 0
[pid=30972] ppid=30971 vsize=2524 CPUtime=0.01
/proc/30972/stat : 30972 (cat) S 30971 28608 26978 0 -1 4194304 116 0 0 0 0 1 0 0 15 0 1 0 108405078 2584576 83 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 206843906546 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30972/statm: 631 83 67 4 0 42 0
[pid=30973] ppid=30971 vsize=15160 CPUtime=1.11
/proc/30973/stat : 30973 (clasp-1.0) R 30971 28608 26978 0 -1 4194304 4004 0 0 0 110 1 0 0 25 0 1 0 108405078 15523840 3316 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160243538 0 0 4096 0 0 0 0 17 1 0 0
/proc/30973/statm: 3790 3316 228 81 0 3163 0
Current children cumulated CPU time (s) 374.01
Current children cumulated vsize (KiB) 63392

[startup+1814.6 s]
/proc/loadavg: 1.00 1.00 1.02 2/74 30973
/proc/meminfo: memFree=1624448/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.89
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581974 16969 0 0 6375 1985 28901 28 16 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=30971] ppid=28608 vsize=5364 CPUtime=0
/proc/30971/stat : 30971 (sh) S 28608 28608 26978 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 108405077 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30971/statm: 1341 223 186 169 0 51 0
[pid=30972] ppid=30971 vsize=2524 CPUtime=0.01
/proc/30972/stat : 30972 (cat) S 30971 28608 26978 0 -1 4194304 116 0 0 0 0 1 0 0 15 0 1 0 108405078 2584576 83 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 206843906546 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30972/statm: 631 83 67 4 0 42 0
[pid=30973] ppid=30971 vsize=19216 CPUtime=1.5
/proc/30973/stat : 30973 (clasp-1.0) R 30971 28608 26978 0 -1 4194304 5082 0 0 0 149 1 0 0 25 0 1 0 108405078 19677184 4233 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160244210 0 0 4096 0 0 0 0 17 1 0 0
/proc/30973/statm: 4804 4233 230 81 0 4177 0
Current children cumulated CPU time (s) 374.4
Current children cumulated vsize (KiB) 67448

[startup+1814.8 s]
/proc/loadavg: 1.00 1.00 1.02 2/74 30973
/proc/meminfo: memFree=1624448/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.89
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581974 16969 0 0 6375 1985 28901 28 16 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=30971] ppid=28608 vsize=5364 CPUtime=0.01
/proc/30971/stat : 30971 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 1 16 0 1 0 108405077 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30971/statm: 1341 223 186 169 0 51 0
[pid=30973] ppid=30971 vsize=31392 CPUtime=1.7
/proc/30973/stat : 30973 (clasp-1.0) R 30971 28608 26978 0 -1 4194304 8595 0 0 0 167 3 0 0 25 0 1 0 108405078 32145408 7097 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134682744 0 0 4096 0 0 0 0 17 1 0 0
/proc/30973/statm: 7848 7097 235 81 0 7221 0
Current children cumulated CPU time (s) 374.6
Current children cumulated vsize (KiB) 77100

[startup+1814.9 s]
/proc/loadavg: 1.00 1.00 1.02 2/73 30973
/proc/meminfo: memFree=1604360/2055888 swapFree=4087924/4096564
[pid=28608] ppid=28606 vsize=40344 CPUtime=372.89
/proc/28608/stat : 28608 (pbclasp) S 28606 28608 26978 0 -1 4194304 6581974 16969 0 0 6375 1985 28901 28 16 0 1 0 108223771 41312256 7428 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852636612 0 0 4230 16384 18446744071563358023 0 0 17 0 0 0
/proc/28608/statm: 10086 7428 344 3 0 7185 0
[pid=30971] ppid=28608 vsize=5364 CPUtime=0.01
/proc/30971/stat : 30971 (sh) S 28608 28608 26978 0 -1 4194304 289 118 0 0 0 0 0 1 16 0 1 0 108405077 5492736 223 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206843734596 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30971/statm: 1341 223 186 169 0 51 0
[pid=30973] ppid=30971 vsize=33176 CPUtime=1.81
/proc/30973/stat : 30973 (clasp-1.0) R 30971 28608 26978 0 -1 4194304 9132 0 0 0 178 3 0 0 25 0 1 0 108405078 33972224 7634 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134689622 0 0 4096 0 0 0 0 17 1 0 0
/proc/30973/statm: 8294 7634 236 81 0 7667 0
Current children cumulated CPU time (s) 374.71
Current children cumulated vsize (KiB) 78884

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28608 and gives
#  childrusage.ru_utime.tv_sec=352
#  childrusage.ru_utime.tv_usec=774370
#  childrusage.ru_stime.tv_sec=20
#  childrusage.ru_stime.tv_usec=167934
# CPU time returned by wait4() is 372.942
# while last known CPU time is 374.71
#
# 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): 1427.26
#  lost CPU user time (s): 1426.78
#  lost CPU system time (s): 0.480001

Real time (s): 1814.94
CPU time (s): 1801.97
CPU user time (s): 1781.32
CPU system time (s): 20.65
CPU usage (%): 99.2855
Max. virtual memory (cumulated for all children) (KiB): 320364

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

runsolver used 2.20167 second user time and 4.01839 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Sun Apr 15 02:11:32 UTC 2007

IDJOB= 351490
IDBENCH= 1769
IDSOLVER= 167
FILE ID= node76/351490-1176603092

PBS_JOBID= 4556982

Free space on /tmp= 66648 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-t1717.opb
COMMAND LINE= pbclasp instance-351490-1176603092.opb /tmp/evaluation/351490-1176603092/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-351490-1176603092 -o ROOT/results/node76/conversion-351490-1176603092 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351490-1176603092/instance-351490-1176603092.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  53486a3b6175c61d0a6ff165dfe1a2e1

RANDOM SEED= 542455696

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277
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	: 6006.17
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.277
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1720896 kB
Buffers:         57496 kB
Cached:         194432 kB
SwapCached:       2188 kB
Active:          34536 kB
Inactive:       229972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1720896 kB
SwapTotal:     4096564 kB
SwapFree:      4087924 kB
Dirty:            4344 kB
Writeback:           0 kB
Mapped:          17760 kB
Slab:            56880 kB
Committed_AS:  2791484 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66633 MiB

End job on node76 on Sun Apr 15 02:41:47 UTC 2007