Trace number 350918

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)3079 1802.07 1802.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb
MD5SUM6d57e08ccbe566a3b3419be58eb11fb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1584
Best CPU time to get the best result obtained on this benchmark1800.81
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1581
Optimality of the best value was proved NO
Number of variables14101
Total number of constraints1739
Number of constraints which are clauses181
Number of constraints which are cardinality constraints (but not clauses)1140
Number of constraints which are nor clauses,nor cardinality constraints418
Minimum length of a constraint2
Maximum length of a constraint2463
Number of terms in the objective function 14101
Biggest coefficient in the objective function 158
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 531286
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 158
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 531286
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)

12.16/12.24	o 3082
105.03/105.17	o 3079
1800.08/1800.62	c Somebody sent me a SIGTERM
1800.08/1800.62	s SATISFIABLE
1800.08/1800.62	v x553 x1089 x1098 x1455 x1815 x1817 x1823 x2693 x2696 x2697 x2943 x3355 x3372 x3390 x3395 x3556 x3755 x4543 x4549 x4560 x5222
1800.08/1800.62	v x5272 x5395 x5749 x5833 x5942 x6262 x6276 x6282 x6333 x6817 x6967 x7099 x7102 x8382 x8477 x8800 x8851 x9049 x9054 x9056 x9373
1800.08/1800.62	v x9389 x9395 x9760 x10564 x10655 x10724 x11080 x11118 x11142 x11217 x11233 x11435 x11500 x11517 x11523 x11599 x11662 x11667
1800.08/1800.62	v x11692 x11743 x11846 x11921 x11928 x11934 x11935 x12052 x12122 x12126 x12144 x12168 x12206 x12286 x12291 x12431 x12638
1800.08/1800.62	v x12925 x12942 x13062 x13064 x13076 x13088 x13091 x13118 x13120 x13128 x13133 x13150 x13325 x13402 x13643 x13736 x13776
1800.08/1800.62	v x13816 x13848 x13881 x14014 x14017 x14045 x14084 x14096
1800.08/1800.62	pb2clasp1: no process killed
107.14/1802.62	sh: line 1: 19328 Done                    cat /tmp/evaluation/350918-1176567114/temp/instance-350918-1176567114.opb.op
107.14/1802.62	     19329 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/350918-1176567114/temp/instance-350918-1176567114.opb.clasp

Verifier Data (download as text)

OK	3079

Conversion Script Data (download as text)

/tmp/evaluation/350918-1176567114/instance-350918-1176567114.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/node14/watcher-350918-1176567114 -o ROOT/results/node14/solver-350918-1176567114 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350918-1176567114.opb /tmp/evaluation/350918-1176567114/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.87 1.01 1.05 3/77 19290
/proc/meminfo: memFree=1739992/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=12268 CPUtime=0
/proc/19290/stat : 19290 (pbclasp) D 19288 19290 2864 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 104629162 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212234631781 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/19290/statm: 3067 317 242 3 0 167 0

[startup+0.0322 s]
/proc/loadavg: 0.87 1.01 1.05 3/77 19290
/proc/meminfo: memFree=1739992/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=13648 CPUtime=0.02
/proc/19290/stat : 19290 (pbclasp) R 19288 19290 2864 0 -1 4194304 1772 0 0 0 2 0 0 0 18 0 1 0 104629162 13975552 766 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212234343850 0 0 4224 16384 0 0 0 17 1 0 0
/proc/19290/statm: 3412 766 320 3 0 512 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13648

[startup+0.101206 s]
/proc/loadavg: 0.87 1.01 1.05 3/77 19290
/proc/meminfo: memFree=1739992/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=13776 CPUtime=0.09
/proc/19290/stat : 19290 (pbclasp) R 19288 19290 2864 0 -1 4194304 7665 0 0 0 7 2 0 0 18 0 1 0 104629162 14106624 773 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212234674393 0 0 4224 16384 0 0 0 17 1 0 0
/proc/19290/statm: 3444 744 320 3 0 544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13776

[startup+0.301224 s]
/proc/loadavg: 0.87 1.01 1.05 3/77 19290
/proc/meminfo: memFree=1739992/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=13772 CPUtime=0.29
/proc/19290/stat : 19290 (pbclasp) R 19288 19290 2864 0 -1 4194304 24866 0 0 0 21 8 0 0 19 0 1 0 104629162 14102528 796 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212234343850 0 0 4224 16384 0 0 0 17 1 0 0
/proc/19290/statm: 3443 796 320 3 0 543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13772

