Trace number 3285242

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? (MO) 1084.36 275.268

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.00	c Using 4 threads
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 WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3285242-1304038169.cnf'
0.00/0.00	c -- header says num vars:        1260306
0.00/0.00	c -- header says num clauses:     6771840
5.82/2.48	c -- clauses added:            0 learnts,      6771840 normals,            0 xors
5.82/2.48	c -- vars added    1260306
5.82/2.48	c Parsing time:  8.02 s
5.82/2.48	c  N st     0         0   1260306     50725   5988692         0  14319938         0   no data   no data  --
12.47/3.30	c asymm  cl-useful: 0/506/49219 lits-rem:0 time: 3.34
50.82/12.84	c Flit:  1029 Blit:  29706 bXBeca:    0 bXProp:  119 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 37.82
51.22/12.96	c Cleaning up after failed var search:     0.45 s 
52.44/13.22	c Replacing      120 vars Replaced     1942 lits Time:     0.88 s 
56.83/14.35	c bin-w-bin subsume rem          146 bins  time:  2.83 s
62.01/15.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.03 s
78.39/19.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15299 time: 16.42 s
79.21/19.94	c Removed useless bin:   32560  fixed:     0  props:  20.00M  time:  0.86 s
88.77/22.37	c lits-rem:         0  cl-subs:        5  v-elim: 374385  v-fix:    0  time:  9.62 s
89.58/22.53	c Finding binary XORs  T:     0.61 s  found:       0
90.77/22.80	c Finding non-binary XORs:     0.35 s (found:       0, avg size: nan)
90.77/22.80	c Calc default polars -  time:   0.38 s pos:   24269 undec:  704120 neg:  531917
90.77/22.80	c =========================================================================================
90.77/22.80	c types(t): F = full restart, N = normal restart
90.77/22.80	c types(t): S = simplification begin/end, E = solution found
90.77/22.80	c restart types(rt): st = static, dy = dynamic
90.77/22.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
90.77/22.80	c  B st     0         0    748771     61705   5155834         0  12518186         0   no data   no data  --
142.31/35.71	c  N dy    15      4021    748770     61705   5155848      3957  12518186   5521032     76.45     84.37  --
193.06/48.50	c  N dy    26      8581    748768     61705   5155870      4288  12518186   1541636     53.65     59.51  --
255.37/64.06	c  N dy    34     12653    748768     61705   5155896      8274  12518186   7278442     46.72     49.34  --
348.85/87.42	c  N dy    47     17741    748763     61705   5155935     13269  12518186  15153974     46.04     49.13  --
437.54/109.67	c  N dy    65     21949    748731     61705   5156037     10722  12518186   8537687     48.79     51.45  --
466.96/117.03	c  F st    76     25001    748729     61705   5156044     13724  12518186  12368651     48.68     22.97  --
497.87/124.88	c  N st    79     26188    748720     61703   5155671     14895  12517182  14314487     48.68   no data  --
595.19/149.76	c  S st    82     30004    748338     61703   5155673     10156  12517182   5842024     48.68   no data  --
605.66/152.42	c  S st    82     30505    748327     61703   5155680     10631  12517182   6097522     48.68   no data  --
606.39/152.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.78
646.28/162.81	c Flit:   249 Blit:   1540 bXBeca:    0 bXProp:    0 Bins:   9394 BRemL:      0 BRemN:    484 P: 200.0M T: 36.19
646.28/162.84	c Cleaning up after failed var search:     0.00 s 
651.32/164.18	c bin-w-bin subsume rem            1 bins  time:  1.15 s
657.16/165.62	c subs with bin:      824  lits-rem:         0  v-fix:    0  time:  5.12 s
671.27/169.20	c Subs w/ non-existent bins:    292 l-rem:      9 v-fix:     0 done:  49899 time: 12.95 s
672.08/169.43	c Removed useless bin:    1178  fixed:     0  props:  20.02M  time:  0.88 s
690.32/174.07	c lits-rem:        20  cl-subs:      849  v-elim:  37389  v-fix:    0  time: 17.55 s
692.32/174.58	c asymm  cl-useful: 13/407/61340 lits-rem:208 time: 1.97
692.71/174.68	c  N dy    82     30505    709144     61340   5135844      9651  12448222   5681114     48.68   no data  --
693.50/174.86	c Finding binary XORs  T:     0.64 s  found:       2
741.48/187.04	c  N dy    94     35452    709138     61340   5135888     14496  12448222  13359627     47.30     51.41  --
790.82/199.67	c  N dy   111     39670    709135     61340   5135907     18650  12448222  19687015     46.54     49.55  --
848.55/214.48	c  N dy   133     43853    709133     61340   5135954     12990  12448222   7053674     52.51     55.85  --
879.92/222.32	c  S st   141     45757    709130     61340   5135959     14874  12448222  10068650     52.11   no data  --
889.79/224.81	c  S st   141     46258    709119     61340   5135961     15359  12448222  10280849     52.11   no data  --
890.59/225.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.00
928.15/234.56	c Flit:   729 Blit:   9190 bXBeca:    0 bXProp:    0 Bins:  15352 BRemL:      0 BRemN:    416 P: 200.0M T: 35.94
928.91/234.73	c Cleaning up after failed var search:     0.46 s 
930.09/235.02	c Replacing        2 vars Replaced      102 lits Time:     0.90 s 
937.41/236.99	c bin-w-bin subsume rem           23 bins  time:  1.30 s
943.62/238.51	c subs with bin:      135  lits-rem:         0  v-fix:    0  time:  5.59 s
962.76/243.41	c Subs w/ non-existent bins:    245 l-rem:     50 v-fix:     0 done:  10407 time: 18.37 s
963.52/243.66	c Removed useless bin:    1487  fixed:     0  props:  20.01M  time:  0.86 s
997.23/252.26	c lits-rem:        12  cl-subs:      639  v-elim:   5848  v-fix:    0  time: 32.38 s
998.81/252.67	c asymm  cl-useful: 4/416/60754 lits-rem:48 time: 1.57
999.21/252.80	c  N dy   141     46258    693178     60754   5042783     14394  12192871   9228347     52.11   no data  --
1031.25/261.02	c  N dy   153     50443    692903     60754   5046562     18500  12192871  12837489     50.94     53.75  --
1054.02/266.98	c  N dy   162     55114    692703     60754   5046575     12159  12192871   1975106     49.00     51.68  --

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: 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-3285242-1304038169/watcher-3285242-1304038169 -o /tmp/evaluation-result-3285242-1304038169/solver-3285242-1304038169 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3285242-1304038169.cnf 

