Trace number 3286572

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
CryptoMiniSat TechDemo-Alpha-mtUNSAT 477.004 151.114

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
MD5SUM52e16341bcff805ef2d6abe4e95359a0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark30.0214
Satisfiable
(Un)Satisfiability was proved
Number of variables224228
Number of clauses5314673
Sum of the clauses size11732345
Maximum clause length3193
Minimum clause length1
Number of clauses of size 1556
Number of clauses of size 25229536
Number of clauses of size 36084
Number of clauses of size 49856
Number of clauses of size 58159
Number of clauses of size over 560482

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3286572-1304042780.cnf'
0.00/0.00	c -- header says num vars:         224228
0.00/0.00	c -- header says num clauses:     5314673
5.79/5.85	c -- clauses added:            0 learnts,      5314673 normals,            0 xors
5.79/5.85	c -- vars added     224228
5.79/5.85	c Parsing time:  5.57 s
5.79/5.85	c  N st     0         0    224228     84581   5226462         0  11725641         0   no data   no data  --
6.81/6.12	c asymm  cl-useful: 11/44/83026 lits-rem:2184 time: 0.97
22.80/10.14	c Flit:   248 Blit:  25614 bXBeca:    0 bXProp:  131 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 15.72
23.20/10.27	c Cleaning up after failed var search:     0.53 s 
33.17/12.71	c Calc non-exist non-lernt bins v-fix:     0 done:   6175 time:  9.38 s
33.17/12.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
33.17/12.73	c Subs w/ non-existent bins:      0 time:  0.05 s
33.97/12.92	c Replacing      132 vars Replaced    15208 lits Time:     0.77 s 
36.36/13.55	c bin-w-bin subsume rem         2045 bins  time:  1.96 s
41.96/14.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.54 s
42.76/15.11	c Removed useless bin:      68  fixed:     0  bprops:  10.02M  time:  0.67 s
66.72/21.13	c lits-rem:         0  cl-subs:      126  v-elim:  67123  v-fix:    0  time: 23.94 s
66.72/21.13	c learnt bin added due to v-elim: 0
67.12/21.22	c Finding binary XORs  T:     0.35 s  found:     269
67.92/21.43	c Replacing      269 vars Replaced    19840 lits Time:     0.85 s 
69.13/21.74	c Finding non-binary XORs:     0.58 s (found:       0, avg size: nan)
69.13/21.74	c Calc default polars -  time:   0.30 s pos:    4537 undec:   58010 neg:  161681
69.13/21.74	c =========================================================================================
69.13/21.74	c types(t): F = full restart, N = normal restart
69.13/21.74	c types(t): S = simplification begin/end, E = solution found
69.13/21.74	c restart types(rt): st = static, dy = dynamic
69.13/21.74	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
69.13/21.74	c  B st     0         0    178647     72185   4335993         0  11137531         0   no data   no data  --
94.69/28.10	c Decided on dynamic restart strategy
115.86/33.45	c  N dy    20      4069    178526     72185   4336418      3402  11137529   2638343    371.08     27.18  --
176.20/48.56	c  N dy    48      8223    171470     70147   4088396      7077  10539730   5086777    727.31     25.56  --
255.29/68.36	c  N dy    74     12244    167342     67823   3941105     10490  10186709   8029053    800.73     25.32  --
289.22/76.86	c  E dy    82     13498    151905     60907   3413702      7490   8772155   4121168    431.97     24.93  --
476.19/150.60	c Following stats are for *FIRST FINISHED THREAD ONLY*
476.19/150.60	c num threads              : 4          
476.19/150.60	c restarts                 : 82         
476.19/150.60	c dynamic restarts         : 76         
476.19/150.60	c static restarts          : 6          
476.19/150.60	c full restarts            : 0          
476.19/150.60	c total simplify time      : 1.53       
476.19/150.60	c learnts DL2              : 0          
476.19/150.60	c learnts size 2           : 5272632    
476.19/150.60	c learnts size 1           : 88575       (39.50     % of vars)
476.19/150.60	c filedLit time            : 16.26       (3.42      % time)
476.19/150.60	c v-elim SatELite          : 17238       (7.69      % vars)
476.19/150.60	c SatELite time            : 24.57       (5.17      % time)
476.19/150.60	c v-elim xor               : 0           (0.00      % vars)
476.19/150.60	c xor elim time            : 0.00        (0.00      % time)
476.19/150.60	c num binary xor trees     : 329        
476.19/150.60	c binxor trees' crown      : 401         (1.22      leafs/tree)
476.19/150.60	c bin xor find time        : 0.35       
476.19/150.60	c OTF clause subsumed      : 585         (0.04      clauses/conflict)
476.19/150.60	c OTF subs. size diff      : 2475        (4.23       lits/clause)
476.19/150.60	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
476.19/150.60	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
476.19/150.60	c tried to recurMin cls    : 0           (0.00       % of conflicts)
476.19/150.60	c updated cache            : 0           (nan        lits/tried recurMin)
476.19/150.60	c OTF Gate-Rem cl          : 0           (0.00      clauses/conflict)
476.19/150.60	c OTF Gate-rem lits        : 0           (nan       lits/confl)
476.19/150.60	c unit cls received        : 133         (0.15      % of units)
476.19/150.60	c unit cls sent            : 6816        (7.70      % of units)
476.19/150.60	c bin cls received         : 1835       
476.19/150.60	c bin cls sent             : 44231      
476.19/150.60	c tri cls recevied         : 316        
476.19/150.60	c tri cls sent             : 4416       
476.19/150.60	c clauses over max glue    : 0           (0.00      % of all clauses)
476.19/150.60	c conflicts                : 13498       (28.41     / sec)
476.19/150.60	c decisions                : 208632      (0.00      % random)
476.19/150.60	c bogo-props               : 705184986   (1484088.31 / sec)
476.19/150.60	c props                    : 164613494   (346435.28 / sec)
476.19/150.60	c conflict literals        : 9781769     (19.71     % deleted)
476.19/150.60	c Memory used              : 2684.92     MB
476.19/150.60	c single-thread CPU time   : 475.16      s
476.19/150.60	c all-threads sum CPU time : 475.16      s
476.19/150.60	s UNSATISFIABLE

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: 935)

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

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.72 8.91 8.48 5/180 28353
/proc/meminfo: memFree=27362484/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=24712 CPUtime=0 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 1455 0 0 0 0 0 0 0 23 0 1 0 515877029 25305088 1394 33554432000 4194304 4797429 140736079483904 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/28353/statm: 6178 1395 341 148 0 1107 0

