Trace number 3386323

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
SArTagnan 2011-05-15 (fixed)UNSAT 515.333 129.627

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
MD5SUMc139a321e75833c70af36726562b66de
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.2925
Satisfiable
(Un)Satisfiability was proved
Number of variables196306
Number of clauses582994
Sum of the clauses size1360318
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2388662
Number of clauses of size 3194331
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

515.29/129.60	
515.29/129.60	s UNSATISFIABLE
515.29/129.60	c Conflict at level 0

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3386323-1305583453/watcher-3386323-1305583453 -o /tmp/evaluation-result-3386323-1305583453/solver-3386323-1305583453 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386323-1305583453.cnf -threads=4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.13 8.06 6.61 5/493 31736
/proc/meminfo: memFree=19438424/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=49344 CPUtime=0.01 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 4170 0 0 0 1 0 0 0 25 0 1 0 650761609 50528256 4109 33554432000 4194304 4625164 140733214643872 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/31736/statm: 12384 4109 296 106 0 7887 0

[startup+0.105832 s]
/proc/loadavg: 8.13 8.06 6.61 5/493 31736
/proc/meminfo: memFree=19438424/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=58356 CPUtime=0.09 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 9481 0 0 0 9 0 0 0 25 0 1 0 650761609 59756544 6554 33554432000 4194304 4625164 140733214643872 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/31736/statm: 14589 6555 296 106 0 10092 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58356

[startup+0.20082 s]
/proc/loadavg: 8.13 8.06 6.61 5/493 31736
/proc/meminfo: memFree=19438424/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=68388 CPUtime=0.19 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 15348 0 0 0 18 1 0 0 25 0 1 0 650761609 70029312 9164 33554432000 4194304 4625164 140733214643872 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/31736/statm: 17097 9165 296 106 0 12600 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 68388

[startup+0.30076 s]
/proc/loadavg: 8.13 8.06 6.61 5/493 31736
/proc/meminfo: memFree=19438424/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=187984 CPUtime=0.29 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 36208 0 0 0 26 3 0 0 25 0 4 0 650761609 192495616 27988 33554432000 4194304 4625164 140733214643872 18446744073709551615 47114813245362 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 46996 28007 306 106 0 42499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 187984

[startup+0.700695 s]
/proc/loadavg: 8.13 8.06 6.61 5/493 31736
/proc/meminfo: memFree=19438424/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=398760 CPUtime=1.8 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 42344 0 0 0 176 4 0 0 25 0 4 0 650761609 408330240 33255 33554432000 4194304 4625164 140733214643872 18446744073709551615 4390560 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 99690 33255 336 106 0 95193 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 398760

[startup+1.50055 s]
/proc/loadavg: 7.88 8.01 6.60 9/497 31740
/proc/meminfo: memFree=19297040/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=408504 CPUtime=4.98 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 50067 0 0 0 493 5 0 0 25 0 4 0 650761609 418308096 36524 33554432000 4194304 4625164 140733214643872 18446744073709551615 4278657 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 102126 36524 337 106 0 97629 0
[pid=31736/tid=31738] ppid=31734 vsize=408504 CPUtime=1.1 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 2933 0 0 0 110 0 0 0 25 0 4 0 650761638 418308096 36524 33554432000 4194304 4625164 140733214643872 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=408504 CPUtime=1.19 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 1733 0 0 0 119 0 0 0 25 0 4 0 650761638 418308096 36524 33554432000 4194304 4625164 140733214643872 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=408504 CPUtime=1.19 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 7137 0 0 0 119 0 0 0 25 0 4 0 650761638 418308096 36524 33554432000 4194304 4625164 140733214643872 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 408504

[startup+3.10027 s]
/proc/loadavg: 7.88 8.01 6.60 9/497 31740
/proc/meminfo: memFree=19292576/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=408504 CPUtime=11.36 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 57013 0 0 0 1131 5 0 0 25 0 4 0 650761609 418308096 36262 33554432000 4194304 4625164 140733214643872 18446744073709551615 4390638 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 102126 36262 337 106 0 97629 0
[pid=31736/tid=31738] ppid=31734 vsize=408504 CPUtime=2.7 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 2939 0 0 0 270 0 0 0 25 0 4 0 650761638 418308096 36262 33554432000 4194304 4625164 140733214643872 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=408504 CPUtime=2.79 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 1999 0 0 0 279 0 0 0 25 0 4 0 650761638 418308096 36262 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=408504 CPUtime=2.79 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 13788 0 0 0 278 1 0 0 25 0 4 0 650761638 418308096 36262 33554432000 4194304 4625164 140733214643872 18446744073709551615 4334197 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 408504

