Trace number 352023

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)340 1802 1802.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
MD5SUM5548b3a1af88258afdf09b4f2d4db162
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark248
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 239
Optimality of the best value was proved NO
Number of variables63009
Total number of constraints507
Number of constraints which are clauses507
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint7753
Number of terms in the objective function 63009
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 122425
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 122425
Number of bits of the biggest sum of numbers17
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)

164.12/164.37	o 360
255.18/255.48	o 359
363.86/364.14	o 340
1800.04/1800.72	c Somebody sent me a SIGTERM
1800.04/1800.72	s SATISFIABLE
1800.04/1800.72	v x2814 x8754 x9489 x11047 x11150 x11833 x11856 x11857 x14424 x16224 x22781 x25735 x31161 x31211 x31531 x31538 x32351 x33362
1800.04/1800.72	v x34468 x37064 x37828 x39056 x39272 x39273 x39690 x39784 x41259 x42483 x42677 x45324 x47350 x47419 x48233 x48487 x50693
1800.04/1800.72	v x50751 x50752 x50898 x50917 x51033 x51325 x51813 x51896 x52169 x52407 x52823 x53251 x53779 x53802 x55357 x55697 x55972
1800.04/1800.72	v x56166 x56174 x56240 x56362 x57159 x57347 x57394 x57415 x57419 x57516 x57542 x57553 x57574 x57762 x58074 x58154 x58214
1800.04/1800.72	v x58240 x58283 x58739 x58896 x58899 x58925 x59135 x59321 x59430 x59436 x59499 x59579 x59792 x59916 x60228 x60306 x60348
1800.04/1800.72	v x60372 x60376 x60525 x60568 x60597 x60779 x60952 x61000 x61011 x61122 x61192 x61311 x61328 x61434 x61445 x61496 x61505
1800.04/1800.72	v x61516 x61525 x61572 x61578 x61748 x61772 x61807 x61815 x61833 x61856 x61867 x61888 x61937 x61952 x61957 x62100 x62109
1800.04/1800.72	v x62126 x62171 x62187 x62188 x62228 x62233 x62238 x62245 x62282 x62311 x62333 x62367 x62383 x62389 x62396 x62398 x62408
1800.04/1800.72	v x62411 x62439 x62443 x62453 x62481 x62488 x62528 x62532 x62554 x62556 x62753 x62762 x62766 x62767 x62769 x62772 x62784
1800.04/1800.72	v x62788 x62829 x62879 x62904 x62907 x62918 x62919 x62936 x62942 x62952 x62957 x62968 x62970 x62972 x62974 x62975 x62977
1800.04/1800.72	v x62982 x62986 x62988 x62990 x62999 x63004 x63007 x63008
1800.04/1800.73	pb2clasp1: no process killed
366.00/1802.73	sh: line 1: 21152 Done                    cat /tmp/evaluation/352023-1176620421/temp/instance-352023-1176620421.opb.op
366.00/1802.73	     21153 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/352023-1176620421/temp/instance-352023-1176620421.opb.clasp

Verifier Data (download as text)

OK	340

Conversion Script Data (download as text)

/tmp/evaluation/352023-1176620421/instance-352023-1176620421.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/node45/watcher-352023-1176620421 -o ROOT/results/node45/solver-352023-1176620421 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-352023-1176620421.opb /tmp/evaluation/352023-1176620421/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/64 20908
/proc/meminfo: memFree=1628352/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=12268 CPUtime=0
/proc/20908/stat : 20908 (pbclasp) D 20906 20908 19608 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 16887727 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258939255397 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/20908/statm: 3067 317 242 3 0 167 0

