Trace number 351152

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-10? (TO) 1802 1802.65

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-d6cube.opb
MD5SUM81f6ac40aa7d3bed7fd7ce8f56c34d18
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark254.249
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables185520
Total number of constraints404
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 constraints404
Minimum length of a constraint30
Maximum length of a constraint185520
Number of terms in the objective function 185520
Biggest coefficient in the objective function 43
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 686424
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 686424
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

1800.05/1800.62	c Somebody sent me a SIGTERM
1800.05/1800.62	s UNKNOWN
1800.05/1800.63	pb2clasp1: no process killed
1800.05/1800.64	clasp-1.0: no process killed
811.67/1802.63	sh: line 1:  3680 Done                    cat /tmp/evaluation/351152-1176583441/temp/instance-351152-1176583441.opb.op
811.67/1802.63	      3681 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/351152-1176583441/temp/instance-351152-1176583441.opb.clasp

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/351152-1176583441/instance-351152-1176583441.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/node29/watcher-351152-1176583441 -o ROOT/results/node29/solver-351152-1176583441 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351152-1176583441.opb /tmp/evaluation/351152-1176583441/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.95 1.07 1.08 3/77 3470
/proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=12268 CPUtime=0
/proc/3470/stat : 3470 (pbclasp) D 3468 3470 6180 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 106259870 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780867685 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/3470/statm: 3067 317 242 3 0 167 0

[startup+0.011279 s]
/proc/loadavg: 0.95 1.07 1.08 3/77 3470
/proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=12532 CPUtime=0
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 487 0 0 0 0 0 0 0 18 0 1 0 106259870 12832768 453 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780546273 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 3133 454 314 3 0 233 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12532

[startup+0.101285 s]
/proc/loadavg: 0.95 1.07 1.08 3/77 3470
/proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=16448 CPUtime=0.09
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 1487 0 0 0 9 0 0 0 18 0 1 0 106259870 16842752 1453 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780546273 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 4112 1453 314 3 0 1212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16448

[startup+0.301298 s]
/proc/loadavg: 0.95 1.07 1.08 3/77 3470
/proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=30536 CPUtime=0.29
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 11219 0 0 0 24 5 0 0 19 0 1 0 106259870 31268864 4509 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780910297 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7634 4509 320 3 0 4734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30536

[startup+0.701321 s]
/proc/loadavg: 0.95 1.07 1.08 3/77 3470
/proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=30536 CPUtime=0.69
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 31687 0 0 0 57 12 0 0 22 0 1 0 106259870 31268864 4985 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733838 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7634 4985 320 3 0 4734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30536

[startup+1.50137 s]
/proc/loadavg: 0.95 1.07 1.08 2/78 3471
/proc/meminfo: memFree=1485504/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=30536 CPUtime=1.49
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 72623 0 0 0 120 29 0 0 25 0 1 0 106259870 31268864 4985 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579866 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7634 4985 320 3 0 4734 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30536

[startup+3.10148 s]
/proc/loadavg: 0.95 1.07 1.08 2/78 3471
/proc/meminfo: memFree=1484736/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=30532 CPUtime=3.09
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 154431 0 0 0 246 63 0 0 25 0 1 0 106259870 31264768 4984 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579898 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7633 4984 320 3 0 4733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30532

[startup+6.30167 s]
/proc/loadavg: 0.95 1.07 1.08 2/78 3471
/proc/meminfo: memFree=1484488/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=30532 CPUtime=6.29
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 319256 0 0 0 497 132 0 0 25 0 1 0 106259870 31264768 4984 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580184 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7633 4984 320 3 0 4733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30532

[startup+12.7011 s]
/proc/loadavg: 0.95 1.07 1.08 2/78 3471
/proc/meminfo: memFree=1485616/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=30656 CPUtime=12.68
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 649384 0 0 0 999 269 0 0 25 0 1 0 106259870 31391744 5008 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7664 5008 320 3 0 4764 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30656

[startup+25.5019 s]
/proc/loadavg: 0.96 1.06 1.08 2/78 3471
/proc/meminfo: memFree=1484684/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=30904 CPUtime=25.47
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 1303713 0 0 0 2007 540 0 0 25 0 1 0 106259870 31645696 4833 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7726 4839 320 3 0 4826 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30904

