Trace number 3369463

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 Strange-Night-1-mt (fixed)? (MO) 1053.28 266.079

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
MD5SUMce0d180356398dfbcfd2bbbb1cb3f9e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark375.866
Satisfiable
(Un)Satisfiability was proved
Number of variables1260306
Number of clauses6771840
Sum of the clauses size16095280
Maximum clause length982
Minimum clause length1
Number of clauses of size 1720
Number of clauses of size 26714640
Number of clauses of size 3320
Number of clauses of size 41280
Number of clauses of size 53200
Number of clauses of size over 551680

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369463-1305393593.cnf'
0.00/0.01	c -- header says num vars:        1260306
0.00/0.01	c -- header says num clauses:     6771840
8.94/2.40	c -- clauses added:            0 learnts,      6771840 normals,            0 xors
8.94/2.40	c -- vars added    1260306
8.94/2.40	c Parsing time:  7.94 s
8.94/2.40	c  N st     0         0   1260306     50725   5988692         0  14319938         0   no data   no data  --
12.57/3.25	c asymm  cl-useful: 0/506/49219 lits-rem:0 time: 3.31
50.43/12.78	c Flit:  1029 Blit:  29706 bXBeca:    0 bXProp:  119 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 37.69
51.23/12.91	c Cleaning up after failed var search:     0.46 s 
52.06/13.18	c Replacing      120 vars Replaced     1942 lits Time:     0.91 s 
56.85/14.33	c bin-w-bin subsume rem          146 bins  time:  2.82 s
61.59/15.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.00 s
77.97/19.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15299 time: 16.36 s
79.14/19.91	c Removed useless bin:   32560  fixed:     0  props:  20.00M  time:  0.88 s
88.72/22.35	c lits-rem:         0  cl-subs:        5  v-elim: 374385  v-fix:    0  time:  9.61 s
89.51/22.51	c Finding binary XORs  T:     0.62 s  found:       0
90.31/22.76	c Finding non-binary XORs:     0.35 s (found:       0, avg size: nan)
90.31/22.76	c Calc default polars -  time:   0.33 s pos:   24269 undec:  704120 neg:  531917
90.31/22.76	c =========================================================================================
90.31/22.76	c types(t): F = full restart, N = normal restart
90.31/22.76	c types(t): S = simplification begin/end, E = solution found
90.31/22.76	c restart types(rt): st = static, dy = dynamic
90.31/22.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
90.31/22.76	c  B st     0         0    748771     61705   5155834         0  12518186         0   no data   no data  --
141.38/35.60	c  N dy    15      4021    748770     61705   5155848      3957  12518186   5521032     76.45     84.37  --
192.47/48.31	c  N dy    26      8581    748768     61705   5155870      4288  12518186   1541636     53.65     59.51  --
254.31/63.81	c  N dy    34     12653    748768     61705   5155896      8274  12518186   7278442     46.72     49.34  --
346.80/87.08	c  N dy    47     17741    748763     61705   5155935     13269  12518186  15153974     46.04     49.13  --
441.27/110.77	c  N dy    65     21949    748731     61705   5156037     10722  12518186   8537687     48.79     51.45  --
470.96/118.29	c  F st    76     25001    748729     61705   5156044     13724  12518186  12368651     48.68     22.97  --
489.89/123.10	c  N st    79     26190    748725     61703   5155701     14903  12517182  13720402     48.68   no data  --
595.97/150.12	c  S st    82     30001    748712     61703   5155701     10127  12517182   5912511     48.68   no data  --
606.90/152.94	c  S st    82     30501    748677     61703   5155712     10605  12517182   6246905     48.68   no data  --
607.66/153.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.88
646.11/162.94	c Flit:   326 Blit:     43 bXBeca:    0 bXProp:    0 Bins:   9396 BRemL:      0 BRemN:    480 P: 200.0M T: 36.49
646.11/162.98	c Cleaning up after failed var search:     0.00 s 
650.37/164.05	c bin-w-bin subsume rem            1 bins  time:  1.18 s
655.52/165.36	c subs with bin:     1455  lits-rem:         0  v-fix:    0  time:  4.95 s
672.87/169.73	c Subs w/ non-existent bins:    266 l-rem:     14 v-fix:     0 done:  22692 time: 16.51 s
673.66/169.99	c Removed useless bin:    1352  fixed:     0  props:  20.02M  time:  0.95 s
694.47/175.23	c lits-rem:        21  cl-subs:      803  v-elim:  37418  v-fix:    0  time: 19.77 s
696.44/175.79	c asymm  cl-useful: 19/408/61180 lits-rem:177 time: 2.14
697.25/175.93	c  N dy    82     30501    710624     61180   5148425      9778  12478517   5929729     48.68   no data  --
697.96/176.12	c Finding binary XORs  T:     0.66 s  found:       3
752.30/189.95	c  N dy   102     34824    710500     61180   5148453     14042  12478517  12276067     48.38     55.91  --
802.97/202.78	c  N dy   124     38861    710497     61180   5148460     18027  12478517  18486226     51.63    125.87  --
862.63/217.73	c  N dy   143     42884    710496     61180   5148462     12190  12478517   4633695     51.62     76.35  --
921.83/232.60	c  S st   151     45751    710480     61180   5148482     15026  12478517   9941206     50.68     44.25  --
931.39/235.02	c  S st   151     46252    710476     61180   5148483     15519  12478517  10423108     50.68   no data  --
932.19/235.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.01
973.25/245.56	c Flit:    46 Blit:   5899 bXBeca:    0 bXProp:    0 Bins:  15498 BRemL:      0 BRemN:    418 P: 200.0M T: 39.35
973.25/245.59	c Cleaning up after failed var search:     0.00 s 
975.25/246.01	c Replacing        3 vars Replaced      137 lits Time:     1.41 s 
982.79/247.97	c bin-w-bin subsume rem           30 bins  time:  1.30 s
989.16/249.51	c subs with bin:      396  lits-rem:         0  v-fix:    0  time:  5.88 s
1007.81/254.22	c Subs w/ non-existent bins:    288 l-rem:    144 v-fix:     0 done:   9488 time: 17.95 s
1009.00/254.51	c Removed useless bin:    2356  fixed:     0  props:  20.04M  time:  1.10 s
1039.16/262.16	c lits-rem:         7  cl-subs:      568  v-elim:   3181  v-fix:    0  time: 29.18 s
1040.75/262.54	c asymm  cl-useful: 4/391/60609 lits-rem:5 time: 1.49
1041.15/262.67	c  N dy   151     46252    701345     60609   5094951     14796  12317831   9662130     50.68   no data  --

