Trace number 351828

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)550 1802.03 1802.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb
MD5SUMe5622ad866d5d89568106c284dbd26e1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark550
Best CPU time to get the best result obtained on this benchmark1802.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 521
Optimality of the best value was proved NO
Number of variables18384
Total number of constraints1752
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1704
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 11424
Biggest coefficient in the objective function 1523
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533712
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 533712
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)

12.91/13.10	o 550
1800.04/1800.81	c Somebody sent me a SIGTERM
1800.04/1800.81	s SATISFIABLE
1800.04/1800.81	v x631 x5761 x5773 x7038 x8177 x8207 x8237 x8267 x8297 x8357 x8387 x8417 x8447 x8507 x8537 x8567 x8597 x8656 x8657 x8658 x8683
1800.04/1800.81	v x8687 x8688 x8717 x8718 x8743 x8747 x8748 x8773 x8777 x8778 x8803 x8807 x8808 x8836 x8837 x8838 x8858 x8859 x8860 x8861 x8863
1800.04/1800.81	v x8864 x8865 x8867 x8868 x8889 x8890 x8891 x8893 x8894 x8895 x8897 x8898 x8918 x8919 x8920 x8921 x8923 x8924 x8925 x8927 x8928
1800.04/1800.81	v x8948 x8949 x8950 x8951 x8953 x8954 x8955 x8957 x8958 x8978 x8979 x8980 x8981 x8983 x8984 x8985 x8987 x8988 x9009 x9010 x9011
1800.04/1800.81	v x9013 x9014 x9015 x9017 x9018 x9036 x9037 x9038 x9039 x9040 x9041 x9043 x9044 x9045 x9047 x9048 x9072 x9074 x9075 x9076 x9077
1800.04/1800.81	v x9078 x9099 x9100 x9101 x9103 x9104 x9105 x9107 x9108 x9128 x9129 x9130 x9131 x9133 x9134 x9135 x9137 x9138 x9154 x9155 x9156
1800.04/1800.81	v x9157 x9158 x9159 x9161 x9162 x9163 x9164 x9165 x9167 x9168 x9188 x9189 x9190 x9191 x9193 x9194 x9195 x9197 x9198 x9214 x9215
1800.04/1800.81	v x9216 x9217 x9218 x9219 x9221 x9222 x9223 x9224 x9225 x9227 x9228 x9245 x9246 x9247 x9248 x9249 x9250 x9252 x9253 x9254 x9255
1800.04/1800.81	v x9257 x9258 x9276 x9277 x9278 x9279 x9280 x9281 x9283 x9284 x9285 x9287 x9288 x9309 x9310 x9311 x9313 x9314 x9315 x9317 x9318
1800.04/1800.81	v x9338 x9339 x9340 x9341 x9343 x9344 x9345 x9347 x9348 x9764 x9884 x9944 x10306 x10366 x10396 x10486 x10606 x10636 x10666
1800.04/1800.81	v x10696 x10813 x10816 x10843 x10846 x10873 x10876 x10903 x10906 x10933 x10936 x10963 x10966 x10992 x10994 x10996 x11026
1800.04/1800.81	v x11050 x11051 x11052 x11053 x11056 x11078 x11079 x11084 x11085 x11108 x11109 x11114 x11115 x11139 x11140 x11141 x11142
1800.04/1800.81	v x11146 x11170 x11171 x11172 x11173 x11176 x11206 x11230 x11231 x11232 x11233 x11236 x11260 x11261 x11262 x11263 x11266
1800.04/1800.81	v x11290 x11291 x11292 x11293 x11296 x11324 x11326 x11354 x11356 x11384 x11386 x11414 x11416 x11437 x11440 x11441 x11442
1800.04/1800.81	v x11443 x11444 x11445 x11470 x11471 x11472 x11473 x11476 x11502 x11504 x11506 x12407 x12527 x12557 x12587 x12647 x12737
1800.04/1800.81	v x12767 x12797 x12827 x12857 x12887 x12947 x13186 x13216 x13246 x13336 x13382 x13395 x13426 x13486 x13516 x13546 x13576
1800.04/1800.81	v x13606 x13636 x13693 x13694 x13695 x13723 x13724 x13725 x13753 x13754 x13755 x13784 x13785 x13814 x13815 x13873 x13874
1800.04/1800.81	v x13875 x13904 x13905 x13933 x13934 x13935 x13995 x14025 x14053 x14054 x14055 x14085 x14114 x14115 x14143 x14144 x14145
1800.04/1800.81	v x14175 x14205 x14235 x14265 x14295 x14353 x14354 x14355 x14385 x14401 x14481 x14577 x14578 x14579 x14580 x14581 x14583
1800.04/1800.81	v x14584 x14585 x14586 x14588 x14589 x14590 x14591 x14594 x14596 x14598 x14600 x14602 x14604 x14606 x14608 x14610 x14612
1800.04/1800.81	v x14614 x14616 x14618 x14620 x14622 x14624 x14626 x14628 x14630 x14632 x14634 x14636 x14638 x14640 x14654 x14658 x14660
1800.04/1800.81	v x14672 x14674 x14675 x14678 x14682 x14683 x14684 x14685 x14689 x14690 x14691 x14692 x14693 x14694 x14695 x14696 x14697
1800.04/1800.81	v x14698 x14699 x14700 x14701 x14702 x14703 x14704 x14705 x14706 x14708 x14710 x14711 x14712 x14713 x14714 x14715 x14716
1800.04/1800.81	v x14717 x14718 x14719 x14720 x14721 x14722 x14723 x14724 x14725 x14726 x14727 x14728 x14729 x14730 x14731 x14732 x14733
1800.04/1800.81	v x14734 x14735 x14736 x14771 x14772 x14779 x14780 x14781 x14782 x14783 x14784 x14787 x14788 x14793 x14794 x14795 x14796
1800.04/1800.81	v x14797 x14798 x14799 x14800 x14801 x14802 x14803 x14804 x14807 x14808 x14823 x14824 x14825 x14826 x14827 x14828 x14833
1800.04/1800.81	v x14834 x14838 x14839 x14840 x14843 x14844 x14845 x14846 x14847 x14848 x14849 x14850 x14851 x14852 x14853 x14854 x14858
1800.04/1800.81	v x14860 x14862 x14864 x14866 x14870 x14872 x14874 x14878 x14880 x14882 x14884 x14886 x14888 x14890 x14892 x14894 x14896
1800.04/1800.81	v x14898 x14902 x14904 x14913 x14916 x14917 x14919 x14920 x14921 x14926 x14927 x14929 x14930 x14931 x14932 x14933 x14934
1800.04/1800.81	v x14935 x14943 x14960 x14966 x14970 x14972 x14973 x14976 x14984 x14985 x14986 x14987 x14988 x14989 x14990 x14992 x14993
1800.04/1800.81	v x14994 x14995 x14996 x14997 x14998 x14999 x15000 x15011 x15511 x15987 x16053 x16108 x16594 x16638 x16660 x16792 x16814
1800.04/1800.81	v x16858 x16902 x17112 x17591 x17592 x17639 x17640 x17687 x17688 x17723 x17724 x17807 x17808 x17903 x17904 x17963 x17964
1800.04/1800.81	v x17988 x18000 x18023 x18024 x18180 x18228 x18372
1800.04/1800.82	pb2clasp1: no process killed
15.03/1802.82	sh: line 1: 25336 Done                    cat /tmp/evaluation/351828-1176614731/temp/instance-351828-1176614731.opb.op
15.03/1802.82	     25337 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/351828-1176614731/temp/instance-351828-1176614731.opb.clasp