[startup+51.1015 s]
/proc/loadavg: 0.97 1.06 1.07 2/78 3471
/proc/meminfo: memFree=1484784/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=31328 CPUtime=51.08
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 2617205 0 0 0 4005 1103 0 0 25 0 1 0 106259870 32079872 5173 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579874 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 7832 5173 320 3 0 4932 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31328

[startup+102.306 s]
/proc/loadavg: 0.99 1.05 1.07 2/78 3471
/proc/meminfo: memFree=1483184/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=32328 CPUtime=102.26
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 5237386 0 0 0 8017 2209 0 0 25 0 1 0 106259870 33103872 5161 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 8082 5168 320 3 0 5182 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32328

[startup+162.301 s]
/proc/loadavg: 0.99 1.03 1.06 2/78 3471
/proc/meminfo: memFree=1481776/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=33828 CPUtime=162.25
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 8313689 0 0 0 12728 3497 0 0 25 0 1 0 106259870 34639872 5362 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780910297 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 8457 5362 320 3 0 5557 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 33828

[startup+222.301 s]
/proc/loadavg: 0.99 1.03 1.06 2/78 3471
/proc/meminfo: memFree=1481456/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=34936 CPUtime=222.23
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 11398439 0 0 0 17450 4773 0 0 25 0 1 0 106259870 35774464 5889 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 8734 5897 320 3 0 5834 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34936

[startup+282.302 s]
/proc/loadavg: 0.99 1.02 1.05 2/78 3471
/proc/meminfo: memFree=1479536/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=36952 CPUtime=282.22
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 14497378 0 0 0 22160 6062 0 0 25 0 1 0 106259870 37838848 6570 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579890 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 9238 6570 320 3 0 6338 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 36952

[startup+342.302 s]
/proc/loadavg: 0.99 1.01 1.04 2/78 3471
/proc/meminfo: memFree=1478128/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=38064 CPUtime=342.2
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 17607062 0 0 0 26854 7366 0 0 25 0 1 0 106259870 38977536 6840 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733838 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 9516 6840 320 3 0 6616 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 38064

[startup+402.301 s]
/proc/loadavg: 0.99 1.01 1.04 2/78 3471
/proc/meminfo: memFree=1476080/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=39432 CPUtime=402.19
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 20723451 0 0 0 31543 8676 0 0 25 0 1 0 106259870 40378368 7190 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733832 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 9858 7190 320 3 0 6958 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 39432

[startup+462.301 s]
/proc/loadavg: 1.07 1.02 1.04 2/78 3471
/proc/meminfo: memFree=1474544/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=40924 CPUtime=462.17
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 23857578 0 0 0 36220 9997 0 0 25 0 1 0 106259870 41906176 7564 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580127 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 10231 7564 320 3 0 7331 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 40924

[startup+522.302 s]
/proc/loadavg: 1.03 1.01 1.03 2/78 3471
/proc/meminfo: memFree=1471536/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=43948 CPUtime=522.16
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 27025922 0 0 0 40868 11348 0 0 25 0 1 0 106259870 45002752 8322 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580176 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 10987 8322 320 3 0 8087 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 43948

[startup+582.302 s]
/proc/loadavg: 1.01 1.01 1.03 2/78 3471
/proc/meminfo: memFree=1470960/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=45424 CPUtime=582.15
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 30258399 0 0 0 45505 12710 0 0 25 0 1 0 106259870 46514176 8668 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 11356 8675 320 3 0 8456 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 45424

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 3471
/proc/meminfo: memFree=1467952/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=47540 CPUtime=642.13
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 33625457 0 0 0 50128 14085 0 0 25 0 1 0 106259870 48680960 9201 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580176 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 11885 9201 320 3 0 8985 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 47540


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


