Trace number 3369624

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)? (TO) 4800.41 1202.41

General information on the benchmark

NameSAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
MD5SUM5e5606ae7367b9272c60adc115594912
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables36809
Number of clauses142491
Sum of the clauses size559708
Maximum clause length172
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 224558
Number of clauses of size 367458
Number of clauses of size 449000
Number of clauses of size 51
Number of clauses of size over 51460

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-3369624-1305415880.cnf'
0.00/0.01	c -- header says num vars:          36809
0.00/0.01	c -- header says num clauses:      142491
0.36/0.12	c -- clauses added:            0 learnts,       142491 normals,            0 xors
0.36/0.12	c -- vars added      36809
0.36/0.12	c Parsing time:  0.43 s
0.36/0.13	c  N st     0         0     36809    117899     24559         0    559608         0   no data   no data  --
1.56/0.46	c asymm  cl-useful: 4399/117865/117865 lits-rem:4706 time: 1.31
2.36/0.65	c Flit:    32 Blit:      0 bXBeca:    0 bXProp: 6133 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.69
2.76/0.70	c Replacing     6133 vars Replaced   102229 lits Time:     0.18 s 
3.15/0.82	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3.15/0.84	c subs with bin:      332  lits-rem:       335  v-fix:    0  time:  0.06 s
3.15/0.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    30 done:  30595 time:  0.08 s
3.15/0.87	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.05 s
5.14/1.35	c lits-rem:       756  cl-subs:      261  v-elim:    135  v-fix:    0  time:  1.88 s
5.14/1.36	c Finding binary XORs  T:     0.06 s  found:       0
5.54/1.46	c Finding non-binary XORs:     0.33 s (found:   10609, avg size: 3.4)
5.54/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
5.54/1.47	c calculated reachability. Time: 0.01
5.54/1.48	c Calc default polars -  time:   0.03 s pos:    6154 undec:    7071 neg:   23584
5.54/1.48	c =========================================================================================
5.54/1.48	c types(t): F = full restart, N = normal restart
5.54/1.48	c types(t): S = simplification begin/end, E = solution found
5.54/1.48	c restart types(rt): st = static, dy = dynamic
5.54/1.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.54/1.48	c  B st     0         0     30445     55758     12483         0    347394         0   no data   no data  --
8.77/2.26	c Decided on static restart strategy
12.33/3.17	c  N st     8      4913     30344     55758     14451      2876    347394     15713   no data   no data  --
17.55/4.45	c Finding binary XORs  T:     0.05 s  found:       0
20.31/5.19	c  N st    10     11295     30262     55021     18009      8286    345492     49492   no data   no data  --
30.72/7.73	c  N st    11     17038     30262     55021     18542     13443    345492     79330   no data   no data  --
51.06/12.84	c  F st    12     25000     30253     55021     20481     17993    345492    102064   no data   no data  --
51.06/12.86	c Replacing        2 vars Replaced       27 lits Time:     0.05 s 
51.46/12.91	c  N st    12     25000     30250     54955     20503     17993    345112    102062   no data   no data  --
51.46/12.93	c Finding binary XORs  T:     0.06 s  found:       0
65.86/16.57	c Decided on static restart strategy
65.86/16.57	c  N st    18     30000     30250     54955     21797     22713    345111    133052   no data   no data  --
65.86/16.57	c  S st    18     30000     30250     54955     21797     22713    345111    133052   no data   no data  --
66.63/16.76	c  S st    18     30501     30250     54955     21818     23192    345111    139791   no data   no data  --
66.63/16.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
66.63/16.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.23/17.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  14716 BRemL:   1892 BRemN:      0 P:  3.7M T:  1.54
68.63/17.20	c bin-w-bin subsume rem          392 bins  time:  0.04 s
68.63/17.24	c subs with bin:    14955  lits-rem:      7284  v-fix:    0  time:  0.16 s
68.63/17.27	c Subs w/ non-existent bins:    222 l-rem:    113 v-fix:     0 done:   5554 time:  0.09 s
68.63/17.28	c Removed useless bin:      28  fixed:     0  props:   0.40M  time:  0.06 s
69.84/17.59	c lits-rem:       590  cl-subs:     2897  v-elim:   1290  v-fix:    0  time:  1.23 s
71.02/17.83	c asymm  cl-useful: 1098/42732/42732 lits-rem:1098 time: 0.93
71.02/17.84	c calculated reachability. Time: 0.02
71.02/17.84	c  N st    18     30501     28960     42732     30548     19358    315233    130547   no data   no data  --
80.20/20.13	c Finding binary XORs  T:     0.08 s  found:       0
92.22/23.15	c  N st    20     37612     28960     42732     30794     26423    315233    526181   no data   no data  --
108.55/27.27	c  N st    21     44011     28960     42732     30795     32774    315233   3241937   no data   no data  --
108.95/27.32	c Finding binary XORs  T:     0.07 s  found:       0
113.35/28.46	c  S st    22     45751     28959     42727     33252     30475    315220   3440725   no data   no data  --
113.76/28.59	c  S st    22     46253     28959     42727     33272     30957    315220   3446259   no data   no data  --
114.17/28.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
114.17/28.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
115.74/29.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4548 BRemL:   2458 BRemN:      0 P:  4.2M T:  1.90
116.94/29.32	c bin-w-bin subsume rem         1350 bins  time:  0.03 s
121.73/30.58	c subs with bin:     5632  lits-rem:      3046  v-fix:    0  time:  5.04 s
122.14/30.60	c Subs w/ non-existent bins:      1 l-rem:      3 v-fix:     0 done:    232 time:  0.07 s
122.14/30.62	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.06 s
169.65/42.52	c lits-rem:        56  cl-subs:     7708  v-elim:    273  v-fix:    0  time: 47.40 s
169.65/42.54	c vivif2 --  cl tried    37776 cl shrink     1158 lits rem       1158 time: 0.09
169.65/42.56	c vivif2 --  cl tried    22797 cl shrink     1193 lits rem       1608 time: 0.06
170.86/42.84	c asymm  cl-useful: 0/37706/37706 lits-rem:0 time: 1.10
170.86/42.85	c calculated reachability. Time: 0.03
170.86/42.85	c  N st    22     46253     28686     37706     33460     22784    305380    238831   no data   no data  --
219.94/55.19	c  N st    23     60651     28686     37706     33460     36986    305380   5842785   no data   no data  --
220.34/55.21	c Finding binary XORs  T:     0.08 s  found:       0
241.54/60.53	c  N st    24     69379     28686     37706     39446     45581    305380   8578874   no data   no data  --
241.54/60.53	c  S st    24     69379     28686     37706     39446     45581    305380   8578874   no data   no data  --
242.30/60.74	c  S st    24     69882     28685     37706     39920     46080    305380   8586503   no data   no data  --
242.30/60.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
242.30/60.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
245.10/61.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1778 BRemL:   1807 BRemN:      0 P:  6.3M T:  2.81
247.49/62.09	c bin-w-bin subsume rem         4429 bins  time:  0.04 s
255.88/64.16	c subs with bin:     1334  lits-rem:       332  v-fix:    0  time:  8.25 s
255.88/64.18	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   1566 time:  0.09 s
256.28/64.21	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.09 s
977.74/244.98	c lits-rem:        17  cl-subs:      670  v-elim:      0  v-fix:    0  time: 720.75 s
978.14/245.00	c vivif2 --  cl tried    36272 cl shrink      128 lits rem        128 time: 0.07
980.93/245.72	c vivif2 --  cl tried    45501 cl shrink    14544 lits rem      69753 time: 2.87
982.13/246.01	c asymm  cl-useful: 92/36144/36144 lits-rem:276 time: 1.15
982.13/246.02	c calculated reachability. Time: 0.03
982.13/246.02	c  N st    24     69882     28685     36052     35854     45438    302237   8290401   no data   no data  --
1017.67/254.92	c  F st    25     87501     28685     36052     35854     52910    302237   8922913   no data   no data  --
1018.07/255.10	c  N st    25     87501     28685     36052     35854     52910    302237   8922913   no data   no data  --
1018.49/255.12	c Finding binary XORs  T:     0.08 s  found:       0
1036.84/259.75	c Decided on static restart strategy
1042.42/261.17	c  N st    32     95544     28685     36052     38476     60860    302237  11529847   no data   no data  --
1077.96/270.04	c  N st    34    104824     28685     36052     38482     53707    302237   7958356   no data   no data  --
1077.96/270.04	c  S st    34    104824     28685     36052     38482     53707    302237   7958356   no data   no data  --
1078.36/270.19	c  S st    34    105331     28685     36052     38609     54206    302237   7964115   no data   no data  --
1078.76/270.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1078.76/270.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1081.15/270.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    126 BRemL:    752 BRemN:      0 P:  6.0M T:  2.52
1082.75/271.28	c bin-w-bin subsume rem         1512 bins  time:  0.03 s
1091.13/273.33	c subs with bin:      182  lits-rem:        28  v-fix:    0  time:  8.18 s
1091.13/273.35	c Subs w/ non-existent bins:      0 l-rem:     32 v-fix:     0 done:    101 time:  0.08 s
1091.13/273.37	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.08 s
1461.25/366.03	c lits-rem:        21  cl-subs:      409  v-elim:      0  v-fix:    0  time: 369.28 s
1461.25/366.05	c vivif2 --  cl tried    35883 cl shrink       17 lits rem         17 time: 0.07
1463.65/366.60	c vivif2 --  cl tried    53784 cl shrink     6636 lits rem      37563 time: 2.18
1464.84/366.91	c asymm  cl-useful: 0/35866/35866 lits-rem:0 time: 1.24
1464.84/366.92	c calculated reachability. Time: 0.03
1464.84/366.92	c  N st    34    105331     28685     35866     36491     53781    301955   7807469   no data   no data  --
1509.17/378.01	c  N st    35    114931     28685     35866     36491     63299    301955  13155138   no data   no data  --
1542.29/386.31	c  N st    36    129332     28685     35866     36507     57562    301955  10836488   no data   no data  --
1625.33/407.12	c  N st    37    150930     28685     35866     36507     57203    301955   8651929   no data   no data  --
1647.67/412.75	c  S st    38    157997     28685     35866     36513     64214    301955  12259281   no data   no data  --
1648.47/412.93	c  S st    38    158499     28685     35866     36514     64714    301955  12265172   no data   no data  --
1648.47/412.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1648.47/412.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1650.90/413.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     62 BRemL:      9 BRemN:      0 P:  6.2M T:  2.36
1653.67/414.20	c bin-w-bin subsume rem           20 bins  time:  0.03 s
1661.65/416.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.16 s
1661.65/416.28	c Subs w/ non-existent bins:      0 l-rem:    257 v-fix:     0 done:     15 time:  0.11 s
1661.65/416.29	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.07 s
2551.23/639.05	c lits-rem:         2  cl-subs:      480  v-elim:      0  v-fix:    0  time: 887.81 s
2551.23/639.06	c vivif2 --  cl tried    35866 cl shrink        0 lits rem          0 time: 0.08
2555.21/640.06	c vivif2 --  cl tried    64234 cl shrink     9668 lits rem      73226 time: 3.96
2556.80/640.41	c asymm  cl-useful: 1/35866/35866 lits-rem:3 time: 1.37
2556.80/640.42	c calculated reachability. Time: 0.03
2556.80/640.42	c  N st    38    158499     28685     35865     36548     64234    301942  11981887   no data   no data  --
2777.20/695.65	c  N st    39    207087     28685     35865     36548     63750    301942   9969192   no data   no data  --
2919.74/731.32	c  N st    40    237748     28685     35865     36628     67729    301942  13347147   no data   no data  --
2919.74/731.33	c  S st    40    237748     28685     35865     36628     67729    301942  13347147   no data   no data  --
2919.74/731.35	c Finding binary XORs  T:     0.08 s  found:       0
2920.56/731.55	c  S st    40    238251     28685     35865     36665     68228    301942  13354664   no data   no data  --
2920.56/731.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
2920.56/731.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2922.93/732.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  6.3M T:  2.40
2925.72/732.89	c bin-w-bin subsume rem           41 bins  time:  0.03 s
2934.11/734.93	c subs with bin:        7  lits-rem:         0  v-fix:    0  time:  8.14 s
2934.11/734.95	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:      5 time:  0.08 s
2934.11/734.97	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.07 s
4200.56/1052.15	c lits-rem:         5  cl-subs:      378  v-elim:      0  v-fix:    0  time: 1264.25 s
4200.56/1052.17	c vivif2 --  cl tried    35864 cl shrink        0 lits rem          0 time: 0.08
4204.55/1053.19	c vivif2 --  cl tried    67844 cl shrink     8359 lits rem      78150 time: 4.06
4206.15/1053.53	c asymm  cl-useful: 0/35864/35864 lits-rem:0 time: 1.36
4206.15/1053.54	c calculated reachability. Time: 0.03
4206.15/1053.54	c  N st    40    238251     28685     35864     36623     67844    301941  13096266   no data   no data  --
4632.16/1160.27	c  F st    41    306255     28685     35864     36623     79358    301941  23215813   no data   no data  --
4632.97/1160.45	c  N st    41    306255     28685     35864     36623     79358    301941  23215813   no data   no data  --
4652.92/1165.46	c Decided on static restart strategy
4740.74/1187.40	c  N st    51    334563     28685     35864     36628     77746    301941  14114264   no data   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-3369624-1305415880/watcher-3369624-1305415880 -o /tmp/evaluation-result-3369624-1305415880/solver-3369624-1305415880 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369624-1305415880.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: 8.20 8.04 7.78 8/241 9525
/proc/meminfo: memFree=24281944/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 653188754 52465664 352 33554432000 4194304 4650419 140735966539456 18446744073709551615 47603395065768 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 12809 352 303 112 0 7774 0
[pid=9525/tid=9526] ppid=9523 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 653188754 52465664 356 33554432000 4194304 4650419 140735966539456 18446744073709551615 47603395065369 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653188754 52465664 356 33554432000 4194304 4650419 140735966539456 18446744073709551615 47603395065772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653188755 52465664 356 33554432000 4194304 4650419 140735966539456 18446744073709551615 47603395065369 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0970491 s]
/proc/loadavg: 8.20 8.04 7.78 8/241 9525
/proc/meminfo: memFree=24281944/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=318848 CPUtime=0.34 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 21276 0 0 0 31 3 0 0 18 0 4 0 653188754 326500352 17024 33554432000 4194304 4650419 140735966539456 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 79712 17024 345 112 0 74677 0
[pid=9525/tid=9526] ppid=9523 vsize=318848 CPUtime=0.08 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) D 9523 9525 8848 0 -1 4202560 5225 0 0 0 8 0 0 0 18 0 4 0 653188754 326500352 17024 33554432000 4194304 4650419 140735966539456 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=318848 CPUtime=0.07 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 5232 0 0 0 7 0 0 0 25 0 4 0 653188754 326500352 17024 33554432000 4194304 4650419 140735966539456 18446744073709551615 222921437893 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=318848 CPUtime=0.08 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) D 9523 9525 8848 0 -1 4202560 5190 0 0 0 8 0 0 0 18 0 4 0 653188755 326500352 17024 33554432000 4194304 4650419 140735966539456 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 318848