[startup+0.106933 s]
/proc/loadavg: 8.72 8.91 8.48 5/180 28353
/proc/meminfo: memFree=27362484/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=105692 CPUtime=0.1 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 25020 0 0 0 7 3 0 0 24 0 1 0 515877029 108228608 18164 33554432000 4194304 4797429 140736079483904 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/28353/statm: 26423 18174 347 148 0 21352 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 105692

[startup+0.200917 s]
/proc/loadavg: 8.72 8.91 8.48 5/180 28353
/proc/meminfo: memFree=27362484/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=179664 CPUtime=0.19 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 47239 0 0 0 14 5 0 0 24 0 1 0 515877029 183975936 33148 33554432000 4194304 4797429 140736079483904 18446744073709551615 235594563339 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/28353/statm: 44916 33148 347 148 0 39845 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 179664

[startup+0.3009 s]
/proc/loadavg: 8.72 8.91 8.48 5/180 28353
/proc/meminfo: memFree=27362484/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=287712 CPUtime=0.29 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 71805 0 0 0 21 8 0 0 25 0 1 0 515877029 294617088 46881 33554432000 4194304 4797429 140736079483904 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/28353/statm: 71928 46901 347 148 0 66857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 287712

[startup+0.700825 s]
/proc/loadavg: 8.72 8.91 8.48 5/180 28353
/proc/meminfo: memFree=27362484/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=377604 CPUtime=0.69 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 94158 0 0 0 58 11 0 0 25 0 1 0 515877029 386666496 65569 33554432000 4194304 4797429 140736079483904 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/28353/statm: 94401 65573 349 148 0 89330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 377604

[startup+1.50069 s]
/proc/loadavg: 8.42 8.84 8.46 6/181 28354
/proc/meminfo: memFree=27059688/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=434960 CPUtime=1.49 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 113018 0 0 0 136 13 0 0 25 0 1 0 515877029 445399040 84213 33554432000 4194304 4797429 140736079483904 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/28353/statm: 108740 84214 350 148 0 103669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 434960