[startup+0.701263 s]
/proc/loadavg: 0.87 1.01 1.05 3/77 19290
/proc/meminfo: memFree=1739992/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=13996 CPUtime=0.69
/proc/19290/stat : 19290 (pbclasp) R 19288 19290 2864 0 -1 4194304 43043 0 0 0 56 13 0 0 23 0 1 0 104629162 14331904 850 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212234343930 0 0 4224 16384 0 0 0 17 1 0 0
/proc/19290/statm: 3499 850 320 3 0 599 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13996

[startup+1.50134 s]
/proc/loadavg: 0.87 1.01 1.05 2/78 19291
/proc/meminfo: memFree=1737552/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=14684 CPUtime=1.49
/proc/19290/stat : 19290 (pbclasp) R 19288 19290 2864 0 -1 4194304 43213 0 0 0 136 13 0 0 25 0 1 0 104629162 15036416 1020 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212234343858 0 0 4224 16384 0 0 0 17 1 0 0
/proc/19290/statm: 3671 1020 320 3 0 771 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14684

[startup+3.10149 s]
/proc/loadavg: 0.87 1.01 1.05 3/78 19291
/proc/meminfo: memFree=1736144/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=16268 CPUtime=2.31
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 43607 0 0 0 217 14 0 0 16 0 1 0 104629162 16658432 1401 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243361890 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/19290/statm: 4067 1401 324 3 0 1167 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 16268

[startup+6.30179 s]
/proc/loadavg: 0.88 1.01 1.05 2/80 19293
/proc/meminfo: memFree=1732560/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=16268 CPUtime=2.31
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 43607 0 0 0 217 14 0 0 16 0 1 0 104629162 16658432 1401 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243361890 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/19290/statm: 4067 1401 324 3 0 1167 0
[pid=19292] ppid=19290 vsize=5352 CPUtime=0
/proc/19292/stat : 19292 (sh) S 19290 19290 2864 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 104629394 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19292/statm: 1338 229 193 169 0 49 0
[pid=19293] ppid=19292 vsize=13216 CPUtime=3.97
/proc/19293/stat : 19293 (pb2clasp1) R 19292 19290 2864 0 -1 4194304 700 0 0 0 396 1 0 0 25 0 1 0 104629394 13533184 662 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 212234242757 0 0 4224 0 0 0 0 17 1 0 0
/proc/19293/statm: 3304 662 340 3 0 404 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34836

[startup+12.7014 s]
/proc/loadavg: 0.89 1.01 1.05 2/80 19300
/proc/meminfo: memFree=1711408/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=12.26
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44699 7890 0 0 222 14 981 9 17 0 1 0 104629162 17874944 1734 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1734 343 3 0 1464 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 17456

[startup+25.5016 s]
/proc/loadavg: 0.91 1.01 1.04 2/80 19308
/proc/meminfo: memFree=1707784/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=12.26
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44699 7890 0 0 222 14 981 9 17 0 1 0 104629162 17874944 1734 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1734 343 3 0 1464 0
[pid=19306] ppid=19290 vsize=5352 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19290 19290 2864 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104630391 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19306/statm: 1338 224 188 169 0 49 0
[pid=19308] ppid=19306 vsize=23988 CPUtime=13.19
/proc/19308/stat : 19308 (clasp-1.0) R 19306 19290 2864 0 -1 4194304 5807 0 0 0 1317 2 0 0 25 0 1 0 104630391 24563712 5620 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714219 0 0 4096 0 0 0 0 17 1 0 0
/proc/19308/statm: 5997 5620 249 81 0 5371 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46796

[startup+51.101 s]
/proc/loadavg: 0.94 1.01 1.04 2/80 19308
/proc/meminfo: memFree=1689736/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=12.26
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44699 7890 0 0 222 14 981 9 17 0 1 0 104629162 17874944 1734 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1734 343 3 0 1464 0
[pid=19306] ppid=19290 vsize=5352 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19290 19290 2864 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104630391 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19306/statm: 1338 224 188 169 0 49 0
[pid=19308] ppid=19306 vsize=42176 CPUtime=38.79
/proc/19308/stat : 19308 (clasp-1.0) R 19306 19290 2864 0 -1 4194304 10344 0 0 0 3874 5 0 0 25 0 1 0 104630391 43188224 10157 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/19308/statm: 10544 10157 249 81 0 9918 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 64984

