Trace number 3493891

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
Haifa-MUC-A 2011-04-07? (TO) 1800.07 1800.01

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net50-40-5.shuffled.cnf
MD5SUMaae7fe5064cdba8e66161bb50ec0f209
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark754.708
Satisfiable
(Un)Satisfiability was proved
Number of variables4000
Number of clauses11901
Sum of the clauses size27950
Maximum clause length50
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 27800
Number of clauses of size 34100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

1702.05/1702.04	c WARNING: for repeatability, setting FPU to use double precision
1702.05/1702.04	c iter 1 time 365.962 not-muc 1642 unknown 10259 muc 0
1702.05/1702.04	c iter 2 time 541.13 not-muc 1854 unknown 10047 muc 0
1702.05/1702.04	c iter 3 time 541.19 not-muc 1854 unknown 10046 muc 1
1702.05/1702.04	c iter 4 time 541.3 not-muc 1854 unknown 10045 muc 2
1702.05/1702.04	c iter 5 time 541.435 not-muc 1854 unknown 10044 muc 3
1702.05/1702.04	c iter 6 time 541.443 not-muc 1854 unknown 10043 muc 4
1702.05/1702.04	c iter 7 time 541.446 not-muc 1854 unknown 10042 muc 5
1702.05/1702.04	c iter 8 time 541.51 not-muc 1854 unknown 10041 muc 6
1702.05/1702.04	c iter 9 time 544.239 not-muc 1854 unknown 10040 muc 7
1702.05/1702.04	c iter 10 time 560.859 not-muc 1854 unknown 10039 muc 8
1702.05/1702.04	c iter 11 time 561.002 not-muc 1854 unknown 10038 muc 9
1702.05/1702.04	c iter 12 time 734.757 not-muc 2018 unknown 9874 muc 9
1702.05/1702.04	c iter 13 time 734.789 not-muc 2018 unknown 9873 muc 10
1702.05/1702.04	c iter 14 time 807.705 not-muc 2127 unknown 9764 muc 10
1702.05/1702.04	c iter 15 time 808.039 not-muc 2127 unknown 9763 muc 11
1702.05/1702.04	c iter 16 time 808.06 not-muc 2127 unknown 9762 muc 12
1702.05/1702.04	c iter 17 time 808.066 not-muc 2127 unknown 9761 muc 13
1702.05/1702.04	c iter 18 time 976.066 not-muc 2249 unknown 9639 muc 13
1702.05/1702.04	c iter 19 time 976.102 not-muc 2249 unknown 9638 muc 14
1702.05/1702.04	c iter 20 time 976.106 not-muc 2249 unknown 9637 muc 15
1702.05/1702.04	c iter 21 time 976.113 not-muc 2249 unknown 9636 muc 16
1702.05/1702.04	c iter 22 time 976.345 not-muc 2249 unknown 9635 muc 17
1702.05/1702.04	c iter 23 time 979.604 not-muc 2249 unknown 9634 muc 18
1702.05/1702.04	c iter 24 time 982.235 not-muc 2249 unknown 9633 muc 19
1702.05/1702.04	c iter 25 time 982.359 not-muc 2249 unknown 9632 muc 20
1702.05/1702.04	c iter 26 time 982.387 not-muc 2249 unknown 9631 muc 21
1702.05/1702.04	c iter 27 time 982.741 not-muc 2249 unknown 9630 muc 22
1702.05/1702.04	c iter 28 time 983.074 not-muc 2249 unknown 9629 muc 23
1702.05/1702.04	c iter 29 time 1057.74 not-muc 2346 unknown 9532 muc 23
1702.05/1702.04	c iter 30 time 1057.81 not-muc 2346 unknown 9531 muc 24
1702.05/1702.04	c iter 31 time 1057.81 not-muc 2346 unknown 9530 muc 25
1702.05/1702.04	c iter 32 time 1063.03 not-muc 2346 unknown 9529 muc 26
1702.05/1702.04	c iter 33 time 1063.06 not-muc 2346 unknown 9528 muc 27
1702.05/1702.04	c iter 34 time 1063.74 not-muc 2346 unknown 9527 muc 28
1702.05/1702.04	c iter 35 time 1063.77 not-muc 2346 unknown 9526 muc 29
1702.05/1702.04	c iter 36 time 1063.77 not-muc 2346 unknown 9525 muc 30
1702.05/1702.04	c iter 37 time 1064.99 not-muc 2346 unknown 9524 muc 31
1702.05/1702.04	c iter 38 time 1066.22 not-muc 2346 unknown 9523 muc 32
1702.05/1702.04	c iter 39 time 1066.31 not-muc 2346 unknown 9522 muc 33
1702.05/1702.04	c iter 40 time 1066.43 not-muc 2346 unknown 9521 muc 34
1702.05/1702.04	c iter 41 time 1066.44 not-muc 2346 unknown 9520 muc 35
1702.05/1702.04	c iter 42 time 1067.29 not-muc 2346 unknown 9519 muc 36
1702.05/1702.04	c iter 43 time 1067.36 not-muc 2346 unknown 9518 muc 37
1702.05/1702.04	c iter 44 time 1067.37 not-muc 2346 unknown 9517 muc 38
1702.05/1702.04	c iter 45 time 1067.39 not-muc 2346 unknown 9516 muc 39
1702.05/1702.04	c iter 46 time 1067.41 not-muc 2346 unknown 9515 muc 40
1702.05/1702.04	c iter 47 time 1067.44 not-muc 2346 unknown 9514 muc 41
1702.05/1702.04	c iter 48 time 1067.45 not-muc 2346 unknown 9513 muc 42
1702.05/1702.04	c iter 49 time 1067.72 not-muc 2346 unknown 9512 muc 43
1702.05/1702.04	c iter 50 time 1067.81 not-muc 2346 unknown 9511 muc 44
1702.05/1702.04	c iter 51 time 1240.43 not-muc 2400 unknown 9457 muc 44
1702.05/1702.04	c iter 52 time 1240.47 not-muc 2400 unknown 9456 muc 45
1702.05/1702.04	c iter 53 time 1409.76 not-muc 2424 unknown 9432 muc 45
1702.05/1702.04	c iter 54 time 1425.62 not-muc 2424 unknown 9431 muc 46
1702.05/1702.04	c iter 55 time 1425.81 not-muc 2424 unknown 9430 muc 47
1702.05/1702.04	c iter 56 time 1503.14 not-muc 2465 unknown 9389 muc 47
1702.05/1702.04	c iter 57 time 1503.26 not-muc 2465 unknown 9388 muc 48
1702.05/1702.04	c iter 58 time 1503.27 not-muc 2465 unknown 9387 muc 49
1702.05/1702.04	c iter 59 time 1674.64 not-muc 2488 unknown 9364 muc 49
1702.05/1702.04	c iter 60 time 1681.44 not-muc 2488 unknown 9363 muc 50
1702.05/1702.04	c iter 61 time 1681.46 not-muc 2488 unknown 9362 muc 51
1702.05/1702.04	c iter 62 time 1681.71 not-muc 2488 unknown 9361 muc 52
1702.05/1702.04	c iter 63 time 1685.06 not-muc 2488 unknown 9360 muc 53
1702.05/1702.04	c iter 64 time 1685.07 not-muc 2488 unknown 9359 muc 54
1702.05/1702.04	c iter 65 time 1685.2 not-muc 2488 unknown 9358 muc 55
1702.05/1702.04	c iter 66 time 1685.25 not-muc 2488 unknown 9357 muc 56
1702.05/1702.04	c iter 67 time 1685.33 not-muc 2488 unknown 9356 muc 57
1702.05/1702.04	c iter 68 time 1685.52 not-muc 2488 unknown 9355 muc 58
1702.05/1702.04	c iter 69 time 1685.62 not-muc 2488 unknown 9354 muc 59
1702.05/1702.04	c iter 70 time 1685.65 not-muc 2488 unknown 9353 muc 60
1702.05/1702.04	c iter 71 time 1685.66 not-muc 2488 unknown 9352 muc 61
1702.05/1702.04	c iter 72 time 1685.67 not-muc 2488 unknown 9351 muc 62
1702.05/1702.04	c iter 73 time