[startup+6.30069 s]
/proc/loadavg: 7.89 8.01 6.61 9/497 31741
/proc/meminfo: memFree=19285828/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=408504 CPUtime=24.11 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 66910 0 0 0 2404 7 0 0 25 0 4 0 650761609 418308096 37697 33554432000 4194304 4625164 140733214643872 18446744073709551615 4390623 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 102126 37697 337 106 0 97629 0
[pid=31736/tid=31738] ppid=31734 vsize=408504 CPUtime=5.9 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 3107 0 0 0 590 0 0 0 25 0 4 0 650761638 418308096 37697 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=408504 CPUtime=5.99 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 2216 0 0 0 599 0 0 0 25 0 4 0 650761638 418308096 37697 33554432000 4194304 4625164 140733214643872 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=408504 CPUtime=5.99 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 23272 0 0 0 597 2 0 0 25 0 4 0 650761638 418308096 37697 33554432000 4194304 4625164 140733214643872 18446744073709551615 4327715 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 408504

[startup+12.7006 s]
/proc/loadavg: 7.90 8.01 6.61 9/497 31741
/proc/meminfo: memFree=19258564/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=423140 CPUtime=49.61 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 85833 0 0 0 4950 11 0 0 25 0 4 0 650761609 433295360 42879 33554432000 4194304 4625164 140733214643872 18446744073709551615 4509440 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 105785 42879 345 106 0 101288 0
[pid=31736/tid=31738] ppid=31734 vsize=423140 CPUtime=12.3 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 3506 0 0 0 1230 0 0 0 25 0 4 0 650761638 433295360 42879 33554432000 4194304 4625164 140733214643872 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=423140 CPUtime=12.39 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 4271 0 0 0 1238 1 0 0 25 0 4 0 650761638 433295360 42879 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=423140 CPUtime=12.39 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 39311 0 0 0 1234 5 0 0 25 0 4 0 650761638 433295360 42879 33554432000 4194304 4625164 140733214643872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.61
Current children cumulated vsize (KiB) 423140

[startup+25.5013 s]
/proc/loadavg: 7.92 8.00 6.64 9/497 31741
/proc/meminfo: memFree=19226260/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=426816 CPUtime=100.59 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 114089 0 0 0 10043 16 0 0 25 0 4 0 650761609 437059584 45764 33554432000 4194304 4625164 140733214643872 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 106704 45764 346 106 0 102207 0
[pid=31736/tid=31738] ppid=31734 vsize=426816 CPUtime=25.1 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 3788 0 0 0 2510 0 0 0 25 0 4 0 650761638 437059584 45764 33554432000 4194304 4625164 140733214643872 18446744073709551615 4486916 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=426816 CPUtime=25.19 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 6510 0 0 0 2517 2 0 0 25 0 4 0 650761638 437059584 45764 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=426816 CPUtime=25.19 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 64781 0 0 0 2510 9 0 0 25 0 4 0 650761638 437059584 45764 33554432000 4194304 4625164 140733214643872 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.59
Current children cumulated vsize (KiB) 426816

[startup+51.1007 s]
/proc/loadavg: 7.95 8.00 6.67 9/497 31742
/proc/meminfo: memFree=18830512/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=804652 CPUtime=202.57 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 374887 0 0 0 20204 53 0 0 25 0 4 0 650761609 823963648 140918 33554432000 4194304 4625164 140733214643872 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 201163 140918 352 106 0 196666 0
[pid=31736/tid=31738] ppid=31734 vsize=804652 CPUtime=50.69 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 32113 0 0 0 5065 4 0 0 25 0 4 0 650761638 823963648 140918 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=804652 CPUtime=50.78 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 34692 0 0 0 5073 5 0 0 25 0 4 0 650761638 823963648 140918 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=804652 CPUtime=50.79 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 162947 0 0 0 5057 22 0 0 25 0 4 0 650761638 823963648 140918 33554432000 4194304 4625164 140733214643872 18446744073709551615 4335017 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.57
Current children cumulated vsize (KiB) 804652

[startup+102.301 s]
/proc/loadavg: 8.01 8.01 6.74 9/497 31743
/proc/meminfo: memFree=18745044/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=406.6 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 690169 0 0 0 40558 102 0 0 25 0 4 0 650761609 886566912 155352 33554432000 4194304 4625164 140733214643872 18446744073709551615 4511846 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 155352 347 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=101.92 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44236 0 0 0 10185 7 0 0 25 0 4 0 650761638 886566912 155352 33554432000 4194304 4625164 140733214643872 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=102.01 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 46921 0 0 0 10193 8 0 0 25 0 4 0 650761638 886566912 155352 33554432000 4194304 4625164 140733214643872 18446744073709551615 4462312 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=102 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 442101 0 0 0 10135 65 0 0 25 0 4 0 650761638 886566912 155352 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 406.6
Current children cumulated vsize (KiB) 865788

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