[startup+0.1017 s]
/proc/loadavg: 8.20 8.04 7.78 8/241 9525
/proc/meminfo: memFree=24281944/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=318980 CPUtime=0.36 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 21592 0 0 0 33 3 0 0 18 0 4 0 653188754 326635520 17340 33554432000 4194304 4650419 140735966539456 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 79745 17341 345 112 0 74710 0
[pid=9525/tid=9526] ppid=9523 vsize=318980 CPUtime=0.08 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) D 9523 9525 8848 0 -1 4202560 5308 0 0 0 8 0 0 0 18 0 4 0 653188754 326635520 17341 33554432000 4194304 4650419 140735966539456 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=318980 CPUtime=0.08 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 5302 0 0 0 8 0 0 0 25 0 4 0 653188754 326635520 17341 33554432000 4194304 4650419 140735966539456 18446744073709551615 222921437893 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=318980 CPUtime=0.08 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) D 9523 9525 8848 0 -1 4202560 5272 0 0 0 8 0 0 0 18 0 4 0 653188755 326635520 17341 33554432000 4194304 4650419 140735966539456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 318980

[startup+0.300525 s]
/proc/loadavg: 8.20 8.04 7.78 8/241 9525
/proc/meminfo: memFree=24281944/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=321516 CPUtime=1.16 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 25142 0 0 0 112 4 0 0 18 0 4 0 653188754 329232384 20890 33554432000 4194304 4650419 140735966539456 18446744073709551615 4370224 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 80379 20890 369 112 0 75344 0
[pid=9525/tid=9526] ppid=9523 vsize=321516 CPUtime=0.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 6155 0 0 0 28 1 0 0 18 0 4 0 653188754 329232384 20890 33554432000 4194304 4650419 140735966539456 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=321516 CPUtime=0.28 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 6147 0 0 0 28 0 0 0 25 0 4 0 653188754 329232384 20890 33554432000 4194304 4650419 140735966539456 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=321516 CPUtime=0.28 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 6274 0 0 0 27 1 0 0 18 0 4 0 653188755 329232384 20890 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 321516