Verifier Data 

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493891-1307804367/watcher-3493891-1307804367 -o /tmp/evaluation-result-3493891-1307804367/solver-3493891-1307804367 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493891-1307804367.cnf 

running on 2 cores: 1,3

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.73 2.66 3.06 5/189 7185
/proc/meminfo: memFree=31594084/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=21272 CPUtime=0 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 831 0 0 0 0 0 0 0 25 0 1 0 970667242 21782528 769 33554432000 4194304 4311632 140733619966592 18446744073709551615 260020056773 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 5318 770 218 29 0 1947 0

[startup+0.055448 s]
/proc/loadavg: 1.73 2.66 3.06 5/189 7185
/proc/meminfo: memFree=31594084/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=18060 CPUtime=0.05 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 1491 0 0 0 5 0 0 0 25 0 1 0 970667242 18493440 1201 33554432000 4194304 4311632 140733619966592 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 4515 1201 245 29 0 1144 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18060

[startup+0.100437 s]
/proc/loadavg: 1.73 2.66 3.06 5/189 7185
/proc/meminfo: memFree=31594084/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=19712 CPUtime=0.09 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 1683 0 0 0 9 0 0 0 25 0 1 0 970667242 20185088 1393 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 4928 1393 245 29 0 1557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19712

[startup+0.300403 s]
/proc/loadavg: 1.73 2.66 3.06 5/189 7185
/proc/meminfo: memFree=31594084/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=24080 CPUtime=0.29 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 2717 0 0 0 29 0 0 0 25 0 1 0 970667242 24657920 2426 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264135 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 6020 2426 245 29 0 2649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24080