[startup+102.419 s]
/proc/loadavg: 8.01 8.01 6.74 9/497 31743
/proc/meminfo: memFree=18745044/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=406.99 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 690303 0 0 0 40597 102 0 0 25 0 4 0 650761609 886566912 155485 33554432000 4194304 4625164 140733214643872 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 155485 347 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=102.02 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44238 0 0 0 10195 7 0 0 25 0 4 0 650761638 886566912 155485 33554432000 4194304 4625164 140733214643872 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=102.11 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 46927 0 0 0 10203 8 0 0 25 0 4 0 650761638 886566912 155485 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=102.11 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 442225 0 0 0 10145 66 0 0 25 0 4 0 650761638 886566912 155485 33554432000 4194304 4625164 140733214643872 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 406.99
Current children cumulated vsize (KiB) 865788

[startup+115.201 s]
/proc/loadavg: 8.09 8.03 6.76 9/497 31744
/proc/meminfo: memFree=18724820/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=457.93 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 788296 0 0 0 45677 116 0 0 25 0 4 0 650761609 886566912 159719 33554432000 4194304 4625164 140733214643872 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 159719 350 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=114.8 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44598 0 0 0 11473 7 0 0 25 0 4 0 650761638 886566912 159719 33554432000 4194304 4625164 140733214643872 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=114.89 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 47366 0 0 0 11481 8 0 0 25 0 4 0 650761638 886566912 159719 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=114.89 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 539046 0 0 0 11410 79 0 0 25 0 4 0 650761638 886566912 159719 33554432000 4194304 4625164 140733214643872 18446744073709551615 4562151 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 865788

[startup+121.601 s]
/proc/loadavg: 8.08 8.03 6.77 9/497 31744
/proc/meminfo: memFree=18713908/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=483.42 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 837742 0 0 0 48220 122 0 0 25 0 4 0 650761609 886566912 159177 33554432000 4194304 4625164 140733214643872 18446744073709551615 4519673 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 159177 347 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=121.2 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44751 0 0 0 12113 7 0 0 25 0 4 0 650761638 886566912 159177 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=121.29 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 47606 0 0 0 12121 8 0 0 25 0 4 0 650761638 886566912 159177 33554432000 4194304 4625164 140733214643872 18446744073709551615 4352818 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=121.29 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 587671 0 0 0 12044 85 0 0 25 0 4 0 650761638 886566912 159177 33554432000 4194304 4625164 140733214643872 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 483.42
Current children cumulated vsize (KiB) 865788

[startup+124.801 s]
/proc/loadavg: 8.08 8.03 6.77 9/497 31744
/proc/meminfo: memFree=18689232/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=496.17 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 857100 0 0 0 49491 126 0 0 25 0 4 0 650761609 886566912 161565 33554432000 4194304 4625164 140733214643872 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 161565 347 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=124.4 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44848 0 0 0 12433 7 0 0 25 0 4 0 650761638 886566912 161565 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=124.49 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 47699 0 0 0 12441 8 0 0 25 0 4 0 650761638 886566912 161565 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=124.5 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 604295 0 0 0 12362 88 0 0 25 0 4 0 650761638 886566912 161565 33554432000 4194304 4625164 140733214643872 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 496.17
Current children cumulated vsize (KiB) 865788

[startup+128.001 s]
/proc/loadavg: 8.07 8.03 6.78 9/497 31744
/proc/meminfo: memFree=18675344/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=508.92 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 863191 0 0 0 50765 127 0 0 25 0 4 0 650761609 886566912 164219 33554432000 4194304 4625164 140733214643872 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 164219 347 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=127.59 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44879 0 0 0 12752 7 0 0 25 0 4 0 650761638 886566912 164219 33554432000 4194304 4625164 140733214643872 18446744073709551615 4278541 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=127.69 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 47714 0 0 0 12761 8 0 0 25 0 4 0 650761638 886566912 164219 33554432000 4194304 4625164 140733214643872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=127.69 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 609305 0 0 0 12681 88 0 0 25 0 4 0 650761638 886566912 164219 33554432000 4194304 4625164 140733214643872 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 508.92
Current children cumulated vsize (KiB) 865788

