Trace number 350814

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)115567 1802.05 1802.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
MD5SUM6c96e127d2f61e098d2015d63d4a25a7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark100037
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 99995
Optimality of the best value was proved NO
Number of variables10582
Total number of constraints5865
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198
Number of terms in the objective function 10582
Biggest coefficient in the objective function 229
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 529702
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 529702
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

7.34/7.47	o 130530
10.14/10.21	o 115690
166.69/166.86	o 115567
1800.06/1800.62	c Somebody sent me a SIGTERM
1800.06/1800.62	s SATISFIABLE
1800.06/1800.62	v x2 x3 x4 x115 x126 x137 x148 x203 x226 x314 x337 x348 x625 x692 x781 x803 x858 x868 x892 x1002 x1025 x1080 x1115 x1126 x1181 x1202
1800.06/1800.62	v x1259 x1436 x1448 x1459 x1469 x1481 x1491 x1514 x1536 x1592 x1614 x1670 x1736 x1813 x1824 x1836 x1892 x2003 x2091 x2114 x2125
1800.06/1800.62	v x2226 x2248 x2258 x2392 x2436 x2447 x2448 x2525 x2547 x2558 x2559 x2603 x2670 x2692 x2725 x2781 x2846 x2880 x2936 x3003 x3014
1800.06/1800.62	v x3036 x3102 x3114 x3136 x3191 x3224 x3225 x3236 x3247 x3268 x3336 x3337 x3348 x3369 x3381 x3459 x3492 x3559 x3569 x3603 x3614
1800.06/1800.62	v x3636 x3758 x3836 x3857 x3880 x3891 x3914 x4003 x4025 x4047 x4058 x4069 x4080 x4136 x4140 x4141 x4142 x4143 x4144 x4146 x4147
1800.06/1800.62	v x4151 x4152 x4155 x4157 x4160 x4163 x4164 x4165 x4166 x4168 x4169 x4172 x4173 x4179 x4180 x4181 x4184 x4185 x4186 x4188 x4190
1800.06/1800.62	v x4193 x4194 x4197 x4201 x4205 x4207 x4208 x4209 x4210 x4211 x4215 x4219 x4221 x4222 x4223 x4228 x4229 x4234 x4235 x4238 x4240
1800.06/1800.62	v x4242 x4247 x4250 x4251 x4253 x4255 x4258 x4259 x4261 x4262 x4263 x4264 x4269 x4270 x4271 x4272 x4273 x4275 x4277 x4280 x4282
1800.06/1800.62	v x4283 x4284 x4285 x4291 x4292 x4293 x4297 x4300 x4301 x4303 x4304 x4308 x4314 x4316 x4319 x4321 x4323 x4324 x4325 x4326 x4328
1800.06/1800.62	v x4330 x4331 x4332 x4333 x4334 x4336 x4338 x4339 x4341 x4345 x4347 x4350 x4353 x4356 x4358 x4364 x4368 x4371 x4372 x4373 x4380
1800.06/1800.62	v x4381 x4383 x4393 x4396 x4397 x4398 x4399 x4400 x4401 x4405 x4406 x4407 x4408 x4409 x4412 x4413 x4414 x4416 x4420 x4421 x4422
1800.06/1800.62	v x4423 x4425 x4426 x4428 x4431 x4432 x4433 x4437 x4439 x4442 x4443 x4446 x4453 x4454 x4455 x4457 x4458 x4462 x4464 x4465 x4468
1800.06/1800.62	v x4469 x4470 x4472 x4473 x4474 x4478 x4482 x4483 x4484 x4495 x4506 x4517 x4528 x4538 x4561 x4571 x4583 x4594 x4605 x4617 x4639
1800.06/1800.62	v x4650 x4672 x4695 x4706 x4717 x4750 x4760 x4772 x4783 x4793 x4817 x4839 x4850 x4872 x4916 x4917 x4950 x4994 x5028 x5039 x5051
1800.06/1800.62	v x5083 x5140 x5151 x5184 x5206 x5216 x5227 x5238 x5250 x5251 x5262 x5283 x5306 x5350 x5362 x5394 x5405 x5417 x5473 x5484 x5506
1800.06/1800.62	v x5517 x5539 x5560 x5572 x5584 x5627 x5661 x5694 x5695 x5728 x5739 x5750 x5771 x5782 x5794 x5817 x5872 x5882 x5905 x5916 x5917
1800.06/1800.62	v x5928 x5961 x5994 x6061 x6094 x6105 x6138 x6139 x6162 x6184 x6251 x6262 x6306 x6317 x6406 x6428 x6461 x6484 x6517 x6528 x6572
1800.06/1800.62	v x6583 x6584 x6649 x6660 x6683 x6706 x6728 x6772 x6794 x6828 x6838 x6849 x6860 x6872 x6915 x6917 x6927 x6960 x6972 x7005 x7026
1800.06/1800.62	v x7028 x7038 x7061 x7072 x7083 x7105 x7115 x7127 x7138 x7139 x7160 x7183 x7216 x7238 x7250 x7251 x7306 x7316 x7360 x7362 x7372
1800.06/1800.62	v x7384 x7395 x7406 x7428 x7438 x7450 x7472 x7483 x7495 x7506 x7528 x7538 x7550 x7561 x7571 x7582 x7617 x7639 x7650 x7683 x7693
1800.06/1800.62	v x7695 x7761 x7772 x7783 x7805 x7828 x7850 x7860 x7893 x7917 x7938 x7950 x7982 x7994 x8005 x8015 x8027 x8050 x8061 x8083 x8104
1800.06/1800.62	v x8127 x8138 x8172 x8183 x8205 x8227 x8237 x8250 x8271 x8283 x8294 x8315 x8326 x8348 x8395 x8417 x8427 x8472 x8473 x8506 x8517
1800.06/1800.62	v x8561 x8583 x8639 x8695 x8761 x8806 x8828 x8872 x8916 x8917 x8983 x9028 x9061 x9072 x9094 x9139 x9194 x9249 x9250 x9305 x9316
1800.06/1800.62	v x9349 x9361 x9405 x9427 x9438 x9460 x9472 x9473 x9517 x9550 x9606 x9614 x9628 x9647 x9648 x9649 x9683 x9695 x9739 x9750 x9772
1800.06/1800.62	v x9781 x9806 x9817 x9828 x9838 x9861 x9883 x9905 x9939 x9983 x10061 x10139 x10150 x10161 x10216 x10227 x10250 x10272 x10294
1800.06/1800.62	v x10316 x10349 x10361 x10394 x10416 x10427 x10449 x10469 x10470 x10472 x10516 x10538 x10560 x10582
1800.06/1800.62	pb2clasp1: no process killed
1800.06/1800.63	clasp-1.0: no process killed
168.78/1802.63	sh: line 1: 11252 Done                    cat /tmp/evaluation/350814-1176553135/temp/instance-350814-1176553135.opb.op
168.78/1802.63	     11253 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/350814-1176553135/temp/instance-350814-1176553135.opb.clasp

