Trace number 351074

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)2956 1802.05 1802.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb
MD5SUM316ef86af78984fda235f0f35011b2ab
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark224
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 224
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint90
Maximum length of a constraint660
Number of terms in the objective function 10800
Biggest coefficient in the objective function 3543
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 533080
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 142664
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533080
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

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)

3.64/3.74	o 2958
5.34/5.44	o 2956
1800.07/1800.81	c Somebody sent me a SIGTERM
1800.07/1800.81	s SATISFIABLE
1800.07/1800.81	v x13 x43 x73 x103 x133 x163 x193 x223 x253 x283 x313 x343 x373 x403 x433 x613 x643 x673 x853 x883 x913 x943 x973 x1003 x1033 x1063
1800.07/1800.81	v x1093 x1123 x1153 x1183 x1213 x1243 x1273 x1303 x1333 x1363 x1393 x1423 x1453 x1483 x1513 x1543 x1573 x1603 x1633 x1663 x1693
1800.07/1800.81	v x1723 x1753 x1783 x1813 x1843 x1873 x1903 x1933 x1963 x1993 x2023 x2053 x2083 x2113 x2143 x2173 x2203 x2233 x2263 x2293 x2323
1800.07/1800.81	v x2353 x2383 x2413 x2443 x2473 x2503 x2533 x2563 x2593 x2623 x2653 x2683 x2713 x2743 x2773 x2803 x2833 x2863 x2893 x2923 x2953
1800.07/1800.81	v x2983 x3013 x3043 x3073 x3103 x3133 x3163 x3193 x3223 x3253 x3283 x3313 x3343 x3373 x3403 x3433 x3463 x3493 x3523 x3553 x3583
1800.07/1800.81	v x4058 x4088 x4123 x4148 x4183 x4298 x4333 x4358 x4388 x4418 x12627 x12628 x12629 x12630 x12659 x12690 x12719 x12720 x12748
1800.07/1800.81	v x12749 x12750 x12777 x12778 x12779 x12780 x12807 x12808 x12809 x12810 x12837 x12838 x12839 x12840 x12867 x12868 x12869
1800.07/1800.81	v x12870 x12897 x12898 x12899 x12900 x13225 x13226 x13227 x13228 x13229 x13230 x13259 x13290 x13319 x13320 x13348 x13349
1800.07/1800.81	v x13350 x13377 x13378 x13379 x13380 x13406 x13407 x13408 x13409 x13410 x13435 x13436 x13437 x13438 x13439 x13440 x13465
1800.07/1800.81	v x13466 x13467 x13468 x13469 x13470 x13495 x13496 x13497 x13498 x13499 x13500 x13526 x13527 x13528 x13529 x13530 x13590
1800.07/1800.81	v x13619 x13620 x13648 x13649 x13650 x13677 x13678 x13679 x13680 x13706 x13707 x13708 x13709 x13710 x13736 x13737 x13738
1800.07/1800.81	v x13739 x13740 x13766 x13767 x13768 x13769 x13770 x13796 x13797 x13798 x13799 x13800 x13824 x13825 x13826 x13827 x13828
1800.07/1800.81	v x13829 x13830 x13890 x13919 x13920 x13948 x13949 x13950 x13977 x13978 x13979 x13980 x14006 x14007 x14008 x14009 x14010
1800.07/1800.81	v x14035 x14036 x14037 x14038 x14039 x14040 x14064 x14065 x14066 x14067 x14068 x14069 x14070 x14094 x14095 x14096 x14097
1800.07/1800.81	v x14098 x14099 x14100
1800.07/1800.84	pb2clasp1: no process killed
1800.07/1800.85	clasp-1.0: no process killed
7.39/1802.82	sh: line 1: 19009 Done                    cat /tmp/evaluation/351074-1176577854/temp/instance-351074-1176577854.opb.op
7.39/1802.82	     19010 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/351074-1176577854/temp/instance-351074-1176577854.opb.clasp

Verifier Data (download as text)

OK	2956

Conversion Script Data (download as text)

/tmp/evaluation/351074-1176577854/instance-351074-1176577854.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/node66/watcher-351074-1176577854 -o ROOT/results/node66/solver-351074-1176577854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351074-1176577854.opb /tmp/evaluation/351074-1176577854/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.91 0.98 0.99 3/64 18971
/proc/meminfo: memFree=1554680/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=12268 CPUtime=0
/proc/18971/stat : 18971 (pbclasp) D 18969 18971 17972 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 133775032 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227607804517 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/18971/statm: 3067 317 242 3 0 167 0

