Trace number 1717394

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
satake 2009-03-22? (TO) 1200.21 601.452

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

Solver Data


Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1717394-1240627915/watcher-1717394-1240627915 -o /tmp/evaluation-result-1717394-1240627915/solver-1717394-1240627915 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1717394-1240627915.cnf 3 1200 

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16421
/proc/meminfo: memFree=1699312/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=3592 CPUtime=0
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 657 0 0 0 0 0 0 0 18 0 4 0 90819711 3678208 642 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 898 648 65 163 0 733 0
[pid=16421/tid=16422] ppid=16419 vsize=3592 CPUtime=0
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90819711 3678208 664 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=3592 CPUtime=0
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 464 0 0 0 0 0 0 0 19 0 4 0 90819711 3678208 672 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=3592 CPUtime=0
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 133 0 0 0 0 0 0 0 19 0 4 0 90819711 3678208 681 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0600671 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16421
/proc/meminfo: memFree=1699312/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=66568 CPUtime=0.1
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 10657 0 0 0 0 10 0 0 18 0 4 0 90819711 68165632 10642 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 16642 10650 65 163 0 16477 0
[pid=16421/tid=16422] ppid=16419 vsize=66568 CPUtime=0
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90819711 68165632 10656 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=66568 CPUtime=0.05
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 5524 0 0 0 0 5 0 0 18 0 4 0 90819711 68165632 10663 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=66568 CPUtime=0.05
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 5064 0 0 0 0 5 0 0 20 0 4 0 90819711 68165632 10670 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 66568