Verifier Data 

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

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-3369463-1305393593/watcher-3369463-1305393593 -o /tmp/evaluation-result-3369463-1305393593/solver-3369463-1305393593 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369463-1305393593.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: 6.90 7.88 7.93 5/350 14878
/proc/meminfo: memFree=25480204/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 413 0 0 0 2 0 0 0 21 0 4 0 650960196 52465664 353 33554432000 4194304 4650419 140734167114224 18446744073709551615 47169431848882 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 12809 353 303 112 0 7774 0
[pid=14878/tid=14879] ppid=14876 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 650960196 52465664 353 33554432000 4194304 4650419 140734167114224 18446744073709551615 47169431848882 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 4 0 650960196 52465664 353 33554432000 4194304 4650419 140734167114224 18446744073709551615 47169431848876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 650960196 52465664 353 33554432000 4194304 4650419 140734167114224 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0304329 s]
/proc/loadavg: 6.90 7.88 7.93 5/350 14878
/proc/meminfo: memFree=25480204/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=273588 CPUtime=0.08 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 12316 0 0 0 6 2 0 0 18 0 4 0 650960196 280154112 10118 33554432000 4194304 4650419 140734167114224 18446744073709551615 4353041 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 68397 10118 343 112 0 63362 0
[pid=14878/tid=14879] ppid=14876 vsize=273588 CPUtime=0.01 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 3015 0 0 0 1 0 0 0 18 0 4 0 650960196 280154112 10118 33554432000 4194304 4650419 140734167114224 18446744073709551615 4547312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=273588 CPUtime=0.02 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 2945 0 0 0 2 0 0 0 18 0 4 0 650960196 280154112 10118 33554432000 4194304 4650419 140734167114224 18446744073709551615 4353041 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=273588 CPUtime=0 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 2965 0 0 0 0 0 0 0 24 0 4 0 650960196 280154112 10118 33554432000 4194304 4650419 140734167114224 18446744073709551615 4263627 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 273588