[startup+3.1004 s]
/proc/loadavg: 8.42 8.84 8.46 6/181 28354
/proc/meminfo: memFree=26953564/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=565572 CPUtime=3.09 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 150874 0 0 0 291 18 0 0 25 0 1 0 515877029 579145728 122069 33554432000 4194304 4797429 140736079483904 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/28353/statm: 141393 122070 350 148 0 136322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 565572

[startup+6.30085 s]
/proc/loadavg: 8.15 8.78 8.44 6/181 28354
/proc/meminfo: memFree=26644268/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=1492900 CPUtime=7.62 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 227496 0 0 0 725 37 0 0 18 0 4 0 515877029 1528729600 198653 33554432000 4194304 4797429 140736079483904 18446744073709551615 4427317 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 373225 198653 384 148 0 368154 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 1492900

[startup+12.7007 s]
/proc/loadavg: 8.14 8.76 8.44 9/184 28357
/proc/meminfo: memFree=25987440/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2379436 CPUtime=33.17 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 410516 0 0 0 3246 71 0 0 18 0 4 0 515877029 2436542464 381673 33554432000 4194304 4797429 140736079483904 18446744073709551615 4643213 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 594859 381673 393 148 0 589788 0
[pid=28353/tid=28355] ppid=28351 vsize=2379436 CPUtime=6.83 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 40008 0 0 0 674 9 0 0 20 0 4 0 515877614 2436542464 381673 33554432000 4194304 4797429 140736079483904 18446744073709551615 4557698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2379436 CPUtime=6.79 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) R 28351 28353 27293 0 -1 4202560 47532 0 0 0 669 10 0 0 18 0 4 0 515877614 2436542464 381673 33554432000 4194304 4797429 140736079483904 18446744073709551615 4360007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2379436 CPUtime=6.83 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4202560 54900 0 0 0 671 12 0 0 19 0 4 0 515877614 2436542464 381673 33554432000 4194304 4797429 140736079483904 18446744073709551615 4359926 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 33.17
Current children cumulated vsize (KiB) 2379436

[startup+25.5005 s]
/proc/loadavg: 8.10 8.73 8.43 9/184 28358
/proc/meminfo: memFree=25420128/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2658664 CPUtime=84.3 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 504556 0 0 0 8343 87 0 0 25 0 4 0 515877029 2722471936 472298 33554432000 4194304 4797429 140736079483904 18446744073709551615 4425564 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 664666 472298 414 148 0 659595 0
[pid=28353/tid=28355] ppid=28351 vsize=2658664 CPUtime=19.64 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 62823 0 0 0 1951 13 0 0 25 0 4 0 515877614 2722471936 472298 33554432000 4194304 4797429 140736079483904 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2658664 CPUtime=19.53 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) R 28351 28353 27293 0 -1 4202560 74155 0 0 0 1937 16 0 0 25 0 4 0 515877614 2722471936 472298 33554432000 4194304 4797429 140736079483904 18446744073709551615 4377384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2658664 CPUtime=19.63 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4202560 77598 0 0 0 1947 16 0 0 25 0 4 0 515877614 2722471936 472298 33554432000 4194304 4797429 140736079483904 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 84.3
Current children cumulated vsize (KiB) 2658664

[startup+51.101 s]
/proc/loadavg: 7.67 8.58 8.39 6/182 28358
/proc/meminfo: memFree=29252644/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2689020 CPUtime=186.56 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 528727 0 0 0 18560 96 0 0 25 0 4 0 515877029 2753556480 496253 33554432000 4194304 4797429 140736079483904 18446744073709551615 4341232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 672255 496253 415 148 0 667184 0
[pid=28353/tid=28355] ppid=28351 vsize=2689020 CPUtime=45.23 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 72694 0 0 0 4508 15 0 0 25 0 4 0 515877614 2753556480 496253 33554432000 4194304 4797429 140736079483904 18446744073709551615 4423623 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2689020 CPUtime=44.99 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) R 28351 28353 27293 0 -1 4202560 79225 0 0 0 4480 19 0 0 25 0 4 0 515877614 2753556480 496253 33554432000 4194304 4797429 140736079483904 18446744073709551615 4426112 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2689020 CPUtime=45.23 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4202560 81699 0 0 0 4505 18 0 0 25 0 4 0 515877614 2753556480 496253 33554432000 4194304 4797429 140736079483904 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 186.56
Current children cumulated vsize (KiB) 2689020