[startup+102.306 s]
/proc/loadavg: 0.97 1.00 1.04 2/80 19308
/proc/meminfo: memFree=1661064/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=12.26
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44699 7890 0 0 222 14 981 9 17 0 1 0 104629162 17874944 1734 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1734 343 3 0 1464 0
[pid=19306] ppid=19290 vsize=5352 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19290 19290 2864 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104630391 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19306/statm: 1338 224 188 169 0 49 0
[pid=19308] ppid=19306 vsize=70848 CPUtime=89.98
/proc/19308/stat : 19308 (clasp-1.0) R 19306 19290 2864 0 -1 4194304 17499 0 0 0 8988 10 0 0 25 0 1 0 104630391 72548352 17312 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715322 0 0 4096 0 0 0 0 17 1 0 0
/proc/19308/statm: 17712 17312 249 81 0 17086 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 93656

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.03 2/80 19316
/proc/meminfo: memFree=1675912/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=56736 CPUtime=57.05
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 13973 0 0 0 5698 7 0 0 25 0 1 0 104639684 58097664 13786 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714110 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 14184 13786 249 81 0 13558 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 79544

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.03 2/80 19316
/proc/meminfo: memFree=1645000/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=86488 CPUtime=117.04
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 21399 0 0 0 11692 12 0 0 25 0 1 0 104639684 88563712 21212 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715280 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 21622 21212 249 81 0 20996 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 109296

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.02 2/80 19316
/proc/meminfo: memFree=1645064/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=86364 CPUtime=177.02
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 21400 0 0 0 17690 12 0 0 25 0 1 0 104639684 88436736 21211 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715031 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 21591 21211 249 81 0 20965 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 109172

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.01 2/80 19316
/proc/meminfo: memFree=1645000/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=86356 CPUtime=237.01
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 21400 0 0 0 23688 13 0 0 25 0 1 0 104639684 88428544 21209 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134783023 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 21589 21209 249 81 0 20963 0

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

/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=198712 CPUtime=1436.67
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 49834 0 0 0 143630 37 0 0 25 0 1 0 104639684 203481088 49281 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715290 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 49678 49281 249 81 0 49052 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 221520

[startup+1602.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/80 19318
/proc/meminfo: memFree=1532232/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=198712 CPUtime=1496.66
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 49834 0 0 0 149628 38 0 0 25 0 1 0 104639684 203481088 49281 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 49678 49281 249 81 0 49052 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 221520

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/80 19318
/proc/meminfo: memFree=1532424/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=198416 CPUtime=1556.64
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 49834 0 0 0 155626 38 0 0 25 0 1 0 104639684 203177984 49207 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 49604 49207 249 81 0 48978 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 221224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 3/80 19318
/proc/meminfo: memFree=1532488/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=198416 CPUtime=1616.63
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 49834 0 0 0 161624 39 0 0 25 0 1 0 104639684 203177984 49207 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714706 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 49604 49207 249 81 0 48978 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 221224

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 19318
/proc/meminfo: memFree=1532488/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=198416 CPUtime=1676.61
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 49834 0 0 0 167622 39 0 0 25 0 1 0 104639684 203177984 49207 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715273 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 49604 49207 249 81 0 48978 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 221224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 19318
/proc/meminfo: memFree=1532488/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=198416 CPUtime=1694.92
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 49834 0 0 0 169452 40 0 0 25 0 1 0 104639684 203177984 49207 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715322 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 49604 49207 249 81 0 48978 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 221224

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 19318
/proc/meminfo: memFree=1532488/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.16
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 44869 26752 0 0 223 14 10255 24 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19314] ppid=19290 vsize=5352 CPUtime=0
/proc/19314/stat : 19314 (sh) S 19290 19290 2864 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104639684 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19314/statm: 1338 224 188 169 0 49 0
[pid=19316] ppid=19314 vsize=198416 CPUtime=1694.92
/proc/19316/stat : 19316 (clasp-1.0) R 19314 19290 2864 0 -1 4194304 49834 0 0 0 169452 40 0 0 25 0 1 0 104639684 203177984 49207 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715322 0 0 4096 0 0 0 0 17 1 0 0
/proc/19316/statm: 49604 49207 249 81 0 48978 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 221224

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 19318
/proc/meminfo: memFree=1532488/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.23
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 45035 28534 0 0 225 15 10255 28 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
Current children cumulated CPU time (s) 105.23
Current children cumulated vsize (KiB) 17456

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.01 1.00 2/80 19318
/proc/meminfo: memFree=1532488/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.23
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 45035 28534 0 0 225 15 10255 28 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
Current children cumulated CPU time (s) 105.23
Current children cumulated vsize (KiB) 17456