Verifier Data (download as text)

OK	115567

Conversion Script Data (download as text)

/tmp/evaluation/350814-1176553135/instance-350814-1176553135.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/node17/watcher-350814-1176553135 -o ROOT/results/node17/solver-350814-1176553135 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350814-1176553135.opb /tmp/evaluation/350814-1176553135/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.99 0.98 3/77 11206
/proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=12268 CPUtime=0
/proc/11206/stat : 11206 (pbclasp) D 11204 11206 10809 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 103231047 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245482879589 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/11206/statm: 3067 317 242 3 0 167 0

[startup+0.097173 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 11206
/proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=13476 CPUtime=0.09
/proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 733 0 0 0 9 0 0 0 18 0 1 0 103231047 13799424 699 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940040 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11206/statm: 3369 699 320 3 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13476

[startup+0.101173 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 11206
/proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=13476 CPUtime=0.09
/proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 733 0 0 0 9 0 0 0 18 0 1 0 103231047 13799424 699 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940046 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11206/statm: 3369 699 320 3 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13476

[startup+0.301194 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 11206
/proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=13616 CPUtime=0.29
/proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 776 0 0 0 29 0 0 0 19 0 1 0 103231047 13942784 742 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940040 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11206/statm: 3404 742 320 3 0 504 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13616

[startup+0.701237 s]
/proc/loadavg: 0.92 0.99 0.98 3/77 11206
/proc/meminfo: memFree=1823352/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=14012 CPUtime=0.69
/proc/11206/stat : 11206 (pbclasp) R 11204 11206 10809 0 -1 4194304 882 0 0 0 69 0 0 0 23 0 1 0 103231047 14348288 848 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245500940046 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11206/statm: 3503 848 320 3 0 603 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14012

[startup+1.50132 s]
/proc/loadavg: 0.92 0.99 0.98 2/78 11207
/proc/meminfo: memFree=1820464/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=15332 CPUtime=1.19
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 1223 0 0 0 119 0 0 0 16 0 1 0 103231047 15699968 1175 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11206/statm: 3833 1175 324 3 0 933 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 15332

[startup+3.10149 s]
/proc/loadavg: 0.93 0.99 0.98 2/80 11209
/proc/meminfo: memFree=1818016/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=15332 CPUtime=1.19
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 1223 0 0 0 119 0 0 0 16 0 1 0 103231047 15699968 1175 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491609698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11206/statm: 3833 1175 324 3 0 933 0
[pid=11208] ppid=11206 vsize=5352 CPUtime=0
/proc/11208/stat : 11208 (sh) S 11206 11206 10809 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 103231167 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11208/statm: 1338 229 193 169 0 49 0
[pid=11209] ppid=11208 vsize=12532 CPUtime=1.88
/proc/11209/stat : 11209 (pb2clasp1) R 11208 11206 10809 0 -1 4194304 534 0 0 0 188 0 0 0 25 0 1 0 103231168 12832768 496 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 245501061682 0 0 4224 0 0 0 0 17 1 0 0
/proc/11209/statm: 3133 496 340 3 0 233 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33216

[startup+6.30183 s]
/proc/loadavg: 0.93 0.99 0.98 2/81 11216
/proc/meminfo: memFree=1810712/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=5.33
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 1857 1625 0 0 122 0 407 4 17 0 1 0 103231047 16646144 1427 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1427 343 3 0 1164 0
[pid=11214] ppid=11206 vsize=5352 CPUtime=0
/proc/11214/stat : 11214 (sh) S 11206 11206 10809 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 103231583 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11214/statm: 1338 224 188 169 0 49 0
[pid=11216] ppid=11214 vsize=21392 CPUtime=0.91
/proc/11216/stat : 11216 (clasp-1.0) R 11214 11206 10809 0 -1 4194304 5016 0 0 0 89 2 0 0 18 0 1 0 103231583 21905408 4930 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733877 0 0 4096 0 0 0 0 17 0 0 0
/proc/11216/statm: 5348 4930 249 81 0 4722 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 43000

[startup+12.7025 s]
/proc/loadavg: 0.94 0.99 0.98 2/80 11232
/proc/meminfo: memFree=1792608/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=10.2
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11230] ppid=11206 vsize=5352 CPUtime=0
/proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11230/statm: 1338 224 188 169 0 49 0
[pid=11232] ppid=11230 vsize=21732 CPUtime=2.43
/proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 5137 0 0 0 241 2 0 0 25 0 1 0 103232073 22253568 5051 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/11232/statm: 5433 5051 249 81 0 4807 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 43340

[startup+25.5018 s]
/proc/loadavg: 0.95 0.99 0.98 2/80 11232
/proc/meminfo: memFree=1776224/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=10.2
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11230] ppid=11206 vsize=5352 CPUtime=0
/proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11230/statm: 1338 224 188 169 0 49 0
[pid=11232] ppid=11230 vsize=39044 CPUtime=15.23
/proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 9411 0 0 0 1517 6 0 0 25 0 1 0 103232073 39981056 9325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11232/statm: 9761 9325 249 81 0 9135 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 60652

[startup+51.1015 s]
/proc/loadavg: 0.96 0.99 0.98 2/80 11232
/proc/meminfo: memFree=1762848/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=10.2
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11230] ppid=11206 vsize=5352 CPUtime=0
/proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11230/statm: 1338 224 188 169 0 49 0
[pid=11232] ppid=11230 vsize=52556 CPUtime=40.81
/proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 12780 0 0 0 4073 8 0 0 25 0 1 0 103232073 53817344 12694 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784622 0 0 4096 0 0 0 0 17 1 0 0
/proc/11232/statm: 13139 12694 249 81 0 12513 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 74164

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.98 2/80 11232
/proc/meminfo: memFree=1754016/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=10.2
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11230] ppid=11206 vsize=5352 CPUtime=0
/proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11230/statm: 1338 224 188 169 0 49 0
[pid=11232] ppid=11230 vsize=60836 CPUtime=92
/proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 14858 0 0 0 9190 10 0 0 25 0 1 0 103232073 62296064 14771 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11232/statm: 15209 14771 249 81 0 14583 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 82444

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11232
/proc/meminfo: memFree=1746784/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=10.2
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2683 14529 0 0 125 1 878 16 16 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11230] ppid=11206 vsize=5352 CPUtime=0
/proc/11230/stat : 11230 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103232073 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11230/statm: 1338 224 188 169 0 49 0
[pid=11232] ppid=11230 vsize=68044 CPUtime=151.98
/proc/11232/stat : 11232 (clasp-1.0) R 11230 11206 10809 0 -1 4194304 16649 0 0 0 15186 12 0 0 25 0 1 0 103232073 69677056 16562 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11232/statm: 17011 16562 249 81 0 16385 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 89652

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11240
/proc/meminfo: memFree=1752808/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=61668 CPUtime=55.35
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 15087 0 0 0 5526 9 0 0 25 0 1 0 103247738 63148032 14999 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715322 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 15417 14999 249 81 0 14791 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 83276

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11240
/proc/meminfo: memFree=1742376/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=72088 CPUtime=115.34
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 17694 0 0 0 11522 12 0 0 25 0 1 0 103247738 73818112 17606 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 18022 17606 249 81 0 17396 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 93696


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