[startup+102.301 s]
/proc/loadavg: 7.48 8.39 8.33 8/184 28390
/proc/meminfo: memFree=27510600/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2741924 CPUtime=365.8 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) S 28351 28353 27293 0 -1 4202496 562160 0 0 0 36478 102 0 0 15 0 4 0 515877029 2807730176 518603 33554432000 4194304 4797429 140736079483904 18446744073709551615 235606695537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 685481 518603 419 148 0 680410 0
[pid=28353/tid=28355] ppid=28351 vsize=2741924 CPUtime=96.44 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 83325 0 0 0 9628 16 0 0 25 0 4 0 515877614 2807730176 518603 33554432000 4194304 4797429 140736079483904 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2741924 CPUtime=96.05 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) R 28351 28353 27293 0 -1 4202560 87379 0 0 0 9585 20 0 0 25 0 4 0 515877614 2807730176 518603 33554432000 4194304 4797429 140736079483904 18446744073709551615 4332800 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2741924 CPUtime=96.43 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4202560 92781 0 0 0 9624 19 0 0 25 0 4 0 515877614 2807730176 518603 33554432000 4194304 4797429 140736079483904 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 365.8
Current children cumulated vsize (KiB) 2741924

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

[startup+102.407 s]
/proc/loadavg: 7.48 8.39 8.33 8/184 28390
/proc/meminfo: memFree=27510600/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2749356 CPUtime=366.1 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) S 28351 28353 27293 0 -1 4202496 563736 0 0 0 36508 102 0 0 15 0 4 0 515877029 2815340544 520179 33554432000 4194304 4797429 140736079483904 18446744073709551615 235606695537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 687339 520179 419 148 0 682268 0
[pid=28353/tid=28355] ppid=28351 vsize=2749356 CPUtime=96.54 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 83325 0 0 0 9638 16 0 0 25 0 4 0 515877614 2815340544 520179 33554432000 4194304 4797429 140736079483904 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2749356 CPUtime=96.16 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) R 28351 28353 27293 0 -1 4202560 88955 0 0 0 9595 21 0 0 25 0 4 0 515877614 2815340544 520179 33554432000 4194304 4797429 140736079483904 18446744073709551615 4259265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2749356 CPUtime=96.53 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4202560 92781 0 0 0 9634 19 0 0 25 0 4 0 515877614 2815340544 520179 33554432000 4194304 4797429 140736079483904 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 366.1
Current children cumulated vsize (KiB) 2749356

[startup+128 s]
/proc/loadavg: 7.16 8.24 8.28 7/184 28390
/proc/meminfo: memFree=27490832/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2749356 CPUtime=435.15 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) S 28351 28353 27293 0 -1 4202496 570464 0 0 0 43412 103 0 0 15 0 4 0 515877029 2815340544 520666 33554432000 4194304 4797429 140736079483904 18446744073709551615 235606695537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 687339 520666 419 148 0 682268 0
[pid=28353/tid=28355] ppid=28351 vsize=2749356 CPUtime=122.14 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 86115 0 0 0 12197 17 0 0 25 0 4 0 515877614 2815340544 520666 33554432000 4194304 4797429 140736079483904 18446744073709551615 4259288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2749356 CPUtime=114.02 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) S 28351 28353 27293 0 -1 4202560 92159 0 0 0 11381 21 0 0 25 0 4 0 515877614 2815340544 520666 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 3 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2749356 CPUtime=122.13 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4202560 93515 0 0 0 12193 20 0 0 25 0 4 0 515877614 2815340544 520666 33554432000 4194304 4797429 140736079483904 18446744073709551615 4259081 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 435.15
Current children cumulated vsize (KiB) 2749356

[startup+140.8 s]
/proc/loadavg: 6.90 8.13 8.25 7/184 28391
/proc/meminfo: memFree=27483000/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2749356 CPUtime=460.77 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) S 28351 28353 27293 0 -1 4202496 572082 0 0 0 45973 104 0 0 15 0 4 0 515877029 2815340544 520815 33554432000 4194304 4797429 140736079483904 18446744073709551615 235606695537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 687339 520815 419 148 0 682268 0
[pid=28353/tid=28355] ppid=28351 vsize=2749356 CPUtime=134.94 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 86983 0 0 0 13477 17 0 0 25 0 4 0 515877614 2815340544 520815 33554432000 4194304 4797429 140736079483904 18446744073709551615 4236528 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2749356 CPUtime=114.02 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) S 28351 28353 27293 0 -1 4202560 92159 0 0 0 11381 21 0 0 25 0 4 0 515877614 2815340544 520815 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 3 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2749356 CPUtime=134.94 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4202560 94265 0 0 0 13474 20 0 0 25 0 4 0 515877614 2815340544 520815 33554432000 4194304 4797429 140736079483904 18446744073709551615 4259265 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 460.77
Current children cumulated vsize (KiB) 2749356