running on 4 cores: 0,2,4,6

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: 7.10 7.78 7.87 5/180 8051
/proc/meminfo: memFree=7525068/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 515416009 52465664 353 33554432000 4194304 4650419 140733316426432 18446744073709551615 47351395801010 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8051/statm: 12809 353 303 112 0 7774 0
[pid=8051/tid=8052] ppid=8049 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515416009 52465664 353 33554432000 4194304 4650419 140733316426432 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 515416009 52465664 353 33554432000 4194304 4650419 140733316426432 18446744073709551615 47351395801010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 515416009 52465664 353 33554432000 4194304 4650419 140733316426432 18446744073709551615 47351395801010 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0338931 s]
/proc/loadavg: 7.10 7.78 7.87 5/180 8051
/proc/meminfo: memFree=7525068/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=273588 CPUtime=0.11 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 12386 0 0 0 9 2 0 0 24 0 4 0 515416009 280154112 10162 33554432000 4194304 4650419 140733316426432 18446744073709551615 4547212 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8051/statm: 68397 10162 344 112 0 63362 0
[pid=8051/tid=8052] ppid=8049 vsize=273588 CPUtime=0.02 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 3032 0 0 0 2 0 0 0 25 0 4 0 515416009 280154112 10162 33554432000 4194304 4650419 140733316426432 18446744073709551615 4372752 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=273588 CPUtime=0.02 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 2963 0 0 0 2 0 0 0 25 0 4 0 515416009 280154112 10162 33554432000 4194304 4650419 140733316426432 18446744073709551615 4353041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=273588 CPUtime=0.02 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 3010 0 0 0 2 0 0 0 25 0 4 0 515416009 280154112 10162 33554432000 4194304 4650419 140733316426432 18446744073709551615 4353027 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 273588

