Trace number 348613

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-03-23? (TO) 1800.24 1905.35

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-pilot.we.opb
MD5SUM6d89097601cc17df3da06374ded173c4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables77678
Total number of constraints1016
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 constraints1016
Minimum length of a constraint10
Maximum length of a constraint2430
Number of terms in the objective function 2760
Biggest coefficient in the objective function 9798
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526457
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526457
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)

 [...]

#
# trace file is too large. Trace was truncated at this point.
#

1797.49/1902.46	cat: write error: Broken pipe
1797.49/1902.46	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1797.59/1902.59	cat: write error: Broken pipe
1797.59/1902.60	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1797.75/1902.87	cat: write error: Broken pipe
1797.75/1902.87	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1797.85/1903.00	cat: write error: Broken pipe
1797.85/1903.00	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.00/1903.13	cat: write error: Broken pipe
1798.00/1903.13	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.13/1903.26	cat: write error: Broken pipe
1798.13/1903.26	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.23/1903.39	cat: write error: Broken pipe
1798.27/1903.43	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.40/1903.55	cat: write error: Broken pipe
1798.40/1903.56	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.48/1903.68	cat: write error: Broken pipe
1798.48/1903.69	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.65/1903.81	cat: write error: Broken pipe
1798.65/1903.82	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.78/1903.94	cat: write error: Broken pipe
1798.78/1903.95	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1798.92/1904.07	cat: write error: Broken pipe
1798.92/1904.08	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.04/1904.20	cat: write error: Broken pipe
1799.04/1904.21	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.16/1904.33	cat: write error: Broken pipe
1799.16/1904.33	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.29/1904.46	cat: write error: Broken pipe
1799.29/1904.47	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.39/1904.59	cat: write error: Broken pipe
1799.39/1904.60	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.55/1904.72	cat: write error: Broken pipe
1799.55/1904.73	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.68/1904.85	cat: write error: Broken pipe
1799.68/1904.89	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.81/1905.02	cat: write error: Broken pipe
1799.81/1905.02	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1799.96/1905.15	cat: write error: Broken pipe
1799.96/1905.15	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1800.07/1905.21	sh: line 1: 29176 Terminated              cat /tmp/evaluation/348613-1176588924/temp/instance-348613-1176588924.opb.op
1800.07/1905.21	     29177                       | clasp >/tmp/evaluation/348613-1176588924/temp/instance-348613-1176588924.opb.clasp
1800.07/1905.21	Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103.
1800.07/1905.22	c Somebody sent me a SIGTERM
1800.07/1905.22	s UNKNOWN
1800.07/1905.22	pb2clasp1: no process killed
1800.07/1905.23	clasp: no process killed
1800.13/1905.34	cat: write error: Broken pipe

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/348613-1176588924/instance-348613-1176588924.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/node47/watcher-348613-1176588924 -o ROOT/results/node47/solver-348613-1176588924 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-348613-1176588924.opb /tmp/evaluation/348613-1176588924/temp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.11 1.09 3/64 14967
/proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=12268 CPUtime=0
/proc/14967/stat : 14967 (pbclasp) D 14965 14967 29566 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 13737784 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208717707877 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/14967/statm: 3067 317 242 3 0 167 0

[startup+0.045896 s]
/proc/loadavg: 1.06 1.11 1.09 3/64 14967
/proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=14100 CPUtime=0.03
/proc/14967/stat : 14967 (pbclasp) R 14965 14967 29566 0 -1 4194304 900 0 0 0 3 0 0 0 18 0 1 0 13737784 14438400 866 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208717386465 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14967/statm: 3525 866 314 3 0 625 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14100

[startup+0.101895 s]
/proc/loadavg: 1.06 1.11 1.09 3/64 14967
/proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=0.05
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14967/statm: 3947 1271 322 3 0 1047 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15788

[startup+0.301914 s]
/proc/loadavg: 1.06 1.11 1.09 3/64 14967
/proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=0.05
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14967/statm: 3947 1271 322 3 0 1047 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15788

[startup+0.701957 s]
/proc/loadavg: 1.06 1.11 1.09 3/64 14967
/proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=0.05
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14967/statm: 3947 1271 322 3 0 1047 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15788