[startup+0.01686 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 18971
/proc/meminfo: memFree=1554680/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=12796 CPUtime=0.01
/proc/18971/stat : 18971 (pbclasp) R 18969 18971 17972 0 -1 4194304 562 0 0 0 1 0 0 0 18 0 1 0 133775032 13103104 528 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227607483105 0 0 4224 16384 0 0 0 17 1 0 0
/proc/18971/statm: 3199 528 314 3 0 299 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12796

[startup+0.101877 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 18971
/proc/meminfo: memFree=1554680/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=13524 CPUtime=0.09
/proc/18971/stat : 18971 (pbclasp) R 18969 18971 17972 0 -1 4194304 754 0 0 0 9 0 0 0 18 0 1 0 133775032 13848576 720 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227621670658 0 0 4224 16384 0 0 0 17 1 0 0
/proc/18971/statm: 3381 721 320 3 0 481 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13524

[startup+0.301916 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 18971
/proc/meminfo: memFree=1554680/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=13656 CPUtime=0.29
/proc/18971/stat : 18971 (pbclasp) R 18969 18971 17972 0 -1 4194304 799 0 0 0 29 0 0 0 19 0 1 0 133775032 13983744 765 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227621670658 0 0 4224 16384 0 0 0 17 1 0 0
/proc/18971/statm: 3414 765 320 3 0 514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13656

[startup+0.701995 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 18971
/proc/meminfo: memFree=1554680/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=14080 CPUtime=0.69
/proc/18971/stat : 18971 (pbclasp) R 18969 18971 17972 0 -1 4194304 899 0 0 0 69 0 0 0 22 0 1 0 133775032 14417920 865 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227607517045 0 0 4224 16384 0 0 0 17 1 0 0
/proc/18971/statm: 3520 865 320 3 0 620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14080

[startup+1.50115 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 18972
/proc/meminfo: memFree=1551984/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=15436 CPUtime=1.27
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 1256 0 0 0 127 0 0 0 16 0 1 0 133775032 15806464 1209 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/18971/statm: 3859 1209 324 3 0 959 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 15436

[startup+3.10247 s]
/proc/loadavg: 0.91 0.98 0.99 2/68 18981
/proc/meminfo: memFree=1545424/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=1.99
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 1913 1657 0 0 130 0 67 2 17 0 1 0 133775032 16883712 1467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1467 343 3 0 1222 0
[pid=18979] ppid=18971 vsize=5352 CPUtime=0
/proc/18979/stat : 18979 (sh) S 18971 18971 17972 0 -1 4194304 285 121 0 0 0 0 0 0 16 0 1 0 133775233 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18979/statm: 1338 224 188 169 0 49 0
[pid=18981] ppid=18979 vsize=8904 CPUtime=1.05
/proc/18981/stat : 18981 (clasp-1.0) R 18979 18971 17972 0 -1 4194304 1959 0 3 0 105 0 0 0 25 0 1 0 133775234 9117696 1828 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733886 0 0 4096 0 0 0 0 17 1 0 0
/proc/18981/statm: 2226 1828 249 81 0 1600 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 30744

[startup+6.30112 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 18989
/proc/meminfo: memFree=1539736/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 16488

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1536736/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=12644 CPUtime=7.2
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 2890 0 0 0 719 1 0 0 25 0 1 0 133775579 12947456 2756 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617549 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 3161 2756 249 81 0 2535 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 34484

[startup+25.5019 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1532768/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=16728 CPUtime=19.99
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 3906 0 0 0 1997 2 0 0 25 0 1 0 133775579 17129472 3772 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 10274427 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 4182 3772 249 81 0 3556 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 38568

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1524448/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=24960 CPUtime=45.59
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 5948 0 0 0 4555 4 0 0 25 0 1 0 133775579 25559040 5814 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 6240 5814 249 81 0 5614 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 46800

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1520224/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=29320 CPUtime=96.78
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 7026 0 0 0 9673 5 0 0 25 0 1 0 133775579 30023680 6892 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 7330 6892 249 81 0 6704 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 51160

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1518624/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=30956 CPUtime=156.75
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 7418 0 0 0 15670 5 0 0 25 0 1 0 133775579 31698944 7284 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 7739 7284 249 81 0 7113 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 52796

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1516320/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=33260 CPUtime=216.73
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 7978 0 0 0 21667 6 0 0 25 0 1 0 133775579 34058240 7844 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 8315 7844 249 81 0 7689 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 55100

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1513696/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=36164 CPUtime=276.7
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 8673 0 0 0 27664 6 0 0 25 0 1 0 133775579 37031936 8539 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 9041 8539 249 81 0 8415 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 58004

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1511968/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0

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

/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=52816 CPUtime=1596.21
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 13718 0 0 0 159606 15 0 0 25 0 1 0 133775579 54083584 12536 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 13204 12536 249 81 0 12578 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 74656

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18997
/proc/meminfo: memFree=1497440/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=52944 CPUtime=1656.18
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 13744 0 0 0 165603 15 0 0 25 0 1 0 133775579 54214656 12562 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 13236 12562 249 81 0 12610 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 74784

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18999
/proc/meminfo: memFree=1497304/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=52816 CPUtime=1716.16
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 13810 0 0 0 171600 16 0 0 25 0 1 0 133775579 54083584 12545 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 13204 12545 249 81 0 12578 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 74656

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18999
/proc/meminfo: memFree=1497376/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=52816 CPUtime=1776.14
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 13819 0 0 0 177598 16 0 0 25 0 1 0 133775579 54083584 12554 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 13204 12554 249 81 0 12578 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 74656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18999
/proc/meminfo: memFree=1497376/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=52816 CPUtime=1794.63
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 13819 0 0 0 179447 16 0 0 25 0 1 0 133775579 54083584 12554 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 13204 12554 249 81 0 12578 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 74656

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18999
/proc/meminfo: memFree=1497376/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.44
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2207 8438 0 3 132 1 402 9 16 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=18995] ppid=18971 vsize=5352 CPUtime=0
/proc/18995/stat : 18995 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 15 0 1 0 133775579 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18995/statm: 1338 224 188 169 0 49 0
[pid=18997] ppid=18995 vsize=52816 CPUtime=1794.63
/proc/18997/stat : 18997 (clasp-1.0) R 18995 18971 17972 0 -1 4194304 13819 0 0 0 179447 16 0 0 25 0 1 0 133775579 54083584 12554 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/18997/statm: 13204 12554 249 81 0 12578 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 74656

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

[startup+1800.92 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18999
/proc/meminfo: memFree=1497376/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.48
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2371 10213 0 3 134 1 402 11 17 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 16488

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 18999
/proc/meminfo: memFree=1497376/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.48
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2371 10213 0 3 134 1 402 11 17 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 16488

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 19010
/proc/meminfo: memFree=1539536/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.48
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2371 10213 0 3 134 1 402 11 17 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=19008] ppid=18971 vsize=5352 CPUtime=0
/proc/19008/stat : 19008 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 133955119 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1338 224 188 169 0 49 0
[pid=19010] ppid=19008 vsize=9624 CPUtime=1.31
/proc/19010/stat : 19010 (clasp-1.0) R 19008 18971 17972 0 -1 4194304 2128 0 0 0 131 0 0 0 25 0 1 0 133955119 9854976 1994 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733886 0 0 4096 0 0 0 0 17 1 0 0
/proc/19010/statm: 2406 1994 249 81 0 1780 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 31464

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 19010
/proc/meminfo: memFree=1539536/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.48
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2371 10213 0 3 134 1 402 11 17 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=19008] ppid=18971 vsize=5352 CPUtime=0
/proc/19008/stat : 19008 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 133955119 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1338 224 188 169 0 49 0
[pid=19010] ppid=19008 vsize=9624 CPUtime=1.71
/proc/19010/stat : 19010 (clasp-1.0) R 19008 18971 17972 0 -1 4194304 2131 0 0 0 171 0 0 0 25 0 1 0 133955119 9854976 1997 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715264 0 0 4096 0 0 0 0 17 1 0 0
/proc/19010/statm: 2406 1997 249 81 0 1780 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 31464

[startup+1802.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 19010
/proc/meminfo: memFree=1539536/2055920 swapFree=4184872/4192956
[pid=18971] ppid=18969 vsize=16488 CPUtime=5.48
/proc/18971/stat : 18971 (pbclasp) S 18969 18971 17972 0 -1 4194304 2371 10213 0 3 134 1 402 11 17 0 1 0 133775032 16883712 1472 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/18971/statm: 4122 1472 343 3 0 1222 0
[pid=19008] ppid=18971 vsize=5352 CPUtime=0
/proc/19008/stat : 19008 (sh) S 18971 18971 17972 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 133955119 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1338 224 188 169 0 49 0
[pid=19010] ppid=19008 vsize=9624 CPUtime=1.91
/proc/19010/stat : 19010 (clasp-1.0) R 19008 18971 17972 0 -1 4194304 2131 0 0 0 191 0 0 0 25 0 1 0 133955119 9854976 1997 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/19010/statm: 2406 1997 249 81 0 1780 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 31464

Child status: 0

# 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): 1794.59
#  lost CPU user time (s): 1794.45
#  lost CPU system time (s): 0.14

Real time (s): 1802.83
CPU time (s): 1802.05
CPU user time (s): 1801.76
CPU system time (s): 0.287977
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 75044

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

runsolver used 2.24366 second user time and 4.17037 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Sat Apr 14 19:10:55 UTC 2007

IDJOB= 351074
IDBENCH= 1656
IDSOLVER= 167
FILE ID= node66/351074-1176577854

PBS_JOBID= 4556920

Free space on /tmp= 66564 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb
COMMAND LINE= pbclasp instance-351074-1176577854.opb /tmp/evaluation/351074-1176577854/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-351074-1176577854 -o ROOT/results/node66/conversion-351074-1176577854 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351074-1176577854/instance-351074-1176577854.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  316ef86af78984fda235f0f35011b2ab

RANDOM SEED= 199822879

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1555088 kB
Buffers:         42320 kB
Cached:         346184 kB
SwapCached:       2360 kB
Active:         129036 kB
Inactive:       271084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1555088 kB
SwapTotal:     4192956 kB
SwapFree:      4184872 kB
Dirty:            1076 kB
Writeback:           0 kB
Mapped:          19136 kB
Slab:            86720 kB
Committed_AS:   158288 kB
PageTables:       1384 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= 66562 MiB

End job on node66 on Sat Apr 14 19:40:58 UTC 2007