[startup+0.100884 s]
/proc/loadavg: 7.10 7.78 7.87 5/180 8051
/proc/meminfo: memFree=7525068/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=354936 CPUtime=0.37 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 32766 0 0 0 30 7 0 0 24 0 4 0 515416009 363454464 24063 33554432000 4194304 4650419 140733316426432 18446744073709551615 4319147 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8051/statm: 88734 24094 345 112 0 83699 0
[pid=8051/tid=8052] ppid=8049 vsize=354936 CPUtime=0.08 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 8131 0 0 0 7 1 0 0 25 0 4 0 515416009 363454464 24101 33554432000 4194304 4650419 140733316426432 18446744073709551615 4319521 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=354936 CPUtime=0.08 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 8093 0 0 0 7 1 0 0 25 0 4 0 515416009 363454464 24116 33554432000 4194304 4650419 140733316426432 18446744073709551615 4556570 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=354936 CPUtime=0.09 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 8086 0 0 0 7 2 0 0 25 0 4 0 515416009 363454464 24136 33554432000 4194304 4650419 140733316426432 18446744073709551615 4556570 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 354936

[startup+0.300855 s]
/proc/loadavg: 7.10 7.78 7.87 5/180 8051
/proc/meminfo: memFree=7525068/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=449372 CPUtime=1.15 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 83254 0 0 0 95 20 0 0 25 0 4 0 515416009 460156928 65351 33554432000 4194304 4650419 140733316426432 18446744073709551615 251813937520 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8051/statm: 112343 65406 345 112 0 107308 0
[pid=8051/tid=8052] ppid=8049 vsize=449372 CPUtime=0.28 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 20545 0 0 0 23 5 0 0 25 0 4 0 515416009 460156928 65427 33554432000 4194304 4650419 140733316426432 18446744073709551615 251813937549 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=449372 CPUtime=0.27 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 20984 0 0 0 23 4 0 0 25 0 4 0 515416009 460156928 65454 33554432000 4194304 4650419 140733316426432 18446744073709551615 251813937520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=449372 CPUtime=0.28 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 20577 0 0 0 24 4 0 0 25 0 4 0 515416009 460156928 65479 33554432000 4194304 4650419 140733316426432 18446744073709551615 251813937601 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 449372

[startup+0.700784 s]
/proc/loadavg: 7.10 7.78 7.87 5/180 8051
/proc/meminfo: memFree=7525068/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=828024 CPUtime=2.72 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 175989 0 0 0 233 39 0 0 25 0 4 0 515416009 847896576 139986 33554432000 4194304 4650419 140733316426432 18446744073709551615 4316404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8051/statm: 207006 140014 345 112 0 201971 0
[pid=8051/tid=8052] ppid=8049 vsize=828024 CPUtime=0.67 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 43683 0 0 0 57 10 0 0 25 0 4 0 515416009 847896576 140032 33554432000 4194304 4650419 140733316426432 18446744073709551615 4316468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=828024 CPUtime=0.67 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 44441 0 0 0 58 9 0 0 25 0 4 0 515416009 847896576 140047 33554432000 4194304 4650419 140733316426432 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=828024 CPUtime=0.67 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 43788 0 0 0 58 9 0 0 25 0 4 0 515416009 847896576 140062 33554432000 4194304 4650419 140733316426432 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 828024

[startup+1.50065 s]
/proc/loadavg: 7.10 7.78 7.87 9/184 8055
/proc/meminfo: memFree=6696712/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=1678912 CPUtime=5.82 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 372006 0 0 0 498 84 0 0 18 0 4 0 515416009 1719205888 300108 33554432000 4194304 4650419 140733316426432 18446744073709551615 4372720 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 419728 300108 345 112 0 414693 0
[pid=8051/tid=8052] ppid=8049 vsize=1678912 CPUtime=1.43 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 92784 0 0 0 122 21 0 0 18 0 4 0 515416009 1719205888 300108 33554432000 4194304 4650419 140733316426432 18446744073709551615 4372510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=1678912 CPUtime=1.46 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 93335 0 0 0 126 20 0 0 18 0 4 0 515416009 1719205888 300108 33554432000 4194304 4650419 140733316426432 18446744073709551615 4353027 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=1678912 CPUtime=1.44 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 92716 0 0 0 124 20 0 0 18 0 4 0 515416009 1719205888 300108 33554432000 4194304 4650419 140733316426432 18446744073709551615 251813898551 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 1678912