[startup+0.069338 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20908
/proc/meminfo: memFree=1628352/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=18116 CPUtime=0.06
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 2379 0 0 0 5 1 0 0 18 0 1 0 16887727 18550784 1882 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4529 1882 320 3 0 1629 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18116

[startup+0.101338 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20908
/proc/meminfo: memFree=1628352/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=18116 CPUtime=0.09
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 4659 0 0 0 8 1 0 0 18 0 1 0 16887727 18550784 1882 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4529 1882 320 3 0 1629 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18116

[startup+0.301359 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20908
/proc/meminfo: memFree=1628352/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=18112 CPUtime=0.29
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 19402 0 0 0 23 6 0 0 19 0 1 0 16887727 18546688 1792 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4528 1801 320 3 0 1628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18112

[startup+0.7014 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20908
/proc/meminfo: memFree=1628352/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=18112 CPUtime=0.69
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 49013 0 0 0 52 17 0 0 22 0 1 0 16887727 18546688 1807 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4528 1818 320 3 0 1628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18112

[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20909
/proc/meminfo: memFree=1621816/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=18240 CPUtime=1.49
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 108498 0 0 0 119 30 0 0 25 0 1 0 16887727 18677760 1882 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4560 1882 320 3 0 1660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18240

[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20909
/proc/meminfo: memFree=1621688/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=18364 CPUtime=3.09
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 228181 0 0 0 238 71 0 0 25 0 1 0 16887727 18804736 1918 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4591 1918 320 3 0 1691 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18364

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20909
/proc/meminfo: memFree=1621752/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=18628 CPUtime=6.29
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 467037 0 0 0 467 162 0 0 25 0 1 0 16887727 19075072 1868 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4657 1878 320 3 0 1757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18628

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20909
/proc/meminfo: memFree=1621112/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=19276 CPUtime=12.69
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 953073 0 0 0 940 329 0 0 25 0 1 0 16887727 19738624 2149 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967932 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 4819 2149 320 3 0 1919 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19276

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20909
/proc/meminfo: memFree=1619448/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=20652 CPUtime=25.48
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 1971874 0 0 0 1898 650 0 0 25 0 1 0 16887727 21147648 2390 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258939298009 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 5046 2390 320 3 0 2146 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20652

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 20983
/proc/meminfo: memFree=1613640/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=25412 CPUtime=51.05
/proc/20908/stat : 20908 (pbclasp) R 20906 20908 19608 0 -1 4194304 4111424 0 0 0 3811 1294 0 0 25 0 1 0 16887727 26021888 3639 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967466 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20908/statm: 6353 3651 320 3 0 3453 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 25412

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21116
/proc/meminfo: memFree=1569432/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=71.25
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4635724 2267 0 0 4471 1438 1209 7 18 0 1 0 16887727 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6062 343 3 0 5819 0
[pid=21072] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21072/stat : 21072 (sh) S 20908 20908 19608 0 -1 4194304 286 121 0 0 0 0 0 1 16 0 1 0 16894863 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21072/statm: 1338 224 188 169 0 49 0
[pid=21074] ppid=21072 vsize=27680 CPUtime=30.88
/proc/21074/stat : 21074 (clasp-1.0) R 21072 20908 19608 0 -1 4194304 8275 0 0 0 3083 5 0 0 25 0 1 0 16894863 28344320 6368 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733927 0 0 4096 0 0 0 0 17 1 0 0
/proc/21074/statm: 6920 6368 245 81 0 6294 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 67908

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21116
/proc/meminfo: memFree=1568544/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=71.25
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4635724 2267 0 0 4471 1438 1209 7 18 0 1 0 16887727 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6062 343 3 0 5819 0
[pid=21072] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21072/stat : 21072 (sh) S 20908 20908 19608 0 -1 4194304 286 121 0 0 0 0 0 1 16 0 1 0 16894863 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21072/statm: 1338 224 188 169 0 49 0
[pid=21074] ppid=21072 vsize=28708 CPUtime=90.86
/proc/21074/stat : 21074 (clasp-1.0) R 21072 20908 19608 0 -1 4194304 8543 0 0 0 9081 5 0 0 25 0 1 0 16894863 29396992 6636 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/21074/statm: 7177 6636 245 81 0 6551 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 68936

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21124
/proc/meminfo: memFree=1565032/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=164.3
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636069 12181 0 0 4476 1439 10497 18 18 0 1 0 16887727 35713024 6066 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6066 343 3 0 5819 0
[pid=21122] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21122/stat : 21122 (sh) S 20908 20908 19608 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 16904175 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21122/statm: 1338 224 188 169 0 49 0
[pid=21124] ppid=21122 vsize=32052 CPUtime=57.78
/proc/21124/stat : 21124 (clasp-1.0) R 21122 20908 19608 0 -1 4194304 9920 0 0 0 5774 4 0 0 25 0 1 0 16904175 32821248 7464 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733876 0 0 4096 0 0 0 0 17 1 0 0
/proc/21124/statm: 8013 7464 249 81 0 7387 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 72280

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21132
/proc/meminfo: memFree=1565032/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=255.4
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636184 23534 0 0 4482 1440 19589 29 18 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21130] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21130/stat : 21130 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16913286 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21130/statm: 1338 224 188 169 0 49 0
[pid=21132] ppid=21130 vsize=32052 CPUtime=26.66
/proc/21132/stat : 21132 (clasp-1.0) R 21130 20908 19608 0 -1 4194304 9886 0 0 0 2662 4 0 0 25 0 1 0 16913287 32821248 7430 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733952 0 0 4096 0 0 0 0 17 1 0 0
/proc/21132/statm: 8013 7430 249 81 0 7387 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 72280

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21132
/proc/meminfo: memFree=1564776/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=255.4
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636184 23534 0 0 4482 1440 19589 29 18 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21130] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21130/stat : 21130 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16913286 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21130/statm: 1338 224 188 169 0 49 0
[pid=21132] ppid=21130 vsize=32828 CPUtime=86.65
/proc/21132/stat : 21132 (clasp-1.0) R 21130 20908 19608 0 -1 4194304 9979 0 0 0 8660 5 0 0 25 0 1 0 16913287 33615872 7523 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617674 0 0 4096 0 0 0 0 17 1 0 0
/proc/21132/statm: 8207 7523 249 81 0 7581 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 73056

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21140
/proc/meminfo: memFree=1565032/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636488 34927 0 0 4487 1441 30432 40 16 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21138] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21138/stat : 21138 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16924151 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21138/statm: 1338 224 188 169 0 49 0
[pid=21140] ppid=21138 vsize=32052 CPUtime=38.02
/proc/21140/stat : 21140 (clasp-1.0) R 21138 20908 19608 0 -1 4194304 9898 0 0 0 3798 4 0 0 25 0 1 0 16924152 32821248 7442 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733927 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 8013 7442 249 81 0 7387 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 72280


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

/proc/21138/statm: 1338 224 188 169 0 49 0
[pid=21140] ppid=21138 vsize=369436 CPUtime=1237.68
/proc/21140/stat : 21140 (clasp-1.0) R 21138 20908 19608 0 -1 4194304 95629 0 0 0 123717 51 0 0 25 0 1 0 16924152 378302464 91754 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715250 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 92359 91754 249 81 0 91733 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 409664

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21142
/proc/meminfo: memFree=1227112/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636488 34927 0 0 4487 1441 30432 40 16 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21138] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21138/stat : 21138 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16924151 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21138/statm: 1338 224 188 169 0 49 0
[pid=21140] ppid=21138 vsize=369436 CPUtime=1297.67
/proc/21140/stat : 21140 (clasp-1.0) R 21138 20908 19608 0 -1 4194304 95629 0 0 0 129715 52 0 0 25 0 1 0 16924152 378302464 91754 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 92359 91754 249 81 0 91733 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 409664

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21142
/proc/meminfo: memFree=1227112/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636488 34927 0 0 4487 1441 30432 40 16 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21138] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21138/stat : 21138 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16924151 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21138/statm: 1338 224 188 169 0 49 0
[pid=21140] ppid=21138 vsize=369436 CPUtime=1357.65
/proc/21140/stat : 21140 (clasp-1.0) R 21138 20908 19608 0 -1 4194304 95629 0 0 0 135713 52 0 0 25 0 1 0 16924152 378302464 91754 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 92359 91754 249 81 0 91733 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 409664

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21142
/proc/meminfo: memFree=1227048/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636488 34927 0 0 4487 1441 30432 40 16 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21138] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21138/stat : 21138 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16924151 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21138/statm: 1338 224 188 169 0 49 0
[pid=21140] ppid=21138 vsize=369436 CPUtime=1417.63
/proc/21140/stat : 21140 (clasp-1.0) R 21138 20908 19608 0 -1 4194304 95630 0 0 0 141711 52 0 0 25 0 1 0 16924152 378302464 91755 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 92359 91755 249 81 0 91733 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 409664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21142
/proc/meminfo: memFree=1227112/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636488 34927 0 0 4487 1441 30432 40 16 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21138] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21138/stat : 21138 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16924151 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21138/statm: 1338 224 188 169 0 49 0
[pid=21140] ppid=21138 vsize=369436 CPUtime=1436.03
/proc/21140/stat : 21140 (clasp-1.0) R 21138 20908 19608 0 -1 4194304 95631 0 0 0 143551 52 0 0 25 0 1 0 16924152 378302464 91756 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 92359 91756 249 81 0 91733 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 409664

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21142
/proc/meminfo: memFree=1227112/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636488 34927 0 0 4487 1441 30432 40 16 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21138] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21138/stat : 21138 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 16924151 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21138/statm: 1338 224 188 169 0 49 0
[pid=21140] ppid=21138 vsize=369436 CPUtime=1436.03
/proc/21140/stat : 21140 (clasp-1.0) R 21138 20908 19608 0 -1 4194304 95631 0 0 0 143551 52 0 0 25 0 1 0 16924152 378302464 91756 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 92359 91756 249 81 0 91733 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 409664

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

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21142
/proc/meminfo: memFree=1227112/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364.11
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636631 36296 0 0 4493 1441 30432 45 16 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
Current children cumulated CPU time (s) 364.11
Current children cumulated vsize (KiB) 34876

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/67 21142
/proc/meminfo: memFree=1227112/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364.15
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636643 36698 0 0 4493 1442 30433 47 17 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
Current children cumulated CPU time (s) 364.15
Current children cumulated vsize (KiB) 34876

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 21153
/proc/meminfo: memFree=1584472/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364.15
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636643 36698 0 0 4493 1442 30433 47 17 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21151] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21151/stat : 21151 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 17067811 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21151/statm: 1338 224 188 169 0 49 0
[pid=21153] ppid=21151 vsize=33916 CPUtime=1.34
/proc/21153/stat : 21153 (clasp-1.0) R 21151 20908 19608 0 -1 4194304 9841 0 0 0 130 4 0 0 25 0 1 0 17067812 34729984 7695 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160493632 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 8479 7695 242 81 0 7853 0
Current children cumulated CPU time (s) 365.5
Current children cumulated vsize (KiB) 74144

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 21153
/proc/meminfo: memFree=1584472/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364.15
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636643 36698 0 0 4493 1442 30433 47 17 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21151] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21151/stat : 21151 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 17067811 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21151/statm: 1338 224 188 169 0 49 0
[pid=21153] ppid=21151 vsize=32052 CPUtime=1.74
/proc/21153/stat : 21153 (clasp-1.0) R 21151 20908 19608 0 -1 4194304 9848 0 0 0 170 4 0 0 25 0 1 0 17067812 32821248 7392 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733924 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 8013 7392 249 81 0 7387 0
Current children cumulated CPU time (s) 365.9
Current children cumulated vsize (KiB) 72280

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 21153
/proc/meminfo: memFree=1584472/2055920 swapFree=4192036/4192956
[pid=20908] ppid=20906 vsize=34876 CPUtime=364.15
/proc/20908/stat : 20908 (pbclasp) S 20906 20908 19608 0 -1 4194304 4636643 36698 0 0 4493 1442 30433 47 17 0 1 0 16887727 35713024 6067 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20908/statm: 8719 6067 343 3 0 5819 0
[pid=21151] ppid=20908 vsize=5352 CPUtime=0.01
/proc/21151/stat : 21151 (sh) S 20908 20908 19608 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 17067811 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21151/statm: 1338 224 188 169 0 49 0
[pid=21153] ppid=21151 vsize=32052 CPUtime=1.84
/proc/21153/stat : 21153 (clasp-1.0) R 21151 20908 19608 0 -1 4194304 9848 0 0 0 180 4 0 0 25 0 1 0 17067812 32821248 7392 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733886 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 8013 7392 249 81 0 7387 0
Current children cumulated CPU time (s) 366
Current children cumulated vsize (KiB) 72280

Child ended because it received signal 9 (SIGKILL)

# 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): 1435.93
#  lost CPU user time (s): 1435.45
#  lost CPU system time (s): 0.48

Real time (s): 1802.74
CPU time (s): 1802
CPU user time (s): 1786.55
CPU system time (s): 15.4547
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 409664

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

runsolver used 2.14767 second user time and 4.30434 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Sun Apr 15 07:00:21 UTC 2007

IDJOB= 352023
IDBENCH= 1874
IDSOLVER= 167
FILE ID= node45/352023-1176620421

PBS_JOBID= 4557026

Free space on /tmp= 66560 MiB

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  5548b3a1af88258afdf09b4f2d4db162

RANDOM SEED= 985592742

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1628824 kB
Buffers:         18036 kB
Cached:         299764 kB
SwapCached:        508 kB
Active:          88072 kB
Inactive:       245784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1628824 kB
SwapTotal:     4192956 kB
SwapFree:      4192036 kB
Dirty:            5008 kB
Writeback:           0 kB
Mapped:          25432 kB
Slab:            79340 kB
Committed_AS:   102192 kB
PageTables:       1400 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= 66549 MiB

End job on node45 on Sun Apr 15 07:30:24 UTC 2007