[startup+0.700453 s]
/proc/loadavg: 8.20 8.04 7.78 8/241 9525
/proc/meminfo: memFree=24281944/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=338156 CPUtime=2.76 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 30782 0 0 0 271 5 0 0 18 0 4 0 653188754 346271744 23915 33554432000 4194304 4650419 140735966539456 18446744073709551615 4314182 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 84539 23915 376 112 0 79504 0
[pid=9525/tid=9526] ppid=9523 vsize=338156 CPUtime=0.68 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 8000 0 0 0 67 1 0 0 18 0 4 0 653188754 346271744 23915 33554432000 4194304 4650419 140735966539456 18446744073709551615 222921426124 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=338156 CPUtime=0.67 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 7994 0 0 0 67 0 0 0 25 0 4 0 653188754 346271744 23915 33554432000 4194304 4650419 140735966539456 18446744073709551615 222921426008 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=338156 CPUtime=0.68 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 6377 0 0 0 67 1 0 0 18 0 4 0 653188755 346271744 23915 33554432000 4194304 4650419 140735966539456 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 338156

[startup+1.50031 s]
/proc/loadavg: 8.42 8.09 7.79 9/245 9529
/proc/meminfo: memFree=24105200/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=365432 CPUtime=5.94 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 50496 0 0 0 586 8 0 0 20 0 4 0 653188754 374202368 41976 33554432000 4194304 4650419 140735966539456 18446744073709551615 4349707 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 91358 41976 392 112 0 86323 0
[pid=9525/tid=9526] ppid=9523 vsize=365432 CPUtime=1.48 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 14644 0 0 0 146 2 0 0 18 0 4 0 653188754 374202368 41976 33554432000 4194304 4650419 140735966539456 18446744073709551615 4364170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=365432 CPUtime=1.46 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 14368 0 0 0 145 1 0 0 18 0 4 0 653188754 374202368 41976 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=365432 CPUtime=1.48 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 6434 0 0 0 147 1 0 0 20 0 4 0 653188755 374202368 41976 33554432000 4194304 4650419 140735966539456 18446744073709551615 4326730 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 365432