/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=118032 CPUtime=1375.01
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33054 0 0 0 137466 35 0 0 25 0 1 0 103247738 120864768 29057 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 29508 29057 249 81 0 28882 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 139640

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11242
/proc/meminfo: memFree=1692648/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=120780 CPUtime=1435
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33763 0 0 0 143464 36 0 0 25 0 1 0 103247738 123678720 29712 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737366 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 30195 29712 249 81 0 29569 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 142388

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11242
/proc/meminfo: memFree=1694760/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=118356 CPUtime=1494.99
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33763 0 0 0 149462 37 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 29589 29113 249 81 0 28963 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 139964

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11242
/proc/meminfo: memFree=1694312/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=118992 CPUtime=1554.97
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 155460 37 0 0 25 0 1 0 103247738 121847808 29249 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713631 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 29748 29249 249 81 0 29122 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 140600

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11242
/proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=118356 CPUtime=1614.96
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 161458 38 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 29589 29113 249 81 0 28963 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 139964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11242
/proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=118356 CPUtime=1633.26
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 163288 38 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 29589 29113 249 81 0 28963 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 139964

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

[startup+1800.6 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11242
/proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.8
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 2840 32543 0 0 126 1 16520 33 18 0 1 0 103231047 16646144 1434 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1434 343 3 0 1164 0
[pid=11238] ppid=11206 vsize=5352 CPUtime=0
/proc/11238/stat : 11238 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103247737 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11238/statm: 1338 224 188 169 0 49 0
[pid=11240] ppid=11238 vsize=118356 CPUtime=1633.26
/proc/11240/stat : 11240 (clasp-1.0) R 11238 11206 10809 0 -1 4194304 33899 0 0 0 163288 38 0 0 25 0 1 0 103247738 121196544 29113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11240/statm: 29589 29113 249 81 0 28963 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 139964

# WARNING:
# current cumulated CPU time (166.86 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 (1633.2 s) to the 'lost time'.

[startup+1800.72 s]
/proc/loadavg: 0.99 0.99 0.98 2/80 11242
/proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.86
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1436 343 3 0 1164 0
Current children cumulated CPU time (s) 166.86
Current children cumulated vsize (KiB) 16256

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.99 0.98 2/80 11242
/proc/meminfo: memFree=1694632/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.86
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1436 343 3 0 1164 0
Current children cumulated CPU time (s) 166.86
Current children cumulated vsize (KiB) 16256

[startup+1802.2 s]
/proc/loadavg: 0.99 0.99 0.98 2/81 11253
/proc/meminfo: memFree=1790936/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.86
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1436 343 3 0 1164 0
[pid=11251] ppid=11206 vsize=5352 CPUtime=0
/proc/11251/stat : 11251 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103411114 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11251/statm: 1338 224 188 169 0 49 0
[pid=11253] ppid=11251 vsize=21732 CPUtime=1.52
/proc/11253/stat : 11253 (clasp-1.0) R 11251 11206 10809 0 -1 4194304 5106 0 0 0 150 2 0 0 25 0 1 0 103411115 22253568 5020 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/11253/statm: 5433 5020 249 81 0 4807 0
Current children cumulated CPU time (s) 168.38
Current children cumulated vsize (KiB) 43340

[startup+1802.6 s]
/proc/loadavg: 0.99 0.99 0.98 2/81 11253
/proc/meminfo: memFree=1790936/2055920 swapFree=4153028/4192956
[pid=11206] ppid=11204 vsize=16256 CPUtime=166.86
/proc/11206/stat : 11206 (pbclasp) S 11204 11206 10809 0 -1 4194304 3002 34328 0 0 127 1 16521 37 16 0 1 0 103231047 16646144 1436 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11206/statm: 4064 1436 343 3 0 1164 0
[pid=11251] ppid=11206 vsize=5352 CPUtime=0
/proc/11251/stat : 11251 (sh) S 11206 11206 10809 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 103411114 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11251/statm: 1338 224 188 169 0 49 0
[pid=11253] ppid=11251 vsize=21732 CPUtime=1.92
/proc/11253/stat : 11253 (clasp-1.0) R 11251 11206 10809 0 -1 4194304 5136 0 0 0 190 2 0 0 25 0 1 0 103411115 22253568 5050 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/11253/statm: 5433 5050 249 81 0 4807 0
Current children cumulated CPU time (s) 168.78
Current children cumulated vsize (KiB) 43340

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

Real time (s): 1802.64
CPU time (s): 1802.05
CPU user time (s): 1801.28
CPU system time (s): 0.770934
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 143652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 168.421
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43768
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= 4249
involuntary context switches= 1937

runsolver used 1.86372 second user time and 4.69928 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Apr 14 12:18:55 UTC 2007

IDJOB= 350814
IDBENCH= 1591
IDSOLVER= 167
FILE ID= node17/350814-1176553135

PBS_JOBID= 4556762

Free space on /tmp= 66554 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/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
COMMAND LINE= pbclasp instance-350814-1176553135.opb /tmp/evaluation/350814-1176553135/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-350814-1176553135 -o ROOT/results/node17/conversion-350814-1176553135 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350814-1176553135/instance-350814-1176553135.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  6c96e127d2f61e098d2015d63d4a25a7

RANDOM SEED= 467069303

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1823824 kB
Buffers:         18652 kB
Cached:         138572 kB
SwapCached:       2168 kB
Active:          92656 kB
Inactive:        89060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823824 kB
SwapTotal:     4192956 kB
SwapFree:      4153028 kB
Dirty:            3996 kB
Writeback:           0 kB
Mapped:          31836 kB
Slab:            36000 kB
Committed_AS:  4087584 kB
PageTables:       1800 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= 66548 MiB

End job on node17 on Sat Apr 14 12:48:58 UTC 2007