[startup+1.50204 s]
/proc/loadavg: 1.06 1.11 1.09 2/67 14970
/proc/meminfo: memFree=1434976/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=0.05
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14967/statm: 3947 1271 322 3 0 1047 0
[pid=14969] ppid=14967 vsize=5352 CPUtime=0
/proc/14969/stat : 14969 (sh) S 14967 14967 29566 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 13737791 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14969/statm: 1338 229 193 169 0 49 0
[pid=14970] ppid=14969 vsize=13184 CPUtime=1.43
/proc/14970/stat : 14970 (pb2clasp1) R 14969 14967 29566 0 -1 4194304 685 0 0 0 142 1 0 0 25 0 1 0 13737791 13500416 647 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 208735891136 0 0 4224 0 0 0 0 17 1 0 0
/proc/14970/statm: 3296 647 340 3 0 396 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34324

[startup+3.10122 s]
/proc/loadavg: 1.06 1.11 1.09 2/67 14970
/proc/meminfo: memFree=1433760/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=0.05
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14967/statm: 3947 1271 322 3 0 1047 0
[pid=14969] ppid=14967 vsize=5352 CPUtime=0
/proc/14969/stat : 14969 (sh) S 14967 14967 29566 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 13737791 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14969/statm: 1338 229 193 169 0 49 0
[pid=14970] ppid=14969 vsize=13184 CPUtime=3.02
/proc/14970/stat : 14970 (pb2clasp1) R 14969 14967 29566 0 -1 4194304 685 0 0 0 301 1 0 0 25 0 1 0 13737791 13500416 647 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 208726437842 0 0 4224 0 0 0 0 17 1 0 0
/proc/14970/statm: 3296 647 340 3 0 396 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34324

[startup+6.30156 s]
/proc/loadavg: 1.06 1.11 1.09 2/68 15025
/proc/meminfo: memFree=1423232/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=6.02
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 2575 71162 0 0 6 1 513 82 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 15788

[startup+12.7013 s]
/proc/loadavg: 1.05 1.10 1.09 2/67 15398
/proc/meminfo: memFree=1421136/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=11.97
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 7206 341020 0 0 8 10 787 392 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 15788

[startup+25.5028 s]
/proc/loadavg: 1.04 1.10 1.09 2/66 16181
/proc/meminfo: memFree=1424728/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=24.18
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 16706 896675 0 0 11 26 1358 1023 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 24.18
Current children cumulated vsize (KiB) 15788

[startup+51.1014 s]
/proc/loadavg: 1.02 1.09 1.08 2/67 17670
/proc/meminfo: memFree=1421712/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=48.36
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 35506 1996287 0 0 18 60 2488 2270 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 48.36
Current children cumulated vsize (KiB) 15788

[startup+102.306 s]
/proc/loadavg: 1.05 1.08 1.08 2/66 20714
/proc/meminfo: memFree=1418136/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=96.84
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 73206 4201360 0 0 32 127 4761 4764 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 96.84
Current children cumulated vsize (KiB) 15788

[startup+162.303 s]
/proc/loadavg: 1.02 1.07 1.08 2/68 24209
/proc/meminfo: memFree=1404424/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=153.36
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 117194 6774518 0 0 48 205 7417 7666 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 153.36
Current children cumulated vsize (KiB) 15788

[startup+222.302 s]
/proc/loadavg: 1.24 1.11 1.09 1/67 27748
/proc/meminfo: memFree=1422352/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=209.98
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 161194 9348078 0 0 66 282 10064 10586 18 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (KiB) 15788

[startup+282.303 s]
/proc/loadavg: 1.09 1.09 1.09 2/68 31284
/proc/meminfo: memFree=1402440/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=267.26
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 205775 11956330 0 0 81 359 12763 13523 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 267.26
Current children cumulated vsize (KiB) 15788

[startup+342.302 s]
/proc/loadavg: 1.06 1.08 1.09 2/67 2417
/proc/meminfo: memFree=1418064/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=324.13
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 250006 14542392 0 0 97 433 15419 16464 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 324.13
Current children cumulated vsize (KiB) 15788

[startup+402.303 s]
/proc/loadavg: 1.15 1.10 1.09 2/68 5908
/proc/meminfo: memFree=1406344/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=380.82
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 294106 17121801 0 0 110 507 18065 19400 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 380.82
Current children cumulated vsize (KiB) 15788