[startup+3.10101 s]
/proc/loadavg: 8.42 8.09 7.79 9/245 9529
/proc/meminfo: memFree=24089204/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=365432 CPUtime=12.33 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 51137 0 0 0 1224 9 0 0 25 0 4 0 653188754 374202368 42617 33554432000 4194304 4650419 140735966539456 18446744073709551615 4311310 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 91358 42617 393 112 0 86323 0
[pid=9525/tid=9526] ppid=9523 vsize=365432 CPUtime=3.07 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 14676 0 0 0 305 2 0 0 21 0 4 0 653188754 374202368 42617 33554432000 4194304 4650419 140735966539456 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=365432 CPUtime=3.05 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 14398 0 0 0 304 1 0 0 22 0 4 0 653188754 374202368 42617 33554432000 4194304 4650419 140735966539456 18446744073709551615 4364660 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=365432 CPUtime=3.08 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 6987 0 0 0 307 1 0 0 25 0 4 0 653188755 374202368 42617 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 365432

[startup+6.30043 s]
/proc/loadavg: 8.42 8.09 7.79 9/245 9529
/proc/meminfo: memFree=24055324/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=365432 CPUtime=25.1 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 51491 0 0 0 2501 9 0 0 25 0 4 0 653188754 374202368 42971 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363924 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 91358 42971 393 112 0 86323 0
[pid=9525/tid=9526] ppid=9523 vsize=365432 CPUtime=6.27 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 14767 0 0 0 625 2 0 0 25 0 4 0 653188754 374202368 42971 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=365432 CPUtime=6.23 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 14435 0 0 0 622 1 0 0 25 0 4 0 653188754 374202368 42971 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=365432 CPUtime=6.28 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 7134 0 0 0 627 1 0 0 25 0 4 0 653188755 374202368 42971 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 365432