[startup+0.100432 s]
/proc/loadavg: 6.90 7.88 7.93 5/350 14878
/proc/meminfo: memFree=25480204/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=359836 CPUtime=0.36 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 29004 0 0 0 29 7 0 0 18 0 4 0 650960196 368472064 24501 33554432000 4194304 4650419 140734167114224 18446744073709551615 4362077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 89959 24501 345 112 0 84924 0
[pid=14878/tid=14879] ppid=14876 vsize=359836 CPUtime=0.08 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 7180 0 0 0 7 1 0 0 18 0 4 0 650960196 368472064 24501 33554432000 4194304 4650419 140734167114224 18446744073709551615 230809208967 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=359836 CPUtime=0.08 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) D 14876 14878 14540 0 -1 4202560 7147 0 0 0 7 1 0 0 18 0 4 0 650960196 368472064 24219 33554432000 4194304 4650419 140734167114224 18446744073709551615 230809208967 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=359836 CPUtime=0.07 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 7125 0 0 0 6 1 0 0 24 0 4 0 650960196 368472064 24219 33554432000 4194304 4650419 140734167114224 18446744073709551615 4362077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 359836

[startup+0.302797 s]
/proc/loadavg: 6.90 7.88 7.93 5/350 14878
/proc/meminfo: memFree=25480204/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=460768 CPUtime=1.35 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) D 14876 14878 14540 0 -1 4202496 90334 0 0 0 114 21 0 0 18 0 4 0 650960196 471826432 72243 33554432000 4194304 4650419 140734167114224 18446744073709551615 4316402 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 115192 72243 345 112 0 110157 0
[pid=14878/tid=14879] ppid=14876 vsize=460768 CPUtime=0.33 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 22425 0 0 0 28 5 0 0 18 0 4 0 650960196 471826432 72243 33554432000 4194304 4650419 140734167114224 18446744073709551615 230809223594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=460768 CPUtime=0.33 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) D 14876 14878 14540 0 -1 4202560 22373 0 0 0 28 5 0 0 18 0 4 0 650960196 471826432 72243 33554432000 4194304 4650419 140734167114224 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=460768 CPUtime=0.32 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) D 14876 14878 14540 0 -1 4202560 22875 0 0 0 27 5 0 0 18 0 4 0 650960196 471826432 72243 33554432000 4194304 4650419 140734167114224 18446744073709551615 230808863189 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 460768

[startup+0.70031 s]
/proc/loadavg: 6.90 7.88 7.93 5/350 14878
/proc/meminfo: memFree=25480204/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=828028 CPUtime=2.72 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 173026 0 0 0 231 41 0 0 18 0 4 0 650960196 847900672 137153 33554432000 4194304 4650419 140734167114224 18446744073709551615 230808826913 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 207007 137154 345 112 0 201972 0
[pid=14878/tid=14879] ppid=14876 vsize=828028 CPUtime=0.67 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 43139 0 0 0 58 9 0 0 18 0 4 0 650960196 847900672 137156 33554432000 4194304 4650419 140734167114224 18446744073709551615 4545938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=828028 CPUtime=0.67 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 43123 0 0 0 57 10 0 0 18 0 4 0 650960196 847900672 137157 33554432000 4194304 4650419 140734167114224 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=828028 CPUtime=0.67 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 43309 0 0 0 56 11 0 0 18 0 4 0 650960196 847900672 137158 33554432000 4194304 4650419 140734167114224 18446744073709551615 4317293 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 828028