[startup+147.201 s]
/proc/loadavg: 6.83 8.09 8.24 7/184 28391
/proc/meminfo: memFree=27480748/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2749356 CPUtime=472.79 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) S 28351 28353 27293 0 -1 4202496 572149 0 0 0 47175 104 0 0 15 0 4 0 515877029 2815340544 520882 33554432000 4194304 4797429 140736079483904 18446744073709551615 235606695537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 687339 520882 419 148 0 682268 0
[pid=28353/tid=28355] ppid=28351 vsize=2749356 CPUtime=141.34 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 87014 0 0 0 14117 17 0 0 25 0 4 0 515877614 2815340544 520882 33554432000 4194304 4797429 140736079483904 18446744073709551615 4259308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2749356 CPUtime=114.02 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) S 28351 28353 27293 0 -1 4202560 92159 0 0 0 11381 21 0 0 25 0 4 0 515877614 2815340544 520882 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 3 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2749356 CPUtime=140.56 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) S 28351 28353 27293 0 -1 4202560 94301 0 0 0 14036 20 0 0 25 0 4 0 515877614 2815340544 520882 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 472.79
Current children cumulated vsize (KiB) 2749356

[startup+148.801 s]
/proc/loadavg: 6.83 8.09 8.24 6/184 28391
/proc/meminfo: memFree=27480500/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2749356 CPUtime=474.39 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) S 28351 28353 27293 0 -1 4202496 572170 0 0 0 47335 104 0 0 15 0 4 0 515877029 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 235606695537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 687339 520903 419 148 0 682268 0
[pid=28353/tid=28355] ppid=28351 vsize=2749356 CPUtime=142.94 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 87035 0 0 0 14277 17 0 0 25 0 4 0 515877614 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 4427848 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2749356 CPUtime=114.02 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) S 28351 28353 27293 0 -1 4202560 92159 0 0 0 11381 21 0 0 25 0 4 0 515877614 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 3 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2749356 CPUtime=140.56 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) S 28351 28353 27293 0 -1 4202560 94301 0 0 0 14036 20 0 0 25 0 4 0 515877614 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 474.39
Current children cumulated vsize (KiB) 2749356

[startup+150.401 s]
/proc/loadavg: 6.83 8.09 8.24 6/184 28391
/proc/meminfo: memFree=27480496/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2749356 CPUtime=475.99 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) S 28351 28353 27293 0 -1 4202496 572170 0 0 0 47495 104 0 0 15 0 4 0 515877029 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 235606695537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 687339 520903 419 148 0 682268 0
[pid=28353/tid=28355] ppid=28351 vsize=2749356 CPUtime=144.54 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) R 28351 28353 27293 0 -1 4202560 87035 0 0 0 14437 17 0 0 25 0 4 0 515877614 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 4427959 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2749356 CPUtime=114.02 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) S 28351 28353 27293 0 -1 4202560 92159 0 0 0 11381 21 0 0 25 0 4 0 515877614 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 3 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2749356 CPUtime=140.56 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) S 28351 28353 27293 0 -1 4202560 94301 0 0 0 14036 20 0 0 25 0 4 0 515877614 2815340544 520903 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231028 0 0 4096 2 18446604460843010816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 475.99
Current children cumulated vsize (KiB) 2749356

[startup+150.807 s]
/proc/loadavg: 6.68 8.04 8.22 9/184 28391
/proc/meminfo: memFree=27583560/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2557952 CPUtime=476.68 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 572178 0 0 0 47564 104 0 0 16 0 4 0 515877029 2619342848 485222 33554432000 4194304 4797429 140736079483904 18446744073709551615 235594515848 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 639488 485222 423 148 0 634417 0
[pid=28353/tid=28355] ppid=28351 vsize=2557952 CPUtime=144.84 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) S 28351 28353 27293 0 -1 4202560 87038 0 0 0 14467 17 0 0 25 0 4 0 515877614 2619342848 485222 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231434 0 0 4096 2 18446604460843010816 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2557952 CPUtime=114.11 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) S 28351 28353 27293 0 -1 4202560 92159 0 0 0 11390 21 0 0 18 0 4 0 515877614 2619342848 485222 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231434 0 0 4096 2 18446604460843010816 0 0 -1 5 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2557952 CPUtime=140.66 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) S 28351 28353 27293 0 -1 4202560 94301 0 0 0 14046 20 0 0 18 0 4 0 515877614 2619342848 485222 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231434 0 0 4096 2 18446604460843010816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 476.68
Current children cumulated vsize (KiB) 2557952