[startup+12.7003 s]
/proc/loadavg: 8.43 8.10 7.80 9/245 9529
/proc/meminfo: memFree=24038836/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=352048 CPUtime=50.66 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 53092 0 0 0 5056 10 0 0 25 0 4 0 653188754 360497152 42285 33554432000 4194304 4650419 140735966539456 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 88012 42285 396 112 0 82977 0
[pid=9525/tid=9526] ppid=9523 vsize=352048 CPUtime=12.68 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 15460 0 0 0 1265 3 0 0 25 0 4 0 653188754 360497152 42285 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=352048 CPUtime=12.58 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 14492 0 0 0 1257 1 0 0 25 0 4 0 653188754 360497152 42285 33554432000 4194304 4650419 140735966539456 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=352048 CPUtime=12.68 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 7302 0 0 0 1267 1 0 0 25 0 4 0 653188755 360497152 42285 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 352048

[startup+25.5009 s]
/proc/loadavg: 8.36 8.10 7.80 9/245 9530
/proc/meminfo: memFree=23959576/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=346452 CPUtime=101.77 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 66344 0 0 0 10164 13 0 0 25 0 4 0 653188754 354766848 48508 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363680 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 86613 48508 396 112 0 81578 0
[pid=9525/tid=9526] ppid=9523 vsize=346452 CPUtime=25.48 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 18435 0 0 0 2544 4 0 0 25 0 4 0 653188754 354766848 48508 33554432000 4194304 4650419 140735966539456 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=346452 CPUtime=25.29 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 15529 0 0 0 2527 2 0 0 25 0 4 0 653188754 354766848 48508 33554432000 4194304 4650419 140735966539456 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=346452 CPUtime=25.48 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 13926 0 0 0 2546 2 0 0 25 0 4 0 653188755 354766848 48508 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 346452