[startup+1.50117 s]
/proc/loadavg: 6.99 7.88 7.93 9/354 14882
/proc/meminfo: memFree=24674948/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=1678916 CPUtime=5.83 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 371417 0 0 0 495 88 0 0 18 0 4 0 650960196 1719209984 299562 33554432000 4194304 4650419 140734167114224 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 419729 299593 345 112 0 414694 0
[pid=14878/tid=14879] ppid=14876 vsize=1678916 CPUtime=1.46 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 93065 0 0 0 124 22 0 0 18 0 4 0 650960196 1719209984 299606 33554432000 4194304 4650419 140734167114224 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=1678916 CPUtime=1.46 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 93042 0 0 0 123 23 0 0 18 0 4 0 650960196 1719209984 299622 33554432000 4194304 4650419 140734167114224 18446744073709551615 4319907 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=1678916 CPUtime=1.44 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 92007 0 0 0 122 22 0 0 18 0 4 0 650960196 1719209984 299639 33554432000 4194304 4650419 140734167114224 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 1678916

[startup+3.10087 s]
/proc/loadavg: 6.99 7.88 7.93 9/354 14882
/proc/meminfo: memFree=23799012/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=2740128 CPUtime=12.15 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 615521 0 0 0 1076 139 0 0 19 0 4 0 650960196 2805891072 471217 33554432000 4194304 4650419 140734167114224 18446744073709551615 4370618 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 685032 471217 368 112 0 679997 0
[pid=14878/tid=14879] ppid=14876 vsize=2740128 CPUtime=3.04 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 153190 0 0 0 272 32 0 0 19 0 4 0 650960196 2805891072 471217 33554432000 4194304 4650419 140734167114224 18446744073709551615 4370273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=2740128 CPUtime=3.04 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 153173 0 0 0 268 36 0 0 19 0 4 0 650960196 2805891072 471217 33554432000 4194304 4650419 140734167114224 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=2740128 CPUtime=3 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 155646 0 0 0 265 35 0 0 19 0 4 0 650960196 2805891072 471218 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 2740128

[startup+6.30028 s]
/proc/loadavg: 7.07 7.88 7.93 9/354 14882
/proc/meminfo: memFree=23451076/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=2676376 CPUtime=24.9 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 643840 0 0 0 2348 142 0 0 25 0 4 0 650960196 2740609024 492219 33554432000 4194304 4650419 140734167114224 18446744073709551615 4243824 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 669094 492219 373 112 0 664059 0
[pid=14878/tid=14879] ppid=14876 vsize=2676376 CPUtime=6.24 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 162491 0 0 0 590 34 0 0 25 0 4 0 650960196 2740609024 492219 33554432000 4194304 4650419 140734167114224 18446744073709551615 4244814 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=2676376 CPUtime=6.25 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 162470 0 0 0 587 38 0 0 25 0 4 0 650960196 2740609024 492219 33554432000 4194304 4650419 140734167114224 18446744073709551615 4370744 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=2676376 CPUtime=6.16 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 156049 0 0 0 581 35 0 0 25 0 4 0 650960196 2740609024 492219 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315038 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 2676376

[startup+12.7011 s]
/proc/loadavg: 7.22 7.90 7.93 9/354 14882
/proc/meminfo: memFree=23400112/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=2679480 CPUtime=50.43 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 647485 0 0 0 4900 143 0 0 25 0 4 0 650960196 2743787520 495861 33554432000 4194304 4650419 140734167114224 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 669870 495861 373 112 0 664835 0
[pid=14878/tid=14879] ppid=14876 vsize=2679480 CPUtime=12.64 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 162818 0 0 0 1230 34 0 0 25 0 4 0 650960196 2743787520 495861 33554432000 4194304 4650419 140734167114224 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=2679480 CPUtime=12.65 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 162797 0 0 0 1227 38 0 0 25 0 4 0 650960196 2743787520 495861 33554432000 4194304 4650419 140734167114224 18446744073709551615 4243901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=2679480 CPUtime=12.49 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 158714 0 0 0 1213 36 0 0 25 0 4 0 650960196 2743787520 495861 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 2679480

