Trace number 350970

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)597 1802.04 1803.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb
MD5SUM06a8ed91d04dd9c37cb8c92ab4f7d82f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark388
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 386
Optimality of the best value was proved NO
Number of variables15284
Total number of constraints2537
Number of constraints which are clauses2536
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint13789
Number of terms in the objective function 15284
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 15284
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 23045
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

10.74/10.86	o 652
16.92/17.07	o 613
24.01/24.19	o 600
31.39/31.55	o 599
38.99/39.25	o 597
1800.06/1801.31	c Somebody sent me a SIGTERM
1800.06/1801.31	s SATISFIABLE
1800.06/1801.31	v x356 x680 x910 x1018 x1047 x1584 x1612 x1663 x1796 x1860 x1912 x1996 x2066 x2091 x2110 x2133 x2143 x2165 x2190 x2208 x2210
1800.06/1801.31	v x2472 x2490 x2577 x2643 x2798 x2959 x3084 x3253 x3284 x3318 x3359 x3379 x3427 x3440 x3478 x3639 x3642 x3665 x3687 x3702 x3732
1800.06/1801.31	v x3759 x3802 x3809 x3823 x3840 x3861 x3883 x3927 x3995 x4108 x4174 x4187 x4215 x4217 x4271 x4305 x4372 x4440 x4454 x4479 x4496
1800.06/1801.31	v x4500 x4557 x4578 x4589 x4591 x4622 x4676 x4710 x4746 x4811 x4840 x4938 x4961 x4979 x4982 x5026 x5040 x5075 x5101 x5116 x5137
1800.06/1801.31	v x5143 x5285 x5334 x5422 x5444 x5498 x5504 x5527 x5532 x5575 x5616 x5630 x5644 x5701 x5724 x5738 x5755 x5785 x5805 x5833 x5917
1800.06/1801.31	v x5922 x5926 x5937 x5944 x5973 x5997 x6018 x6034 x6036 x6085 x6103 x6122 x6128 x6237 x6253 x6273 x6298 x6325 x6362 x6370 x6379
1800.06/1801.31	v x6425 x6429 x6492 x6497 x6557 x6608 x6613 x6710 x6727 x6773 x6800 x6818 x6835 x6973 x7027 x7058 x7077 x7124 x7127 x7146 x7172
1800.06/1801.31	v x7225 x7297 x7322 x7344 x7370 x7395 x7402 x7432 x7433 x7470 x7553 x7574 x7581 x7618 x7627 x7631 x7732 x7734 x7744 x7790 x7806
1800.06/1801.31	v x8133 x8156 x8275 x8298 x8311 x8319 x8322 x8355 x8456 x8464 x8585 x8648 x8680 x8789 x8967 x9029 x9090 x9115 x9121 x9126 x9131
1800.06/1801.31	v x9168 x9202 x9218 x9243 x9263 x9333 x9375 x9376 x9380 x9394 x9408 x9412 x9438 x9453 x9462 x9481 x9491 x9505 x9520 x9539 x9564
1800.06/1801.31	v x9566 x9687 x9704 x9713 x9729 x9760 x9765 x9875 x9917 x9925 x9930 x9939 x9949 x9982 x9984 x9986 x10038 x10041 x10052 x10095
1800.06/1801.31	v x10102 x10123 x10134 x10175 x10183 x10194 x10200 x10244 x10256 x10280 x10289 x10292 x10294 x10298 x10306 x10318 x10325
1800.06/1801.31	v x10343 x10345 x10351 x10382 x10383 x10393 x10482 x10571 x10581 x10588 x10617 x10632 x10633 x10644 x10653 x10689 x10704
1800.06/1801.31	v x10727 x10778 x10860 x10881 x10913 x10949 x10952 x11000 x11044 x11102 x11104 x11252 x11296 x11321 x11334 x11364 x11385
1800.06/1801.31	v x11407 x11414 x11441 x11518 x11539 x11560 x11587 x11695 x11723 x11736 x11780 x11801 x11842 x11851 x11880 x11887 x11889
1800.06/1801.31	v x11952 x11955 x11957 x11959 x11981 x11982 x11997 x12000 x12001 x12007 x12008 x12012 x12072 x12113 x12114 x12144 x12152
1800.06/1801.31	v x12155 x12166 x12172 x12214 x12237 x12262 x12265 x12298 x12312 x12329 x12362 x12364 x12371 x12372 x12381 x12410 x12445
1800.06/1801.31	v x12450 x12461 x12462 x12469 x12504 x12515 x12518 x12528 x12533 x12538 x12543 x12550 x12652 x12661 x12689 x12718 x12726
1800.06/1801.31	v x12736 x12747 x12758 x12779 x12780 x12791 x12797 x12799 x12803 x12816 x12828 x12873 x12874 x12881 x12896 x12905 x12909
1800.06/1801.31	v x12911 x12938 x12950 x12992 x12994 x12995 x13027 x13029 x13039 x13043 x13047 x13049 x13078 x13082 x13113 x13116 x13118
1800.06/1801.31	v x13121 x13132 x13147 x13169 x13184 x13201 x13224 x13230 x13239 x13251 x13267 x13272 x13283 x13285 x13294 x13317 x13324
1800.06/1801.31	v x13329 x13333 x13339 x13363 x13375 x13379 x13392 x13394 x13395 x13398 x13403 x13405 x13407 x13432 x13436 x13439 x13446
1800.06/1801.31	v x13447 x13455 x13457 x13461 x13487 x13489 x13506 x13530 x13540 x13544 x13547 x13549 x13559 x13565 x13571 x13590 x13592
1800.06/1801.31	v x13610 x13627 x13632 x13639 x13645 x13652 x13678 x13710 x13749 x13755 x13773 x13795 x13801 x13805 x13817 x13820 x13835
1800.06/1801.31	v x13836 x13840 x13844 x13849 x13860 x13869 x13980 x13986 x13992 x14008 x14030 x14079 x14089 x14091 x14094 x14096 x14106
1800.06/1801.31	v x14112 x14121 x14124 x14151 x14158 x14162 x14201 x14210 x14216 x14223 x14226 x14238 x14240 x14251 x14253 x14257 x14275
1800.06/1801.31	v x14290 x14293 x14296 x14298 x14304 x14329 x14332 x14334 x14335 x14343 x14347 x14354 x14358 x14363 x14368 x14382 x14384
1800.06/1801.31	v x14385 x14396 x14402 x14403 x14445 x14447 x14451 x14464 x14467 x14470 x14476 x14477 x14481 x14487 x14490 x14494 x14498
1800.06/1801.31	v x14524 x14539 x14548 x14553 x14576 x14614 x14617 x14636 x14640 x14647 x14654 x14667 x14691 x14706 x14724 x14728 x14748
1800.06/1801.31	v x14752 x14754 x14756 x14758 x14791 x14800 x14813 x14818 x14827 x14847 x14859 x14862 x14869 x14878 x14904 x14907 x14915
1800.06/1801.31	v x14928 x14936 x14947 x14952 x14955 x14968 x14978 x14980 x15052 x15053 x15062 x15071 x15075 x15078 x15083 x15089 x15093
1800.06/1801.31	v x15096 x15099 x15101 x15108 x15110 x15137 x15163 x15173 x15174 x15180 x15192 x15194 x15195 x15197 x15199 x15201 x15204
1800.06/1801.31	v x15205 x15218 x15223 x15230 x15231 x15232 x15239 x15241 x15268 x15280
1800.06/1801.32	pb2clasp1: no process killed
1800.06/1801.33	clasp-1.0: no process killed
41.02/1803.32	sh: line 1: 11729 Done                    cat /tmp/evaluation/350970-1176571634/temp/instance-350970-1176571634.opb.op
41.02/1803.32	     11730 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/350970-1176571634/temp/instance-350970-1176571634.opb.clasp