[startup+51.1002 s]
/proc/loadavg: 8.28 8.10 7.82 9/245 9530
/proc/meminfo: memFree=23396808/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=963208 CPUtime=203.97 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 205484 0 0 0 20357 40 0 0 25 0 4 0 653188754 986324992 182858 33554432000 4194304 4650419 140735966539456 18446744073709551615 4364227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 240802 182858 396 112 0 235767 0
[pid=9525/tid=9526] ppid=9523 vsize=963208 CPUtime=51.07 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 87960 0 0 0 5093 14 0 0 25 0 4 0 653188754 986324992 182858 33554432000 4194304 4650419 140735966539456 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=963208 CPUtime=50.7 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 44222 0 0 0 5063 7 0 0 25 0 4 0 653188754 986324992 182858 33554432000 4194304 4650419 140735966539456 18446744073709551615 4314855 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=963208 CPUtime=51.08 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 31337 0 0 0 5100 8 0 0 25 0 4 0 653188755 986324992 182858 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 963208

[startup+102.309 s]
/proc/loadavg: 8.22 8.12 7.83 9/245 9532
/proc/meminfo: memFree=23097036/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=1286072 CPUtime=408.43 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 314742 0 0 0 40768 75 0 0 25 0 4 0 653188754 1316937728 251384 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 321518 251384 396 112 0 316483 0
[pid=9525/tid=9526] ppid=9523 vsize=1286072 CPUtime=102.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 88020 0 0 0 10214 15 0 0 25 0 4 0 653188754 1316937728 251384 33554432000 4194304 4650419 140735966539456 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=1286072 CPUtime=101.53 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 89184 0 0 0 10131 22 0 0 25 0 4 0 653188754 1316937728 251384 33554432000 4194304 4650419 140735966539456 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=1286072 CPUtime=102.29 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 43545 0 0 0 10212 17 0 0 25 0 4 0 653188755 1316937728 251384 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (KiB) 1286072

[startup+162.301 s]

################
# More data... #
################

[pid=9525] ppid=9523 vsize=2128292 CPUtime=2803.96 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 2679239 0 0 0 279860 536 0 0 25 0 4 0 653188754 2179371008 413098 33554432000 4194304 4650419 140735966539456 18446744073709551615 4315488 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 532073 413098 439 112 0 527038 0
[pid=9525/tid=9526] ppid=9523 vsize=2128292 CPUtime=702.28 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 739829 0 0 0 70108 120 0 0 25 0 4 0 653188754 2179371008 413098 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2128292 CPUtime=697.09 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 464935 0 0 0 69564 145 0 0 25 0 4 0 653188754 2179371008 413098 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2128292 CPUtime=702.27 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 560470 0 0 0 70100 127 0 0 25 0 4 0 653188755 2179371008 413098 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2803.96
Current children cumulated vsize (KiB) 2128292

[startup+762.309 s]
/proc/loadavg: 8.13 8.11 7.95 9/245 9549
/proc/meminfo: memFree=22054404/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2064984 CPUtime=3043.54 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 3020334 0 0 0 303752 602 0 0 25 0 4 0 653188754 2114543616 424440 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 516246 424440 396 112 0 511211 0
[pid=9525/tid=9526] ppid=9523 vsize=2064984 CPUtime=762.3 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 800055 0 0 0 76096 134 0 0 25 0 4 0 653188754 2114543616 424440 33554432000 4194304 4650419 140735966539456 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2064984 CPUtime=756.65 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 512162 0 0 0 75505 160 0 0 25 0 4 0 653188754 2114543616 424440 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2064984 CPUtime=762.27 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 720730 0 0 0 76077 150 0 0 25 0 4 0 653188755 2114543616 424440 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3043.54
Current children cumulated vsize (KiB) 2064984

[startup+822.301 s]
/proc/loadavg: 8.20 8.13 7.97 9/245 9551
/proc/meminfo: memFree=21998440/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2132756 CPUtime=3283.06 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 3187658 0 0 0 327663 643 0 0 25 0 4 0 653188754 2183942144 438054 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 533189 438054 400 112 0 528154 0
[pid=9525/tid=9526] ppid=9523 vsize=2132756 CPUtime=822.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 840848 0 0 0 82083 146 0 0 25 0 4 0 653188754 2183942144 438054 33554432000 4194304 4650419 140735966539456 18446744073709551615 4364170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2132756 CPUtime=816.19 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 558405 0 0 0 81445 174 0 0 25 0 4 0 653188754 2183942144 438054 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2132756 CPUtime=822.26 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 736098 0 0 0 82070 156 0 0 25 0 4 0 653188755 2183942144 438054 33554432000 4194304 4650419 140735966539456 18446744073709551615 4314837 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3283.06
Current children cumulated vsize (KiB) 2132756