[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 3671
/proc/meminfo: memFree=1416032/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=64284 CPUtime=809.7
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/3470/statm: 16071 13401 324 3 0 13171 0
[pid=3472] ppid=3470 vsize=5352 CPUtime=0
/proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3472/statm: 1338 229 193 169 0 49 0
[pid=3473] ppid=3472 vsize=44920 CPUtime=792.09
/proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 43670516 0 0 0 61498 17711 0 0 25 0 1 0 106340862 45998080 8594 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579754 0 0 4224 0 0 0 0 17 1 0 0
/proc/3473/statm: 11230 8594 340 3 0 8330 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 114556

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 3671
/proc/meminfo: memFree=1393440/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=64284 CPUtime=809.7
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/3470/statm: 16071 13401 324 3 0 13171 0
[pid=3472] ppid=3470 vsize=5352 CPUtime=0
/proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3472/statm: 1338 229 193 169 0 49 0
[pid=3473] ppid=3472 vsize=64112 CPUtime=852.08
/proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 47312416 0 0 0 66186 19022 0 0 25 0 1 0 106340862 65650688 13193 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579754 0 0 4224 0 0 0 0 17 1 0 0
/proc/3473/statm: 16028 13196 340 3 0 13128 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 133748

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 3671
/proc/meminfo: memFree=1393632/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=64284 CPUtime=809.7
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/3470/statm: 16071 13401 324 3 0 13171 0
[pid=3472] ppid=3470 vsize=5352 CPUtime=0
/proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3472/statm: 1338 229 193 169 0 49 0
[pid=3473] ppid=3472 vsize=63948 CPUtime=912.06
/proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 50866519 0 0 0 70838 20368 0 0 25 0 1 0 106340862 65482752 13324 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780580204 0 0 4224 0 0 0 0 17 1 0 0
/proc/3473/statm: 15987 13324 340 3 0 13087 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 133584

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 3671
/proc/meminfo: memFree=1394208/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=64284 CPUtime=809.7
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/3470/statm: 16071 13401 324 3 0 13171 0
[pid=3472] ppid=3470 vsize=5352 CPUtime=0
/proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3472/statm: 1338 229 193 169 0 49 0
[pid=3473] ppid=3472 vsize=63756 CPUtime=972.05
/proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 54740856 0 0 0 75493 21712 0 0 25 0 1 0 106340862 65286144 13276 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579874 0 0 4224 0 0 0 0 17 1 0 0
/proc/3473/statm: 15939 13276 340 3 0 13039 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 133392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 3671
/proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=64284 CPUtime=809.7
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/3470/statm: 16071 13401 324 3 0 13171 0
[pid=3472] ppid=3470 vsize=5352 CPUtime=0
/proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3472/statm: 1338 229 193 169 0 49 0
[pid=3473] ppid=3472 vsize=63672 CPUtime=990.35
/proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 56038012 0 0 0 76874 22161 0 0 25 0 1 0 106340862 65200128 13255 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579882 0 0 4224 0 0 0 0 17 1 0 0
/proc/3473/statm: 15918 13255 340 3 0 13018 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 133308

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 3671
/proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=64284 CPUtime=809.7
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/3470/statm: 16071 13401 324 3 0 13171 0
[pid=3472] ppid=3470 vsize=5352 CPUtime=0
/proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3472/statm: 1338 229 193 169 0 49 0
[pid=3473] ppid=3472 vsize=63672 CPUtime=990.35
/proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 56038012 0 0 0 76874 22161 0 0 25 0 1 0 106340862 65200128 13255 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579882 0 0 4224 0 0 0 0 17 1 0 0
/proc/3473/statm: 15918 13255 340 3 0 13018 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 133308

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 3671
/proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=66924 CPUtime=809.8
/proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 44803328 724 0 0 62817 18162 0 1 17 0 1 0 106259870 68530176 14069 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794413753 0 0 4224 16384 0 0 0 17 1 0 0
/proc/3470/statm: 16731 14070 342 3 0 13831 0
Current children cumulated CPU time (s) 809.8
Current children cumulated vsize (KiB) 66924

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/80 3671
/proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=80652 CPUtime=810.37
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44811894 1528 0 0 62864 18167 0 6 17 0 1 0 106259870 82587648 17500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/3470/statm: 20163 17500 343 3 0 17263 0
Current children cumulated CPU time (s) 810.37
Current children cumulated vsize (KiB) 80652

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 3681
/proc/meminfo: memFree=1406536/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=80652 CPUtime=810.37
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44811894 1528 0 0 62864 18167 0 6 17 0 1 0 106259870 82587648 17500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/3470/statm: 20163 17500 343 3 0 17263 0
[pid=3679] ppid=3470 vsize=5352 CPUtime=0
/proc/3679/stat : 3679 (sh) S 3470 3470 6180 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 106439998 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3679/statm: 1338 224 188 169 0 49 0
[pid=3680] ppid=3679 vsize=2520 CPUtime=0.01
/proc/3680/stat : 3680 (cat) S 3679 3470 6180 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 106439999 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 221780869346 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/3680/statm: 630 87 71 4 0 42 0
[pid=3681] ppid=3679 vsize=19200 CPUtime=0.89
/proc/3681/stat : 3681 (clasp-1.0) R 3679 3470 6180 0 -1 4194304 6045 0 0 0 86 3 0 0 25 0 1 0 106439999 19660800 4296 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160563217 0 0 4096 0 0 0 0 17 1 0 0
/proc/3681/statm: 4800 4296 230 81 0 4174 0
Current children cumulated CPU time (s) 811.27
Current children cumulated vsize (KiB) 107724

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 3681
/proc/meminfo: memFree=1406536/2055920 swapFree=4192812/4192956
[pid=3470] ppid=3468 vsize=80652 CPUtime=810.37
/proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44811894 1528 0 0 62864 18167 0 6 17 0 1 0 106259870 82587648 17500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/3470/statm: 20163 17500 343 3 0 17263 0
[pid=3679] ppid=3470 vsize=5352 CPUtime=0
/proc/3679/stat : 3679 (sh) S 3470 3470 6180 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 106439998 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3679/statm: 1338 224 188 169 0 49 0
[pid=3680] ppid=3679 vsize=2520 CPUtime=0.01
/proc/3680/stat : 3680 (cat) S 3679 3470 6180 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 106439999 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 221780869346 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/3680/statm: 630 87 71 4 0 42 0
[pid=3681] ppid=3679 vsize=22316 CPUtime=1.29
/proc/3681/stat : 3681 (clasp-1.0) R 3679 3470 6180 0 -1 4194304 8227 0 0 0 125 4 0 0 25 0 1 0 106439999 22851584 5077 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160243967 0 0 4096 0 0 0 0 17 1 0 0
/proc/3681/statm: 5579 5077 230 81 0 4953 0
Current children cumulated CPU time (s) 811.67
Current children cumulated vsize (KiB) 110840

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): 990.25
#  lost CPU user time (s): 768.66
#  lost CPU system time (s): 221.59