[startup+0.70033 s]
/proc/loadavg: 1.73 2.66 3.06 5/189 7185
/proc/meminfo: memFree=31594084/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=42756 CPUtime=0.69 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 6851 0 0 0 69 0 0 0 25 0 1 0 970667242 43782144 6557 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 10689 6557 246 29 0 7318 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42756

[startup+1.50019 s]
/proc/loadavg: 1.73 2.66 3.06 5/190 7186
/proc/meminfo: memFree=31539912/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=65968 CPUtime=1.49 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 15874 0 0 0 148 1 0 0 25 0 1 0 970667242 67551232 11811 33554432000 4194304 4311632 140733619966592 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16492 11811 245 29 0 13121 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65968

[startup+3.10089 s]
/proc/loadavg: 1.73 2.66 3.06 5/190 7186
/proc/meminfo: memFree=31500972/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=48888 CPUtime=3.09 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 25705 0 0 0 306 3 0 0 25 0 1 0 970667242 50061312 5728 33554432000 4194304 4311632 140733619966592 18446744073709551615 4260240 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 12222 5728 245 29 0 8851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48888

[startup+6.30031 s]
/proc/loadavg: 1.91 2.68 3.06 5/190 7186
/proc/meminfo: memFree=31473692/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=67772 CPUtime=6.29 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 51517 0 0 0 624 5 0 0 25 0 1 0 970667242 69398528 12561 33554432000 4194304 4311632 140733619966592 18446744073709551615 4272916 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16943 12567 245 29 0 13572 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67772

[startup+12.7011 s]
/proc/loadavg: 2.08 2.70 3.07 5/190 7186
/proc/meminfo: memFree=31430628/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=12.69 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 115382 0 0 0 1257 12 0 0 25 0 1 0 970667242 118468608 22028 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 22028 245 29 0 25552 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115692

[startup+25.5008 s]
/proc/loadavg: 2.51 2.76 3.08 5/190 7186
/proc/meminfo: memFree=31418960/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=25.49 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 203831 0 0 0 2526 23 0 0 25 0 1 0 970667242 118468608 13887 33554432000 4194304 4311632 140733619966592 18446744073709551615 260020093397 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 13907 245 29 0 25552 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115692

[startup+51.1011 s]
/proc/loadavg: 3.08 2.88 3.11 5/190 7187
/proc/meminfo: memFree=31345992/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=146512 CPUtime=51.09 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 398480 0 0 0 5061 48 0 0 25 0 1 0 970667242 150028288 30540 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264175 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 36628 30541 245 29 0 33257 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 146512

[startup+102.307 s]
/proc/loadavg: 3.60 3.05 3.16 5/190 7349
/proc/meminfo: memFree=31363012/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=102.3 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 784957 0 0 0 10130 100 0 0 25 0 1 0 970667242 67964928 13390 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13390 245 29 0 13222 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66372

[startup+162.301 s]
/proc/loadavg: 3.85 3.22 3.21 5/190 7351
/proc/meminfo: memFree=31276032/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=196600 CPUtime=162.29 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 1228514 0 0 0 16073 156 0 0 25 0 1 0 970667242 201318400 39596 33554432000 4194304 4311632 140733619966592 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 49150 39596 245 29 0 45779 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 196600

[startup+222.301 s]
/proc/loadavg: 3.94 3.36 3.25 5/190 7353
/proc/meminfo: memFree=31307852/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=222.3 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 1678031 0 0 0 22012 218 0 0 25 0 1 0 970667242 118468608 22901 33554432000 4194304 4311632 140733619966592 18446744073709551615 4272991 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 22902 245 29 0 25552 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 115692