Verifier Data (download as text)

OK	597

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 11669
/proc/meminfo: memFree=1375992/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=12268 CPUtime=0
/proc/11669/stat : 11669 (pbclasp) R 11667 11669 11009 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 98299412 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084981758 0 0 4224 0 0 0 0 17 0 0 0
/proc/11669/statm: 3067 317 242 3 0 167 0

[startup+0.069232 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 11669
/proc/meminfo: memFree=1375992/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=13760 CPUtime=0.05
/proc/11669/stat : 11669 (pbclasp) R 11667 11669 11009 0 -1 4194304 5252 0 0 0 4 1 0 0 18 0 1 0 98299412 14090240 773 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218075960746 0 0 4224 16384 0 0 0 17 0 0 0
/proc/11669/statm: 3440 773 320 3 0 540 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13760

[startup+0.101234 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 11669
/proc/meminfo: memFree=1375992/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=13760 CPUtime=0.09
/proc/11669/stat : 11669 (pbclasp) R 11667 11669 11009 0 -1 4194304 8195 0 0 0 7 2 0 0 18 0 1 0 98299412 14090240 776 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218075960746 0 0 4224 16384 0 0 0 17 0 0 0
/proc/11669/statm: 3440 776 320 3 0 540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13760

[startup+0.301251 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 11669
/proc/meminfo: memFree=1375992/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=13884 CPUtime=0.29
/proc/11669/stat : 11669 (pbclasp) R 11667 11669 11009 0 -1 4194304 26489 0 0 0 22 7 0 0 19 0 1 0 98299412 14217216 799 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218075960746 0 0 4224 16384 0 0 0 17 0 0 0
/proc/11669/statm: 3471 799 320 3 0 571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13884

[startup+0.701285 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 11669
/proc/meminfo: memFree=1375992/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=14124 CPUtime=0.69
/proc/11669/stat : 11669 (pbclasp) R 11667 11669 11009 0 -1 4194304 39997 0 0 0 58 11 0 0 22 0 1 0 98299412 14462976 876 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218094309122 0 0 4224 16384 0 0 0 17 0 0 0
/proc/11669/statm: 3531 876 320 3 0 631 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14124

[startup+1.50135 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 11670
/proc/meminfo: memFree=1373488/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=14824 CPUtime=1.49
/proc/11669/stat : 11669 (pbclasp) R 11667 11669 11009 0 -1 4194304 40164 0 0 0 138 11 0 0 25 0 1 0 98299412 15179776 1043 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218094309134 0 0 4224 16384 0 0 0 17 0 0 0
/proc/11669/statm: 3706 1043 320 3 0 806 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14824

[startup+3.1015 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11670
/proc/meminfo: memFree=1372016/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=16408 CPUtime=2.32
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 40588 0 0 0 221 11 0 0 16 0 1 0 98299412 16801792 1454 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084978786 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/11669/statm: 4102 1454 324 3 0 1202 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 16408

[startup+6.30177 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 11672
/proc/meminfo: memFree=1367200/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=5.99
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 41526 2534 0 0 226 11 359 3 17 0 1 0 98299412 18288640 1810 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1810 343 3 0 1565 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 17860

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 11687
/proc/meminfo: memFree=1355232/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=10.84
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 42078 6649 0 3 227 11 839 7 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11685] ppid=11669 vsize=5352 CPUtime=0
/proc/11685/stat : 11685 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98300502 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1338 224 188 169 0 49 0
[pid=11687] ppid=11685 vsize=12380 CPUtime=1.78
/proc/11687/stat : 11687 (clasp-1.0) R 11685 11669 11009 0 -1 4194304 2881 0 0 0 177 1 0 0 25 0 1 0 98300502 12677120 2692 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 3095 2692 249 81 0 2469 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 35592

[startup+25.5014 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 11703
/proc/meminfo: memFree=1355176/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=24.17
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43012 15271 0 3 231 12 2158 16 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11701] ppid=11669 vsize=5352 CPUtime=0
/proc/11701/stat : 11701 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 98301835 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11701/statm: 1338 224 188 169 0 49 0
[pid=11703] ppid=11701 vsize=12380 CPUtime=1.25
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11669 11009 0 -1 4194304 2867 0 0 0 124 1 0 0 25 0 1 0 98301835 12677120 2678 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617544 0 0 4096 0 0 0 0 17 0 0 0
/proc/11703/statm: 3095 2678 249 81 0 2469 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 35592

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 11719
/proc/meminfo: memFree=1353064/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=15708 CPUtime=11.77
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 3727 0 0 0 1176 1 0 0 25 0 1 0 98303341 16084992 3538 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715097 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 3927 3538 249 81 0 3301 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 38920

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 11719
/proc/meminfo: memFree=1310760/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=57244 CPUtime=62.94
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 14056 0 0 0 6287 7 0 0 25 0 1 0 98303341 58617856 13867 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 14311 13867 249 81 0 13685 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 80456

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11719
/proc/meminfo: memFree=1300008/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=67812 CPUtime=122.9
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 16704 0 0 0 12280 10 0 0 25 0 1 0 98303341 69439488 16515 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 16953 16515 249 81 0 16327 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 91024

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11719
/proc/meminfo: memFree=1291560/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=76372 CPUtime=182.87
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 18838 0 0 0 18275 12 0 0 25 0 1 0 98303341 78204928 18649 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134748350 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 19093 18649 249 81 0 18467 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 99584

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11719
/proc/meminfo: memFree=1285608/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=82320 CPUtime=242.83
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 20293 0 0 0 24270 13 0 0 25 0 1 0 98303341 84295680 20104 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 20580 20104 249 81 0 19954 0
Current children cumulated CPU time (s) 281.9
Current children cumulated vsize (KiB) 105532

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11719
/proc/meminfo: memFree=1279912/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=88120 CPUtime=302.8
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 21772 0 0 0 30266 14 0 0 25 0 1 0 98303341 90234880 21583 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 22030 21583 249 81 0 21404 0

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

/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=125016 CPUtime=1622.07
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 37652 0 0 0 162182 25 0 0 25 0 1 0 98303341 128016384 30793 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715250 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 31254 30793 249 81 0 30628 0
Current children cumulated CPU time (s) 1661.14
Current children cumulated vsize (KiB) 148228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11719
/proc/meminfo: memFree=1242600/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=125016 CPUtime=1682.03
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 37652 0 0 0 168178 25 0 0 25 0 1 0 98303341 128016384 30793 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714774 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 31254 30793 249 81 0 30628 0
Current children cumulated CPU time (s) 1721.1
Current children cumulated vsize (KiB) 148228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11719
/proc/meminfo: memFree=1240616/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=127188 CPUtime=1742
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 38183 0 0 0 174175 25 0 0 25 0 1 0 98303341 130240512 31323 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 31797 31323 249 81 0 31171 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 150400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11719
/proc/meminfo: memFree=1240552/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=127188 CPUtime=1760.99
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 38183 0 0 0 176074 25 0 0 25 0 1 0 98303341 130240512 31323 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715264 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 31797 31323 249 81 0 31171 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 150400

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

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11719
/proc/meminfo: memFree=1240552/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.07
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43281 23907 0 3 235 13 3635 24 16 0 1 0 98299412 18288640 1818 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1818 343 3 0 1565 0
[pid=11717] ppid=11669 vsize=5352 CPUtime=0
/proc/11717/stat : 11717 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 98303341 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11717/statm: 1338 224 188 169 0 49 0
[pid=11719] ppid=11717 vsize=127188 CPUtime=1760.99
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11669 11009 0 -1 4194304 38183 0 0 0 176074 25 0 0 25 0 1 0 98303341 130240512 31323 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715264 0 0 4096 0 0 0 0 17 0 0 0
/proc/11719/statm: 31797 31323 249 81 0 31171 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 150400

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

[startup+1801.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11719
/proc/meminfo: memFree=1240552/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.11
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43448 25686 0 3 236 13 3635 27 17 0 1 0 98299412 18288640 1820 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1820 343 3 0 1565 0
Current children cumulated CPU time (s) 39.11
Current children cumulated vsize (KiB) 17860

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11719
/proc/meminfo: memFree=1240552/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.11
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43448 25686 0 3 236 13 3635 27 17 0 1 0 98299412 18288640 1820 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1820 343 3 0 1565 0
Current children cumulated CPU time (s) 39.11
Current children cumulated vsize (KiB) 17860

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 11730
/proc/meminfo: memFree=1361176/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.11
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43448 25686 0 3 236 13 3635 27 17 0 1 0 98299412 18288640 1820 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1820 343 3 0 1565 0
[pid=11728] ppid=11669 vsize=5352 CPUtime=0
/proc/11728/stat : 11728 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 98479548 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11728/statm: 1338 224 188 169 0 49 0
[pid=11730] ppid=11728 vsize=12380 CPUtime=0.82
/proc/11730/stat : 11730 (clasp-1.0) R 11728 11669 11009 0 -1 4194304 2858 0 0 0 81 1 0 0 24 0 1 0 98479549 12677120 2669 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733952 0 0 4096 0 0 0 0 17 0 0 0
/proc/11730/statm: 3095 2669 249 81 0 2469 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (KiB) 35592

[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11730
/proc/meminfo: memFree=1355104/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.11
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43448 25686 0 3 236 13 3635 27 17 0 1 0 98299412 18288640 1820 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1820 343 3 0 1565 0
[pid=11728] ppid=11669 vsize=5352 CPUtime=0
/proc/11728/stat : 11728 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 98479548 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11728/statm: 1338 224 188 169 0 49 0
[pid=11730] ppid=11728 vsize=12380 CPUtime=1.62
/proc/11730/stat : 11730 (clasp-1.0) R 11728 11669 11009 0 -1 4194304 2878 0 0 0 161 1 0 0 25 0 1 0 98479549 12677120 2689 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733947 0 0 4096 0 0 0 0 17 0 0 0
/proc/11730/statm: 3095 2689 249 81 0 2469 0
Current children cumulated CPU time (s) 40.73
Current children cumulated vsize (KiB) 35592

[startup+1803.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11730
/proc/meminfo: memFree=1355104/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.11
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43448 25686 0 3 236 13 3635 27 17 0 1 0 98299412 18288640 1820 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1820 343 3 0 1565 0
[pid=11728] ppid=11669 vsize=5352 CPUtime=0
/proc/11728/stat : 11728 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 98479548 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11728/statm: 1338 224 188 169 0 49 0
[pid=11730] ppid=11728 vsize=12380 CPUtime=1.81
/proc/11730/stat : 11730 (clasp-1.0) R 11728 11669 11009 0 -1 4194304 2882 0 0 0 180 1 0 0 25 0 1 0 98479549 12677120 2693 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617693 0 0 4096 0 0 0 0 17 0 0 0
/proc/11730/statm: 3095 2693 249 81 0 2469 0
Current children cumulated CPU time (s) 40.92
Current children cumulated vsize (KiB) 35592

[startup+1803.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11730
/proc/meminfo: memFree=1355104/2055920 swapFree=4187472/4192956
[pid=11669] ppid=11667 vsize=17860 CPUtime=39.11
/proc/11669/stat : 11669 (pbclasp) S 11667 11669 11009 0 -1 4194304 43448 25686 0 3 236 13 3635 27 17 0 1 0 98299412 18288640 1820 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 218084982676 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11669/statm: 4465 1820 343 3 0 1565 0
[pid=11728] ppid=11669 vsize=5352 CPUtime=0
/proc/11728/stat : 11728 (sh) S 11669 11669 11009 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 98479548 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11728/statm: 1338 224 188 169 0 49 0
[pid=11730] ppid=11728 vsize=12380 CPUtime=1.91
/proc/11730/stat : 11730 (clasp-1.0) R 11728 11669 11009 0 -1 4194304 2885 0 0 0 190 1 0 0 25 0 1 0 98479549 12677120 2696 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733927 0 0 4096 0 0 0 0 17 0 0 0
/proc/11730/statm: 3095 2696 249 81 0 2469 0
Current children cumulated CPU time (s) 41.02
Current children cumulated vsize (KiB) 35592

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): 1760.95
#  lost CPU user time (s): 1760.73
#  lost CPU system time (s): 0.22

Real time (s): 1803.33
CPU time (s): 1802.04
CPU user time (s): 1801.39
CPU system time (s): 0.653934
CPU usage (%): 99.9285
Max. virtual memory (cumulated for all children) (KiB): 151028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.6598
system time used= 0.433934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73676
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3398
involuntary context switches= 1327

runsolver used 1.71574 second user time and 4.85126 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Sat Apr 14 17:27:14 UTC 2007

IDJOB= 350970
IDBENCH= 1626
IDSOLVER= 167
FILE ID= node57/350970-1176571634

PBS_JOBID= 4556882

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/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb
COMMAND LINE= pbclasp instance-350970-1176571634.opb /tmp/evaluation/350970-1176571634/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-350970-1176571634 -o ROOT/results/node57/conversion-350970-1176571634 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350970-1176571634/instance-350970-1176571634.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  06a8ed91d04dd9c37cb8c92ab4f7d82f

RANDOM SEED= 387001762

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1376408 kB
Buffers:         49980 kB
Cached:         478152 kB
SwapCached:       2608 kB
Active:         253452 kB
Inactive:       288720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1376408 kB
SwapTotal:     4192956 kB
SwapFree:      4187472 kB
Dirty:            2116 kB
Writeback:           0 kB
Mapped:          21228 kB
Slab:           123436 kB
Committed_AS:   132668 kB
PageTables:       1412 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= 66559 MiB

End job on node57 on Sat Apr 14 17:57:18 UTC 2007