Verifier Data (download as text)

OK	550

Conversion Script Data (download as text)

/tmp/evaluation/351828-1176614731/instance-351828-1176614731.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/node23/watcher-351828-1176614731 -o ROOT/results/node23/solver-351828-1176614731 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351828-1176614731.opb /tmp/evaluation/351828-1176614731/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.92 0.97 0.97 3/77 25306
/proc/meminfo: memFree=1726264/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=18568 CPUtime=0
/proc/25306/stat : 25306 (runsolver) D 25304 25306 24531 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 109390222 19013632 292 18446744073709551615 4194304 4296420 548682068992 18446744073709551615 238487661863 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/25306/statm: 4642 292 257 24 0 2626 0

[startup+0.0184441 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 25306
/proc/meminfo: memFree=1726264/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=124 CPUtime=0
/proc/25306/stat : 25306 (pbclasp) D 25304 25306 24531 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 109390222 126976 23 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238485042569 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/25306/statm: 31 23 17 3 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 124

[startup+0.102468 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 25306
/proc/meminfo: memFree=1726264/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=13904 CPUtime=0.05
/proc/25306/stat : 25306 (pbclasp) R 25304 25306 24531 0 -1 4194304 838 0 0 0 5 0 0 0 18 0 1 0 109390222 14237696 804 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238487541290 0 0 4224 16384 0 0 0 17 0 0 0
/proc/25306/statm: 3476 804 320 3 0 576 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13904

[startup+0.301501 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 25306
/proc/meminfo: memFree=1726264/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=14036 CPUtime=0.25
/proc/25306/stat : 25306 (pbclasp) R 25304 25306 24531 0 -1 4194304 877 0 0 0 25 0 0 0 19 0 1 0 109390222 14372864 843 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238487541166 0 0 4224 16384 0 0 0 17 0 0 0
/proc/25306/statm: 3509 843 320 3 0 609 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 14036

[startup+0.701577 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 25306
/proc/meminfo: memFree=1726264/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=14300 CPUtime=0.65
/proc/25306/stat : 25306 (pbclasp) R 25304 25306 24531 0 -1 4194304 957 0 0 0 65 0 0 0 23 0 1 0 109390222 14643200 923 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238487541174 0 0 4224 16384 0 0 0 17 0 0 0
/proc/25306/statm: 3575 923 320 3 0 675 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 14300

[startup+1.50173 s]
/proc/loadavg: 0.92 0.97 0.97 2/78 25307
/proc/meminfo: memFree=1723312/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=15780 CPUtime=1.38
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 1349 0 0 0 138 0 0 0 16 0 1 0 109390222 16158720 1302 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/25306/statm: 3945 1302 324 3 0 1045 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 15780

[startup+3.10104 s]
/proc/loadavg: 0.92 0.97 0.97 2/80 25309
/proc/meminfo: memFree=1720608/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=2.17
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 1986 1635 0 0 141 0 74 2 17 0 1 0 109390222 17240064 1574 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1574 343 3 0 1309 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 16836

[startup+6.30166 s]
/proc/loadavg: 0.93 0.97 0.97 2/80 25316
/proc/meminfo: memFree=1710424/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=2.17
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 1986 1635 0 0 141 0 74 2 17 0 1 0 109390222 17240064 1574 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1574 343 3 0 1309 0
[pid=25314] ppid=25306 vsize=5352 CPUtime=0
/proc/25314/stat : 25314 (sh) S 25306 25306 24531 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109390447 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25314/statm: 1338 224 188 169 0 49 0
[pid=25316] ppid=25314 vsize=10552 CPUtime=4.04
/proc/25316/stat : 25316 (clasp-1.0) R 25314 25306 24531 0 -1 4194304 2414 0 0 0 403 1 0 0 25 0 1 0 109390447 10805248 2207 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617518 0 0 4096 0 0 0 0 17 1 0 0
/proc/25316/statm: 2638 2207 249 81 0 2012 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 32740

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.97 2/80 25316
/proc/meminfo: memFree=1710424/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=2.17
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 1986 1635 0 0 141 0 74 2 17 0 1 0 109390222 17240064 1574 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1574 343 3 0 1309 0
[pid=25314] ppid=25306 vsize=5352 CPUtime=0
/proc/25314/stat : 25314 (sh) S 25306 25306 24531 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109390447 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25314/statm: 1338 224 188 169 0 49 0
[pid=25316] ppid=25314 vsize=10552 CPUtime=10.44
/proc/25316/stat : 25316 (clasp-1.0) R 25314 25306 24531 0 -1 4194304 2415 0 0 0 1043 1 0 0 25 0 1 0 109390447 10805248 2208 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/25316/statm: 2638 2208 249 81 0 2012 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 32740

[startup+25.5024 s]
/proc/loadavg: 0.95 0.97 0.97 2/80 25324
/proc/meminfo: memFree=1709912/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=10740 CPUtime=12.35
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 2492 0 0 0 1234 1 0 0 25 0 1 0 109391536 10997760 2260 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617557 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 2685 2260 249 81 0 2059 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 32928

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.97 2/80 25324
/proc/meminfo: memFree=1675800/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=45524 CPUtime=37.94
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 11205 0 0 0 3787 7 0 0 25 0 1 0 109391536 46616576 10973 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617549 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 11381 10973 249 81 0 10755 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 67712

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.97 2/80 25324
/proc/meminfo: memFree=1668952/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=51636 CPUtime=89.12
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 12737 0 0 0 8904 8 0 0 25 0 1 0 109391536 52875264 12505 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784680 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 12909 12505 249 81 0 12283 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 73824

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25324
/proc/meminfo: memFree=1649368/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=71108 CPUtime=149.09
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 17593 0 0 0 14897 12 0 0 25 0 1 0 109391536 72814592 17361 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 17777 17361 249 81 0 17151 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 93296

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25324
/proc/meminfo: memFree=1641880/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=78568 CPUtime=209.07
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 19456 0 0 0 20893 14 0 0 25 0 1 0 109391536 80453632 19224 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 19642 19224 249 81 0 19016 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 100756

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25324
/proc/meminfo: memFree=1634136/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=86252 CPUtime=269.05
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 21363 0 0 0 26890 15 0 0 25 0 1 0 109391536 88322048 21131 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 21563 21131 249 81 0 20937 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 108440

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25324
/proc/meminfo: memFree=1634008/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0

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

/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=130196 CPUtime=1588.56
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 34310 0 0 0 158822 34 0 0 25 0 1 0 109391536 133320704 31940 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 32549 31940 249 81 0 31923 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 152384

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25326
/proc/meminfo: memFree=1588888/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=130196 CPUtime=1648.53
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 34310 0 0 0 164819 34 0 0 25 0 1 0 109391536 133320704 31940 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714706 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 32549 31940 249 81 0 31923 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 152384

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25326
/proc/meminfo: memFree=1586008/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=133528 CPUtime=1708.51
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 35113 0 0 0 170815 36 0 0 25 0 1 0 109391536 136732672 32743 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 33382 32743 249 81 0 32756 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 155716

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25326
/proc/meminfo: memFree=1580568/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=138464 CPUtime=1768.49
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 36342 0 0 0 176812 37 0 0 25 0 1 0 109391536 141787136 33972 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134735902 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 34616 33972 249 81 0 33990 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 160652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25326
/proc/meminfo: memFree=1580568/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=138464 CPUtime=1786.98
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 36342 0 0 0 178661 37 0 0 25 0 1 0 109391536 141787136 33972 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715319 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 34616 33972 249 81 0 33990 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 160652

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25326
/proc/meminfo: memFree=1580568/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.06
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2312 5417 0 1 143 1 1157 5 16 0 1 0 109390222 17240064 1581 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25306/statm: 4209 1581 343 3 0 1309 0
[pid=25322] ppid=25306 vsize=5352 CPUtime=0
/proc/25322/stat : 25322 (sh) S 25306 25306 24531 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109391536 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1338 224 188 169 0 49 0
[pid=25324] ppid=25322 vsize=138464 CPUtime=1786.98
/proc/25324/stat : 25324 (clasp-1.0) R 25322 25306 24531 0 -1 4194304 36342 0 0 0 178661 37 0 0 25 0 1 0 109391536 141787136 33972 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715319 0 0 4096 0 0 0 0 17 1 0 0
/proc/25324/statm: 34616 33972 249 81 0 33990 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 160652

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

[startup+1800.92 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25326
/proc/meminfo: memFree=1580568/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.1
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2477 7199 0 1 144 1 1157 8 16 0 1 0 109390222 17240064 1583 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25306/statm: 4209 1583 343 3 0 1309 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 16836

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 25326
/proc/meminfo: memFree=1580568/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.1
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2477 7199 0 1 144 1 1157 8 16 0 1 0 109390222 17240064 1583 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25306/statm: 4209 1583 343 3 0 1309 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 16836

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/81 25337
/proc/meminfo: memFree=1707536/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.1
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2477 7199 0 1 144 1 1157 8 16 0 1 0 109390222 17240064 1583 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25306/statm: 4209 1583 343 3 0 1309 0
[pid=25335] ppid=25306 vsize=5352 CPUtime=0
/proc/25335/stat : 25335 (sh) S 25306 25306 24531 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109570308 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25335/statm: 1338 224 188 169 0 49 0
[pid=25337] ppid=25335 vsize=10740 CPUtime=1.33
/proc/25337/stat : 25337 (clasp-1.0) R 25335 25306 24531 0 -1 4194304 2468 0 0 0 132 1 0 0 25 0 1 0 109570308 10997760 2236 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617664 0 0 4096 0 0 0 0 17 1 0 0
/proc/25337/statm: 2685 2236 249 81 0 2059 0
Current children cumulated CPU time (s) 14.43
Current children cumulated vsize (KiB) 32928

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/81 25337
/proc/meminfo: memFree=1707536/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.1
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2477 7199 0 1 144 1 1157 8 16 0 1 0 109390222 17240064 1583 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25306/statm: 4209 1583 343 3 0 1309 0
[pid=25335] ppid=25306 vsize=5352 CPUtime=0
/proc/25335/stat : 25335 (sh) S 25306 25306 24531 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109570308 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25335/statm: 1338 224 188 169 0 49 0
[pid=25337] ppid=25335 vsize=10740 CPUtime=1.73
/proc/25337/stat : 25337 (clasp-1.0) R 25335 25306 24531 0 -1 4194304 2468 0 0 0 172 1 0 0 25 0 1 0 109570308 10997760 2236 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/25337/statm: 2685 2236 249 81 0 2059 0
Current children cumulated CPU time (s) 14.83
Current children cumulated vsize (KiB) 32928

[startup+1802.8 s]
/proc/loadavg: 0.99 0.97 0.97 2/81 25337
/proc/meminfo: memFree=1707536/2055920 swapFree=4191880/4192956
[pid=25306] ppid=25304 vsize=16836 CPUtime=13.1
/proc/25306/stat : 25306 (pbclasp) S 25304 25306 24531 0 -1 4194304 2477 7199 0 1 144 1 1157 8 16 0 1 0 109390222 17240064 1583 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25306/statm: 4209 1583 343 3 0 1309 0
[pid=25335] ppid=25306 vsize=5352 CPUtime=0
/proc/25335/stat : 25335 (sh) S 25306 25306 24531 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109570308 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25335/statm: 1338 224 188 169 0 49 0
[pid=25337] ppid=25335 vsize=10740 CPUtime=1.93
/proc/25337/stat : 25337 (clasp-1.0) R 25335 25306 24531 0 -1 4194304 2468 0 0 0 192 1 0 0 25 0 1 0 109570308 10997760 2236 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617557 0 0 4096 0 0 0 0 17 1 0 0
/proc/25337/statm: 2685 2236 249 81 0 2059 0
Current children cumulated CPU time (s) 15.03
Current children cumulated vsize (KiB) 32928

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): 1786.94
#  lost CPU user time (s): 1786.6
#  lost CPU system time (s): 0.34

Real time (s): 1802.83
CPU time (s): 1802.03
CPU user time (s): 1801.57
CPU system time (s): 0.458981
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 160652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9707
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13565
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1050
involuntary context switches= 620

runsolver used 1.71674 second user time and 4.85126 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Sun Apr 15 05:25:31 UTC 2007

IDJOB= 351828
IDBENCH= 1825
IDSOLVER= 167
FILE ID= node23/351828-1176614731

PBS_JOBID= 4557021

Free space on /tmp= 66563 MiB

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  e5622ad866d5d89568106c284dbd26e1

RANDOM SEED= 1043531

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1726736 kB
Buffers:         30336 kB
Cached:         171344 kB
SwapCached:        416 kB
Active:          63224 kB
Inactive:       183280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726736 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1184 kB
Writeback:           0 kB
Mapped:          60960 kB
Slab:            68268 kB
Committed_AS:  1411324 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= 66561 MiB

End job on node23 on Sun Apr 15 05:55:34 UTC 2007