[startup+0.101332 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16421
/proc/meminfo: memFree=1699312/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=52524 CPUtime=0.17
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 12723 0 0 0 6 11 0 0 18 0 4 0 90819711 53784576 12696 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 13131 12698 65 163 0 12966 0
[pid=16421/tid=16422] ppid=16419 vsize=52524 CPUtime=0
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90819711 53784576 12699 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=52524 CPUtime=0.08
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 6264 0 0 0 3 5 0 0 16 0 4 0 90819711 53784576 12700 1992294400 134512640 135180984 4294956208 18446744073709551615 134522312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=52524 CPUtime=0.08
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 6373 0 0 0 3 5 0 0 17 0 4 0 90819711 53784576 12701 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 52524

[startup+0.301073 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16421
/proc/meminfo: memFree=1699312/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=82084 CPUtime=0.57
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 18874 0 0 0 41 16 0 0 18 0 4 0 90819711 84054016 18840 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 20521 18841 65 163 0 20356 0
[pid=16421/tid=16422] ppid=16419 vsize=82084 CPUtime=0
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90819711 84054016 18841 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=82084 CPUtime=0.28
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 9164 0 0 0 20 8 0 0 16 0 4 0 90819711 84054016 18842 1992294400 134512640 135180984 4294956208 18446744073709551615 134522598 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=82084 CPUtime=0.28
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 9622 0 0 0 21 7 0 0 17 0 4 0 90819711 84054016 18843 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 82084

[startup+0.701107 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16421
/proc/meminfo: memFree=1699312/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=143252 CPUtime=1.37
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 31366 0 0 0 112 25 0 0 18 0 4 0 90819711 146690048 31332 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 35813 31332 65 163 0 35648 0
[pid=16421/tid=16422] ppid=16419 vsize=143252 CPUtime=0
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90819711 146690048 31333 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=143252 CPUtime=0.68
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 15231 0 0 0 55 13 0 0 16 0 4 0 90819711 146690048 31333 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=143252 CPUtime=0.68
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 16046 0 0 0 56 12 0 0 16 0 4 0 90819711 146690048 31338 1992294400 134512640 135180984 4294956208 18446744073709551615 134513732 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 143252

[startup+1.50119 s]
/proc/loadavg: 0.91 0.97 0.99 2/68 16425
/proc/meminfo: memFree=1535888/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=197784 CPUtime=2.93
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 51493 0 0 0 254 39 0 0 18 0 4 0 90819711 202530816 40089 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 49446 40089 68 163 0 49281 0
[pid=16421/tid=16422] ppid=16419 vsize=197784 CPUtime=0.01
/proc/16421/task/16422/stat : 16422 (satake) R 16419 16421 15684 0 -1 4194368 1593 0 0 0 1 0 0 0 17 0 4 0 90819711 202530816 40089 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=197784 CPUtime=1.43
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 24760 0 0 0 124 19 0 0 16 0 4 0 90819711 202530816 40089 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=197784 CPUtime=1.46
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 25057 0 0 0 128 18 0 0 16 0 4 0 90819711 202530816 40089 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 197784

[startup+3.10133 s]
/proc/loadavg: 0.91 0.97 0.99 4/68 16425
/proc/meminfo: memFree=1537040/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=209796 CPUtime=6.13
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 56838 0 0 0 571 42 0 0 18 0 4 0 90819711 214831104 45434 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 52449 45434 68 163 0 52284 0
[pid=16421/tid=16422] ppid=16419 vsize=209796 CPUtime=0.09
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6352 0 0 0 7 2 0 0 17 0 4 0 90819711 214831104 45434 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=209796 CPUtime=2.96
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 25066 0 0 0 276 20 0 0 17 0 4 0 90819711 214831104 45434 1992294400 134512640 135180984 4294956208 18446744073709551615 134523775 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=209796 CPUtime=3.06
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 25337 0 0 0 287 19 0 0 17 0 4 0 90819711 214831104 45434 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 209796

[startup+6.30262 s]
/proc/loadavg: 1.00 0.98 0.99 3/68 16425
/proc/meminfo: memFree=1517200/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=209796 CPUtime=12.52
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 56906 0 0 0 1209 43 0 0 18 0 4 0 90819711 214831104 45502 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 52449 45502 70 163 0 52284 0
[pid=16421/tid=16422] ppid=16419 vsize=209796 CPUtime=0.1
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6354 0 0 0 7 3 0 0 16 0 4 0 90819711 214831104 45502 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=209796 CPUtime=6.15
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 25081 0 0 0 595 20 0 0 23 0 4 0 90819711 214831104 45502 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=209796 CPUtime=6.24
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 25388 0 0 0 605 19 0 0 25 0 4 0 90819711 214831104 45502 1992294400 134512640 135180984 4294956208 18446744073709551615 134528993 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 209796

[startup+12.7012 s]
/proc/loadavg: 1.08 1.00 1.00 3/68 16425
/proc/meminfo: memFree=1516816/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=210060 CPUtime=25.29
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 56978 0 0 0 2481 48 0 0 18 0 4 0 90819711 215101440 45574 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 52515 45574 70 163 0 52350 0
[pid=16421/tid=16422] ppid=16419 vsize=210060 CPUtime=0.13
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6355 0 0 0 8 5 0 0 16 0 4 0 90819711 215101440 45574 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=210060 CPUtime=12.54
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 25126 0 0 0 1233 21 0 0 25 0 4 0 90819711 215101440 45574 1992294400 134512640 135180984 4294956208 18446744073709551615 134520671 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=210060 CPUtime=12.6
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 25414 0 0 0 1239 21 0 0 25 0 4 0 90819711 215101440 45574 1992294400 134512640 135180984 4294956208 18446744073709551615 134526482 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 210060

[startup+25.5013 s]
/proc/loadavg: 1.28 1.05 1.02 3/68 16425
/proc/meminfo: memFree=1516304/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=210328 CPUtime=50.83
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 57123 0 0 0 5026 57 0 0 18 0 4 0 90819711 215375872 45719 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 52582 45719 70 163 0 52417 0
[pid=16421/tid=16422] ppid=16419 vsize=210328 CPUtime=0.18
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6364 0 0 0 9 9 0 0 16 0 4 0 90819711 215375872 45719 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=210328 CPUtime=25.31
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 25203 0 0 0 2507 24 0 0 25 0 4 0 90819711 215375872 45719 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=210328 CPUtime=25.32
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 25473 0 0 0 2509 23 0 0 25 0 4 0 90819711 215375872 45719 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 210328

[startup+51.1016 s]
/proc/loadavg: 1.53 1.12 1.04 3/68 16425
/proc/meminfo: memFree=1514704/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=213172 CPUtime=101.91
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 57524 0 0 0 10115 76 0 0 18 0 4 0 90819711 218288128 46120 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 53293 46120 70 163 0 53128 0
[pid=16421/tid=16422] ppid=16419 vsize=213172 CPUtime=0.3
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6394 0 0 0 12 18 0 0 16 0 4 0 90819711 218288128 46120 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=213172 CPUtime=50.84
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 25412 0 0 0 5055 29 0 0 25 0 4 0 90819711 218288128 46120 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=213172 CPUtime=50.74
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 25635 0 0 0 5047 27 0 0 25 0 4 0 90819711 218288128 46120 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 213172

[startup+102.305 s]
/proc/loadavg: 1.79 1.26 1.09 3/68 16425
/proc/meminfo: memFree=1511568/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=215920 CPUtime=204.09
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 58314 0 0 0 20299 110 0 0 18 0 4 0 90819711 221102080 46910 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 53980 46910 70 163 0 53815 0
[pid=16421/tid=16422] ppid=16419 vsize=215920 CPUtime=0.49
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6440 0 0 0 16 33 0 0 16 0 4 0 90819711 221102080 46910 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=215920 CPUtime=101.94
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 25850 0 0 0 10156 38 0 0 25 0 4 0 90819711 221102080 46910 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=215920 CPUtime=101.65
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 25941 0 0 0 10127 38 0 0 25 0 4 0 90819711 221102080 46910 1992294400 134512640 135180984 4294956208 18446744073709551615 134528192 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 215920

[startup+162.302 s]
/proc/loadavg: 1.92 1.39 1.14 3/68 16425
/proc/meminfo: memFree=1507664/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=219084 CPUtime=323.83
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 59283 0 0 0 32237 146 0 0 18 0 4 0 90819711 224342016 47879 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 54771 47879 70 163 0 54606 0
[pid=16421/tid=16422] ppid=16419 vsize=219084 CPUtime=0.68
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6496 0 0 0 19 49 0 0 16 0 4 0 90819711 224342016 47879 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=219084 CPUtime=161.81
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 26323 0 0 0 16133 48 0 0 25 0 4 0 90819711 224342016 47879 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=219084 CPUtime=161.31
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 26381 0 0 0 16083 48 0 0 25 0 4 0 90819711 224342016 47879 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.83
Current children cumulated vsize (KiB) 219084

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.19 3/68 16425
/proc/meminfo: memFree=1501200/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=225720 CPUtime=443.58
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 60884 0 0 0 44187 171 0 0 18 0 4 0 90819711 231137280 49480 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 56430 49480 70 163 0 56265 0
[pid=16421/tid=16422] ppid=16419 vsize=225720 CPUtime=0.82
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6532 0 0 0 22 60 0 0 16 0 4 0 90819711 231137280 49480 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=225720 CPUtime=221.72
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 27407 0 0 0 22117 55 0 0 25 0 4 0 90819711 231137280 49480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=225720 CPUtime=221.01
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 26862 0 0 0 22047 54 0 0 25 0 4 0 90819711 231137280 49480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.58
Current children cumulated vsize (KiB) 225720

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/68 16425
/proc/meminfo: memFree=1496656/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=230504 CPUtime=563.32
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 62034 0 0 0 56136 196 0 0 18 0 4 0 90819711 236036096 50630 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 57626 50630 70 163 0 57461 0
[pid=16421/tid=16422] ppid=16419 vsize=230504 CPUtime=0.95
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6572 0 0 0 25 70 0 0 16 0 4 0 90819711 236036096 50630 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16421/tid=16423] ppid=16419 vsize=230504 CPUtime=281.64
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 28121 0 0 0 28101 63 0 0 25 0 4 0 90819711 236036096 50630 1992294400 134512640 135180984 4294956208 18446744073709551615 134525209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=230504 CPUtime=280.72
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 27258 0 0 0 28010 62 0 0 25 0 4 0 90819711 236036096 50630 1992294400 134512640 135180984 4294956208 18446744073709551615 134520884 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.32
Current children cumulated vsize (KiB) 230504

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.29 3/68 16425
/proc/meminfo: memFree=1492688/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=235428 CPUtime=683.06
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 63004 0 0 0 68068 238 0 0 18 0 4 0 90819711 241078272 51600 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 58857 51600 70 163 0 58692 0
[pid=16421/tid=16422] ppid=16419 vsize=235428 CPUtime=1.18
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6641 0 0 0 30 88 0 0 16 0 4 0 90819711 241078272 51600 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=235428 CPUtime=341.49
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 28613 0 0 0 34075 74 0 0 25 0 4 0 90819711 241078272 51600 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=235428 CPUtime=340.36
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 27667 0 0 0 33962 74 0 0 25 0 4 0 90819711 241078272 51600 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.06
Current children cumulated vsize (KiB) 235428

[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.33 3/68 16425
/proc/meminfo: memFree=1488784/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=238928 CPUtime=802.81
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 63977 0 0 0 80017 264 0 0 18 0 4 0 90819711 244662272 52573 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 59732 52573 70 163 0 59567 0
[pid=16421/tid=16422] ppid=16419 vsize=238928 CPUtime=1.34
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6682 0 0 0 34 100 0 0 16 0 4 0 90819711 244662272 52573 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=238928 CPUtime=401.4
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 28978 0 0 0 40060 80 0 0 25 0 4 0 90819711 244662272 52573 1992294400 134512640 135180984 4294956208 18446744073709551615 134523757 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=238928 CPUtime=400.05
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 28234 0 0 0 39923 82 0 0 25 0 4 0 90819711 244662272 52573 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.81
Current children cumulated vsize (KiB) 238928

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 16425
/proc/meminfo: memFree=1486096/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=241404 CPUtime=922.55
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 64663 0 0 0 91965 290 0 0 18 0 4 0 90819711 247197696 53259 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 60351 53259 70 163 0 60186 0
[pid=16421/tid=16422] ppid=16419 vsize=241404 CPUtime=1.48
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6728 0 0 0 37 111 0 0 16 0 4 0 90819711 247197696 53259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16421/tid=16423] ppid=16419 vsize=241404 CPUtime=461.31
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 29330 0 0 0 46043 88 0 0 25 0 4 0 90819711 247197696 53259 1992294400 134512640 135180984 4294956208 18446744073709551615 134523603 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=241404 CPUtime=459.75
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 28522 0 0 0 45884 91 0 0 25 0 4 0 90819711 247197696 53259 1992294400 134512640 135180984 4294956208 18446744073709551615 134528872 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.55
Current children cumulated vsize (KiB) 241404

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.40 3/68 16425
/proc/meminfo: memFree=1480272/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=247672 CPUtime=1042.3
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 66152 0 0 0 103905 325 0 0 18 0 4 0 90819711 253616128 54748 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 61918 54748 70 163 0 61753 0
[pid=16421/tid=16422] ppid=16419 vsize=247672 CPUtime=1.68
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6785 0 0 0 42 126 0 0 16 0 4 0 90819711 253616128 54748 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=247672 CPUtime=521.18
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 29818 0 0 0 52021 97 0 0 25 0 4 0 90819711 253616128 54748 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=247672 CPUtime=519.42
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 29466 0 0 0 51841 101 0 0 25 0 4 0 90819711 253616128 54748 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.3
Current children cumulated vsize (KiB) 247672

[startup+582.301 s]
/proc/loadavg: 2.04 1.85 1.44 3/68 16431
/proc/meminfo: memFree=1468936/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=258832 CPUtime=1162.03
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 68970 0 0 0 115855 348 0 0 18 0 4 0 90819711 265043968 57566 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 64708 57566 70 163 0 64543 0
[pid=16421/tid=16422] ppid=16419 vsize=258832 CPUtime=1.77
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6836 0 0 0 44 133 0 0 16 0 4 0 90819711 265043968 57566 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16421/tid=16423] ppid=16419 vsize=258832 CPUtime=581.1
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 31060 0 0 0 58006 104 0 0 25 0 4 0 90819711 265043968 57566 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=258832 CPUtime=579.14
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 30991 0 0 0 57804 110 0 0 25 0 4 0 90819711 265043968 57566 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.03
Current children cumulated vsize (KiB) 258832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 2.03 1.86 1.45 3/68 16431
/proc/meminfo: memFree=1466376/2055920 swapFree=4192812/4192956
[pid=16421] ppid=16419 vsize=261312 CPUtime=1200.15
/proc/16421/stat : 16421 (satake) S 16419 16421 15684 0 -1 4194304 69577 0 0 0 119659 356 0 0 18 0 4 0 90819711 267583488 58173 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16421/statm: 65328 58173 70 163 0 65163 0
[pid=16421/tid=16422] ppid=16419 vsize=261312 CPUtime=1.81
/proc/16421/task/16422/stat : 16422 (satake) S 16419 16421 15684 0 -1 4194368 6849 0 0 0 45 136 0 0 16 0 4 0 90819711 267583488 58173 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16421/tid=16423] ppid=16419 vsize=261312 CPUtime=600.18
/proc/16421/task/16423/stat : 16423 (satake) R 16419 16421 15684 0 -1 4194368 31470 0 0 0 59911 107 0 0 25 0 4 0 90819711 267583488 58173 1992294400 134512640 135180984 4294956208 18446744073709551615 134523696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16421/tid=16424] ppid=16419 vsize=261312 CPUtime=598.14
/proc/16421/task/16424/stat : 16424 (satake) R 16419 16421 15684 0 -1 4194368 31175 0 0 0 59702 112 0 0 25 0 4 0 90819711 267583488 58173 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 261312

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): 601.452
CPU time (s): 1200.21
CPU user time (s): 1196.6
CPU system time (s): 3.60845
CPU usage (%): 199.552
Max. virtual memory (cumulated for all children) (KiB): 261312

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

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

runsolver used 0.535918 second user time and 1.66675 second system time

The end

Launcher Data 

Begin job on node43 at 2009-04-25 04:51:57
IDJOB=1717394
IDBENCH=20410
IDSOLVER=553
FILE ID=node43/1717394-1240627915
PBS_JOBID= 9186351
Free space on /tmp= 66380 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1717394-1240627915/watcher-1717394-1240627915 -o /tmp/evaluation-result-1717394-1240627915/solver-1717394-1240627915 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1717394-1240627915.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=221971734

node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.237
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.237
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:       1699728 kB
Buffers:         33328 kB
Cached:         241384 kB
SwapCached:        144 kB
Active:          77956 kB
Inactive:       210852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699728 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           23488 kB
Writeback:           0 kB
Mapped:          23692 kB
Slab:            53312 kB
Committed_AS:   307472 kB
PageTables:       1444 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= 66380 MiB
End job on node43 at 2009-04-25 05:02:00