[startup+25.5008 s]
/proc/loadavg: 7.39 7.91 7.93 10/354 14882
/proc/meminfo: memFree=23020592/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=3096460 CPUtime=101.48 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 768944 0 0 0 9978 170 0 0 25 0 4 0 650960196 3170775040 591317 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 774115 591317 392 112 0 769080 0
[pid=14878/tid=14879] ppid=14876 vsize=3096460 CPUtime=25.44 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 198935 0 0 0 2502 42 0 0 25 0 4 0 650960196 3170775040 591317 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315168 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=3096460 CPUtime=25.44 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 200487 0 0 0 2498 46 0 0 25 0 4 0 650960196 3170775040 591317 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=3096460 CPUtime=25.15 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 168785 0 0 0 2477 38 0 0 25 0 4 0 650960196 3170775040 591317 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 3096460

[startup+51.1011 s]
/proc/loadavg: 7.74 7.95 7.94 9/354 14883
/proc/meminfo: memFree=22747116/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=3408176 CPUtime=203.61 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 871232 0 0 0 20175 186 0 0 25 0 4 0 650960196 3489972224 641516 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315038 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 852044 641516 393 112 0 847009 0
[pid=14878/tid=14879] ppid=14876 vsize=3408176 CPUtime=51.04 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 217592 0 0 0 5060 44 0 0 25 0 4 0 650960196 3489972224 641516 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=3408176 CPUtime=51.04 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 219939 0 0 0 5055 49 0 0 25 0 4 0 650960196 3489972224 641516 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=3408176 CPUtime=50.47 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 210854 0 0 0 5002 45 0 0 25 0 4 0 650960196 3489972224 641516 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 3408176

[startup+102.314 s]
/proc/loadavg: 8.07 8.00 7.96 9/354 14884
/proc/meminfo: memFree=20921104/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=3505136 CPUtime=407.89 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 998885 0 0 0 40579 210 0 0 25 0 4 0 650960196 3589259264 659598 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315122 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 876284 659598 394 112 0 871249 0
[pid=14878/tid=14879] ppid=14876 vsize=3505136 CPUtime=102.25 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 250966 0 0 0 10175 50 0 0 25 0 4 0 650960196 3589259264 659598 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=3505136 CPUtime=102.26 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 252150 0 0 0 10169 57 0 0 25 0 4 0 650960196 3589259264 659598 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315038 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=3505136 CPUtime=101.12 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 252014 0 0 0 10061 51 0 0 25 0 4 0 650960196 3589259264 659598 33554432000 4194304 4650419 140734167114224 18446744073709551615 230808863362 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.89
Current children cumulated vsize (KiB) 3505136

[startup+162.301 s]
/proc/loadavg: 8.04 8.00 7.96 9/354 14886
/proc/meminfo: memFree=14904384/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=9559936 CPUtime=643.77 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 11344233 0 0 0 62654 1723 0 0 25 0 4 0 650960196 9789374464 2032748 33554432000 4194304 4650419 140734167114224 18446744073709551615 4370264 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14878/statm: 2389984 2032748 396 112 0 2384949 0
[pid=14878/tid=14879] ppid=14876 vsize=9559936 CPUtime=160.78 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 334391 0 0 0 16013 65 0 0 19 0 4 0 650960196 9789374464 2032748 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=9559936 CPUtime=161.21 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 4344524 0 0 0 15456 665 0 0 25 0 4 0 650960196 9789374464 2032748 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=9559936 CPUtime=160.37 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 6352327 0 0 0 15109 928 0 0 19 0 4 0 650960196 9789374464 2032748 33554432000 4194304 4650419 140734167114224 18446744073709551615 4288729 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 643.77
Current children cumulated vsize (KiB) 9559936