[startup+462.302 s]
/proc/loadavg: 1.13 1.11 1.09 2/68 9452
/proc/meminfo: memFree=1400008/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=437.27
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 338006 19689512 0 0 129 580 20693 22325 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 437.27
Current children cumulated vsize (KiB) 15788

[startup+522.303 s]
/proc/loadavg: 1.05 1.08 1.08 2/68 12900
/proc/meminfo: memFree=1412936/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=493.16
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 381494 22233425 0 0 142 650 23314 25210 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 493.16
Current children cumulated vsize (KiB) 15788

[startup+582.302 s]
/proc/loadavg: 1.02 1.07 1.08 1/68 16465
/proc/meminfo: memFree=1412872/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=550.14
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 425706 24819085 0 0 159 723 25967 28165 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0

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

Current children cumulated CPU time (s) 1059.51
Current children cumulated vsize (KiB) 15788

[startup+1182.3 s]
/proc/loadavg: 1.08 1.04 1.05 2/67 19150
/proc/meminfo: memFree=1413968/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1116.15
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 864906 50507893 0 0 310 1474 52401 57430 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1116.15
Current children cumulated vsize (KiB) 15788

[startup+1242.3 s]
/proc/loadavg: 1.20 1.08 1.06 2/68 22713
/proc/meminfo: memFree=1396296/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1173.27
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 909106 53093151 0 0 324 1555 55072 60376 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1173.27
Current children cumulated vsize (KiB) 15788

[startup+1302.3 s]
/proc/loadavg: 1.19 1.09 1.07 2/67 26254
/proc/meminfo: memFree=1412944/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1229.89
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 952994 55660460 0 0 338 1636 57717 63298 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
[pid=26253] ppid=14967 vsize=5352 CPUtime=0
/proc/26253/stat : 26253 (sh) S 14967 14967 29566 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 13868013 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26253/statm: 1338 230 193 169 0 49 0
[pid=26254] ppid=26253 vsize=2520 CPUtime=0.01
/proc/26254/stat : 26254 (cat) R 26253 14967 29566 0 -1 4194304 116 0 0 0 0 1 0 0 18 0 1 0 13868013 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 208717709538 0 0 4096 0 0 0 0 17 0 0 0
/proc/26254/statm: 630 87 71 4 0 42 0
Current children cumulated CPU time (s) 1229.9
Current children cumulated vsize (KiB) 23660

[startup+1362.3 s]
/proc/loadavg: 1.33 1.14 1.08 2/67 29729
/proc/meminfo: memFree=1410384/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1286.44
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 996806 58222724 0 0 351 1716 60364 66213 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1286.44
Current children cumulated vsize (KiB) 15788

[startup+1422.31 s]
/proc/loadavg: 1.36 1.19 1.10 2/68 848
/proc/meminfo: memFree=1393544/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1343.76
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1041306 60825529 0 0 365 1790 63041 69180 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1343.76
Current children cumulated vsize (KiB) 15788

[startup+1482.3 s]
/proc/loadavg: 1.33 1.20 1.11 2/67 4369
/proc/meminfo: memFree=1411024/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1400.58
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1085306 63399089 0 0 380 1869 65681 72128 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1400.58
Current children cumulated vsize (KiB) 15788

[startup+1542.3 s]
/proc/loadavg: 1.12 1.16 1.10 2/66 7896
/proc/meminfo: memFree=1413912/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1456.8
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1128906 65949253 0 0 394 1950 68295 75041 15 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1456.8
Current children cumulated vsize (KiB) 15788

[startup+1602.3 s]
/proc/loadavg: 1.08 1.15 1.09 2/67 11393
/proc/meminfo: memFree=1410320/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1513.66
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1173006 68528662 0 0 407 2031 70953 77975 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1513.66
Current children cumulated vsize (KiB) 15788

[startup+1662.3 s]
/proc/loadavg: 1.03 1.12 1.08 2/68 14948
/proc/meminfo: memFree=1392264/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1570.81
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1217294 71119367 0 0 419 2111 73614 80937 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1570.81
Current children cumulated vsize (KiB) 15788

