Trace number 373109

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-clasp 2007-03-23SAT (TO)36 1801.93 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUM904168892843efef74e3394360b8d762
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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)

1595.45/1596.10	o 36
1800.02/1800.62	c Somebody sent me a SIGTERM
1800.02/1800.62	s SATISFIABLE
1800.02/1800.62	v x1 x20 x44 x90 x191 x192 x193 x210 x365 x452 x464 x469 x491 x499 x616 x695 x696 x730 x762 x842 x867 x890 x1375 x1471 x1474 x1538
1800.02/1800.62	v x1603 x1854 x1874 x1875 x1894 x1918 x1919 x1931 x1934 x1950 x1951 x2025 x2263 x2355 x2356 x3254 x3264 x3509 x3532 x3698 x3725
1800.02/1800.62	v x4103 x4212 x4240 x4282 x4324 x4338 x4340 x4347 x4394 x4396 x4399 x4408 x4422 x4464 x4520 x4534 x4576 x4618 x4645 x4646 x4647
1800.02/1800.62	v x4648 x4651 x4674 x4729 x4730 x4732 x4734 x4772 x4800 x4814 x4898 x4940 x4954 x5063 x5068 x5070 x5073 x5088 x5093 x5123 x5148
1800.02/1800.62	v x5153 x5178 x5180 x5183 x5223 x5225 x5243 x5283 x5298 x5299 x6062 x6082 x8766 x8800 x9855 x9941 x10460 x10530 x11186 x12154
1800.02/1800.62	v x12221 x13245 x13266 x13300 x13360 x13361 x13663 x13669 x13698 x13781 x14021 x14083 x14141 x14441 x14501 x14561 x14621
1800.02/1800.62	v x14681 x14741 x14861 x15163 x15189 x15221 x15341 x15700 x15701 x15763 x16121 x16421 x16541 x16901 x17021 x17143 x17162
1800.02/1800.62	v x17165 x17203 x17225 x17318 x17319 x17336 x17377 x17617 x17677 x17797 x17857 x18034 x18035 x18273 x18275 x18326 x18573
1800.02/1800.62	v x18692 x18693 x18695 x18709 x18813 x18993 x19111 x19171 x19291 x19411 x19591 x19651 x19711 x19771 x19831 x20011 x20071
1800.02/1800.62	v x20073 x20122 x20131 x20191 x20310 x20311 x20371 x20463 x20468 x20485 x20532 x20547 x20591 x20596 x20627 x20628 x20655
1800.02/1800.62	v x20847 x20878 x20879 x20911 x20943 x20975 x20980 x21004 x21204 x21209 x21300 x21455 x21615 x21617 x21839 x21972 x22127
1800.02/1800.62	v x22129 x22191 x22511 x22512 x22676 x22695 x22703 x22704 x22767 x22768 x23055 x23156 x23157 x23188 x23189 x23247 x23407
1800.02/1800.62	v x23535 x23631 x23695 x23759 x23764 x23983 x24847 x25007 x25103 x25108 x25123 x25124 x25135 x25140 x25172 x25187 x25231
1800.02/1800.62	v x25295 x25354 x25356 x25359 x25373 x25546 x25674 x25676 x25738 x25802 x25805 x25807 x25819 x25898 x25962 x25967 x25984
1800.02/1800.62	v x26057 x26058 x26346 x26442 x26447 x26474 x26477 x26479 x26491 x26496 x26602 x26634 x26637 x26794 x26797 x26922 x26954
1800.02/1800.62	v x26957 x27023 x27041 x27050 x27081 x27082 x27083 x27113 x27114 x27158 x27160 x27182 x27206 x27302 x27314 x27326 x27336
1800.02/1800.62	v x27362 x27365 x27371 x27542 x27549 x27566 x27637 x27638 x27662 x27674 x27686 x27746 x27755 x27758 x27764 x27806 x27813
1800.02/1800.62	v x28010 x28034 x28044 x28046 x28053 x28106 x28130 x28153 x28154 x28166 x28170 x28174 x28178 x28188 x28226 x28236 x28262
1800.02/1800.62	v x28271 x28454 x28502 x28526 x28562 x28565 x28970 x28972 x29294 x29354 x29356 x29486 x29494 x29582 x29591 x29822 x29831
1800.02/1800.62	v x30002 x30003 x30122 x30146 x30182 x30194 x30199 x30206 x30247 x30248 x30267 x30271 x30272 x30287 x30312 x30314 x30322
1800.02/1800.62	v x30326 x30330 x30337 x30338 x30398 x30572 x31046 x31047 x31066 x31560 x31574 x31588 x31644 x31658 x31672 x31686 x31699
1800.02/1800.62	v x31700 x31702 x31704 x31714 x31728 x31742 x31756 x31812 x31868 x31922 x31924 x31932 x31964 x31978 x32004 x32006 x32007
1800.02/1800.62	v x32018 x32102 x32158 x32240 x32246 x32252 x32266 x32280 x32322 x32346 x32348 x32351 x32354 x32376 x32381 x32386 x32388
1800.02/1800.62	v x32451 x32516 x32517 x32521 x32522 x32546 x32551 x32556 x32557 x32561 x32563 x32566 x32576 x32616 x32617 x33533 x33654
1800.02/1800.62	v x33775 x33796 x35804 x35805 x35806 x35863 x35946 x35948 x35963 x35975 x36004 x36006 x36033 x36035 x36062 x36261 x36290
1800.02/1800.62	v x36319 x36348 x36406 x36638 x36640 x36644 x36725 x36868 x37011 x37098 x37127 x37156 x37243 x37245 x37666 x37948 x38062
1800.02/1800.62	v x38091 x38120 x38207 x38209 x38210 x38236 x38379 x38381 x38384 x38394 x38464 x38465 x38537 x38554 x38600 x38601 x38707
1800.02/1800.62	v x38877 x38878 x39013 x39014 x39018 x39021 x39171 x39302 x39625 x39627 x39761 x39762 x39766 x39768 x39996 x40013 x40251
1800.02/1800.62	v x40252 x40331 x40332
1800.02/1800.62	pb2clasp1: no process killed