[startup+282.301 s]
/proc/loadavg: 3.98 3.47 3.30 5/190 7354
/proc/meminfo: memFree=31294020/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=282.29 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 2116720 0 0 0 27952 277 0 0 25 0 1 0 970667242 67964928 13392 33554432000 4194304 4311632 140733619966592 18446744073709551615 4272318 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13392 245 29 0 13222 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 66372

[startup+342.301 s]
/proc/loadavg: 3.99 3.57 3.34 5/190 7356
/proc/meminfo: memFree=31269408/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=196600 CPUtime=342.3 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 2553231 0 0 0 33895 335 0 0 25 0 1 0 970667242 201318400 38688 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264720 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 49150 38688 245 29 0 45779 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 196600

[startup+402.301 s]
/proc/loadavg: 3.99 3.64 3.38 5/190 7357
/proc/meminfo: memFree=31290316/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=146512 CPUtime=402.3 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 2986272 0 0 0 39838 392 0 0 25 0 1 0 970667242 150028288 31905 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264419 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 36628 31905 263 29 0 33257 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 146512

[startup+462.301 s]
/proc/loadavg: 4.07 3.73 3.42 5/190 7397
/proc/meminfo: memFree=31306640/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=146512 CPUtime=462.31 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 3440651 0 0 0 45778 453 0 0 25 0 1 0 970667242 150028288 28891 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 36628 28891 263 29 0 33257 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 146512

[startup+522.301 s]
/proc/loadavg: 4.02 3.78 3.46 5/190 7399
/proc/meminfo: memFree=31289964/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=522.3 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 3877527 0 0 0 51721 509 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264419 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 66372

[startup+582.301 s]
/proc/loadavg: 4.01 3.82 3.49 5/190 7400
/proc/meminfo: memFree=31356004/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=582.31 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 4261348 0 0 0 57672 559 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 66372

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 4.00 3.91 3.59 5/190 7407
/proc/meminfo: memFree=31355924/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=822.32 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 6029196 0 0 0 81445 787 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264455 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 66372

[startup+882.301 s]
/proc/loadavg: 4.00 3.92 3.62 5/190 7408
/proc/meminfo: memFree=31294232/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=146512 CPUtime=882.32 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 6473713 0 0 0 87389 843 0 0 25 0 1 0 970667242 150028288 30383 33554432000 4194304 4311632 140733619966592 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 36628 30383 263 29 0 33257 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 146512

[startup+942.301 s]
/proc/loadavg: 4.11 3.96 3.65 5/190 7410
/proc/meminfo: memFree=31355816/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=942.32 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 6915180 0 0 0 93333 899 0 0 25 0 1 0 970667242 118468608 23779 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 23779 263 29 0 25552 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 115692

[startup+1002.3 s]
/proc/loadavg: 4.09 3.98 3.67 5/190 7411
/proc/meminfo: memFree=31351176/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1002.32 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 7268605 0 0 0 99287 945 0 0 25 0 1 0 970667242 118468608 21361 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 21364 263 29 0 25552 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 115692

[startup+1062.3 s]
/proc/loadavg: 4.03 3.98 3.69 5/190 7413
/proc/meminfo: memFree=31349024/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1062.32 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 7713261 0 0 0 105233 999 0 0 25 0 1 0 970667242 118468608 24604 33554432000 4194304 4311632 140733619966592 18446744073709551615 4271243 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 24604 263 29 0 25552 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 115692

[startup+1122.3 s]
/proc/loadavg: 4.01 3.98 3.71 5/190 7415
/proc/meminfo: memFree=31309920/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=1122.32 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 8078846 0 0 0 111185 1047 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264419 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 66372

[startup+1182.3 s]
/proc/loadavg: 4.00 3.98 3.72 5/190 7416
/proc/meminfo: memFree=31290656/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1182.33 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 8539836 0 0 0 117123 1110 0 0 25 0 1 0 970667242 118468608 21199 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264202 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 21199 263 29 0 25552 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 115692

[startup+1242.3 s]
/proc/loadavg: 4.00 3.98 3.74 5/190 7494
/proc/meminfo: memFree=31231052/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1242.33 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 8985472 0 0 0 123064 1169 0 0 25 0 1 0 970667242 118468608 21034 33554432000 4194304 4311632 140733619966592 18446744073709551615 4271580 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 21034 263 29 0 25552 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 115692