Real time (s): 1802.65
CPU time (s): 1802
CPU user time (s): 1398.59
CPU system time (s): 403.408
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 134284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 629.927
system time used= 181.818
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44824045
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= 1770
involuntary context switches= 2229

runsolver used 1.67874 second user time and 4.89326 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Sat Apr 14 20:44:01 UTC 2007

IDJOB= 351152
IDBENCH= 1674
IDSOLVER= 167
FILE ID= node29/351152-1176583441

PBS_JOBID= 4556968

Free space on /tmp= 66551 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-d6cube.opb
COMMAND LINE= pbclasp instance-351152-1176583441.opb /tmp/evaluation/351152-1176583441/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-351152-1176583441 -o ROOT/results/node29/conversion-351152-1176583441 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351152-1176583441/instance-351152-1176583441.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  81f6ac40aa7d3bed7fd7ce8f56c34d18

RANDOM SEED= 512707337

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:       1503584 kB
Buffers:         58468 kB
Cached:         322060 kB
SwapCached:          0 kB
Active:         116664 kB
Inactive:       325412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1503584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           14400 kB
Writeback:           0 kB
Mapped:          79772 kB
Slab:            95740 kB
Committed_AS:   613196 kB
PageTables:       1884 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= 66538 MiB

End job on node29 on Sat Apr 14 21:14:04 UTC 2007