[startup+882.301 s]
/proc/loadavg: 8.15 8.12 7.97 9/245 9553
/proc/meminfo: memFree=21939892/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2192772 CPUtime=3522.61 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 3359773 0 0 0 351575 686 0 0 25 0 4 0 653188754 2245398528 451771 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 548193 451771 396 112 0 543158 0
[pid=9525/tid=9526] ppid=9523 vsize=2192772 CPUtime=882.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 890932 0 0 0 88068 161 0 0 25 0 4 0 653188754 2245398528 451771 33554432000 4194304 4650419 140735966539456 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2192772 CPUtime=875.74 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 602784 0 0 0 87387 187 0 0 25 0 4 0 653188754 2245398528 451771 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2192772 CPUtime=882.26 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 750212 0 0 0 88063 163 0 0 25 0 4 0 653188755 2245398528 451771 33554432000 4194304 4650419 140735966539456 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3522.61
Current children cumulated vsize (KiB) 2192772

[startup+942.3 s]
/proc/loadavg: 8.12 8.11 7.98 9/245 9554
/proc/meminfo: memFree=21882208/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2196904 CPUtime=3762.16 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 3526004 0 0 0 375491 725 0 0 25 0 4 0 653188754 2249629696 454725 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476761 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 549226 454725 396 112 0 544191 0
[pid=9525/tid=9526] ppid=9523 vsize=2196904 CPUtime=942.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 931437 0 0 0 94053 176 0 0 25 0 4 0 653188754 2249629696 454725 33554432000 4194304 4650419 140735966539456 18446744073709551615 4364227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2196904 CPUtime=935.31 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 645587 0 0 0 93333 198 0 0 25 0 4 0 653188754 2249629696 454725 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2196904 CPUtime=942.26 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 766155 0 0 0 94058 168 0 0 25 0 4 0 653188755 2249629696 454725 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3762.16
Current children cumulated vsize (KiB) 2196904

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 7.99 9/245 9556
/proc/meminfo: memFree=21464544/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2590136 CPUtime=4001.72 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 3731398 0 0 0 399409 763 0 0 25 0 4 0 653188754 2652299264 551988 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 647534 551988 396 112 0 642499 0
[pid=9525/tid=9526] ppid=9523 vsize=2590136 CPUtime=1002.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 1009112 0 0 0 100042 187 0 0 25 0 4 0 653188754 2652299264 551988 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2590136 CPUtime=994.86 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 678690 0 0 0 99278 208 0 0 25 0 4 0 653188754 2652299264 551988 33554432000 4194304 4650419 140735966539456 18446744073709551615 4363367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2590136 CPUtime=1002.25 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 776699 0 0 0 100052 173 0 0 25 0 4 0 653188755 2652299264 551988 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4001.72
Current children cumulated vsize (KiB) 2590136

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.00 9/245 9557
/proc/meminfo: memFree=21452348/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2527088 CPUtime=4241.29 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 3864763 0 0 0 423328 801 0 0 25 0 4 0 653188754 2587738112 549242 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 631772 549242 396 112 0 626737 0
[pid=9525/tid=9526] ppid=9523 vsize=2527088 CPUtime=1062.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 1030114 0 0 0 106040 189 0 0 25 0 4 0 653188754 2587738112 549242 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2527088 CPUtime=1054.43 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 724663 0 0 0 105215 228 0 0 25 0 4 0 653188754 2587738112 549242 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2527088 CPUtime=1062.25 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 794776 0 0 0 106044 181 0 0 25 0 4 0 653188755 2587738112 549242 33554432000 4194304 4650419 140735966539456 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4241.29
Current children cumulated vsize (KiB) 2527088

[startup+1122.3 s]
/proc/loadavg: 8.14 8.13 8.00 9/245 9559
/proc/meminfo: memFree=21322000/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2657428 CPUtime=4480.84 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 3975502 0 0 0 447253 831 0 0 25 0 4 0 653188754 2721206272 577127 33554432000 4194304 4650419 140735966539456 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 664357 577127 406 112 0 659322 0
[pid=9525/tid=9526] ppid=9523 vsize=2657428 CPUtime=1122.29 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 1061343 0 0 0 112036 193 0 0 25 0 4 0 653188754 2721206272 577127 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2657428 CPUtime=1113.97 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 756940 0 0 0 111160 237 0 0 25 0 4 0 653188754 2721206272 577128 33554432000 4194304 4650419 140735966539456 18446744073709551615 4364050 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2657428 CPUtime=1122.25 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 806608 0 0 0 112039 186 0 0 25 0 4 0 653188755 2721206272 577128 33554432000 4194304 4650419 140735966539456 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4480.84
Current children cumulated vsize (KiB) 2657428