[startup+3.10038 s]
/proc/loadavg: 7.10 7.78 7.87 9/184 8055
/proc/meminfo: memFree=6696712/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=2724632 CPUtime=12.07 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 613989 0 0 0 1060 147 0 0 19 0 4 0 515416009 2790023168 470840 33554432000 4194304 4650419 140733316426432 18446744073709551615 4370888 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 681158 470840 368 112 0 676123 0
[pid=8051/tid=8052] ppid=8049 vsize=2724632 CPUtime=3 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 153021 0 0 0 264 36 0 0 19 0 4 0 515416009 2790023168 470840 33554432000 4194304 4650419 140733316426432 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=2724632 CPUtime=3.03 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 151728 0 0 0 271 32 0 0 19 0 4 0 515416009 2790023168 470840 33554432000 4194304 4650419 140733316426432 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=2724632 CPUtime=2.99 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 155873 0 0 0 260 39 0 0 19 0 4 0 515416009 2790023168 470841 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 2724632

[startup+6.30084 s]
/proc/loadavg: 7.33 7.81 7.88 9/184 8056
/proc/meminfo: memFree=5307188/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=2689580 CPUtime=24.86 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 642718 0 0 0 2335 151 0 0 25 0 4 0 515416009 2754129920 492252 33554432000 4194304 4650419 140733316426432 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 672395 492252 373 112 0 667360 0
[pid=8051/tid=8052] ppid=8049 vsize=2689580 CPUtime=6.19 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 162458 0 0 0 581 38 0 0 25 0 4 0 515416009 2754129920 492252 33554432000 4194304 4650419 140733316426432 18446744073709551615 4244377 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=2689580 CPUtime=6.23 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 161160 0 0 0 590 33 0 0 25 0 4 0 515416009 2754129920 492252 33554432000 4194304 4650419 140733316426432 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=2689580 CPUtime=6.19 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 156276 0 0 0 580 39 0 0 25 0 4 0 515416009 2754129920 492252 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (KiB) 2689580

[startup+12.7008 s]
/proc/loadavg: 7.47 7.83 7.88 9/184 8056
/proc/meminfo: memFree=5175308/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=2690796 CPUtime=50.42 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 646267 0 0 0 4891 151 0 0 25 0 4 0 515416009 2755375104 495799 33554432000 4194304 4650419 140733316426432 18446744073709551615 4369394 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 672699 495799 373 112 0 667664 0
[pid=8051/tid=8052] ppid=8049 vsize=2690796 CPUtime=12.56 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 162786 0 0 0 1218 38 0 0 25 0 4 0 515416009 2755375104 495799 33554432000 4194304 4650419 140733316426432 18446744073709551615 4370299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=2690796 CPUtime=12.63 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 161344 0 0 0 1230 33 0 0 25 0 4 0 515416009 2755375104 495799 33554432000 4194304 4650419 140733316426432 18446744073709551615 4251495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=2690796 CPUtime=12.58 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 158984 0 0 0 1219 39 0 0 25 0 4 0 515416009 2755375104 495799 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315174 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 2690796

[startup+25.5006 s]
/proc/loadavg: 7.65 7.86 7.89 9/184 8056
/proc/meminfo: memFree=4236196/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=3070528 CPUtime=101.56 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 760677 0 0 0 9982 174 0 0 25 0 4 0 515416009 3144220672 593530 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315122 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 767632 593530 392 112 0 762597 0
[pid=8051/tid=8052] ppid=8049 vsize=3070528 CPUtime=25.28 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 198467 0 0 0 2483 45 0 0 25 0 4 0 515416009 3144220672 593530 33554432000 4194304 4650419 140733316426432 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=3070528 CPUtime=25.43 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 192157 0 0 0 2505 38 0 0 25 0 4 0 515416009 3144220672 593530 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315476 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=3070528 CPUtime=25.39 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 169361 0 0 0 2496 43 0 0 25 0 4 0 515416009 3144220672 593530 33554432000 4194304 4650419 140733316426432 18446744073709551615 4363756 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 3070528