Verifier Data (download as text)

OK	36

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 1.12 1.06 1.01 3/64 13096
/proc/meminfo: memFree=1858464/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=12268 CPUtime=0
/proc/13096/stat : 13096 (pbclasp) D 13094 13096 12289 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 128654432 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246406675045 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/13096/statm: 3067 317 242 3 0 167 0

[startup+0.0203899 s]
/proc/loadavg: 1.12 1.06 1.01 3/64 13096
/proc/meminfo: memFree=1858464/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=12928 CPUtime=0.01
/proc/13096/stat : 13096 (pbclasp) R 13094 13096 12289 0 -1 4194304 587 0 0 0 1 0 0 0 18 0 1 0 128654432 13238272 553 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246406353633 0 0 4224 16384 0 0 0 17 1 0 0
/proc/13096/statm: 3232 553 314 3 0 332 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12928

[startup+0.101399 s]
/proc/loadavg: 1.12 1.06 1.01 3/64 13096
/proc/meminfo: memFree=1858464/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14364 CPUtime=0.09
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 992 0 0 0 8 1 0 0 16 0 1 0 128654432 14708736 943 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415405154 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13096/statm: 3591 943 324 3 0 691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14364

[startup+0.301415 s]
/proc/loadavg: 1.12 1.06 1.01 3/64 13096
/proc/meminfo: memFree=1858464/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14364 CPUtime=0.09
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 992 0 0 0 8 1 0 0 16 0 1 0 128654432 14708736 943 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415405154 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13096/statm: 3591 943 324 3 0 691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14364

[startup+0.701454 s]
/proc/loadavg: 1.12 1.06 1.01 3/64 13096
/proc/meminfo: memFree=1858464/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14364 CPUtime=0.09
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 992 0 0 0 8 1 0 0 16 0 1 0 128654432 14708736 943 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415405154 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13096/statm: 3591 943 324 3 0 691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14364