[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/81 19329
/proc/meminfo: memFree=1710720/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.23
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 45035 28534 0 0 225 15 10255 28 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19327] ppid=19290 vsize=5352 CPUtime=0
/proc/19327/stat : 19327 (sh) S 19290 19290 2864 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104809230 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19327/statm: 1338 224 188 169 0 49 0
[pid=19329] ppid=19327 vsize=20584 CPUtime=1.51
/proc/19329/stat : 19329 (clasp-1.0) R 19327 19290 2864 0 -1 4194304 4875 0 0 0 150 1 0 0 25 0 1 0 104809230 21078016 4688 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617548 0 0 4096 0 0 0 0 17 1 0 0
/proc/19329/statm: 5146 4688 249 81 0 4520 0
Current children cumulated CPU time (s) 106.74
Current children cumulated vsize (KiB) 43392

[startup+1802.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/81 19329
/proc/meminfo: memFree=1710720/2055920 swapFree=4149088/4192956
[pid=19290] ppid=19288 vsize=17456 CPUtime=105.23
/proc/19290/stat : 19290 (pbclasp) S 19288 19290 2864 0 -1 4194304 45035 28534 0 0 225 15 10255 28 16 0 1 0 104629162 17874944 1735 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/19290/statm: 4364 1735 343 3 0 1464 0
[pid=19327] ppid=19290 vsize=5352 CPUtime=0
/proc/19327/stat : 19327 (sh) S 19290 19290 2864 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104809230 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19327/statm: 1338 224 188 169 0 49 0
[pid=19329] ppid=19327 vsize=20584 CPUtime=1.91
/proc/19329/stat : 19329 (clasp-1.0) R 19327 19290 2864 0 -1 4194304 4906 0 0 0 190 1 0 0 25 0 1 0 104809230 21078016 4719 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617704 0 0 4096 0 0 0 0 17 1 0 0
/proc/19329/statm: 5146 4719 249 81 0 4520 0
Current children cumulated CPU time (s) 107.14
Current children cumulated vsize (KiB) 43392

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): 1694.85
#  lost CPU user time (s): 1694.5
#  lost CPU system time (s): 0.35

Real time (s): 1802.64
CPU time (s): 1802.07
CPU user time (s): 1801.24
CPU system time (s): 0.823927
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 222468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.744
system time used= 0.473927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80041
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= 2826
involuntary context switches= 228

runsolver used 1.71074 second user time and 4.85326 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Apr 14 16:11:54 UTC 2007

IDJOB= 350918
IDBENCH= 1611
IDSOLVER= 167
FILE ID= node14/350918-1176567114

PBS_JOBID= 4556779

Free space on /tmp= 66559 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb
COMMAND LINE= pbclasp instance-350918-1176567114.opb /tmp/evaluation/350918-1176567114/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-350918-1176567114 -o ROOT/results/node14/conversion-350918-1176567114 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350918-1176567114/instance-350918-1176567114.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  6d57e08ccbe566a3b3419be58eb11fb4

RANDOM SEED= 711802

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1740400 kB
Buffers:         54212 kB
Cached:         194432 kB
SwapCached:      11796 kB
Active:         117236 kB
Inactive:       159292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1740400 kB
SwapTotal:     4192956 kB
SwapFree:      4149088 kB
Dirty:            3404 kB
Writeback:           0 kB
Mapped:          32688 kB
Slab:            24500 kB
Committed_AS:  4711864 kB
PageTables:       1796 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66554 MiB

End job on node14 on Sat Apr 14 16:41:57 UTC 2007