[startup+51.1003 s]
/proc/loadavg: 7.77 7.87 7.89 9/184 8057
/proc/meminfo: memFree=3967428/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=3383300 CPUtime=203.83 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 855711 0 0 0 20194 189 0 0 25 0 4 0 515416009 3464499200 643457 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315246 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 845825 643457 393 112 0 840790 0
[pid=8051/tid=8052] ppid=8049 vsize=3383300 CPUtime=50.76 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 216976 0 0 0 5028 48 0 0 25 0 4 0 515416009 3464499200 643457 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=3383300 CPUtime=51.03 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 204537 0 0 0 5063 40 0 0 25 0 4 0 515416009 3464499200 643457 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=3383300 CPUtime=50.98 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 211510 0 0 0 5049 49 0 0 25 0 4 0 515416009 3464499200 643457 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 3383300

[startup+102.301 s]
/proc/loadavg: 7.95 7.90 7.90 9/184 8058
/proc/meminfo: memFree=3026320/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=3349136 CPUtime=408.4 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 968706 0 0 0 40630 210 0 0 25 0 4 0 515416009 3429515264 646259 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315168 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 837284 646259 393 112 0 832249 0
[pid=8051/tid=8052] ppid=8049 vsize=3349136 CPUtime=101.72 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 248385 0 0 0 10118 54 0 0 25 0 4 0 515416009 3429515264 646259 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=3349136 CPUtime=102.23 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 236287 0 0 0 10178 45 0 0 25 0 4 0 515416009 3429515264 646259 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=3349136 CPUtime=102.18 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 240094 0 0 0 10164 54 0 0 25 0 4 0 515416009 3429515264 646259 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 3349136

[startup+162.301 s]
/proc/loadavg: 8.12 7.96 7.92 9/184 8060
/proc/meminfo: memFree=223944/32950928 swapFree=67111528/67111528
[pid=8051] ppid=8049 vsize=9272328 CPUtime=644.29 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 14120911 0 0 0 61948 2481 0 0 25 0 4 0 515416009 9494863872 1982133 33554432000 4194304 4650419 140733316426432 18446744073709551615 4370264 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8051/statm: 2318082 1982152 396 112 0 2313047 0
[pid=8051/tid=8052] ppid=8049 vsize=9272328 CPUtime=160.91 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 3737908 0 0 0 15406 685 0 0 25 0 4 0 515416009 9494863872 1982163 33554432000 4194304 4650419 140733316426432 18446744073709551615 251813937611 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=9272328 CPUtime=160.85 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 3627575 0 0 0 15436 649 0 0 25 0 4 0 515416009 9494863872 1982174 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=9272328 CPUtime=160.72 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 6426502 0 0 0 14998 1074 0 0 25 0 4 0 515416009 9494863872 1982186 33554432000 4194304 4650419 140733316426432 18446744073709551615 4285341 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 644.29
Current children cumulated vsize (KiB) 9272328