[startup+1.50253 s]
/proc/loadavg: 1.12 1.06 1.01 2/67 13099
/proc/meminfo: memFree=1854536/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14364 CPUtime=0.09
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 992 0 0 0 8 1 0 0 16 0 1 0 128654432 14708736 943 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415405154 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13096/statm: 3591 943 324 3 0 691 0
[pid=13098] ppid=13096 vsize=5352 CPUtime=0
/proc/13098/stat : 13098 (sh) S 13096 13096 12289 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 128654441 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13098/statm: 1338 230 193 169 0 49 0
[pid=13099] ppid=13098 vsize=12532 CPUtime=1.39
/proc/13099/stat : 13099 (pb2clasp1) R 13098 13096 12289 0 -1 4194304 537 0 0 0 139 0 0 0 25 0 1 0 128654441 12832768 499 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 246424366896 0 0 4224 0 0 0 0 17 1 0 0
/proc/13099/statm: 3133 499 340 3 0 233 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32248

[startup+3.10168 s]
/proc/loadavg: 1.12 1.06 1.01 2/67 13099
/proc/meminfo: memFree=1853960/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14364 CPUtime=0.09
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 992 0 0 0 8 1 0 0 16 0 1 0 128654432 14708736 943 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415405154 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13096/statm: 3591 943 324 3 0 691 0
[pid=13098] ppid=13096 vsize=5352 CPUtime=0
/proc/13098/stat : 13098 (sh) S 13096 13096 12289 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 128654441 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13098/statm: 1338 230 193 169 0 49 0
[pid=13099] ppid=13098 vsize=12532 CPUtime=3
/proc/13099/stat : 13099 (pb2clasp1) R 13098 13096 12289 0 -1 4194304 537 0 0 0 299 1 0 0 25 0 1 0 128654441 12832768 499 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 246424414907 0 0 4224 0 0 0 0 17 1 0 0
/proc/13099/statm: 3133 499 340 3 0 233 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32248

[startup+6.30199 s]
/proc/loadavg: 1.11 1.06 1.01 2/67 13099
/proc/meminfo: memFree=1852360/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14364 CPUtime=0.09
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 992 0 0 0 8 1 0 0 16 0 1 0 128654432 14708736 943 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415405154 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/13096/statm: 3591 943 324 3 0 691 0
[pid=13098] ppid=13096 vsize=5352 CPUtime=0
/proc/13098/stat : 13098 (sh) S 13096 13096 12289 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 128654441 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13098/statm: 1338 230 193 169 0 49 0
[pid=13099] ppid=13098 vsize=12532 CPUtime=6.2
/proc/13099/stat : 13099 (pb2clasp1) R 13098 13096 12289 0 -1 4194304 537 0 0 0 618 2 0 0 25 0 1 0 128654441 12832768 499 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 246415405154 0 0 4224 0 0 0 0 17 1 0 0
/proc/13099/statm: 3133 499 340 3 0 233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32248

[startup+12.7016 s]
/proc/loadavg: 1.10 1.05 1.01 2/68 13106
/proc/meminfo: memFree=1817944/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=10.83
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1147 1726 0 0 8 1 1067 7 17 0 1 0 128654432 14979072 1006 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1006 343 3 0 757 0
[pid=13104] ppid=13096 vsize=5356 CPUtime=0
/proc/13104/stat : 13104 (sh) S 13096 13096 12289 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 128655517 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13104/statm: 1339 225 188 169 0 50 0
[pid=13105] ppid=13104 vsize=2520 CPUtime=0
/proc/13105/stat : 13105 (cat) S 13104 13096 12289 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 128655517 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 246406676706 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13105/statm: 630 87 71 4 0 42 0
[pid=13106] ppid=13104 vsize=43500 CPUtime=1.83
/proc/13106/stat : 13106 (clasp) R 13104 13096 12289 0 -1 4194304 10526 0 0 0 178 5 0 0 25 0 1 0 128655517 44544000 10455 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134650881 0 0 4096 0 0 0 0 17 1 0 0
/proc/13106/statm: 10875 10455 173 154 0 10345 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 66004