[startup+1302.3 s]
/proc/loadavg: 4.00 3.98 3.75 5/190 7495
/proc/meminfo: memFree=31230880/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=1302.33 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 9396881 0 0 0 129013 1220 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 66372

[startup+1362.3 s]
/proc/loadavg: 4.00 3.98 3.76 5/190 7497
/proc/meminfo: memFree=31151316/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=196600 CPUtime=1362.33 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 9853037 0 0 0 134954 1279 0 0 25 0 1 0 970667242 201318400 34002 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 49150 34004 263 29 0 45779 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 196600

[startup+1422.31 s]
/proc/loadavg: 4.00 3.98 3.77 5/190 7499
/proc/meminfo: memFree=31076104/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=277988 CPUtime=1422.34 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 10289352 0 0 0 140898 1336 0 0 25 0 1 0 970667242 284659712 48907 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 69497 48907 263 29 0 66126 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 277988

[startup+1482.3 s]
/proc/loadavg: 4.00 3.98 3.78 5/190 7576
/proc/meminfo: memFree=31009412/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=1482.33 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 10657291 0 0 0 146850 1383 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4271553 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 66372

[startup+1542.3 s]
/proc/loadavg: 4.03 4.00 3.80 5/190 7578
/proc/meminfo: memFree=31047948/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1542.34 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 11063010 0 0 0 152801 1433 0 0 25 0 1 0 970667242 118468608 24563 33554432000 4194304 4311632 140733619966592 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 24563 263 29 0 25552 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 115692

[startup+1602.3 s]
/proc/loadavg: 4.01 4.00 3.81 5/190 7579
/proc/meminfo: memFree=31037372/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=1602.34 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 11507961 0 0 0 158742 1492 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 66372

[startup+1662.3 s]
/proc/loadavg: 4.08 4.02 3.83 5/190 7581
/proc/meminfo: memFree=31084556/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1662.34 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 11958587 0 0 0 164679 1555 0 0 25 0 1 0 970667242 118468608 19227 33554432000 4194304 4311632 140733619966592 18446744073709551615 260020093397 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 19248 263 29 0 25552 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 115692

[startup+1722.3 s]
/proc/loadavg: 4.03 4.01 3.83 5/190 7583
/proc/meminfo: memFree=31031556/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=66372 CPUtime=1722.35 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 12331954 0 0 0 170633 1602 0 0 25 0 1 0 970667242 67964928 13415 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 16593 13415 263 29 0 13222 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 66372

[startup+1782.3 s]
/proc/loadavg: 4.01 4.00 3.84 5/190 7584
/proc/meminfo: memFree=31083436/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1782.35 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 12783256 0 0 0 176576 1659 0 0 25 0 1 0 970667242 118468608 21477 33554432000 4194304 4311632 140733619966592 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 21477 263 29 0 25552 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 115692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 4.07 4.02 3.85 5/190 7585
/proc/meminfo: memFree=31049192/32951124 swapFree=67056304/67111528
[pid=7185] ppid=7183 vsize=115692 CPUtime=1800.05 cores=1,3
/proc/7185/stat : 7185 (hmuc-a) R 7183 7185 6571 0 -1 4202496 12918411 0 0 0 178330 1675 0 0 25 0 1 0 970667242 118468608 22242 33554432000 4194304 4311632 140733619966592 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/7185/statm: 28923 22242 263 29 0 25552 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 115692

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1783.31
CPU system time (s): 16.7585
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 277988

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

runsolver used 2.96155 second user time and 6.86596 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-11 16:59:27
IDJOB=3493891
IDBENCH=88016
IDSOLVER=1983
FILE ID=node110/3493891-1307804367
RUNJOBID= node110-1307804366-7129
PBS_JOBID= 13551064
Free space on /tmp= 74144 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net50-40-5.shuffled.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493891-1307804367/watcher-3493891-1307804367 -o /tmp/evaluation-result-3493891-1307804367/solver-3493891-1307804367 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3493891-1307804367.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= aae7fe5064cdba8e66161bb50ec0f209
RANDOM SEED=960195596

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31595520 kB
Buffers:        311536 kB
Cached:         781708 kB
SwapCached:       8464 kB
Active:         519256 kB
Inactive:       603188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31595520 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            2804 kB
Writeback:          12 kB
AnonPages:       27128 kB
Mapped:          12988 kB
Slab:           168552 kB
PageTables:       5172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   262752 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74112 MiB
End job on node110 at 2011-06-11 17:29:29