[startup+222.307 s]
/proc/loadavg: 8.07 7.98 7.93 9/184 8061
/proc/meminfo: memFree=239024/32950928 swapFree=67111524/67111528
[pid=8051] ppid=8049 vsize=12462616 CPUtime=879.92 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4202496 20603704 0 0 0 84380 3612 0 0 25 0 4 0 515416009 12761718784 2798965 33554432000 4194304 4650419 140733316426432 18446744073709551615 4304167 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8051/statm: 3115654 2798969 396 112 0 3110619 0
[pid=8051/tid=8052] ppid=8049 vsize=12462616 CPUtime=220.09 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 4321078 0 0 0 21210 799 0 0 25 0 4 0 515416009 12761718784 2798970 33554432000 4194304 4650419 140733316426432 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=12462616 CPUtime=218.09 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 3655203 0 0 0 21151 658 0 0 25 0 4 0 515416009 12761718784 2798972 33554432000 4194304 4650419 140733316426432 18446744073709551615 4241210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=12462616 CPUtime=220.51 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 12237380 0 0 0 19992 2059 0 0 25 0 4 0 515416009 12761718784 2798974 33554432000 4194304 4650419 140733316426432 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 879.92
Current children cumulated vsize (KiB) 12462616



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+274.501 s]
/proc/loadavg: 8.18 8.02 7.94 10/184 8063
/proc/meminfo: memFree=95220/32950928 swapFree=67111524/67111528
[pid=8051] ppid=8049 vsize=15881404 CPUtime=1083.58 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) S 8049 8051 7632 0 -1 4202496 25818386 0 0 0 103817 4541 0 0 25 0 4 0 515416009 16262557696 3604200 33554432000 4194304 4650419 140733316426432 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8051/statm: 3970351 3604205 396 112 0 3965316 0
[pid=8051/tid=8052] ppid=8049 vsize=15881404 CPUtime=272.18 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 4372383 0 0 0 26402 816 0 0 25 0 4 0 515416009 16262557696 3604247 33554432000 4194304 4650419 140733316426432 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=15881404 CPUtime=267.37 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 3675350 0 0 0 26066 671 0 0 25 0 4 0 515416009 16262557696 3604257 33554432000 4194304 4650419 140733316426432 18446744073709551615 4315989 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=15881404 CPUtime=272.67 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (strangenight1-m) R 8049 8051 7632 0 -1 4202560 17302356 0 0 0 24334 2933 0 0 25 0 4 0 515416009 16262557696 3604262 33554432000 4194304 4650419 140733316426432 18446744073709551615 251813937621 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1083.58
Current children cumulated vsize (KiB) 15881404

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

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

[startup+274.612 s]
/proc/loadavg: 8.18 8.02 7.94 10/184 8063
/proc/meminfo: memFree=95220/32950928 swapFree=67111524/67111528
[pid=8051] ppid=8049 vsize=0 CPUtime=1083.69 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4203524 25819930 0 0 0 103818 4551 0 0 25 0 1 0 515416009 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1083.69
Current children cumulated vsize (KiB) 0

[startup+275.001 s]
/proc/loadavg: 8.18 8.02 7.94 6/182 8064
/proc/meminfo: memFree=9798924/32950928 swapFree=67111524/67111528
[pid=8051] ppid=8049 vsize=0 CPUtime=1084.09 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4203524 25819930 0 0 0 103818 4591 0 0 25 0 1 0 515416009 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1084.09
Current children cumulated vsize (KiB) 0

[startup+275.201 s]
/proc/loadavg: 8.18 8.02 7.94 6/182 8064
/proc/meminfo: memFree=9798924/32950928 swapFree=67111524/67111528
[pid=8051] ppid=8049 vsize=0 CPUtime=1084.28 cores=0,2,4,6
/proc/8051/stat : 8051 (strangenight1-m) R 8049 8051 7632 0 -1 4203524 25819930 0 0 0 103818 4610 0 0 25 0 1 0 515416009 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1084.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 275.268
CPU time (s): 1084.36
CPU user time (s): 1038.19
CPU system time (s): 46.173
CPU usage (%): 393.929
Max. virtual memory (cumulated for all children) (KiB): 15881404

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

runsolver used 0.384941 second user time and 1.05284 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 02:49:33
IDJOB=3285242
IDBENCH=82374
IDSOLVER=1588
FILE ID=node126/3285242-1304038169
RUNJOBID= node126-1304036472-7650
PBS_JOBID= 13170358
Free space on /tmp= 71452 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3285242-1304038169/watcher-3285242-1304038169 -o /tmp/evaluation-result-3285242-1304038169/solver-3285242-1304038169 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3285242-1304038169.cnf

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

MD5SUM BENCH= ce0d180356398dfbcfd2bbbb1cb3f9e5
RANDOM SEED=81327094

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       7525472 kB
Buffers:       1836632 kB
Cached:       13900652 kB
SwapCached:          0 kB
Active:       13562864 kB
Inactive:     11257212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       7525472 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          140188 kB
Writeback:           0 kB
AnonPages:     9082076 kB
Mapped:          15596 kB
Slab:           521068 kB
PageTables:      25972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 11230928 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= 71444 MiB
End job on node126 at 2011-04-29 02:54:10