[startup+25.5018 s]
/proc/loadavg: 1.08 1.05 1.01 2/67 13106
/proc/meminfo: memFree=1675680/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=10.83
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1147 1726 0 0 8 1 1067 7 17 0 1 0 128654432 14979072 1006 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1006 343 3 0 757 0
[pid=13104] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13104/stat : 13104 (sh) S 13096 13096 12289 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 128655517 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13104/statm: 1339 225 188 169 0 50 0
[pid=13106] ppid=13104 vsize=174404 CPUtime=14.61
/proc/13106/stat : 13106 (clasp) R 13104 13096 12289 0 -1 4194304 44704 0 0 0 1440 21 0 0 25 0 1 0 128655517 178589696 42133 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134629585 0 0 4096 0 0 0 0 17 1 0 0
/proc/13106/statm: 43601 42133 196 154 0 43071 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 194388

[startup+51.1013 s]
/proc/loadavg: 1.05 1.05 1.01 2/67 13106
/proc/meminfo: memFree=1675872/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=10.83
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1147 1726 0 0 8 1 1067 7 17 0 1 0 128654432 14979072 1006 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1006 343 3 0 757 0
[pid=13104] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13104/stat : 13104 (sh) S 13096 13096 12289 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 128655517 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13104/statm: 1339 225 188 169 0 50 0
[pid=13106] ppid=13104 vsize=174404 CPUtime=40.21
/proc/13106/stat : 13106 (clasp) R 13104 13096 12289 0 -1 4194304 44707 0 0 0 4000 21 0 0 25 0 1 0 128655517 178589696 42136 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134746409 0 0 4096 0 0 0 0 17 1 0 0
/proc/13106/statm: 43601 42136 196 154 0 43071 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 194388

[startup+102.305 s]
/proc/loadavg: 1.02 1.04 1.00 2/67 13106
/proc/meminfo: memFree=1675808/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=10.83
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1147 1726 0 0 8 1 1067 7 17 0 1 0 128654432 14979072 1006 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1006 343 3 0 757 0
[pid=13104] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13104/stat : 13104 (sh) S 13096 13096 12289 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 128655517 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13104/statm: 1339 225 188 169 0 50 0
[pid=13106] ppid=13104 vsize=174404 CPUtime=91.41
/proc/13106/stat : 13106 (clasp) R 13104 13096 12289 0 -1 4194304 44751 0 0 0 9119 22 0 0 25 0 1 0 128655517 178589696 42180 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134741259 0 0 4096 0 0 0 0 17 1 0 0
/proc/13106/statm: 43601 42180 196 154 0 43071 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 194388