[startup+1182.3 s]
/proc/loadavg: 8.21 8.15 8.01 9/245 9561
/proc/meminfo: memFree=21416584/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2596604 CPUtime=4720.38 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 4110946 0 0 0 471167 871 0 0 25 0 4 0 653188754 2658922496 549860 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 649151 549860 396 112 0 644116 0
[pid=9525/tid=9526] ppid=9523 vsize=2596604 CPUtime=1182.3 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 1087538 0 0 0 118034 196 0 0 25 0 4 0 653188754 2658922496 549860 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2596604 CPUtime=1173.53 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 805045 0 0 0 117101 252 0 0 25 0 4 0 653188754 2658922496 549860 33554432000 4194304 4650419 140735966539456 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2596604 CPUtime=1182.25 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 822924 0 0 0 118032 193 0 0 25 0 4 0 653188755 2658922496 549860 33554432000 4194304 4650419 140735966539456 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4720.38
Current children cumulated vsize (KiB) 2596604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.31 s]
/proc/loadavg: 8.15 8.14 8.01 5/240 9562
/proc/meminfo: memFree=22131108/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2465592 CPUtime=4800.28 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 4154352 0 0 0 479144 884 0 0 25 0 4 0 653188754 2524766208 539691 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 616398 539691 396 112 0 611363 0
[pid=9525/tid=9526] ppid=9523 vsize=2465592 CPUtime=1202.31 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 1095297 0 0 0 120034 197 0 0 25 0 4 0 653188754 2524766208 539693 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2465592 CPUtime=1193.38 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 826764 0 0 0 119080 258 0 0 25 0 4 0 653188754 2524766208 539693 33554432000 4194304 4650419 140735966539456 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2465592 CPUtime=1202.25 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 826659 0 0 0 120031 194 0 0 25 0 4 0 653188755 2524766208 539693 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 2465592

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

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

[startup+1202.31 s]
/proc/loadavg: 8.15 8.14 8.01 5/240 9562
/proc/meminfo: memFree=22131108/32951124 swapFree=61559568/67111528
[pid=9525] ppid=9523 vsize=2465592 CPUtime=4800.28 cores=0,2,4,6
/proc/9525/stat : 9525 (strangenight1-m) R 9523 9525 8848 0 -1 4202496 4154352 0 0 0 479144 884 0 0 25 0 4 0 653188754 2524766208 539691 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9525/statm: 616398 539691 396 112 0 611363 0
[pid=9525/tid=9526] ppid=9523 vsize=2465592 CPUtime=1202.31 cores=0,2,4,6
/proc/9525/task/9526/stat : 9526 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 1095297 0 0 0 120034 197 0 0 25 0 4 0 653188754 2524766208 539693 33554432000 4194304 4650419 140735966539456 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9525/tid=9527] ppid=9523 vsize=2465592 CPUtime=1193.38 cores=0,2,4,6
/proc/9525/task/9527/stat : 9527 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 826764 0 0 0 119080 258 0 0 25 0 4 0 653188754 2524766208 539693 33554432000 4194304 4650419 140735966539456 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9525/tid=9528] ppid=9523 vsize=2465592 CPUtime=1202.25 cores=0,2,4,6
/proc/9525/task/9528/stat : 9528 (strangenight1-m) R 9523 9525 8848 0 -1 4202560 826659 0 0 0 120031 194 0 0 25 0 4 0 653188755 2524766208 539693 33554432000 4194304 4650419 140735966539456 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 2465592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.41
CPU time (s): 4800.41
CPU user time (s): 4791.47
CPU system time (s): 8.93864
CPU usage (%): 399.231
Max. virtual memory (cumulated for all children) (KiB): 2769060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.47
system time used= 8.93864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4154358
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= 2397
involuntary context switches= 22031

runsolver used 2.47562 second user time and 6.29104 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-15 01:31:20
IDJOB=3369624
IDBENCH=84227
IDSOLVER=1846
FILE ID=node109/3369624-1305415880
RUNJOBID= node109-1305414675-9408
PBS_JOBID= 13324534
Free space on /tmp= 73216 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369624-1305415880/watcher-3369624-1305415880 -o /tmp/evaluation-result-3369624-1305415880/solver-3369624-1305415880 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369624-1305415880.cnf

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

MD5SUM BENCH= 5e5606ae7367b9272c60adc115594912
RANDOM SEED=1464546993

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24282348 kB
Buffers:        237592 kB
Cached:        2268228 kB
SwapCached:      28404 kB
Active:         125340 kB
Inactive:      8328040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24282348 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:           15964 kB
Writeback:           0 kB
AnonPages:     5925312 kB
Mapped:          18168 kB
Slab:           122284 kB
PageTables:      30304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 17944780 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= 73216 MiB
End job on node109 at 2011-05-15 01:51:24