[startup+151 s]
/proc/loadavg: 6.68 8.04 8.22 9/184 28391
/proc/meminfo: memFree=27583560/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=2247092 CPUtime=476.88 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) R 28351 28353 27293 0 -1 4202496 572178 0 0 0 47583 105 0 0 16 0 4 0 515877029 2301022208 433679 33554432000 4194304 4797429 140736079483904 18446744073709551615 235594910055 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 561773 433646 423 148 0 556702 0
[pid=28353/tid=28355] ppid=28351 vsize=2247092 CPUtime=144.84 cores=1,3,5,7
/proc/28353/task/28355/stat : 28355 (techdemo) S 28351 28353 27293 0 -1 4202560 87038 0 0 0 14467 17 0 0 25 0 4 0 515877614 2301022208 433150 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231434 0 0 4096 2 18446604460843010816 0 0 -1 1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=2247092 CPUtime=114.11 cores=1,3,5,7
/proc/28353/task/28356/stat : 28356 (techdemo) S 28351 28353 27293 0 -1 4202560 92159 0 0 0 11390 21 0 0 18 0 4 0 515877614 2301022208 433150 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231434 0 0 4096 2 18446604460843010816 0 0 -1 5 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=2247092 CPUtime=140.66 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) S 28351 28353 27293 0 -1 4202560 94301 0 0 0 14046 20 0 0 18 0 4 0 515877614 2301022208 433150 33554432000 4194304 4797429 140736079483904 18446744073709551615 47871815231434 0 0 4096 2 18446604460843010816 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 476.88
Current children cumulated vsize (KiB) 2247092

[startup+151.1 s]
/proc/loadavg: 6.68 8.04 8.22 9/184 28391
/proc/meminfo: memFree=27583560/32950928 swapFree=67111404/67111528
[pid=28353] ppid=28351 vsize=0 CPUtime=476.98 cores=1,3,5,7
/proc/28353/stat : 28353 (techdemo) Z 28351 28353 27293 0 -1 4202524 572179 0 0 0 47587 111 0 0 16 0 2 0 515877029 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28353/statm: 0 0 0 0 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=0 CPUtime=140.71 cores=1,3,5,7
/proc/28353/task/28357/stat : 28357 (techdemo) R 28351 28353 27293 0 -1 4203588 94301 0 0 0 14046 25 0 0 15 0 2 0 515877614 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 476.98
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 151.114
CPU time (s): 477.004
CPU user time (s): 475.875
CPU system time (s): 1.12983
CPU usage (%): 315.659
Max. virtual memory (cumulated for all children) (KiB): 2749356

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

runsolver used 0.278957 second user time and 0.531919 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 04:06:23
IDJOB=3286572
IDBENCH=82430
IDSOLVER=1584
FILE ID=node120/3286572-1304042780
RUNJOBID= node120-1304039838-27312
PBS_JOBID= 13170379
Free space on /tmp= 71876 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286572-1304042780/watcher-3286572-1304042780 -o /tmp/evaluation-result-3286572-1304042780/solver-3286572-1304042780 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3286572-1304042780.cnf

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

MD5SUM BENCH= 52e16341bcff805ef2d6abe4e95359a0
RANDOM SEED=1173010700

node120.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.809
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.61
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.809
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	: 5226.07
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.809
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.82
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.809
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:     32950928 kB
MemFree:      27362764 kB
Buffers:        413320 kB
Cached:         677836 kB
SwapCached:          8 kB
Active:        4560652 kB
Inactive:       656500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27362764 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:          172916 kB
Writeback:           0 kB
AnonPages:     4125728 kB
Mapped:          15892 kB
Slab:           298016 kB
PageTables:      13664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  5023908 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= 71964 MiB
End job on node120 at 2011-04-29 04:08:54