[startup+162.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 13106
/proc/meminfo: memFree=1675360/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=10.83
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1147 1726 0 0 8 1 1067 7 17 0 1 0 128654432 14979072 1006 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1006 343 3 0 757 0
[pid=13104] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13104/stat : 13104 (sh) S 13096 13096 12289 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 128655517 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13104/statm: 1339 225 188 169 0 50 0
[pid=13106] ppid=13104 vsize=174404 CPUtime=151.39
/proc/13106/stat : 13106 (clasp) R 13104 13096 12289 0 -1 4194304 44861 0 0 0 15117 22 0 0 25 0 1 0 128655517 178589696 42290 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/13106/statm: 43601 42290 196 154 0 43071 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 194388

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 13106
/proc/meminfo: memFree=1666528/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=10.83
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1147 1726 0 0 8 1 1067 7 17 0 1 0 128654432 14979072 1006 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1006 343 3 0 757 0
[pid=13104] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13104/stat : 13104 (sh) S 13096 13096 12289 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 128655517 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13104/statm: 1339 225 188 169 0 50 0
[pid=13106] ppid=13104 vsize=183260 CPUtime=211.36
/proc/13106/stat : 13106 (clasp) R 13104 13096 12289 0 -1 4194304 47060 0 0 0 21113 23 0 0 25 0 1 0 128655517 187658240 44489 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0
/proc/13106/statm: 45815 44489 196 154 0 45285 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 203244

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 13106
/proc/meminfo: memFree=1650912/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=10.83
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1147 1726 0 0 8 1 1067 7 17 0 1 0 128654432 14979072 1006 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1006 343 3 0 757 0

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

Current children cumulated vsize (KiB) 164596

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13312
/proc/meminfo: memFree=1620064/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.62
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1306 145418 0 0 9 1 159432 120 18 0 1 0 128654432 14979072 1013 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1013 343 3 0 757 0
[pid=13310] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13310/stat : 13310 (sh) S 13096 13096 12289 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 128814047 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13310/statm: 1339 225 188 169 0 50 0
[pid=13312] ppid=13310 vsize=231340 CPUtime=66.11
/proc/13312/stat : 13312 (clasp) R 13310 13096 12289 0 -1 4194304 60605 0 0 0 6585 26 0 0 25 0 1 0 128814047 236892160 55971 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740851 0 0 4096 0 0 0 0 17 1 0 0
/proc/13312/statm: 57835 55971 196 154 0 57305 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 251324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13312
/proc/meminfo: memFree=1619872/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.62
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1306 145418 0 0 9 1 159432 120 18 0 1 0 128654432 14979072 1013 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1013 343 3 0 757 0
[pid=13310] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13310/stat : 13310 (sh) S 13096 13096 12289 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 128814047 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13310/statm: 1339 225 188 169 0 50 0
[pid=13312] ppid=13310 vsize=231340 CPUtime=126.1
/proc/13312/stat : 13312 (clasp) R 13310 13096 12289 0 -1 4194304 60674 0 0 0 12583 27 0 0 25 0 1 0 128814047 236892160 56040 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0
/proc/13312/statm: 57835 56040 196 154 0 57305 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 251324

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13312
/proc/meminfo: memFree=1619680/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.62
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1306 145418 0 0 9 1 159432 120 18 0 1 0 128654432 14979072 1013 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1013 343 3 0 757 0
[pid=13310] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13310/stat : 13310 (sh) S 13096 13096 12289 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 128814047 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13310/statm: 1339 225 188 169 0 50 0
[pid=13312] ppid=13310 vsize=231340 CPUtime=186.08
/proc/13312/stat : 13312 (clasp) R 13310 13096 12289 0 -1 4194304 60732 0 0 0 18581 27 0 0 25 0 1 0 128814047 236892160 56098 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0
/proc/13312/statm: 57835 56098 196 154 0 57305 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 251324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13312
/proc/meminfo: memFree=1607968/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.62
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1306 145418 0 0 9 1 159432 120 18 0 1 0 128654432 14979072 1013 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1013 343 3 0 757 0
[pid=13310] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13310/stat : 13310 (sh) S 13096 13096 12289 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 128814047 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13310/statm: 1339 225 188 169 0 50 0
[pid=13312] ppid=13310 vsize=243088 CPUtime=204.39
/proc/13312/stat : 13312 (clasp) R 13310 13096 12289 0 -1 4194304 63654 0 0 0 20410 29 0 0 25 0 1 0 128814047 248922112 59020 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0
/proc/13312/statm: 60772 59020 196 154 0 60242 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 263072

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13312
/proc/meminfo: memFree=1607968/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.62
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1306 145418 0 0 9 1 159432 120 18 0 1 0 128654432 14979072 1013 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1013 343 3 0 757 0
[pid=13310] ppid=13096 vsize=5356 CPUtime=0.01
/proc/13310/stat : 13310 (sh) S 13096 13096 12289 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 128814047 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13310/statm: 1339 225 188 169 0 50 0
[pid=13312] ppid=13310 vsize=243088 CPUtime=204.39
/proc/13312/stat : 13312 (clasp) R 13310 13096 12289 0 -1 4194304 63654 0 0 0 20410 29 0 0 25 0 1 0 128814047 248922112 59020 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0
/proc/13312/statm: 60772 59020 196 154 0 60242 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 263072

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13312
/proc/meminfo: memFree=1607968/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.68
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1468 147199 0 0 9 1 159432 126 16 0 1 0 128654432 14979072 1015 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1015 343 3 0 757 0
Current children cumulated CPU time (s) 1595.68
Current children cumulated vsize (KiB) 14628

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13312
/proc/meminfo: memFree=1607968/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.68
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1468 147199 0 0 9 1 159432 126 16 0 1 0 128654432 14979072 1015 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1015 343 3 0 757 0
Current children cumulated CPU time (s) 1595.68
Current children cumulated vsize (KiB) 14628

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 13323
/proc/meminfo: memFree=1820808/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.68
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1468 147199 0 0 9 1 159432 126 16 0 1 0 128654432 14979072 1015 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1015 343 3 0 757 0
[pid=13321] ppid=13096 vsize=5356 CPUtime=0
/proc/13321/stat : 13321 (sh) S 13096 13096 12289 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 128834500 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13321/statm: 1339 225 188 169 0 50 0
[pid=13322] ppid=13321 vsize=2520 CPUtime=0
/proc/13322/stat : 13322 (cat) S 13321 13096 12289 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 128834500 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 246406676706 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13322/statm: 630 87 71 4 0 42 0
[pid=13323] ppid=13321 vsize=35756 CPUtime=1.51
/proc/13323/stat : 13323 (clasp) R 13321 13096 12289 0 -1 4194304 8623 0 0 0 147 4 0 0 25 0 1 0 128834500 36614144 8552 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135088139 0 0 4096 0 0 0 0 17 1 0 0
/proc/13323/statm: 8939 8552 173 154 0 8409 0
Current children cumulated CPU time (s) 1597.19
Current children cumulated vsize (KiB) 58260

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 13323
/proc/meminfo: memFree=1820808/2055920 swapFree=4184100/4192956
[pid=13096] ppid=13094 vsize=14628 CPUtime=1595.68
/proc/13096/stat : 13096 (pbclasp) S 13094 13096 12289 0 -1 4194304 1468 147199 0 0 9 1 159432 126 16 0 1 0 128654432 14979072 1015 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13096/statm: 3657 1015 343 3 0 757 0
[pid=13321] ppid=13096 vsize=5356 CPUtime=0
/proc/13321/stat : 13321 (sh) S 13096 13096 12289 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 128834500 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13321/statm: 1339 225 188 169 0 50 0
[pid=13322] ppid=13321 vsize=2520 CPUtime=0
/proc/13322/stat : 13322 (cat) S 13321 13096 12289 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 128834500 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 246406676706 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13322/statm: 630 87 71 4 0 42 0
[pid=13323] ppid=13321 vsize=44556 CPUtime=1.91
/proc/13323/stat : 13323 (clasp) R 13321 13096 12289 0 -1 4194304 10803 0 0 0 186 5 0 0 25 0 1 0 128834500 45625344 10732 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 10851294 0 0 4096 0 0 0 0 17 1 0 0
/proc/13323/statm: 11139 10732 173 154 0 10609 0
Current children cumulated CPU time (s) 1597.59
Current children cumulated vsize (KiB) 67060

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13096 and gives
#  childrusage.ru_utime.tv_sec=1594
#  childrusage.ru_utime.tv_usec=426610
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=291803
# CPU time returned by wait4() is 1595.72
# while last known CPU time is 1597.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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): 204.34
#  lost CPU user time (s): 204.1
#  lost CPU system time (s): 0.24

Real time (s): 1802.63
CPU time (s): 1801.93
CPU user time (s): 1800.37
CPU system time (s): 1.56
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 583332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1594.43
system time used= 1.2918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149605
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= 3511
involuntary context switches= 4161

runsolver used 2.13468 second user time and 4.42833 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Apr 21 14:48:28 UTC 2007

IDJOB= 373109
IDBENCH= 25020
IDSOLVER= 158
FILE ID= node61/373109-1177166907

PBS_JOBID= 4648931

Free space on /tmp= 66497 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= pbclasp instance-373109-1177166907.opb /tmp/evaluation/373109-1177166907/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-373109-1177166907 -o ROOT/results/node61/conversion-373109-1177166907 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373109-1177166907/instance-373109-1177166907.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  904168892843efef74e3394360b8d762

RANDOM SEED= 22791263

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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:       1858936 kB
Buffers:         32800 kB
Cached:         113876 kB
SwapCached:       2652 kB
Active:          29956 kB
Inactive:       127480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858936 kB
SwapTotal:     4192956 kB
SwapFree:      4184100 kB
Dirty:            5736 kB
Writeback:           0 kB
Mapped:          16776 kB
Slab:            25688 kB
Committed_AS:   962060 kB
PageTables:       1388 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= 66486 MiB

End job on node61 on Sat Apr 21 15:18:31 UTC 2007