[startup+222.301 s]
/proc/loadavg: 8.16 8.04 7.98 10/354 14888
/proc/meminfo: memFree=10781020/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=13156048 CPUtime=880.89 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 17895319 0 0 0 85422 2667 0 0 25 0 4 0 650960196 13471793152 2894334 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315996 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14878/statm: 3289012 2894334 396 112 0 3283977 0
[pid=14878/tid=14879] ppid=14876 vsize=13156048 CPUtime=220.62 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 396334 0 0 0 21978 84 0 0 25 0 4 0 650960196 13471793152 2894334 33554432000 4194304 4650419 140734167114224 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=13156048 CPUtime=218.86 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 4366928 0 0 0 21215 671 0 0 25 0 4 0 650960196 13471793152 2894334 33554432000 4194304 4650419 140734167114224 18446744073709551615 4364965 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=13156048 CPUtime=220.34 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 12796379 0 0 0 20194 1840 0 0 25 0 4 0 650960196 13471793152 2894334 33554432000 4194304 4650419 140734167114224 18446744073709551615 230808863054 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 880.89
Current children cumulated vsize (KiB) 13156048



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+265.501 s]
/proc/loadavg: 8.20 8.07 7.99 9/354 14889
/proc/meminfo: memFree=7606836/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=15873496 CPUtime=1052.68 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4202496 22369675 0 0 0 101912 3356 0 0 25 0 4 0 650960196 16254459904 3569965 33554432000 4194304 4650419 140734167114224 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14878/statm: 3968374 3569967 396 112 0 3963339 0
[pid=14878/tid=14879] ppid=14876 vsize=15873496 CPUtime=263.53 cores=1,3,5,7
/proc/14878/task/14879/stat : 14879 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 439800 0 0 0 26261 92 0 0 21 0 4 0 650960196 16254459904 3570490 33554432000 4194304 4650419 140734167114224 18446744073709551615 4363319 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14878/tid=14880] ppid=14876 vsize=15873496 CPUtime=261.83 cores=1,3,5,7
/proc/14878/task/14880/stat : 14880 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 4372313 0 0 0 25510 673 0 0 25 0 4 0 650960196 16254459904 3570496 33554432000 4194304 4650419 140734167114224 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14878/tid=14881] ppid=14876 vsize=15873496 CPUtime=263.54 cores=1,3,5,7
/proc/14878/task/14881/stat : 14881 (strangenight1-m) R 14876 14878 14540 0 -1 4202560 17152343 0 0 0 23852 2502 0 0 18 0 4 0 650960196 16254459904 3570500 33554432000 4194304 4650419 140734167114224 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1052.68
Current children cumulated vsize (KiB) 15873496

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

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

[startup+265.801 s]
/proc/loadavg: 8.20 8.07 7.99 9/354 14889
/proc/meminfo: memFree=7606836/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=0 CPUtime=1052.99 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4203524 22371094 0 0 0 101914 3385 0 0 25 0 1 0 650960196 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1052.99
Current children cumulated vsize (KiB) 0

[startup+266.001 s]
/proc/loadavg: 8.20 8.07 7.99 9/354 14889
/proc/meminfo: memFree=7606836/32951124 swapFree=40554400/67111528
[pid=14878] ppid=14876 vsize=0 CPUtime=1053.19 cores=1,3,5,7
/proc/14878/stat : 14878 (strangenight1-m) R 14876 14878 14540 0 -1 4203524 22371094 0 0 0 101914 3405 0 0 25 0 1 0 650960196 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14878/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1053.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 266.079
CPU time (s): 1053.28
CPU user time (s): 1019.15
CPU system time (s): 34.1338
CPU usage (%): 395.852
Max. virtual memory (cumulated for all children) (KiB): 15873496

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

runsolver used 0.837872 second user time and 2.19367 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 19:19:57
IDJOB=3369463
IDBENCH=82374
IDSOLVER=1846
FILE ID=node104/3369463-1305393593
RUNJOBID= node104-1305393593-14855
PBS_JOBID= 13324447
Free space on /tmp= 73236 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369463-1305393593/watcher-3369463-1305393593 -o /tmp/evaluation-result-3369463-1305393593/solver-3369463-1305393593 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369463-1305393593.cnf

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

MD5SUM BENCH= ce0d180356398dfbcfd2bbbb1cb3f9e5
RANDOM SEED=661203665

node104.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.855
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.71
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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25480360 kB
Buffers:        287016 kB
Cached:        2490344 kB
SwapCached:     122128 kB
Active:        1270264 kB
Inactive:      5927180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25480360 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:          170276 kB
Writeback:           0 kB
AnonPages:     4310736 kB
Mapped:          11440 kB
Slab:           123712 kB
PageTables:      85048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75110864 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= 73228 MiB
End job on node104 at 2011-05-14 19:24:25