[startup+128.819 s]
/proc/loadavg: 8.07 8.03 6.78 9/497 31744
/proc/meminfo: memFree=18668524/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=512.17 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 869200 0 0 0 51089 128 0 0 25 0 4 0 650761609 886566912 163344 33554432000 4194304 4625164 140733214643872 18446744073709551615 4390615 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 163345 347 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=128.41 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44899 0 0 0 12834 7 0 0 25 0 4 0 650761638 886566912 163345 33554432000 4194304 4625164 140733214643872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=128.51 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 47724 0 0 0 12843 8 0 0 25 0 4 0 650761638 886566912 163345 33554432000 4194304 4625164 140733214643872 18446744073709551615 4375257 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=128.51 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 614777 0 0 0 12762 89 0 0 25 0 4 0 650761638 886566912 163346 33554432000 4194304 4625164 140733214643872 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 512.17
Current children cumulated vsize (KiB) 865788

[startup+129.201 s]
/proc/loadavg: 8.07 8.03 6.78 9/497 31744
/proc/meminfo: memFree=18668524/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=865788 CPUtime=513.69 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 873062 0 0 0 51241 128 0 0 25 0 4 0 650761609 886566912 163888 33554432000 4194304 4625164 140733214643872 18446744073709551615 212039322496 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 216447 163888 347 106 0 211950 0
[pid=31736/tid=31738] ppid=31734 vsize=865788 CPUtime=128.79 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44901 0 0 0 12872 7 0 0 25 0 4 0 650761638 886566912 163889 33554432000 4194304 4625164 140733214643872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=865788 CPUtime=128.89 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 47726 0 0 0 12881 8 0 0 25 0 4 0 650761638 886566912 163889 33554432000 4194304 4625164 140733214643872 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=865788 CPUtime=128.89 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 618376 0 0 0 12799 90 0 0 25 0 4 0 650761638 886566912 163889 33554432000 4194304 4625164 140733214643872 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 513.69
Current children cumulated vsize (KiB) 865788

[startup+129.601 s]
/proc/loadavg: 8.07 8.03 6.78 9/497 31744
/proc/meminfo: memFree=18668524/32951124 swapFree=51873468/67111528
[pid=31736] ppid=31734 vsize=893780 CPUtime=515.29 cores=1,3,5,7
/proc/31736/stat : 31736 (SArTagnan) R 31734 31736 31559 0 -1 4202496 891122 0 0 0 51398 131 0 0 25 0 4 0 650761609 915230720 164263 33554432000 4194304 4625164 140733214643872 18446744073709551615 4359830 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31736/statm: 223445 164263 347 106 0 218948 0
[pid=31736/tid=31738] ppid=31734 vsize=893780 CPUtime=129.19 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (SArTagnan) R 31734 31736 31559 0 -1 4202560 44905 0 0 0 12912 7 0 0 25 0 4 0 650761638 915230720 164263 33554432000 4194304 4625164 140733214643872 18446744073709551615 4340066 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31736/tid=31739] ppid=31734 vsize=893780 CPUtime=129.29 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (SArTagnan) R 31734 31736 31559 0 -1 4202560 47730 0 0 0 12921 8 0 0 25 0 4 0 650761638 915230720 164263 33554432000 4194304 4625164 140733214643872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31736/tid=31740] ppid=31734 vsize=893780 CPUtime=129.29 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (SArTagnan) R 31734 31736 31559 0 -1 4202560 621887 0 0 0 12839 90 0 0 25 0 4 0 650761638 915230720 164263 33554432000 4194304 4625164 140733214643872 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 515.29
Current children cumulated vsize (KiB) 893780

Child status: 20
Real time (s): 129.627
CPU time (s): 515.333
CPU user time (s): 513.991
CPU system time (s): 1.3418
CPU usage (%): 397.551
Max. virtual memory (cumulated for all children) (KiB): 931324

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

runsolver used 0.542917 second user time and 1.57976 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-17 00:04:13
IDJOB=3386323
IDBENCH=88143
IDSOLVER=1871
FILE ID=node146/3386323-1305583453
RUNJOBID= node146-1305582130-31578
PBS_JOBID= 13350290
Free space on /tmp= 73196 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386323-1305583453/watcher-3386323-1305583453 -o /tmp/evaluation-result-3386323-1305583453/solver-3386323-1305583453 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386323-1305583453.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c139a321e75833c70af36726562b66de
RANDOM SEED=1152286084

node146.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.75
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.86
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.75
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.75
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.75
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19438704 kB
Buffers:        222140 kB
Cached:        1433240 kB
SwapCached:      56140 kB
Active:       10391092 kB
Inactive:      2844844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19438704 kB
SwapTotal:    67111528 kB
SwapFree:     51873468 kB
Dirty:           10504 kB
Writeback:           0 kB
AnonPages:    11530980 kB
Mapped:          26544 kB
Slab:           115256 kB
PageTables:      91940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 140128840 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= 73192 MiB
End job on node146 at 2011-05-17 00:06:23