[startup+1722.3 s]
/proc/loadavg: 1.05 1.11 1.08 2/68 18433
/proc/meminfo: memFree=1404936/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1627.31
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1261106 73681631 0 0 432 2188 76240 83871 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1627.31
Current children cumulated vsize (KiB) 15788

[startup+1782.3 s]
/proc/loadavg: 1.06 1.10 1.08 2/66 21991
/proc/meminfo: memFree=1406616/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1684.29
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1305194 76260638 0 0 445 2272 78890 86822 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1684.29
Current children cumulated vsize (KiB) 15788

[startup+1842.3 s]
/proc/loadavg: 1.06 1.09 1.08 2/67 25454
/proc/meminfo: memFree=1409488/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1740.85
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1349006 78822902 0 0 460 2352 81526 89747 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1740.85
Current children cumulated vsize (KiB) 15788

[startup+1902.3 s]
/proc/loadavg: 1.08 1.09 1.08 2/68 28977
/proc/meminfo: memFree=1390984/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1797.35
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1392706 81378915 0 0 474 2428 84150 92683 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 15788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1905.21 s]
/proc/loadavg: 1.08 1.09 1.08 2/68 29177
/proc/meminfo: memFree=1405768/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1800.07
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1394806 81501744 0 0 475 2432 84276 92824 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1291 342 3 0 1047 0
[pid=29175] ppid=14967 vsize=5352 CPUtime=0
/proc/29175/stat : 29175 (sh) S 14967 14967 29566 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 13928304 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29175/statm: 1338 224 188 169 0 49 0
[pid=29176] ppid=29175 vsize=2520 CPUtime=0
/proc/29176/stat : 29176 (cat) R 29175 14967 29566 0 -1 4194304 119 0 0 0 0 0 0 0 17 0 1 0 13928305 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 208717709538 0 0 4096 0 0 0 0 17 0 0 0
/proc/29176/statm: 630 87 71 4 0 42 0
[pid=29177] ppid=29175 vsize=4280 CPUtime=0
/proc/29177/stat : 29177 (clasp) R 29175 14967 29566 0 -1 4194304 390 0 0 0 0 0 0 0 18 0 1 0 13928305 4382720 353 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135031377 0 0 4096 0 0 0 0 17 1 0 0
/proc/29177/statm: 1070 354 174 154 0 540 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 27940

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

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

[startup+1905.32 s]
/proc/loadavg: 1.08 1.09 1.08 2/68 29177
/proc/meminfo: memFree=1405768/2055920 swapFree=4192956/4192956
[pid=14967] ppid=14965 vsize=15788 CPUtime=1800.13
/proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1394967 81503931 0 0 475 2433 84276 92829 17 0 1 0 13737784 16166912 1294 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14967/statm: 3947 1294 342 3 0 1047 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 15788

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): 0.00012207
#  lost CPU user time (s): 0
#  lost CPU system time (s): 6.10352e-05

Real time (s): 1905.35
CPU time (s): 1800.24
CPU user time (s): 847.6
CPU system time (s): 952.641
CPU usage (%): 94.4833
Max. virtual memory (cumulated for all children) (KiB): 40896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 847.6
system time used= 952.641
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82904522
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= 683383
involuntary context switches= 181806

runsolver used 2.6266 second user time and 6.18406 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Apr 14 22:15:24 UTC 2007

IDJOB= 348613
IDBENCH= 1698
IDSOLVER= 158
FILE ID= node47/348613-1176588924

PBS_JOBID= 4556961

Free space on /tmp= 66561 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-pilot.we.opb
COMMAND LINE= pbclasp instance-348613-1176588924.opb /tmp/evaluation/348613-1176588924/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-348613-1176588924 -o ROOT/results/node47/conversion-348613-1176588924 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348613-1176588924/instance-348613-1176588924.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  6d89097601cc17df3da06374ded173c4

RANDOM SEED= 805800378

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1441616 kB
Buffers:         80676 kB
Cached:         418580 kB
SwapCached:          0 kB
Active:         297792 kB
Inactive:       227284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1441616 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3580 kB
Writeback:           0 kB
Mapped:          33328 kB
Slab:            75200 kB
Committed_AS:  1255844 kB
PageTables:       1472 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= 66550 MiB

End job on node47 on Sat Apr 14 22:47:12 UTC 2007